279 research outputs found
PHYSIOLOGICAL ASPECT OF UPDHATU AND FORMATION OF AARTAVA FROM RASADHATU
No full textDr. Mukesh Saini*, Dr. Rajesh Kumar Sharma and Dr. Dinesh Chandra Sharm
Tractable Reasoning In Knowledge Representation Systems
No full textThis dissertation addresses some problems raised by the well-known intractability of deductive reasoning in even moderately expressive knowledge representation systems. Starting from boolean constraint propagation (BCP), a previously known linear-time incomplete reasoner for clausal propositional theories, we develop fact propagation (FP) to deal with non-clausal theories, after motivating the need for such an extension. FP is specified using a confluent rewriting systems, for which we present an algorithm that has quadratic-time complexity in general, but is still linear-time for clausal theories. FP is the only known tractable extension of BCP to non-clausal theories; we prove that it performs strictly more inferences than CNF-BCP, a previously-proposed extension of BCP to non-clausal theories.
We generalize a refutation reasoner based on FP to a family of sound and tractable reasoners that are increasingly complete" for propositional theories. These can be used for anytime reasoning, i.e., they provide partial answers even if they are stopped prematurely, and the completeness" of the answer improves with the time used in computing it. A fixpoint construction based on FP gives an alternate characterization of the reasoners in this family, and is used to define a transformation of arbitrary theories into logically-equivalent vivid" theories | ones for which our FP algorithm ii is complete.
Our final contribution is to the description of tractable classes of reasoning problems. Based on FP, we develop a new property, called bounded intricacy, which is shared by a variety of tractable classes that were previously presented, for example, in the areas of propositional satisfiability, constraint satisfaction, and OR-databases. Although proving bounded intricacy for these classes requires domain-specific techniques (which are based on the original tractability proofs), bounded intricacy is one more tool available for showing that a family of problems arising in some application is tractable. As we demonstrate in the case of constraint satisfaction and disjunctive logic programs, bounded intricacy can also be used to uncover new tractable classes.Technical report DCS-TR-32
Production of biobutanol from cellulose hydrolysate by the Escherichia coli co-culture system.
No full textStudy of structural and magnetic properties of cobalt ferrite nanoparticles sintered at different temperature
No full text
Optimization of Xylanase Production from Bacillus Sp. Pkd-9 under Solid State Fermentation, Partial Characterization and Application
No full textThis Dissertation / Report is the outcome of investigation carried out by the creator(s) / author(s) at the department/division of Central Food Technological Research Institute (CFTRI), Mysore mentioned below in this page
Development of Efficient Resource Allocation Algorithm in Chunk Based OFDMA System
Get PDFThe emerging demand for diverse data applications in next generation wireless networks entails both high data rate wireless connections and intelligent multiuser scheduling designs. The orthogonal frequency division multiple access based system is capable of delivering high speed data rate and can operate in a multipath environment. OFDMA based system dividing an entire channel into many orthogonal narrow band subcarriers. Due to this, it is useful to eliminate inter symbol interferences which is a limit of total available data rates. In this paper, investigation about resource allocation problem for the chunk based Orthogonal Frequency Division Multiple Access (OFDMA) wireless multicast systems is done. In this paper, it is expected that the Base Station (BS) has multiple antennas in a Distributed Antenna System (DAS). The allocation unit is a group of contiguous subcarriers (chunk) in conventional OFDMA systems. The aim of this investigation is to develop an efficient resource allocation algorithm to maximize the total throughput and minimize the average outage probability over a chunk with respect to average Bit Error Rate (BER and total available power)
Reactive power planning with the help of multi-objective genetic algorithm and flexible AC transmission systems devices
Get PDFIn this paper power quality of 3-bus solar-based hybrid system has been presented (where one or more than one distribution generator unit is connected to the grid). The injection of solar power into grid-connected systems creates power quality problems such as current consistency, electrical fluctuations, and inefficient power demand. A power quality control strategy based on a real-time self-regulation method for autonomous microgrid operation has been presented. In this paper solar farm design and satisfactory performance tests such as PV-static synchronous compensator (STATCOM) to improve the power quality of grid-based systems have been presented using the MATLAB/Simulink environment. Pulse width modulator (PWM) with proportional-integral derivative (PID) controller used for frequency control, reactive var compensation is used to control voltage profile. Multi-objective genetic algorithm (MOGA) for reactive power planning (RPP) with the objective of reactive power minimization is introduced. The optimization variables are generator voltage, transformer tap changer, and various operational constraints
Glucoamylase from Bacillus sp. CAM-21: Production, immobilization and its application in food/agro waste saccharification.
No full textThis Dissertation / Report is the outcome of investigation carried out by the creator(s) / author(s) at the department/division of Central Food Technological Research Institute (CFTRI), Mysore mentioned below in this page
Studies on production and immobilization of mannanase from Bacillus sp.CAM-21 and preparation of β- Carotene nanoemulsions.
No full textThis Dissertation / Report is the outcome of investigation carried out by the creator(s) / author(s) at the department/division of Central Food Technological Research Institute (CFTRI), Mysore mentioned below in this page
- …
