31 |
A question answering interpretation of resolution refutationBurhans, Debra Thomas. January 2002 (has links)
Thesis (Ph. D.)--State University of New York at Buffalo, 2002. / Includes bibliographical references (leaves 172-187). Also available in print.
|
32 |
KBMS-based evolutionary prototyping of object-oriented software systems /Chatterjee, Raja, January 1998 (has links)
Thesis (Ph. D.)--University of Florida, 1998. / Typescript. Vita. Includes bibliographical references (leaves 115-118). Full text also available from UMI Current Research @ database; Adobe Acrobat Reader required to display text; see LINKS to connect
|
33 |
Architectural aspects and a prototype system for handling disputes in electronic commerce transactions /Lei, Yiming, January 2002 (has links)
Thesis (M.Sc.)--Memorial University of Newfoundland, 2003. / Bibliography: leaves 120-124.
|
34 |
Rule based expert system for manufacturing process selectionSankarasubramanian, Venkatasubramanian. January 2005 (has links)
Thesis (M.S.)--Ohio University, June, 2005. / Title from PDF t.p. Includes bibliographical references (p. 58)
|
35 |
Stochastic Simulation Methods for Biochemical Systems with Multi-state and Multi-scale FeaturesLiu, Zhen 13 November 2012 (has links)
In this thesis we study stochastic modeling and simulation methods for biochemical systems. The thesis is focused on systems with multi-state and multi-scale features and divided into two parts. In the first part, we propose new algorithms that improve existing multi-state simulation methods. We first compare the well known Gillespie\\\'s stochastic simulation algorithm (SSA) with the StochSim, an agent-based simulation method. Based on the analysis, we propose a hybrid method that possesses the advantages of both methods. Then we propose two new methods that extend the Network-Free Algorithm (NFA) for rule-based models. Numerical results are provided to show the performance improvement by our new methods. In the second part, we investigate two simulation schemes for the multi-scale feature: Haseltine and Rawlings\\\' hybrid method and the quasi-steady-state stochastic simulation method. We first propose an efficient partitioning strategy for the hybrid method and an efficient way of building stochastic cell cycle models with this new partitioning strategy. Then, to understand conditions where the two simulation methods can be applied, we develop a way to estimate the relaxation time of the fast sub-network, and compare it with the firing interval of the slow sub-network. Our analysis are verified by numerical experiments on different realistic biochemical models. / Ph. D.
|
36 |
Rule-Based Approaches for Controlling on Mode Dynamic SystemsMoon, Myung Soo 27 August 1997 (has links)
This dissertation presents new fuzzy logic techniques for designing control systems for a wide class of complex systems. The methods are developed in detail for a crane system which contains one rigid-body and one oscillation mode. The crane problem is to transfer the rigid body a given distance such that the pendulation of the oscillation mode is regulated at the final time using a single control input. The investigations include in-depth studies of the time-optimal crane control problem as an integral part of the work. The main contributions of this study are:
(1) Development of rule-based systems (both fuzzy and crisp) for the design of optimal controllers. This development involves control variable parametrization, rule derivation with parameter perturbation methods, and the design of rule based controllers, which can be combined with model-based feedback control methods.
(2) A thorough investigation and analysis of the solutions for time-optimal control problems of oscillation mode systems, with particular emphasis on the use of phase-plane interpretation.
(3) Development of fuzzy logic control system methodology using expert rules obtained through energy reducing considerations. In addition, dual mode control is a "spin-off" design method which, although no longer time optimal, can be viewed as a near-optimal control method which may be easier to implement. In both types of design optimization of the fuzzy logic controller can be used to improve performance. / Ph. D.
|
37 |
Development and Testing of a Hybrid Vehicle Energy Management StrategyWu, Justin Quach 26 August 2022 (has links)
An energy management strategy for a prototype P4 parallel hybrid Chevrolet Blazer is developed for the EcoCAR Mobility Challenge. The objective of the energy management strategy is to reduce energy consumption while maintaining the drive quality targets of a conventional vehicle. A comprehensive model of the hybrid powertrain and vehicle physics is constructed to aid in the development of the control strategy. To improve fuel efficiency, a Willans line model is developed for the conventional powertrain and used to develop a rule-based torque split strategy. The strategy maximizes high efficiency engine operation while reducing round trip losses. Calibratable parameters for the torque split operating regions allow for battery state of charge management. Torque request and filtering algorithms are also developed to ensure the hybrid powertrain can smoothly and reliably meet driver demand. Vehicle testing validates that the hybrid powertrain meets acceleration response targets while delivering an enjoyable driving experience. Simulation testing shows that the energy management strategy improved fuel economy in most drive cycles with improvements of 8.8% for US06, 9.8% for HWFET, and 0.1% for the EcoCAR Mobility Challenge Cycle. Battery state of charge management behavior is robust across a variety of drive cycles using inputs from both simulated and test drivers. The resulting energy management strategy delivers an efficient, responsive, and reliable hybrid electric vehicle. / Master of Science / A control strategy for a hybrid vehicle is developed to improve fuel efficiency without sacrificing vehicle responsiveness. Efficiency improvements are achieved by the strategy intelligently selecting to use the engine, motor, or a combination of the two to minimize fuel consumption. The strategy also handles the important tasks of maintaining the battery pack charge and smoothly transitioning between the engine and motor power. All together, this results in a hybrid vehicle with both improved fuel economy and an enjoyable driving experience.
|
38 |
Stochastic Simulation Methods for Solving Systems with Multi-State SpeciesLiu, Zhen 29 May 2009 (has links)
Gillespie's stochastic simulation algorithm (SSA) has been a conventional method for stochastic modeling and simulation of biochemical systems. However, its population-based scheme faces the challenge from multi-state situations in many biochemical models. To tackle this problem, Morton-Firth and Bray's stochastic simulator (StochSim) was proposed with a particle-based scheme. The thesis first provides a detailed comparison between these two methods, and then proposes improvements on StochSim and a hybrid method to combine the advantages of the two methods. Analysis and numerical experiment results demonstrate that the hybrid method exhibits extraordinary performance for systems with both the multi-state feature and a high total population.
In order to deal with the combinatorial complexity caused by the multi-state situation, the rules-based modeling was proposed by Hlavacek's group and the particle-based Network-Free Algorithm (NFA) has been used for its simulation. In this thesis, we improve the NFA so that it has both the population-based and particle-based features. We also propose a population-based method for simulation of the rule-based models.
The bacterial chemotaxis model has served as a good biological example involving multi-state species. We implemented different simulation methods on this model. Then we constructed a graphical interface and compared the behaviors of the bacterium under different mechanisms, including simplified mathematical models and chemically reacting networks which are simulated stochastically. / Master of Science
|
39 |
Using Rule-based Structure to Evaluate Rule-based System Testing Completeness: A Case Study of Loci and Quick TestMedders, Stephen Charles 03 May 2008 (has links)
Rule-based systems are tested by developing a set of inputs which will produce already known outputs. The problem with this form of testing is that the system code is not considered when generating test cases. This makes software testing completeness difficult to measure. This is important because all the computational models are constructed within the code. Therefore, to show the models of the system are tested, it must be shown that the code is tested. Chem uses the Loci rule-based application framework to build computational fluid dynamics models. These models are tested using the Quick Test suite. The data flow structure built by Loci, along with Quick Test, provided a case study for the research. The test suite was compared against three levels of coverage. The measures indicated that the lowest level of coverage was not achieved. This shows us that structural coverage measures can be utilized to measure rule-based system testing completeness.
|
40 |
A feasibility study of combining expert system technology and linear programming techniques in dietetics / Annette van der MerweVan der Merwe, Annette January 2014 (has links)
Linear programming is widely used to solve various complex problems with many variables, subject to multiple constraints. Expert systems are created to provide expertise on complex problems through the application of inference procedures and advanced expert knowledge on facts relevant to the problem. The diet problem is well-known for its contribution to the development of linear programming. Over the years many variations and facets of the diet problem have been solved by means of linear programming techniques and expert systems respectively. In this study the feasibility of combining expert system technology and linear programming techniques to solve a diet problem topical to South Africa, is examined. A computer application is created that incorporates goal programming- and multi-objective linear programming models as the inference engine of an expert system. The program is successfully applied to test cases obtained through knowledge acquisition. The system delivers an eating-plan for an individual that conforms to the nutritional requirements of a healthy diet, includes the personal food preferences of that individual, and includes the food items that result in the lowest total cost. It further allows prioritization of the food preference and least cost factors through the use of weights. Based on the results, recommendations and contributions to the linear programming and expert system fields are presented. / MSc (Computer Science), North-West University, Potchefstroom Campus, 2014
|
Page generated in 0.1134 seconds