scholarly journals TRuML: A Translator for Rule-Based Modeling Languages

2017 ◽  
Author(s):  
Ryan Suderman ◽  
William S. Hlavacek
Keyword(s):  
Approximate Model ◽  
Equivalent Model ◽  
Modeling Languages ◽  
Practical Application ◽  
Biochemical Reaction Networks ◽  
Software Suite ◽  
Rule Based ◽  
Equivalent Models ◽  
Simulation Languages ◽  
Input Model

ABSTRACTRule-based modeling languages, such as the Kappa and BioNetGen languages (BNGL), are powerful frameworks for modeling the dynamics of complex biochemical reaction networks. Each language is distributed with a distinct software suite and modelers may wish to take advantage of both toolsets. This paper introduces a practical application called TRuML that translates models written in either Kappa or BNGL into the other language. While similar in many respects, key differences between the two languages makes translation sufficiently complex that automation becomes a useful tool. TRuML accommodates the languages’ complexities and produces a semantically equivalent model in the alternate language of the input model when possible and an approximate model in certain other cases. Here, we discuss a number of these complexities and provide examples of equivalent models in both Kappa and BNGL.CCS CONCEPTS• Applied computing → Systems biology; • Computing methodologies → Simulation languages;

Who Finds what in Usability Evaluation

1998 ◽  
Vol 42 (19) ◽  
pp. 1341-1345 ◽  
Author(s):  
Limin Fu ◽  
Gavriel Salvendy ◽  
Lori Turley
Keyword(s):  
Human Factor ◽  
User Performance ◽  
Practical Application ◽  
Web Based ◽  
Rule Based ◽  
Knowledge Based ◽  
Usability Problems ◽  
Different Types ◽  
Types Of Information ◽  
Different Levels

For different levels of user performance, different types of information are processed and users will make different types of errors. Based on the error's immediate cause and the information being processed, usability problems can be classified into three categories. They are usability problems associated with skill-based, rule-based, knowledge-based levels of performance. In this paper, a user interface for a Web-based software program was evaluated by two groups - human factor experts and users. The experiment discovered that human factor experts are more effective than users in identifying usability problems associated with skill-based and rule-based levels of performance. Users are more effective than human factor experts in finding usability problems associated with the knowledge-based level of performance. The practical application of this research is also discussed in the paper.

DERIVING AN ELECTRIC CIRCUIT EQUIVALENT MODEL OF CELL MEMBRANE PORES IN ELECTROPORATION

2013 ◽  
Vol 08 (01n02) ◽  
pp. 21-32 ◽  
Author(s):  
B. I. MORSHED ◽  
M. SHAMS ◽  
T. MUSSIVAND
Keyword(s):  
Transmembrane Potential ◽  
Electric Circuit ◽  
Behavior Modeling ◽  
Equivalent Model ◽  
Passive Components ◽  
Membrane Pores ◽  
Equivalent Models ◽  
Dynamic Components ◽  
Time Invariant ◽  
Transmembrane Resistance

Electroporation is the formation of reversible pores in cell membranes under a brief pulse of high electric field. Dynamics of pore formation during electroporation suggests that the transmembrane potential would settle approximately at the threshold transmembrane potential and the transmembrane resistance would decrease significantly from the state of relaxation. The current electric circuit equivalent models for electroporation containing time-invariant, static and passive components are unable to capture the pore dynamics. A biophysically-inspired electric circuit equivalent model containing dynamic components for membrane pores has been derived using biological parameters. The model contains a voltage-controlled resistor driven by a two-stage cascaded integrator that is activated through a voltage-gated switch. Simulation results with the derived model showed higher accuracy compared to a commonly used model, where the transmembrane resistance decreased million-fold at the onset of electroporation and the transmembrane potential settled at 99.5% of the critical transmembrane potential, thus enabling improved dynamic behavior modeling ability of the pores in electroporation. The derived model allows fast and reliable analysis of this biophysical phenomenon and potentially aids in optimization of various parameters involved in electroporation.

Study on the Amendment Leaf Spring Equivalent Model

2014 ◽  
Vol 633-634 ◽  
pp. 1148-1153
Author(s):  
Gao Jun Liu ◽  
Tie Zhu Zhang ◽  
Hong Xin Zhang ◽  
Lu Zou Zhang ◽  
Ben Ming Duan
Keyword(s):  
High Stress ◽  
Lateral Force ◽  
Longitudinal Force ◽  
Equivalent Model ◽  
Leaf Spring ◽  
Processing Problem ◽  
Equivalent Models ◽  
Electric Bus ◽  
Actual Force

Aiming at the processing problem of electric bus leaf spring equivalent model, the amendment leaf spring equivalent processing model is proposed after 3 kind leaf spring equivalent models are studied. This paper makes a comparison between the amendment leaf spring equivalent model and other models. Results show that the amendment leaf spring equivalent model not only considers the longitudinal force and lateral force of the leaf spring, but also avoids emergence the high stress area. So the amendment leaf spring equivalent model is more conform to the actual force situation of the electric bus frame, and it can provide the reliable constraint conditions for the next electric bus lightweight.

scholarly journals Modeling Problem of Equivalent Mechanical Models of a Sloshing Fluid

2018 ◽  
Vol 2018 ◽  
pp. 1-13 ◽  
Author(s):  
Yu-Chun Li ◽  
Hong-Liang Gou
Keyword(s):  
Traditional Method ◽  
Equivalent Model ◽  
Flat Bottom ◽  
Modeling Methods ◽  
Equivalent Models ◽  
Modified Method ◽  
Equivalent Mechanical Model ◽  
Mechanical Models ◽  
Correct Location ◽  
Cylindrical Tanks

Because the defects in the existing modeling methods for the equivalent mechanical model of a sloshing fluid have led to incorrect or inaccurate results in the existing equivalent models, this paper discusses three different modeling methods for the equivalent models: the traditional method, Housner’s method, and the modified method. The equivalent models obtained by the three methods are, respectively, presented and compared with each other for a liquid in rectangular and upright cylindrical tanks. The results show that the traditional method cannot provide the correct location expressions of the equivalent masses because the two types of different excitations are simultaneously used in one equivalent model. An equivalent model is exclusively applicable to a certain excitation (a translational excitation in a certain direction or a rotational excitation about a certain axis). Housner’s method is based on physical intuition, instead of fluid dynamics theory, therefore the calculation precision of Housner’s solution is not satisfactory. Housner’s method is only suitable for vertical tanks with a flat bottom subjected to a horizontal excitation. Based on a conceptual mistake in the traditional method, the concept of the equivalent model is reclarified, and the modified equivalence method is therefore suggested. A supplementary solution for the equivalent model in a cylindrical tank is presented. The correct models can be acquired using the modified equivalence method, which is applicable to tanks of arbitrary shape.

scholarly journals The Use of Two-Diode Substitute Model in Predicting the Efficiency of PV Conversion in Low Solar Conditions

2017 ◽  
Vol 24 (2) ◽  
pp. 177-202 ◽  
Author(s):  
Tadeusz Rodziewicz ◽  
Małgorzata Rajfur ◽  
Maria Wacławek
Keyword(s):  
Open Space ◽  
Measurement Data ◽  
Photovoltaic Cell ◽  
Equivalent Model ◽  
Testing System ◽  
Practical Application ◽  
System Operation ◽  
Pv Modules ◽  
Cell Module ◽  
Theoretical Foundations

AbstractThe article presents theoretical foundations of a two-diode equivalent model of a photovoltaic cell/module (PV), together with calculation procedures. A physical interpretation of individual components of an equivalent model was presented. Its practical application in predicting efficiency of operation of various PV cells and modules in low insulation conditions was demonstrated. The obtained predictions were verified with the actual results of their operation in open space (outdoor). The practical suitability of the “model” in early detection of ageing phenomena, such as, for example, absorber degradation taking place in PV modules, was demonstrated. The article was prepared on the basis of the results of testing five different PV modules with various constructions, made of different materials and absorbers, such as: c-Si, mc-Si, CIS, a-Si_SJ, a-Si_TJ. The used measurement data were collected during the 16-year period of the experimental PV modules testing system operation in University of Opole, equipped with a data acquisition system.

scholarly journals NN-Based Approximate Model Control for the EAF Electrode Regulator System

2013 ◽  
Vol 2013 ◽  
pp. 1-11 ◽  
Author(s):  
Hongge Zhao
Keyword(s):  
Approximate Model ◽  
Equivalent Model ◽  
Neural Network Controller ◽  
Network Controller ◽  
Control Scheme ◽  
Model Control ◽  
System Requirements ◽  
Robust Adaptive ◽  
The Stability ◽  
Nonlinear Control Law

This paper proposes a robust adaptive neural network controller (RANNC) for electrode regulator system. According to the characteristics of electrode regulator system, an affine-like equivalent model is first derived. Then, the nonlinear control law is derived directly based on the affine-like equivalent model identified with neural networks, which avoids complex control development and intensive computation. The control scheme is simple enough that it can be implemented on an automotive microcontroller system, and the performance meets the system requirements. The stability of the system is established by the Lyapunov method. Several simulations illustrate the effectiveness of the controller.

An Adaptive Approximate Model Neural Network Controller for EAF Electrode Regulator System

2013 ◽  
Vol 373-375 ◽  
pp. 1432-1436 ◽  
Author(s):  
Hong Ge Zhao
Keyword(s):  
Neural Network ◽  
Neural Networks ◽  
Approximate Model ◽  
Equivalent Model ◽  
Nonlinear Controller ◽  
Output Measurement ◽  
Neural Network Controller ◽  
Network Controller ◽  
The Neural Networks ◽  
Robust Adaptive

This paper proposes a robust adaptive neural network controller (RANNC) for electrode regulator system. An equivalent model in affine-like is derived for electrode regulator system. Then, the nonlinear control law is derived directly based on the affine-like equivalent model identified with neural networks, which avoids complex control development and intensive computation. Pretraining is not required and the weights of the neural networks used in adaptive control are directly updated online based on the input-output measurement. The proposed nonlinear controller is verified by computer simulations.

Sign in / Sign up

Export Citation Format

Share Document