Sample records for based modeling system

  1. Port-based modeling of mechatronic systems

    Breedveld, Peter C.


    Many engineering activities, including mechatronic design, require that a multidomain or ‘multi-physics’ system and its control system be designed as an integrated system. This contribution discusses the background and tools for a port-based approach to integrated modeling and simulation of physical

  2. Agent-Based Modeling in Systems Pharmacology.

    Cosgrove, J; Butler, J; Alden, K; Read, M; Kumar, V; Cucurull-Sanchez, L; Timmis, J; Coles, M


    Modeling and simulation (M&S) techniques provide a platform for knowledge integration and hypothesis testing to gain insights into biological systems that would not be possible a priori. Agent-based modeling (ABM) is an M&S technique that focuses on describing individual components rather than homogenous populations. This tutorial introduces ABM to systems pharmacologists, using relevant case studies to highlight how ABM-specific strengths have yielded success in the area of preclinical mechanistic modeling. PMID:26783498

  3. Simulation-based Manufacturing System Modeling

    卫东; 金烨; 范秀敏; 严隽琪


    In recent years, computer simulation appears to be very advantageous technique for researching the resource-constrained manufacturing system. This paper presents an object-oriented simulation modeling method, which combines the merits of traditional methods such as IDEF0 and Petri Net. In this paper, a four-layer-one-angel hierarchical modeling framework based on OOP is defined. And the modeling description of these layers is expounded, such as: hybrid production control modeling and human resource dispatch modeling. To validate the modeling method, a case study of an auto-product line in a motor manufacturing company has been carried out.

  4. Area Logistics System Based on System Dynamics Model

    GUI Shouping; ZHU Qiang; LU Lifang


    At present, there are few effective ways to analyze area logistics systems. This paper uses system dynamics to analyze the area logistics system and establishes a system dynamics model for the area logistics system based on the characteristics of the area logistics system and system dynamics. Numerical simulations with the system dynamic model were used to analyze a logistic system. Analysis of the Guangzhou economy shows that the model can reflect the actual state of the system objectively and can be used to make policy and harmonize environment.

  5. Model-based testing for embedded systems

    Zander, Justyna; Mosterman, Pieter J


    What the experts have to say about Model-Based Testing for Embedded Systems: "This book is exactly what is needed at the exact right time in this fast-growing area. From its beginnings over 10 years ago of deriving tests from UML statecharts, model-based testing has matured into a topic with both breadth and depth. Testing embedded systems is a natural application of MBT, and this book hits the nail exactly on the head. Numerous topics are presented clearly, thoroughly, and concisely in this cutting-edge book. The authors are world-class leading experts in this area and teach us well-used

  6. Model Based Control of Refrigeration Systems

    Larsen, Lars Finn Sloth

    of the supermarket refrigeration systems therefore greatly relies on a human operator to detect and accommodate failures, and to optimize system performance under varying operational condition. Today these functions are maintained by monitoring centres located all over the world. Initiated by the growing need...... for automation of these procedures, that is to incorporate some "intelligence" in the control system, this project was started up. The main emphasis of this work has been on model based methods for system optimizing control in supermarket refrigeration systems. The idea of implementing a system optimizing...... optimizing the steady state operation "set-point optimizing control" and a part optimizing dynamic behaviour of the system "dynamical optimizing control". A novel approach for set-point optimization will be presented. The general idea is to use a prediction of the steady state, for computation of the cost...

  7. Model based systems engineering for astronomical projects

    Karban, R.; Andolfato, L.; Bristow, P.; Chiozzi, G.; Esselborn, M.; Schilling, M.; Schmid, C.; Sommer, H.; Zamparelli, M.


    Model Based Systems Engineering (MBSE) is an emerging field of systems engineering for which the System Modeling Language (SysML) is a key enabler for descriptive, prescriptive and predictive models. This paper surveys some of the capabilities, expectations and peculiarities of tools-assisted MBSE experienced in real-life astronomical projects. The examples range in depth and scope across a wide spectrum of applications (for example documentation, requirements, analysis, trade studies) and purposes (addressing a particular development need, or accompanying a project throughout many - if not all - its lifecycle phases, fostering reuse and minimizing ambiguity). From the beginnings of the Active Phasing Experiment, through VLT instrumentation, VLTI infrastructure, Telescope Control System for the E-ELT, until Wavefront Control for the E-ELT, we show how stepwise refinements of tools, processes and methods have provided tangible benefits to customary system engineering activities like requirement flow-down, design trade studies, interfaces definition, and validation, by means of a variety of approaches (like Model Checking, Simulation, Model Transformation) and methodologies (like OOSEM, State Analysis)

  8. Model based control of refrigeration systems

    Sloth Larsen, L.F.


    The subject for this Ph.D. thesis is model based control of refrigeration systems. Model based control covers a variety of different types of controls, that incorporates mathematical models. In this thesis the main subject therefore has been restricted to deal with system optimizing control. The optimizing control is divided into two layers, where the system oriented top layers deals with set-point optimizing control and the lower layer deals with dynamical optimizing control in the subsystems. The thesis has two main contributions, i.e. a novel approach for set-point optimization and a novel approach for desynchronization based on dynamical optimization. The focus in the development of the proposed set-point optimizing control has been on deriving a simple and general method, that with ease can be applied on various compositions of the same class of systems, such as refrigeration systems. The method is based on a set of parameter depended static equations describing the considered process. By adapting the parameters to the given process, predict the steady state and computing a steady state gradient of the cost function, the process can be driven continuously towards zero gradient, i.e. the optimum (if the cost function is convex). The method furthermore deals with system constrains by introducing barrier functions, hereby the best possible performance taking the given constrains in to account can be obtained, e.g. under extreme operational conditions. The proposed method has been applied on a test refrigeration system, placed at Aalborg University, for minimization of the energy consumption. Here it was proved that by using general static parameter depended system equations it was possible drive the set-points close to the optimum and thus reduce the power consumption with up to 20%. In the dynamical optimizing layer the idea is to optimize the operation of the subsystem or the groupings of subsystems, that limits the obtainable system performance. In systems

  9. Model-based control of networked systems

    Garcia, Eloy; Montestruque, Luis A


    This monograph introduces a class of networked control systems (NCS) called model-based networked control systems (MB-NCS) and presents various architectures and control strategies designed to improve the performance of NCS. The overall performance of NCS considers the appropriate use of network resources, particularly network bandwidth, in conjunction with the desired response of the system being controlled.   The book begins with a detailed description of the basic MB-NCS architecture that provides stability conditions in terms of state feedback updates . It also covers typical problems in NCS such as network delays, network scheduling, and data quantization, as well as more general control problems such as output feedback control, nonlinear systems stabilization, and tracking control.   Key features and topics include: Time-triggered and event-triggered feedback updates Stabilization of uncertain systems subject to time delays, quantization, and extended absence of feedback Optimal control analysis and ...

  10. Cloth Modeling Based on Particle System

    钟跃崎; 王善元


    A physical-based particle system is employed for cloth modeling supported by two basic algorithms, between which one is the construction of the internal and external forces acting on the particle system in terms of KES-F bending and shearing tests, and the other is the collision algorithm of which the collision detection is carried by means of bi-section of time step and the collision response is handled according to the empirical law for frictionless collision With these algorithms. the geometric state of parcles can be expressed as ordinary differential equationswhich is numerically solved by fourth order Runge- Kutta integration. Different draping figures of cotton fabric and wool fabric prove that such a particle system is suitable for 3D cloth modeling and simulation.

  11. Knowledge base system visualization reasoning model based on ICON

    Chen, Deyun; Pei, Shujun; Quan, Zhiying


    Knowledge base system is one of the most future branches for artificial intelligence facing with practical application. But the reasoning process of system is invisible, not visual and users cannot intervene the reasoning process, therefore for users the system is only a black box. This condition causes many users to take a suspicious attitude to the conclusions analyzing and drawing from the system, that means even though the system has the explanation function, but it is still not far enough. If we adopt graph or image technique to display this reasoning procedure interactively and dynamically which can make this procedure be visual, users can intervene the reasoning procedure which can greatly reduce users" gain giving, and at the same time it can provide a given method for integrity check to knowledge of the knowledge base. Therefore, we can say that reasoning visualization of knowledge base system has a further meaning than general visualization. In this paper the visual problem of reasoning process for knowledge base system on the basis of the formalized analysis for ICON system, Icon operation, syntax and semanteme of the statement is presented, a reasoning model of knowledge base system that has a visual characteristics is established, the model is used to do an integrity check in practical expert system and knowledge base, better effect is got.

  12. A contextual modeling approach for model-based recommender systems

    Fernández-Tobías, Ignacio; Campos Soto, Pedro G.; Cantador, Iván; Díez, Fernando


    The final publication is available at Springer via Proceedings of 15th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2013, Madrid, Spain, September 17-20, 2013. In this paper we present a contextual modeling approach for model-based recommender systems that integrates and exploits both user preferences and contextual signals in a common vector space. Differently to previous work, we conduct a user study acquiring ...

  13. A Model-Based Expert System For Digital Systems Design

    Wu, J. G.; Ho, W. P. C.; Hu, Y. H.; Yun, D. Y. Y.; Parng, T. M.


    In this paper, we present a model-based expert system for automatic digital systems design. The goal of digital systems design is to generate a workable and efficient design from high level specifications. The formalization of the design process is a necessity for building an efficient automatic CAD system. Our approach combines model-based, heuristic best-first search, and meta-planning techniques from AI to facilitate the design process. The design process is decomposed into three subprocesses. First, the high-level behavioral specifications are translated into sequences of primitive behavioral operations. Next, primitive operations are grouped to form intermediate-level behavioral functions. Finally, structural function modules are selected to implement these functions. Using model-based reasoning on the primitive behavioral operations level extends the solution space considered in design and provides more opportunity for minimization. Heuristic best-first search and meta-planning tech-niques control the decision-making in the latter two subprocesses to optimize the final design. They also facilitate system maintenance by separating design strategy from design knowledge.

  14. A model-based control system concept

    This paper presents an overview of a new concept for DCSs developed within the KBRTCS (Knowledge-Based Real-Time Control Systems) project performed between 1988 and 1991 as a part of the Swedish IT4 programme. The partners of the project have been the Department of Automatic Control at Lund University, Asea Brown Boveri, and during parts of the project, SattControl, and TeleLogic. The aim of the project has been to develop a concept for future generations of DCSs based on a plant database containing a description of the plant together with the control system. The database is object-based and supports multiple views of an objects. A demonstrator is presented where a DCS system of this type is emulated. The demonstrator contains a number of control, monitoring, and diagnosis applications that execute in real time against a simulations of Steritherm sterilization process. (25 refs.)

  15. Model Based Control of Reefer Container Systems

    Sørensen, Kresten Kjær

    This thesis is concerned with the development of model based control for the Star Cool refrigerated container (reefer) with the objective of reducing energy consumption. This project has been carried out under the Danish Industrial PhD programme and has been financed by Lodam together with the...

  16. Nonlinear system modeling based on experimental data



    The canonical variate analysis technique is used in this investigation, along with a data transformation algorithm, to identify a system in a transform space. The transformation algorithm involves the preprocessing of measured excitation/response data with a zero-memory-nonlinear transform, specifically, the Rosenblatt transform. This transform approximately maps the measured excitation and response data from its own space into the space of uncorrelated, standard normal random variates. Following this transform, it is appropriate to model the excitation/response relation as linear since Gaussian inputs excite Gaussian responses in linear structures. The linear model is identified in the transform space using the canonical variate analysis approach, and system responses in the original space are predicted using inverse Rosenblatt transformation. An example is presented.

  17. Research of database-based modeling for mining management system

    WU Hai-feng; JIN Zhi-xin; BAI Xi-jun


    Put forward the method to construct the simulation model automatically with database-based automatic modeling(DBAM) for mining system. Designed the standard simulation model linked with some open cut Pautomobile dispatch system. Analyzed and finded out the law among them, and designed model maker to realize the automatic programming of the new model program.

  18. A model-based evaluation system of enterprise

    Yan Junwei; Ye Yang; Wang Jian


    This paper analyses the architecture of enterprise modeling, proposesindicator selection principles and indicator decomposition methods, examines the approaches to the evaluation of enterprise modeling and designs an evaluation model of AHP. Then a model-based evaluation system of enterprise is presented toeffectively evaluate the business model in the framework of enterprise modeling.

  19. Probabilistic Model-Based Diagnosis for Electrical Power Systems

    National Aeronautics and Space Administration — We present in this article a case study of the probabilistic approach to model-based diagnosis. Here, the diagnosed system is a real-world electrical power system,...

  20. Agent-based Modeling and Mapping of Manufacturing System

    Z; Zhang


    Considering the gent-based modeling and mapping in m anufacturing system, in this paper, some system models are described, which are including: Domain Based Hierarchical Structure (DBHS), Cascading Agent Struc ture (CAS), Proximity Relation structure (PRS), and Bus-based network structure (BNS). In DBHS, one sort of agent individually delegates Domain Agents, Res ources Agents, UserInterface Agents and Gateway Agents and the other one is a br oker of tasks and process flow. Static agents representing...

  1. Agent-Based Modeling and Mapping of Manufacturing System

    Z; Zhang


    Considering the agent-based modeling and mapping i n manufacturing system, some system models are described in this paper, which are included: Domain Based Hierarchical Structure (DBHS), Cascading Agent Structure (CAS), Proximity Relation Structure (PRS), and Bus-based Network Structure (BNS ). In DBHS, one sort of agents, called static agents, individually acts as Domai n Agents, Resources Agents, UserInterface Agents and Gateway Agents. And the oth ers, named mobile agents, are the brokers of task and ...

  2. Bond graph model-based fault diagnosis of hybrid systems

    Borutzky, Wolfgang


    This book presents a bond graph model-based approach to fault diagnosis in mechatronic systems appropriately represented by a hybrid model. The book begins by giving a survey of the fundamentals of fault diagnosis and failure prognosis, then recalls state-of-art developments referring to latest publications, and goes on to discuss various bond graph representations of hybrid system models, equations formulation for switched systems, and simulation of their dynamic behavior. The structured text: • focuses on bond graph model-based fault detection and isolation in hybrid systems; • addresses isolation of multiple parametric faults in hybrid systems; • considers system mode identification; • provides a number of elaborated case studies that consider fault scenarios for switched power electronic systems commonly used in a variety of applications; and • indicates that bond graph modelling can also be used for failure prognosis. In order to facilitate the understanding of fault diagnosis and the presented...

  3. Model-Based Development of Control Systems for Forestry Cranes

    Pedro La Hera; Daniel Ortíz Morales


    Model-based methods are used in industry for prototyping concepts based on mathematical models. With our forest industry partners, we have established a model-based workflow for rapid development of motion control systems for forestry cranes. Applying this working method, we can verify control algorithms, both theoretically and practically. This paper is an example of this workflow and presents four topics related to the application of nonlinear control theory. The first topic presents th...

  4. Multimedia Data Modeling Based on Temporal Logic and XYZ System

    MA Huadong; LIU Shenquan


    This paper proposes a new approach to modeling multimedia data. The newapproach is the multimedia data model based on temporal logic and XYZSystem. It supports the formal specifications in a multimedia system.Using this model, we can not only specify information unitsbut also design and script a multimedia title in an unified framework.Based on this model, an interactive multimedia authoring environment hasbeen developed.

  5. Model Based Mission Assurance: Emerging Opportunities for Robotic Systems

    Evans, John W.; DiVenti, Tony


    The emergence of Model Based Systems Engineering (MBSE) in a Model Based Engineering framework has created new opportunities to improve effectiveness and efficiencies across the assurance functions. The MBSE environment supports not only system architecture development, but provides for support of Systems Safety, Reliability and Risk Analysis concurrently in the same framework. Linking to detailed design will further improve assurance capabilities to support failures avoidance and mitigation in flight systems. This also is leading new assurance functions including model assurance and management of uncertainty in the modeling environment. Further, the assurance cases, a structured hierarchal argument or model, are emerging as a basis for supporting a comprehensive viewpoint in which to support Model Based Mission Assurance (MBMA).

  6. Agent-based modelling of socio-technical systems

    van Dam, Koen H; Lukszo, Zofia


    Here is a practical introduction to agent-based modelling of socio-technical systems, based on methodology developed at TU Delft, which has been deployed in a number of case studies. Offers theory, methods and practical steps for creating real-world models.

  7. Fujisaki Model Based Intonation Modeling for Korean TTS System

    Kim, Byeongchang; Lee, Jinsik; Lee, Gary Geunbae

    One of the enduring problems in developing high-quality TTS (text-to-speech) system is pitch contour generation. Considering language specific knowledge, an adjusted Fujisaki model for Korean TTS system is introduced along with refined machine learning features. The results of quantitative and qualitative evaluations show the validity of our system: the accuracy of the phrase command prediction is 0.8928; the correlations of the predicted amplitudes of a phrase command and an accent command are 0.6644 and 0.6002, respectively; our method achieved the level of "fair" naturalness (3.6) in a MOS scale for generated F0 curves.

  8. Integration of Management Systems: A Process Based Model


    The paper discusses the barriers of integration of management systems (IMS). A model based on process is explored. It is indicated that integrating management systems should not ignore the characteristics of the management systems, especially scope issues. IMS needs to take into the continuous improvement.

  9. Realization of parking task based on affine system modeling

    This paper presents a motion control system of an unmanned vehicle, where parallel parking task is realized based on a self-organizing affine system modeling and a quadratic programming based robust controller. Because of non-linearity of the vehicle system and complexity of the task to realize, control objective is not always realized with a single algorithm or control mode. This paper presents a hybrid model for parallel parking task in which seven modes for describing sub-tasks constitute an entire model

  10. Agent-based Model Construction in Financial Economic System

    Hokky Situngkir; Yohanes Surya


    The paper gives picture of enrichment to economic and financial system analysis using agent-based models as a form of advanced study for financial economic data post-statistical-data analysis and micro- simulation analysis. Theoretical exploration is carried out by using comparisons of some usual financial economy system models frequently and popularly used in econophysics and computational finance. Primitive model, which consists of agent microsimulation with fundamentalist strategy, chartis...

  11. Model-based analysis of control performance in sewer systems

    Mollerup, Ane Høyer; Mauricio Iglesias, Miguel; Johansen, N.B.; Thornberg, D.; Mikkelsen, Peter Steen; Sin, Gürkan

    Design and assessment of control in wastewater systems has to be tackled at all levels, including supervisory and regulatory level. We present here an integrated approach to assessment of control in sewer systems based on modelling and the use of process control tools to assess the controllability...... of the process. A case study of a subcatchment area in Copenhagen (Denmark) is used to illustrate the combined approach in modelling of the system and control assessment....

  12. Model-based design of integrated production systems: a review

    Ould Sidi, Mohamed Mahmoud; Lescourret, Francoise


    Pest resistance and water pollution are major issues caused by the excessive use of pesticides in intensive agriculture. The concept of integrated production system (IPS) has been thus designed to solve those issues and also to meet the need for better food quality and production. Methodologies such as agronomic diagnosis-based design, prototyping, and model-based design have been developed. Here we review the model-based design of IPS. We identify tools for the development of comprehensive m...

  13. Mechanics and model-based control of advanced engineering systems

    Irschik, Hans; Krommer, Michael


    Mechanics and Model-Based Control of Advanced Engineering Systems collects 32 contributions presented at the International Workshop on Advanced Dynamics and Model Based Control of Structures and Machines, which took place in St. Petersburg, Russia in July 2012. The workshop continued a series of international workshops, which started with a Japan-Austria Joint Workshop on Mechanics and Model Based Control of Smart Materials and Structures and a Russia-Austria Joint Workshop on Advanced Dynamics and Model Based Control of Structures and Machines. In the present volume, 10 full-length papers based on presentations from Russia, 9 from Austria, 8 from Japan, 3 from Italy, one from Germany and one from Taiwan are included, which represent the state of the art in the field of mechanics and model based control, with particular emphasis on the application of advanced structures and machines.

  14. Intelligent Cost Modeling Based on Soft Computing for Avionics Systems

    ZHU Li-li; LI Zhuang-sheng; XU Zong-ze


    In parametric cost estimating, objections to using statistical Cost Estimating Relationships (CERs) and parametric models include problems of low statistical significance due to limited data points, biases in the underlying data, and lack of robustness. Soft Computing (SC) technologies are used for building intelligent cost models. The SC models are systemically evaluated based on their training and prediction of the historical cost data of airborne avionics systems. Results indicating the strengths and weakness of each model are presented. In general, the intelligent cost models have higher prediction precision, better data adaptability, and stronger self-learning capability than the regression CERs.

  15. Verification and Validation of Model-Based Autonomous Systems

    Pecheur, Charles; Koga, Dennis (Technical Monitor)


    This paper presents a three year project (FY99 to FY01) on the verification and validation of model based autonomous systems. The topics include: 1) Project Profile; 2) Model-Based Autonomy; 3) The Livingstone MIR; 4) MPL2SMV; 5) Livingstone to SMV Translation; 6) Symbolic Model Checking; 7) From Livingstone Models to SMV Models; 8) Application In-Situ Propellant Production; 9) Closed-Loop Verification Principle; 10) Livingstone PathFinder (LPF); 11) Publications and Presentations; and 12) Future Directions. This paper is presented in viewgraph form.

  16. Design Intelligent Model base Online Tuning Methodology for Nonlinear System

    Ali Roshanzamir


    Full Text Available In various dynamic parameters systems that need to be training on-line adaptive control methodology is used. In this paper fuzzy model-base adaptive methodology is used to tune the linear Proportional Integral Derivative (PID controller. The main objectives in any systems are; stability, robust and reliability. However PID controller is used in many applications but it has many challenges to control of continuum robot. To solve these problems nonlinear adaptive methodology based on model base fuzzy logic is used. This research is used to reduce or eliminate the PID controller problems based on model reference fuzzy logic theory to control of flexible robot manipulator system and testing of the quality of process control in the simulation environment of MATLAB/SIMULINK Simulator.

  17. Model-Based Thermal Management Functions for Aircraft Systems

    Schlabe, Daniel; Lienig, Jens


    This paper describes a novel Thermal Management Function (TMF) and its design process developed in the framework of the Clean Sky project. This TMF is capable of calculating optimized control signals in real-time for thermal management systems by using model-based system knowledge. This can be either a physical model of the system or a data record generated from this model. The TMF provides control signals to the air and vapor cycle which are possible sources of cooling power, as well as load...

  18. MOCOM - Model Based Condition Monitoring System for Plant Maintenance Optimisation

    MOCOM, a model based condition monitoring system using process models has been developed. The system computes characteristic parameters of main process equipment. These characteristic parameters are aggregated from process control system measurements using mathematical models. Real parameters derived from input and output measurements are compared to faultless parameters derived from input measurements and a process model of the process equipment. Process parameters that describe or characterise the process condition such as effectiveness and efficiency are used. Large deviation between the faultless and real value of the characteristic parameter indicates a fault and that maintenance, work may be required. MOCOM is an on-line system which continuously updates the characteristic parameters from measurements given by the process control system. An important feature of MOCOM is the ability to trend characteristic parameters and present these for the user. The MOCOM prototype is developed in object oriented C (C++) for Windows platform. The system may be integrated in conventional maintenance systems or be used as a standalone system. The Halden Reactor has been used as a test application and further implementations are planned. Finally it is outlined how MOCOM may also be used as a part of a system for optimisation of maintenance strategy, that is to select between corrective, time based preventive or condition based maintenance. (author)

  19. Model-Drive Architecture for Agent-Based Systems

    Gradanin, Denis; Singh, H. Lally; Bohner, Shawn A.; Hinchey, Michael G.


    The Model Driven Architecture (MDA) approach uses a platform-independent model to define system functionality, or requirements, using some specification language. The requirements are then translated to a platform-specific model for implementation. An agent architecture based on the human cognitive model of planning, the Cognitive Agent Architecture (Cougaar) is selected for the implementation platform. The resulting Cougaar MDA prescribes certain kinds of models to be used, how those models may be prepared and the relationships of the different kinds of models. Using the existing Cougaar architecture, the level of application composition is elevated from individual components to domain level model specifications in order to generate software artifacts. The software artifacts generation is based on a metamodel. Each component maps to a UML structured component which is then converted into multiple artifacts: Cougaar/Java code, documentation, and test cases.

  20. A role based coordination model in agent systems

    ZHANG Ya-ying; YOU Jin-yuan


    Coordination technology addresses the construction of open, flexible systems from active and independent software agents in concurrent and distributed systems. In most open distributed applications, multiple agents need interaction and communication to achieve their overall goal. Coordination technologies for the Internet typically are concerned with enabling interaction among agents and helping them cooperate with each other.At the same time, access control should also be considered to constrain interaction to make it harmless. Access control should be regarded as the security counterpart of coordination. At present, the combination of coordination and access control remains an open problem. Thus, we propose a role based coordination model with policy enforcement in agent application systems. In this model, coordination is combined with access control so as to fully characterize the interactions in agent systems. A set of agents interacting with each other for a common global system task constitutes a coordination group. Role based access control is applied in this model to prevent unauthorized accesses. Coordination policy is enforced in a distributed manner so that the model can be applied to the open distributed systems such as Intemet. An Internet online auction system is presented as a case study to illustrate the proposed coordination model and finally the performance analysis of the model is introduced.

  1. The Abstract Machine Model for Transaction-based System Control

    Chassin, David P.


    Recent work applying statistical mechanics to economic modeling has demonstrated the effectiveness of using thermodynamic theory to address the complexities of large scale economic systems. Transaction-based control systems depend on the conjecture that when control of thermodynamic systems is based on price-mediated strategies (e.g., auctions, markets), the optimal allocation of resources in a market-based control system results in an emergent optimal control of the thermodynamic system. This paper proposes an abstract machine model as the necessary precursor for demonstrating this conjecture and establishes the dynamic laws as the basis for a special theory of emergence applied to the global behavior and control of complex adaptive systems. The abstract machine in a large system amounts to the analog of a particle in thermodynamic theory. The permit the establishment of a theory dynamic control of complex system behavior based on statistical mechanics. Thus we may be better able to engineer a few simple control laws for a very small number of devices types, which when deployed in very large numbers and operated as a system of many interacting markets yields the stable and optimal control of the thermodynamic system.

  2. Model-Based Development of Control Systems for Forestry Cranes

    Pedro La Hera


    Full Text Available Model-based methods are used in industry for prototyping concepts based on mathematical models. With our forest industry partners, we have established a model-based workflow for rapid development of motion control systems for forestry cranes. Applying this working method, we can verify control algorithms, both theoretically and practically. This paper is an example of this workflow and presents four topics related to the application of nonlinear control theory. The first topic presents the system of differential equations describing the motion dynamics. The second topic presents nonlinear control laws formulated according to sliding mode control theory. The third topic presents a procedure for model calibration and control tuning that are a prerequisite to realize experimental tests. The fourth topic presents the results of tests performed on an experimental crane specifically equipped for these tasks. Results of these studies show the advantages and disadvantages of these control algorithms, and they highlight their performance in terms of robustness and smoothness.


    lumide S. ADEWALE


    Full Text Available The population of students all over the world is growing without a proportionate increase in teaching/learning resources/infrastructure. There is also much quest for learning in an environment that provides equal opportunities to all learners. The need to provide an equal opportunity learning environment that will hitherto improve the system of education globally has therefore become imperative. Based on our findings, a mathematical model Web-based Virtual Classroom system (WebVCS was developed to provide a viable medium through which sound education can be offered in tertiary institutions that can carter for varieties of learners irrespective of their abilities, dispositions and geographical locations. Our system model is developed based on active learning approach that adopts blended learning theory (Constructivist-Cognivist learning approach, incorporating e-pedagogy that supports collaboration among participants in the web-based Virtual learning environment. The key objects used in creating the WebVCS model are: Courses, Students, Instructors and Learning performances. Our system model sets a framework for developers of virtual classrooms and successful implementation of the model leads to students learning by interacting with their peers resulting in the construction of knowledge.

  4. Knowledge model-based decision support system for maize management

    GUO Yinqiao; ZHAO Chuande; WANG Wenxin; LI Cundong


    Based on the relationship between crops and circumstances,a dynamic knowledge model for maize management with wide applicability was developed using the system method and mathematical modeling technique.With soft component characteristics incorporated,a component and digital knowledge model-based decision support system for maize management was established on the Visual C++platform.This system realized six major functions:target yield calculation,design of pre-sowing plan,prediction of regular indices,real-time management control,expert knowledge reference and system administration.Cases were studied on the target yield knowledge model with data sets that include different eco-sites,yield levels of the last three years,and fertilizer and water management levels.The results indicated that this system overcomes the shortcomings of traditional expert systems and planting patterns,such as sitespecific conditions and narrow applicability,and can be used more under different conditions and environments.This system provides a scientific knowledge system and a broad decision-making tool for maize management.

  5. Algorithmic fault tree construction by component-based system modeling

    Computer-aided fault tree generation can be easier, faster and less vulnerable to errors than the conventional manual fault tree construction. In this paper, a new approach for algorithmic fault tree generation is presented. The method mainly consists of a component-based system modeling procedure an a trace-back algorithm for fault tree synthesis. Components, as the building blocks of systems, are modeled using function tables and state transition tables. The proposed method can be used for a wide range of systems with various kinds of components, if an inclusive component database is developed. (author)


    Li Xin; Mi Zhengkun; Meng Xudong


    Claimed as the next generation programming paradigm, mobile agent technology has attracted extensive interests in recent years. However, up to now, limited research efforts have been devoted to the performance study of mobile agent system and most of these researches focus on agent behavior analysis resulting in that models are hard to apply to mobile agent systems. To bridge the gap, a new performance evaluation model derived from operation mechanisms of mobile agent platforms is proposed. Details are discussed for the design of companion simulation software, which can provide the system performance such as response time of platform to mobile agent. Further investigation is followed on the determination of model parameters. Finally comparison is made between the model-based simulation results and measurement-based real performance of mobile agent systems. The results show that the proposed model and designed software are effective in evaluating performance characteristics of mobile agent systems. The proposed approach can also be considered as the basis of performance analysis for large systems composed of multiple mobile agent platforms.

  7. Model-based design of adaptive embedded systems

    Hamberg, Roelof; Reckers, Frans; Verriet, Jacques


    Today’s embedded systems have to operate in a wide variety of dynamically changing environmental circumstances. Adaptivity, the ability of a system to autonomously adapt itself, is a means to optimise a system’s behaviour to accommodate changes in its environment. It involves making in-product trade-offs between system qualities at system level. The main challenge in the development of adaptive systems is keeping control of the intrinsic complexity of such systems while working with multi-disciplinary teams to create different parts of the system. Model-Based Development of Adaptive Embedded Systems focuses on the development of adaptive embedded systems both from an architectural and methodological point of view. It describes architectural solution patterns for adaptive systems and state-of-the-art model-based methods and techniques to support adaptive system development. In particular, the book describes the outcome of the Octopus project, a cooperation of a multi-disciplinary team of academic and indus...

  8. Product Lifecycle Management Architecture: A Model Based Systems Engineering Analysis.

    Noonan, Nicholas James [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)


    This report is an analysis of the Product Lifecycle Management (PLM) program. The analysis is centered on a need statement generated by a Nuclear Weapons (NW) customer. The need statement captured in this report creates an opportunity for the PLM to provide a robust service as a solution. Lifecycles for both the NW and PLM are analyzed using Model Based System Engineering (MBSE).

  9. Corner Detection Based on Human Visual System Model

    LU Xiaoguang; ZHOU Jie


    Corners are useful features in computer vision tasks.In this paper,we present an algorithm for corner detection based on a human visual system model.Experimental results proved that it ismore effective than conventional corner detector under uneven illumination conditions.

  10. A Global Information System Model Based on Mobile Infrastructure



    Full Text Available The informative messages represent in every organization a central element for sending data about financial situations, group meetings or special events which will happen in the future. This paper intends to present a model for a global information system based on technologies and infrastructures that already exist in mobile environments. The proposed system has real chances of success in Al. I. Cuza University in order to manage the transmission of the students’ grade situations.

  11. Model-Based Systems Engineering in Concurrent Engineering Centers

    Iwata, Curtis; Infeld, Samatha; Bracken, Jennifer Medlin; McGuire, Melissa; McQuirk, Christina; Kisdi, Aron; Murphy, Jonathan; Cole, Bjorn; Zarifian, Pezhman


    Concurrent Engineering Centers (CECs) are specialized facilities with a goal of generating and maturing engineering designs by enabling rapid design iterations. This is accomplished by co-locating a team of experts (either physically or virtually) in a room with a narrow design goal and a limited timeline of a week or less. The systems engineer uses a model of the system to capture the relevant interfaces and manage the overall architecture. A single model that integrates other design information and modeling allows the entire team to visualize the concurrent activity and identify conflicts more efficiently, potentially resulting in a systems model that will continue to be used throughout the project lifecycle. Performing systems engineering using such a system model is the definition of model-based systems engineering (MBSE); therefore, CECs evolving their approach to incorporate advances in MBSE are more successful in reducing time and cost needed to meet study goals. This paper surveys space mission CECs that are in the middle of this evolution, and the authors share their experiences in order to promote discussion within the community.

  12. Electromagnetic Model and Image Reconstruction Algorithms Based on EIT System

    CAO Zhang; WANG Huaxiang


    An intuitive 2 D model of circular electrical impedance tomography ( EIT) sensor with small size electrodes is established based on the theory of analytic functions.The validation of the model is proved using the result from the solution of Laplace equation.Suggestions on to electrode optimization and explanation to the ill-condition property of the sensitivity matrix are provided based on the model,which takes electrode distance into account and can be generalized to the sensor with any simple connected region through a conformal transformation.Image reconstruction algorithms based on the model are implemented to show feasibility of the model using experimental data collected from the EIT system developed in Tianjin University.In the simulation with a human chestlike configuration,electrical conductivity distributions are reconstructed using equi-potential backprojection (EBP) and Tikhonov regularization (TR) based on a conformal transformation of the model.The algorithms based on the model are suitable for online image reconstruction and the reconstructed results are good both in size and position.

  13. Optimal Model-Based Control in HVAC Systems

    Komareji, Mohammad; Stoustrup, Jakob; Rasmussen, Henrik; Bidstrup, Niels; Svendsen, Peter; Nielsen, Finn

    developed. Then the optimal control structure is designed and implemented. The HVAC system is splitted into two subsystems. By selecting the right set-points and appropriate cost functions for each subsystem controller the optimal control strategy is respected to gaurantee the minimum thermal and electrical......This paper presents optimal model-based control of a heating, ventilating, and air-conditioning (HVAC) system. This HVAC system is made of two heat exchangers: an air-to-air heat exchanger (a rotary wheel heat recovery) and a water-to- air heat exchanger. First dynamic model of the HVAC system is...... energy consumption. Finally, the controller is applied to control the mentioned HVAC system and the results show that the expected goals are fulfilled....

  14. Mathematical model for light scanning system based on circular laser

    Peiquan Xu; Shun Yao; Fenggui Lu; Xinhua Tang; Wei Zhang


    A novel light scanning system based on circular laser trajectory for welding robot is developed. With the help of image processing technique, intelligent laser welding could be realized. According to laser triangulation algorithm and Scheimpflug condition, mathematical model for circular laser vision is built.This scanning system projects circular laser onto welded seams and recovers the depth of the welded seams,escapes from shortcomings of less information, explains ambiguity and single tracking direction inherent in "spot" or "line" type laser trajectory. Three-dimensional (3D) model for welded seams could be recognized after depth recovery. The imaging error is investigated also.

  15. Usage models in reliability assessment of software-based systems

    This volume in the OHA-project report series deals with the statistical reliability assessment of software based systems on the basis of dynamic test results and qualitative evidence from the system design process. Other reports to be published later on in the OHA-project report series will handle the diversity requirements in safety critical software-based systems, generation of test data from operational profiles and handling of programmable automation in plant PSA-studies. In this report the issues related to the statistical testing and especially automated test case generation are considered. The goal is to find an efficient method for building usage models for the generation of statistically significant set of test cases and to gather practical experiences from this method by applying it in a case study. The scope of the study also includes the tool support for the method, as the models may grow quite large and complex. (32 refs., 30 figs.)

  16. Model-based fault diagnosis in PEM fuel cell systems

    Escobet, T.; de Lira, S.; Puig, V.; Quevedo, J. [Automatic Control Department (ESAII), Universitat Politecnica de Catalunya (UPC), Rambla Sant Nebridi 10, 08222 Terrassa (Spain); Feroldi, D.; Riera, J.; Serra, M. [Institut de Robotica i Informatica Industrial (IRI), Consejo Superior de Investigaciones Cientificas (CSIC), Universitat Politecnica de Catalunya (UPC) Parc Tecnologic de Barcelona, Edifici U, Carrer Llorens i Artigas, 4-6, Planta 2, 08028 Barcelona (Spain)


    In this work, a model-based fault diagnosis methodology for PEM fuel cell systems is presented. The methodology is based on computing residuals, indicators that are obtained comparing measured inputs and outputs with analytical relationships, which are obtained by system modelling. The innovation of this methodology is based on the characterization of the relative residual fault sensitivity. To illustrate the results, a non-linear fuel cell simulator proposed in the literature is used, with modifications, to include a set of fault scenarios proposed in this work. Finally, it is presented the diagnosis results corresponding to these fault scenarios. It is remarkable that with this methodology it is possible to diagnose and isolate all the faults in the proposed set in contrast with other well known methodologies which use the binary signature matrix of analytical residuals and faults. (author)

  17. Modeling and simulation of complex systems a framework for efficient agent-based modeling and simulation

    Siegfried, Robert


    Robert Siegfried presents a framework for efficient agent-based modeling and simulation of complex systems. He compares different approaches for describing structure and dynamics of agent-based models in detail. Based on this evaluation the author introduces the "General Reference Model for Agent-based Modeling and Simulation" (GRAMS). Furthermore he presents parallel and distributed simulation approaches for execution of agent-based models -from small scale to very large scale. The author shows how agent-based models may be executed by different simulation engines that utilize underlying hard

  18. Delegation in Role Based Access Control Model for Workflow Systems

    Prasanna H Bammigatti


    Full Text Available Role -based access control (RBAC has been introduced in the last few years, and offers a powerful means of specifying access control decisions. The model of RBAC usually assumes that, if there is a role hierarchy then access rights are inherited upwards through the hierarchy. In organization workflow the main threat is of access control. The Role based access control is one of the best suitable access control model one can think of. It is not only the role hierarchies but also other control factors that affect the access control in the workflow. The paper discusses the control factors and role hierarchies in workflow and brings a new model of RBAC. This paper also over comes the conflicts and proves that the system is safe by applying the new model to the workflow

  19. Rainfall Hazards Prevention based on a Local Model Forecasting System

    Buendia, F.; Ojeda, B.; Buendia Moya, G.; Tarquis, A. M.; Andina, D.


    Rainfall is one of the most important events of human life and society. Some rainfall phenomena like floods or hailstone are a threat to the agriculture, business and even life. However in the meteorological observatories there are methods to detect and alarm about this kind of events, nowadays the prediction techniques based on synoptic measurements need to be improved to achieve medium term feasible forecasts. Any deviation in the measurements or in the model description makes the forecast to diverge in time from the real atmosphere evolution. In this paper the advances in a local rainfall forecasting system based on time series estimation with General Regression Neural Networks are presented. The system is introduced, explaining the measurements, methodology and the current state of the development. The aim of the work is to provide a complementary criteria to the current forecast systems, based on the daily atmosphere observation and tracking over a certain place.

  20. An operator support system based on cognitive model

    In order to clarify the development possibility and related problems of an operator support system based on a cognitive model which simulates the cognitive behavior of an operator facing abnormal events in a nuclear power plant, this paper discusses the conceptual design of the system and develops a proto-type system. This system has mainly three functions which shows the result of cognitive simulation in the system. One is a function showing possible causes of an event. Another is a function showing plant parameters which are influenced by the event. The other is showing some countermeasures against the deteriorating plant parameters. This system is applied to some events simulated in a compact plant simulator. The result shows the development possibility of the proposed concept. It also shows some critical points which should be discussed in an application study. (author)

  1. Intrusion-Tolerant Based Survivable Model of Database System

    ZHUJianming; WANGChao; MAJianfeng


    Survivability has become increasingly important with society's increased dependence of critical infrastructures on computers. Intrusiontolerant systems extend traditional secure systems to be able to survive or operate through attacks, thus it is an approach for achieving survivability. This paper proposes survivable model of database system based on intrusion-tolerant mechanisms. The model is built on three layers security architecture, to defense intrusion at the outer layer, to detect intrusion at the middle layer, and to tolerate intrusion at the inner layer. We utilize the techniques of both redundancy and diversity and threshold secret sharing schemes to implement the survivability of database and to protect confidential data from compromised servers in the presence of intrusions. Comparing with the existing schemes, our approach has realized the security and robustness for the key functions of a database system by using the integration security strategy and multiple security measures.

  2. Semiparametric energy-based models of systems exhibiting criticality

    Humplik, Jan; Tkacik, Gasper

    Over the last decade, several empirical studies have found evidence that many biological and natural systems exhibit critical fluctuations analogous to those observed during second-order phase transitions in equilibrium systems. In many cases, these fluctuations were shown to be equivalent to a thermodynamic version of Zipf's law-if the system is sufficiently large, then a log-log plot of the probability of a state vs. its rank yields a straight line with slope - 1 . Because the origin of critical fluctuations cannot be traced to a unique mechanism, it is important that data-driven phenomenological models of natural systems are flexible enough so as to easily capture any kind of criticality. Here we study a class of models with exactly this property. This class consists of energy-based models in which the exponential Boltzmann factor is replaced by an arbitrary nonlinear function. We demonstrate the usefulness of our method by modeling the spiking activity of a population of retinal neurons, and the distribution of light intensities in small patches of natural images. In light of recent work on models with hidden variables, the proposed method can separate interactions induced by an unknown fluctuating environment from interactions intrinsic to the system.


    QIU Shiming; GU Peiliang


    Complex adaptive system (CAS) is a kind of complex system in natural and artificial systems. In this paper, the theory of complex adaptive system is introduced at first. Considering the characteristic of energy system, it can be regarded as a complex adaptive system. After the evolutionary law is analysed, the energy complex system model is established based on CAS and application tool SWARM, which is a simulation software platform. The model differs from the models as well as methods developed before. As an application, China's energy system is simulated with the model established above.China's future total energy demand in the future, energy structure and related in fiuence on environment are presented.

  4. Nonlinear control structures based on embedded neural system models.

    Lightbody, G; Irwin, G W


    This paper investigates in detail the possible application of neural networks to the modeling and adaptive control of nonlinear systems. Nonlinear neural-network-based plant modeling is first discussed, based on the approximation capabilities of the multilayer perceptron. A structure is then proposed to utilize feedforward networks within a direct model reference adaptive control strategy. The difficulties involved in training this network, embedded within the closed-loop are discussed and a novel neural-network-based sensitivity modeling approach proposed to allow for the backpropagation of errors through the plant to the neural controller. Finally, a novel nonlinear internal model control (IMC) strategy is suggested, that utilizes a nonlinear neural model of the plant to generate parameter estimates over the nonlinear operating region for an adaptive linear internal model, without the problems associated with recursive parameter identification algorithms. Unlike other neural IMC approaches the linear control law can then be readily designed. A continuous stirred tank reactor was chosen as a realistic nonlinear case study for the techniques discussed in the paper. PMID:18255659

  5. Model based methods and tools for process systems engineering

    Gani, Rafiqul

    Process systems engineering (PSE) provides means to solve a wide range of problems in a systematic and efficient manner. This presentation will give a perspective on model based methods and tools needed to solve a wide range of problems in product-process synthesis-design. These methods and tools...... need to be integrated with work-flows and data-flows for specific product-process synthesis-design problems within a computer-aided framework. The framework therefore should be able to manage knowledge-data, models and the associated methods and tools needed by specific synthesis-design work-flows and...... data-flows. In particular, the framework needs to manage models of different types, forms and complexity, together with their associated parameters. The application range of the framework depends very much on the application range of the associated models. Therefore, a modelling tool-box is also a part...

  6. Fusing Quantitative Requirements Analysis with Model-based Systems Engineering

    Cornford, Steven L.; Feather, Martin S.; Heron, Vance A.; Jenkins, J. Steven


    A vision is presented for fusing quantitative requirements analysis with model-based systems engineering. This vision draws upon and combines emergent themes in the engineering milieu. "Requirements engineering" provides means to explicitly represent requirements (both functional and non-functional) as constraints and preferences on acceptable solutions, and emphasizes early-lifecycle review, analysis and verification of design and development plans. "Design by shopping" emphasizes revealing the space of options available from which to choose (without presuming that all selection criteria have previously been elicited), and provides means to make understandable the range of choices and their ramifications. "Model-based engineering" emphasizes the goal of utilizing a formal representation of all aspects of system design, from development through operations, and provides powerful tool suites that support the practical application of these principles. A first step prototype towards this vision is described, embodying the key capabilities. Illustrations, implications, further challenges and opportunities are outlined.

  7. Middleware Based Model of Heterogeneous Systems for SCADA Distributed Applications



    Full Text Available Infrastructure underlying the distributed information systems is heterogeneous and very complex. Middleware allows the development of distributed information systems, without knowing the functioning details of an infrastructure, by its abstracting. An essential issue on designing such systems is represented by choosing the middleware technologies. An architectural model of a SCADA system based on middleware is proposed in this paper. This system is formed of servers that centralize data and clients, which receive information from a server, thus allowing the chart displaying of such information. All these components own a specific functionality and can exchange information, by means of a middleware bus. A middleware bus signifies a software bus, where more middleware technologies can coexist.

  8. Cloud Based Metalearning System for Predictive Modeling of Biomedical Data


    Rapid growth and storage of biomedical data enabled many opportunities for predictive modeling and improvement of healthcare processes. On the other side analysis of such large amounts of data is a difficult and computationally intensive task for most existing data mining algorithms. This problem is addressed by proposing a cloud based system that integrates metalearning framework for ranking and selection of best predictive algorithms for data at hand and open source big data technologies fo...

  9. Cloud Based Metalearning System for Predictive Modeling of Biomedical Data

    Milan Vukićević


    Full Text Available Rapid growth and storage of biomedical data enabled many opportunities for predictive modeling and improvement of healthcare processes. On the other side analysis of such large amounts of data is a difficult and computationally intensive task for most existing data mining algorithms. This problem is addressed by proposing a cloud based system that integrates metalearning framework for ranking and selection of best predictive algorithms for data at hand and open source big data technologies for analysis of biomedical data.

  10. Hybrid-model transient stability simulation using dynamic phasors based HVDC system model

    Zhu, Haojun; Cai, Zexiang [College of Electrical Engineering, South China University of Technology, Guangzhou 510640 (China); Liu, Haoming [Department of Electrical Engineering, Southeast University, Nanjing 210096 (China); Qi, Qingru [North China Power Engineering Co. Ltd., Beijing 100084 (China); Ni, Yixin [Department of Electrical and Electronic Engineering, The University of Hong Kong, Hong Kong (China)


    A novel hybrid-model transient stability simulation algorithm for ac/dc power systems is suggested in this paper, where dynamic phasors theory is applied for HVDC transmission system modeling, and traditional electromechanical transient models are used for ac system. A detailed dynamic-phasors-based HVDC system model is derived first, and the algorithm for interface of the dc dynamic phasors model to ac network is proposed next. Computer simulation results show that the HVDC dynamic phasors model has very good accuracy as compared with its electromagnetic transient model; the test results from a 2-area ac/dc power system and a multi-infeed HVDC power system show clearly that the suggested interface algorithm works effectively in system transient stability analysis. The proposed hybrid-model simulation algorithm provides a new approach for dynamic simulation of large-scale ac/dc power systems. (author)

  11. Model Based Control of Single-Phase Marine Cooling Systems

    Hansen, Michael


    ”, it is shown that the part of the proposed model relating to the thermodynamics is dynamically accurate and with relatively small steady state deviations. The same is shown for a linear version of the part of the model governing the hydraulics of the cooling system. On the subject of control, the main...... focus in this work is on the development of a nonlinear robust control design. The design is based on principles from feedback. linearization to compensate for nonlinearities as well as transport delays by including a delay estimate in the feedback law. To deal with the uncertainties that emerged from...

  12. Education Knowledge System Combination Model Based on the Components

    CHEN Lei; LI Dehua; LI Xiaojian; WU Chunxiang


    Resources are the base and core of education information, but current web education resources have no structure and it is still difficult to reuse them and make them can be self assembled and developed continually. According to the knowledge structure of course and text, the relation among knowledge points, knowledge units from three levels of media material, we can build education resource components, and build TKCM (Teaching Knowledge Combination Model) based on resource components. Builders can build and assemble knowledge system structure and make knowledge units can be self assembled, thus we can develop and consummate them continually. Users can make knowledge units can be self assembled and renewed, and build education knowledge system to satisfy users' demand under the form of education knowledge system.

  13. Systems of Systems Modeled by a Hierarchical Part-Whole State-Based Formalism

    Luca Pazzi


    Full Text Available The paper presents an explicit state-based modeling approach aimed at modeling Systems of Systems behavior. The approach allows to specify and verify incrementally safety and liveness rules without using model checking techniques. The state-based approach allows moreover to use the system behavior directly as an interface, greatly improving the effectiveness of the recursive composition needed when assembling Systems of Systems. Such systems are, at the same time, both parts and wholes, thus giving a formal characterization to the notion of Holon.

  14. Consensus based Nuclear Public-Hearing system Model

    For public participation, Korea has a system of Public-Hearing in accordance with the law. Because of the absence of the detailed way for public opinion aggregation and for the reflection of the aggregated opinion, Korean Public-Hearing system is only a concept model. In this study, to share the right of decision making, which is an ultimate concept for public participation, components of decision making and the characteristics of each phase are analyzed. It could be said that the relative weight of attributes for assessment and comparison with alternatives are founded as a valuation factor of the decision making, which should be based on the social consensus

  15. A Model-Driven Visualization Tool for Use with Model-Based Systems Engineering Projects

    Trase, Kathryn; Fink, Eric


    Model-Based Systems Engineering (MBSE) promotes increased consistency between a system's design and its design documentation through the use of an object-oriented system model. The creation of this system model facilitates data presentation by providing a mechanism from which information can be extracted by automated manipulation of model content. Existing MBSE tools enable model creation, but are often too complex for the unfamiliar model viewer to easily use. These tools do not yet provide many opportunities for easing into the development and use of a system model when system design documentation already exists. This study creates a Systems Modeling Language (SysML) Document Traceability Framework (SDTF) for integrating design documentation with a system model, and develops an Interactive Visualization Engine for SysML Tools (InVEST), that exports consistent, clear, and concise views of SysML model data. These exported views are each meaningful to a variety of project stakeholders with differing subjects of concern and depth of technical involvement. InVEST allows a model user to generate multiple views and reports from a MBSE model, including wiki pages and interactive visualizations of data. System data can also be filtered to present only the information relevant to the particular stakeholder, resulting in a view that is both consistent with the larger system model and other model views. Viewing the relationships between system artifacts and documentation, and filtering through data to see specialized views improves the value of the system as a whole, as data becomes information

  16. Hierarchical graphs for rule-based modeling of biochemical systems

    Hu Bin


    Full Text Available Abstract Background In rule-based modeling, graphs are used to represent molecules: a colored vertex represents a component of a molecule, a vertex attribute represents the internal state of a component, and an edge represents a bond between components. Components of a molecule share the same color. Furthermore, graph-rewriting rules are used to represent molecular interactions. A rule that specifies addition (removal of an edge represents a class of association (dissociation reactions, and a rule that specifies a change of a vertex attribute represents a class of reactions that affect the internal state of a molecular component. A set of rules comprises an executable model that can be used to determine, through various means, the system-level dynamics of molecular interactions in a biochemical system. Results For purposes of model annotation, we propose the use of hierarchical graphs to represent structural relationships among components and subcomponents of molecules. We illustrate how hierarchical graphs can be used to naturally document the structural organization of the functional components and subcomponents of two proteins: the protein tyrosine kinase Lck and the T cell receptor (TCR complex. We also show that computational methods developed for regular graphs can be applied to hierarchical graphs. In particular, we describe a generalization of Nauty, a graph isomorphism and canonical labeling algorithm. The generalized version of the Nauty procedure, which we call HNauty, can be used to assign canonical labels to hierarchical graphs or more generally to graphs with multiple edge types. The difference between the Nauty and HNauty procedures is minor, but for completeness, we provide an explanation of the entire HNauty algorithm. Conclusions Hierarchical graphs provide more intuitive formal representations of proteins and other structured molecules with multiple functional components than do the regular graphs of current languages for

  17. Model based IVHM system for the solid rocket booster

    Luchinsky, D G; Smelyanskiy, V N; Timucin, D A; Uckun, S


    We report progress in the development of a model-based hybrid probabilistic approach to an on-board IVHM for solid rocket boosters (SRBs) that can accommodate the abrupt changes of the model parameters in various nonlinear dynamical off-nominal regimes. The work is related to the ORION mission program. Specifically, a case breach fault for SRBs is considered that takes into account burning a hole through the rocket case, as well as ablation of the nozzle throat under the action of hot gas flow. A high-fidelity model (HFM) of the fault is developed in FLUENT in cylindrical symmetry. The results of the FLUENT simulations are shown to be in good agreement with quasi-stationary approximation and analytical solution of a system of one-dimensional partial differential equations (PDEs) for the gas flow in the combustion chamber and in the hole through the rocket case.


    D. Muhammad Noorul Mubarak


    Full Text Available In this current technological era, there is an enormous increase in the information available on web and also in the online databases. This information abundance increases the complexity of finding relevant information. To solve such challenges, there is a need for improved and intelligent systems for efficient search and retrieval. Intelligent Agents can be used for better search and information retrieval in a document collection. The information required by a user is scattered in a large number of databases. In this paper, the object oriented modeling for agent based information retrieval system is presented. The paper also discusses the framework of agent architecture for obtaining the best combination terms that serve as an input query to the information retrieval system. The communication and cooperation among the agents are also explained. Each agent has a task to perform in information retrieval.

  19. Investigating Immune System Aging: System Dynamics and Agent-Based Modeling

    Figueredo, Grazziela; Aickelin, Uwe


    System dynamics and agent based simulation models can both be used to model and understand interactions of entities within a population. Our modeling work presented here is concerned with understanding the suitability of the different types of simulation for the immune system aging problems and comparing their results. We are trying to answer questions such as: How fit is the immune system given a certain age? Would an immune boost be of therapeutic value, e.g. to improve the effectiveness...

  20. Creating photorealistic virtual model with polarization-based vision system

    Shibata, Takushi; Takahashi, Toru; Miyazaki, Daisuke; Sato, Yoichi; Ikeuchi, Katsushi


    Recently, 3D models are used in many fields such as education, medical services, entertainment, art, digital archive, etc., because of the progress of computational time and demand for creating photorealistic virtual model is increasing for higher reality. In computer vision field, a number of techniques have been developed for creating the virtual model by observing the real object in computer vision field. In this paper, we propose the method for creating photorealistic virtual model by using laser range sensor and polarization based image capture system. We capture the range and color images of the object which is rotated on the rotary table. By using the reconstructed object shape and sequence of color images of the object, parameter of a reflection model are estimated in a robust manner. As a result, then, we can make photorealistic 3D model in consideration of surface reflection. The key point of the proposed method is that, first, the diffuse and specular reflection components are separated from the color image sequence, and then, reflectance parameters of each reflection component are estimated separately. In separation of reflection components, we use polarization filter. This approach enables estimation of reflectance properties of real objects whose surfaces show specularity as well as diffusely reflected lights. The recovered object shape and reflectance properties are then used for synthesizing object images with realistic shading effects under arbitrary illumination conditions.

  1. Link performance model for filter bank based multicarrier systems

    Petrov, Dmitry; Oborina, Alexandra; Giupponi, Lorenza; Stitz, Tobias Hidalgo


    This paper presents a complete link level abstraction model for link quality estimation on the system level of filter bank multicarrier (FBMC)-based networks. The application of mean mutual information per coded bit (MMIB) approach is validated for the FBMC systems. The considered quality measure of the resource element for the FBMC transmission is the received signal-to-noise-plus-distortion ratio (SNDR). Simulation results of the proposed link abstraction model show that the proposed approach is capable of estimating the block error rate (BLER) accurately, even when the signal is propagated through the channels with deep and frequent fades, as it is the case for the 3GPP Hilly Terrain (3GPP-HT) and Enhanced Typical Urban (ETU) models. The FBMC-related results of link level simulations are compared with cyclic prefix orthogonal frequency division multiplexing (CP-OFDM) analogs. Simulation results are also validated through the comparison to reference publicly available results. Finally, the steps of link level abstraction algorithm for FBMC are formulated and its application for system level simulation of a professional mobile radio (PMR) network is discussed.

  2. Embedded Control System Design A Model Based Approach

    Forrai, Alexandru


    Control system design is a challenging task for practicing engineers. It requires knowledge of different engineering fields, a good understanding of technical specifications and good communication skills. The current book introduces the reader into practical control system design, bridging  the gap between theory and practice.  The control design techniques presented in the book are all model based., considering the needs and possibilities of practicing engineers. Classical control design techniques are reviewed and methods are presented how to verify the robustness of the design. It is how the designed control algorithm can be implemented in real-time and tested, fulfilling different safety requirements. Good design practices and the systematic software development process are emphasized in the book according to the generic standard IEC61508. The book is mainly addressed to practicing control and embedded software engineers - working in research and development – as well as graduate students who are face...

  3. Consensus Based Nuclear Public-Hearing System Model

    Although the government admit the benefit of construction of a nuclear facility for national electric source, related policy could be developed and carried out only if the public, especially who have some stake on it, recognize the benefit and accept the policy. For public participation, Korea has a system of public-hearing in accordance with the law. Because of the absence of the detailed way for public opinion aggregation and for the reflection of the aggregated opinion, Korean public-hearing system is only a conceptual model. Therefore, some specific system for Korean Public-Hearing should be developed and applied. In this study, to share the right of decision making, which is an ultimate concept for public participation, decision making components and the characteristics of each phase are analyzed. The criteria weight for assessment and comparison with alternatives are founded as a valuation factor of the decision making components, which should be based on the social consensus. On these foundations, a system for aggregation and reflection of the public opinion was proposed. The system named 'CPDM' (Consensus based Participatory Decision Making) has three authority groups for decision making. At first, 'advisory experts group' play a role for the technical assessment and the serve utility value on the criteria for each alternatives. Next, 'participatory deliberation group' play a role for consensus building on the relative-importance (weight) between the criteria by feedback to promote degree of consensus. Lastly including gentlemen of the long robe, 'expert group for decision making' play a role to reflect the utility and weight and make a decision with agreement for performance of it. Also, in this study, a mathematical model for the quantification of the degree of consensus was conceptualized using Ordered Weighted Averaging (OWA) aggregation operator and fuzzy similarity theory, which is a comparison concept. Since this model enables influence of each

  4. Research on modeling of nonlinear vibration isolation system based on Bouc–Wen model

    Zhi-ling Peng


    Full Text Available A feedforword neural network of multi-layer topologies for systems with hysteretic nonlinearity is constructed based on Bouc–Wen differential model. It not only reflects the hysteresis force characteristics of the Bouc–Wen model, but also determines its corresponding parameters. The simulation results show that restoring force–displacement curve hysteresis loop is very close to the real curve. The model trained can accurately predict the time response of system. The model is checked under the noise level. The result shows that the model has higher modeling precision, good generalization capability and a certain anti-interference ability.

  5. Food Information System Construction Based on DEA Model

    AoTian Peng


    Full Text Available The study improves the traditional DEA model making it to reflect the subjective preference sequence DEA model, proposes a method to solve the dilemma with the average rate of crosscutting comparison with effective unit and cites a case for demonstration. Both at home and abroad, the food information system construction of the evaluation system implementation is at a lower level, one reason is the lag of food information system evaluation system and the imperfect.

  6. Disaggregation and Refinement of System Dynamics Models via Agent-based Modeling

    Nutaro, James J [ORNL; Ozmen, Ozgur [ORNL; Schryver, Jack C [ORNL


    System dynamics models are usually used to investigate aggregate level behavior, but these models can be decomposed into agents that have more realistic individual behaviors. Here we develop a simple model of the STEM workforce to illuminate the impacts that arise from the disaggregation and refinement of system dynamics models via agent-based modeling. Particularly, alteration of Poisson assumptions, adding heterogeneity to decision-making processes of agents, and discrete-time formulation are investigated and their impacts are illustrated. The goal is to demonstrate both the promise and danger of agent-based modeling in the context of a relatively simple model and to delineate the importance of modeling decisions that are often overlooked.

  7. Predictive Multiscale Modeling of Nanocellulose Based Materials and Systems

    Kovalenko, Andriy


    enables rational design of CNC-based bionanocomposite materials and systems. Furthermore, the 3D-RISM-KH based multiscale modeling addresses the effect of hemicellulose and lignin composition on nanoscale forces that control cell wall strength towards overcoming plant biomass recalcitrance. It reveals molecular forces maintaining the cell wall structure and provides directions for genetic modulation of plants and pretreatment design to render biomass more amenable to processing. We envision integrated biomass valorization based on extracting and decomposing the non-cellulosic components to low molecular weight chemicals and utilizing the cellulose microfibrils to make CNC. This is an important alternative to approaches of full conversion of lignocellulose to biofuels that face challenges arising from the deleterious impact of cellulose crystallinity on enzymatic processing.

  8. A Knowledge Model- and Growth Model-Based Decision Support System for Wheat Management

    ZHU Yan; CAO Wei-xing; WANG Qi-meng; TIAN Yong-chao; PAN Jie


    By applying the system analysis principle and mathematical modeling technique to knowledge expression system for crop cultural management, the fundamental relationships and quantitative algorithms of wheat growth and management indices to variety types, ecological environments and production levels were analysed and extracted, and a dynamic knowledge model with temporal and spatial characters for wheat management (WheatKnow) was developed. By adopting the soft component characteristics as non language rele vance, re-utilization and portable system maintenance, and by further integrating the wheat growth simulation model (WheatGrow) and intelligent system for wheat management, a comprehensive and digital knowledge model, growth model and component-based decision support system for wheat management (MBDSSWM) was established on the platforms of Visual C++ and Visual Basic. The MBDSSWM realized the effective integration and coupling of the prediction and decision-making functions for digital crop management.

  9. Modeling Dynamic Systems with Efficient Ensembles of Process-Based Models

    Simidjievski, Nikola; Todorovski, Ljupčo; Džeroski, Sašo


    Ensembles are a well established machine learning paradigm, leading to accurate and robust models, predominantly applied to predictive modeling tasks. Ensemble models comprise a finite set of diverse predictive models whose combined output is expected to yield an improved predictive performance as compared to an individual model. In this paper, we propose a new method for learning ensembles of process-based models of dynamic systems. The process-based modeling paradigm employs domain-specific knowledge to automatically learn models of dynamic systems from time-series observational data. Previous work has shown that ensembles based on sampling observational data (i.e., bagging and boosting), significantly improve predictive performance of process-based models. However, this improvement comes at the cost of a substantial increase of the computational time needed for learning. To address this problem, the paper proposes a method that aims at efficiently learning ensembles of process-based models, while maintaining their accurate long-term predictive performance. This is achieved by constructing ensembles with sampling domain-specific knowledge instead of sampling data. We apply the proposed method to and evaluate its performance on a set of problems of automated predictive modeling in three lake ecosystems using a library of process-based knowledge for modeling population dynamics. The experimental results identify the optimal design decisions regarding the learning algorithm. The results also show that the proposed ensembles yield significantly more accurate predictions of population dynamics as compared to individual process-based models. Finally, while their predictive performance is comparable to the one of ensembles obtained with the state-of-the-art methods of bagging and boosting, they are substantially more efficient. PMID:27078633

  10. A human motion model based on maps for navigation systems

    Kaiser Susanna


    Full Text Available Abstract Foot-mounted indoor positioning systems work remarkably well when using additionally the knowledge of floor-plans in the localization algorithm. Walls and other structures naturally restrict the motion of pedestrians. No pedestrian can walk through walls or jump from one floor to another when considering a building with different floor-levels. By incorporating known floor-plans in sequential Bayesian estimation processes such as particle filters (PFs, long-term error stability can be achieved as long as the map is sufficiently accurate and the environment sufficiently constraints pedestrians' motion. In this article, a new motion model based on maps and floor-plans is introduced that is capable of weighting the possible headings of the pedestrian as a function of the local environment. The motion model is derived from a diffusion algorithm that makes use of the principle of a source effusing gas and is used in the weighting step of a PF implementation. The diffusion algorithm is capable of including floor-plans as well as maps with areas of different degrees of accessibility. The motion model more effectively represents the probability density function of possible headings that are restricted by maps and floor-plans than a simple binary weighting of particles (i.e., eliminating those that crossed walls and keeping the rest. We will show that the motion model will help for obtaining better performance in critical navigation scenarios where two or more modes may be competing for some of the time (multi-modal scenarios.

  11. Towards a Component Based Model for Database Systems

    Octavian Paul ROTARU


    Full Text Available Due to their effectiveness in the design and development of software applications and due to their recognized advantages in terms of reusability, Component-Based Software Engineering (CBSE concepts have been arousing a great deal of interest in recent years. This paper presents and extends a component-based approach to object-oriented database systems (OODB introduced by us in [1] and [2]. Components are proposed as a new abstraction level for database system, logical partitions of the schema. In this context, the scope is introduced as an escalated property for transactions. Components are studied from the integrity, consistency, and concurrency control perspective. The main benefits of our proposed component model for OODB are the reusability of the database design, including the access statistics required for a proper query optimization, and a smooth information exchange. The integration of crosscutting concerns into the component database model using aspect-oriented techniques is also discussed. One of the main goals is to define a method for the assessment of component composition capabilities. These capabilities are restricted by the component’s interface and measured in terms of adaptability, degree of compose-ability and acceptability level. The above-mentioned metrics are extended from database components to generic software components. This paper extends and consolidates into one common view the ideas previously presented by us in [1, 2, 3].[1] Octavian Paul Rotaru, Marian Dobre, Component Aspects in Object Oriented Databases, Proceedings of the International Conference on Software Engineering Research and Practice (SERP’04, Volume II, ISBN 1-932415-29-7, pages 719-725, Las Vegas, NV, USA, June 2004.[2] Octavian Paul Rotaru, Marian Dobre, Mircea Petrescu, Integrity and Consistency Aspects in Component-Oriented Databases, Proceedings of the International Symposium on Innovation in Information and Communication Technology (ISIICT

  12. A model-data based systems approach to process intensification

    Gani, Rafiqul

    is to apply a model-based synthesis method to systematically generate and evaluate alternatives in the first stage and an experiment-model based validation in the second stage. In this way, the search for alternatives is done very quickly, reliably and systematically over a wide range, while resources...... are preserved for focused validation of only the promising candidates in the second-stage. This approach, however, would be limited to intensification based on “known” unit operations, unless the PI process synthesis/design is considered at a lower level of aggregation, namely the phenomena level. That is......, the model-based synthesis method must employ models at lower levels of aggregation and through combination rules for phenomena, generate (synthesize) new intensified unit operations. An efficient solution procedure for the synthesis problem is needed to tackle the potentially large number of options...

  13. A model based monitoring system for aircraft noise

    Berg, F. van den; Eisses, A.R.; Beek, P.J.G. van


    A new approach for an airport noise monitoring system is presented that comprises not only a number of measuring stations, but also a dedicated sound propagation model and an aircraft noise emission model. This approach enables estimation of noise levels in the whole area around the airport and not

  14. Siplab, a spatial individual-based plant modelling system

    Oscar Garcia


    Spatially-explicit individual-based models are important tools in forestry and plant ecology. They are commonly implemented through custom computer coding that is time-consuming, may cause compatibility and availability problems, and makes difficult the evaluation, comparison and re-use of model components. Siplab is an R package that aims at improving this situation with a flexible computing environment that can handle a variety of model forms, and without requiring advanced programming know...

  15. Support Vector Machine-Based Nonlinear System Modeling and Control

    张浩然; 韩正之; 冯瑞; 于志强


    This paper provides an introduction to a support vector machine, a new kernel-based technique introduced in statistical learning theory and structural risk minimization, then presents a modeling-control framework based on SVM.At last a numerical experiment is taken to demonstrate the proposed approach's correctness and effectiveness.

  16. Integration of a Three-Dimensional Process-Based Hydrological Model into the Object Modeling System

    Giuseppe Formetta


    Full Text Available The integration of a spatial process model into an environmental modeling framework can enhance the model’s capabilities. This paper describes a general methodology for integrating environmental models into the Object Modeling System (OMS regardless of the model’s complexity, the programming language, and the operating system used. We present the integration of the GEOtop model into the OMS version 3.0 and illustrate its application in a small watershed. OMS is an environmental modeling framework that facilitates model development, calibration, evaluation, and maintenance. It provides innovative techniques in software design such as multithreading, implicit parallelism, calibration and sensitivity analysis algorithms, and cloud-services. GEOtop is a physically based, spatially distributed rainfall-runoff model that performs three-dimensional finite volume calculations of water and energy budgets. Executing GEOtop as an OMS model component allows it to: (1 interact directly with the open-source geographical information system (GIS uDig-JGrass to access geo-processing, visualization, and other modeling components; and (2 use OMS components for automatic calibration, sensitivity analysis, or meteorological data interpolation. A case study of the model in a semi-arid agricultural catchment is presented for illustration and proof-of-concept. Simulated soil water content and soil temperature results are compared with measured data, and model performance is evaluated using goodness-of-fit indices. This study serves as a template for future integration of process models into OMS.

  17. Evolutionary Tuning of Fuzzy Rule Base Systems for Nonlinear System Modelling and Control

    Pintu Chandra Shill; Bishnu Sarker; Kazuyuki Murase


    Fuzzy systems generally works based on expert knowledge base. Fuzzy Expert knowledge base derived fromthe heuristic knowledge of experts or experience operators in the form of fuzzy control rules andmembership functions (MFs). The major difficulties for designing a fuzzy models and controllers areidentify the optimized fuzzy rules and their corresponding shape, type and distribution of MFs. Moreover,the numbers of fuzzy control rules increases exponentially with the number of input output var...

  18. A model-data based systems approach to process intensification

    Gani, Rafiqul

    . Here, established procedures for computer aided molecular design is adopted since combination of phenomena to form unit operations with desired objectives is, in principle, similar to combining atoms to form molecules with desired properties. The concept of the phenomena-based synthesis/design method...... a model-based synthesis method to systematically generate and evaluate alternatives in the first stage and an experiment-model based validation in the second stage. In this way, the search for alternatives is done very quickly, reliably and systematically over a wide range, while resources are preserved...... for focused validation of only the promising candidates in the second-stage. This approach, however, would be limited to intensification based on “known” unit operations, unless the PI process synthesis/design is considered at a lower level of aggregation, namely the phenomena level. That is, the model...

  19. Positioning models and systems based on digital television broadcasting signals

    HE Feng; WU Lenan


    The requirement and feasibility of the positioning system using digital television(DTV)broadcasting signals are analyzed.The principle of DTV positioning on the basis of frame synchronization is brought forward and the ranging characteristic is studied that the observables are asynchronously measured during the same epoch interval.The models of the pseudo-range observation and Doppler carrier phase integral are researched.The system observation and state equations are presented on the basis of the above models.The simulation results showed that DTV positioning technology could remarkably improve the precision of system state estimates using smoothing methods for positioning systems or integrated navigation systems.The DTV positioning that has a sub-meter level ranging error and meter level positioning accuracy can parallel with and even taken as a beneficial substitute for the tradition positioning technology.

  20. The brittleness model of complex system based on cellular automata

    LIN De-ming; JIN Hong-zhang; LI Qi; WU Hong-mei


    Now the research on the complex system is a hot spot. Brittleness is one of the basic characteristics of a complex system. In a complex system, after one of subsystems is struck to be collapsed, the whole system will collapse. Meanwhile, cellular automata is a discrete dynamic system. When the rule is given, the cellular automata could be defined. Then it can imitate the complex action. Cellular automata is used to simulate the brittleness action in this study. Entropy was used to analyze the action and get the rule. Then,three normal brittleness models were given. The result shows that the brittleness of complex system is existent and in addition some important behavior mode of complex system brittleness has been achieved.

  1. Modelling of VoIP Based Tele-teaching System: A Petri Net Based Approach

    Animesh Dutta


    Full Text Available In this paper we propose an algorithm called Interactive Group Synchronization to reduce the chance of audio speech overlapping in VoIP based conferencing. We also extend the capability of colored petri nets by introducing time parameter in it. The propose TCPN (Time Colored Petri Nets tool is applied here to model the interactive group synchronization algorithm in teleteaching system and then verify and check the correctness of the model.

  2. Evolutionary Tuning of Fuzzy Rule Base Systems for Nonlinear System Modelling and Control

    Pintu Chandra Shill


    Full Text Available Fuzzy systems generally works based on expert knowledge base. Fuzzy Expert knowledge base derived fromthe heuristic knowledge of experts or experience operators in the form of fuzzy control rules andmembership functions (MFs. The major difficulties for designing a fuzzy models and controllers areidentify the optimized fuzzy rules and their corresponding shape, type and distribution of MFs. Moreover,the numbers of fuzzy control rules increases exponentially with the number of input output variables relatedto the control system. For this reason it is very difficult and time consuming for an expert to identify thecomplete rule set and shape of MFs for a complex control system having large number of input and outputvariables. In this paper, we propose a method called evolutionary fuzzy system for tuning the parameters offuzzy rules and adjust the shape of MFs through evolutionary algorithms in order to design a suitable andflexible fuzzy models and controller for complex systems. This paper also presents new flexible encodingmethod methods for evolutionary algorithms. In evolutionary fuzzy system, the evolutionary algorithms isadapted in two different ways Firstly, generating the optimal fuzzy rule sets including the number of rulesinside it and secondly, selecting the optimum shape and distribution of MFs for the fuzzy control rules. Inorder to evaluate the validity and performance of the proposed approach we have designed a test strategyfor the modeling and control of nonlinear systems. The simulation results show the effectiveness of ourmethod and give better performance than existing fuzzy expert systems.

  3. Model of Recommendation System for for Indexing and Retrieving the Learning Object based on Multiagent System

    Ronaldo Lima Rocha Campos


    Full Text Available This paper proposes a multiagent system application model for indexing, retrieving and recommendation learning objects stored in different and heterogeneous repositories. The objects within these repositories are described by filled fields using different metadata standards. The searching mechanism covers several different learning object repositories and the same object can be described in these repositories by the use of different types of fields. Aiming to improve accuracy and coverage in terms of recovering a learning object and improve the signification of the results we propose an information retrieval model based on the multiagent system approach and an ontological model to describe the knowledge domain covered.

  4. Image-Based 3D Face Modeling System

    Vladimir Vezhnevets


    Full Text Available This paper describes an automatic system for 3D face modeling using frontal and profile images taken by an ordinary digital camera. The system consists of four subsystems including frontal feature detection, profile feature detection, shape deformation, and texture generation modules. The frontal and profile feature detection modules automatically extract the facial parts such as the eye, nose, mouth, and ear. The shape deformation module utilizes the detected features to deform the generic head mesh model such that the deformed model coincides with the detected features. A texture is created by combining the facial textures augmented from the input images and the synthesized texture and mapped onto the deformed generic head model. This paper provides a practical system for 3D face modeling, which is highly automated by aggregating, customizing, and optimizing a bunch of individual computer vision algorithms. The experimental results show a highly automated process of modeling, which is sufficiently robust to various imaging conditions. The whole model creation including all the optional manual corrections takes only 2∼3 minutes.

  5. Modelling atmospheric turbulence effects on ground-based telescope systems

    Bradford, L.W.; Flatte, S.M. [California Univ., Santa Cruz, CA (United States). Dept. of Physics; Max, C.E. [Lawrence Livermore National Lab., CA (United States)


    Questions still exist concerning the appropriate model for turbulence- induced phase fluctuations seen in ground-based telescopes. Bester et al. used a particular observable (slope of the Allan variance) with an infrared interferometer in an attempt to distinguish models. The authors have calculated that observable for Kolmogorov and {open_quotes}random walk{close_quotes} models with a variety of outer scales and altitude-dependent turbulence and wind velocity. The authors have found that clear distinction between models requires good data on the vertical distribution of wind and turbulence. Furthermore, measurements at time separations of order 60 s are necessary to distinguish the {open_quotes}random walk{close_quotes} model from the Kolmogorov model.

  6. Agnostic System Identification for Model-Based Reinforcement Learning

    Ross, Stephane


    A fundamental problem in control is to learn a model of a system from observations that is useful for controller synthesis. To provide good performance guarantees, existing methods must assume that the real system is in the class of models considered during learning. We present an iterative method with strong guarantees even in the agnostic case where the system is not in the class. In particular, we show that any no-regret online learning algorithm can be used to obtain a near-optimal policy, provided some model achieves low training error and access to a good exploration distribution. Our approach applies to both discrete and continuous domains. We demonstrate its efficacy and scalability on a challenging helicopter domain from the literature.

  7. Research on Assessment Model of Information System Security Based on Various Security Factors


    With the rapid development of network technology, the meaning of layers and attributes in respect of information system security must be extended based on the understanding of the concept of information system security. The layering model (LM) of information system security and the five-attribute model (FAM) based on security factors were put forward to perfect the description and modeling of the information system security framework. An effective framework system of risk calculation and assessment was proposed, which is based on FAM.

  8. College Teaching Quality Evaluation Based on System Dynamics Model

    Zheng Kang-ning; Sun Shi-min; Yu Hai


    This paper analyzes the main factors that influence the teaching quality and the cause and effect relationship between them, using system dynamics to establish the evaluation model of teaching quality in Colleges and universities. Taking a college A for example, this model is induced in the simulation of teaching quality, then the change process of teaching quality and feedback mechanism between these effective factors is proposed, as well as the teaching quality change under different policy...


    Harpreet Singh,


    Full Text Available This paper describes the Mamdani fuzzy models of heat exchanger and dehumidifier (absorber of an air dehumidification process occurring in a packed bed using liquid desiccant. Temperature of water used ascooling medium at the inlet of heat exchanger, temperature of desiccant solution(from the regenerator ,inlet air humidity ratio of humid air, flow rate per unit cross-sectional area, temperature of desiccant solution(from the heat exchanger have been taken as different variables for packed bed using liquid desiccant .Mamdani Fuzzy model is developed using the above mentioned variables to predict the water condensation rate from the air to the desiccant solution in terms of known operating parameters. The model predictions were compared against a reliable set of experimental data available in the literature and respective mathematical models for their validation. Integrated fuzzy model was also developed forliquid desiccant system

  10. The representation of knowledge within model-based control systems

    The ability to represent knowledge is often considered essential to build systems with reasoning capabilities. In computer science, a good solution often depends on a good representation. The first step in development of most computer applications is selection of a representation for the input, output, and intermediate results that the program will operate upon. For applications in artificial intelligence, this initial choice of representation is especially important. This is because the possible representational paradigms are diverse and the forcing criteria for the choice are usually not clear in the beginning. Yet, the consequences of an inadequate choice can be devastating in the later state of a project if it is discovered that critical information cannot be encoded within the chosen representational paradigm. Problems arise when designing representational systems to support any kind of Knowledge-Base System, that is a computer system that uses knowledge to perform some task. The general case of knowledge-based systems can be thought of as reasoning agents applying knowledge to achieve goals. Artificial Intelligence (AI) research involves building computer systems to perform tasks of perception and reasoning, as well as storage and retrieval of data. The problem of automatically perceiving large patterns in data is a perceptual task that begins to be important for many expert systems applications. Most of AI research assumes that what needs to be represented is known a priori; an AI researcher's job is just figuring out how to encode the information in the system's data structure and procedures. 10 refs

  11. User's Relevance of PIR System Based on Cloud Models

    KANG Hai-yan; FAN Xiao-zhong


    A new method to evaluate fuzzily user's relevance on the basis of cloud models has been proposed.All factors of personalized information retrieval system are taken into account in this method. So using this method for personalized information retrieval (PIR) system can efficiently judge multi-value relevance, such as quite relevant, comparatively relevant, commonly relevant, basically relevant and completely non-relevant,and realize a kind of transform of qualitative concepts and quantity and improve accuracy of relevance judgements in PIR system. Experimental data showed that the method is practical and valid. Evaluation results are more accurate and approach to the fact better.

  12. Mechanism-based modeling of complex biomedical systems

    Mosekilde, Erik; Sosnovtseva, Olga; Holstein-Rathlou, N.-H.


    Mechanism-based modeling is an approach in which the physiological, pathological and pharmacological processes of relevance to a given problem are represented as directly as possible. This approach allows us (i) to test whether assumed hypotheses are consistent with observed behaviour, (ii) to ex...

  13. Modelling and simulation of electrical energy systems through a complex systems approach using agent-based models

    Kremers, Enrique


    Complexity science aims to better understand the processes of both natural and man-made systems which are composed of many interacting entities at different scales. A disaggregated approach is proposed for simulating electricity systems, by using agent-based models coupled to continuous ones. The approach can help in acquiring a better understanding of the operation of the system itself, e.g. on emergent phenomena or scale effects; as well as in the improvement and design of future smart grids.


    YU Shitao; YANG Shiwei; YANG Lin; GONG Yuanming; ZHUO Bin


    A real-time operating system (RTOS), also named OS, is designed based on the hardware platform of MC68376, and is implemented in the electronic control system for unit pump in diesel engine. A parallel and time-based task division method is introduced and the multi-task software architecture is built in the software system for electronic unit pump (EUP) system. The V-model software development process is used to control algorithm of each task. The simulation results of the hardware-in-the-loop simulation system (HILSS) and the engine experimental results show that the OS is an efficient real-time kernel, and can meet the real-time demands of EUP system; The built multi-task software system is real-time, determinate and reliable. V-model development is a good development process of control algorithms for EUP system, the control precision of control system can be ensured, and the development cycle and cost are also decreased.

  15. Hybrid Model Based Testing Tool Architecture for Exascale Computing System

    Muhammad Usman Ashraf


    Full Text Available Exascale computing refers to a computing system which is capable to at least one exaflop in next couple of years. Many new programming models, architectures and algorithms have been introduced to attain the objective for exascale computing system. The primary objective is to enhance the system performance. In modern/super computers, GPU is being used to attain the high computing performance. However, it’s the objective of proposed technologies and programming models is almost same to make the GPU more powerful. But these technologies are still facing the number of challenges including parallelism, scale and complexity and also many more that must be fixed to achieve make computing system more powerful and efficient. In this paper, we have present a testing tool architecture for a parallel programming approach using two programming models as CUDA and OpenMP. Both CUDA and OpenMP could be used to program shared memory and GPU cores. The object of this architecture is to identify the static errors in the program that occurred during writing the code and cause absence of parallelism. Our architecture enforces the developers to write the feasible code through we can avoid from the essential errors in the program and run successfully.

  16. Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems

    Blotz, Andree; Huber, Franz; Loetzbeyer, Heiko; Pretschner, Alexander; Slotosch, Oscar; Zaengerl, Hans-Peter


    In this paper we outline a software development process for safety-critical systems that aims at combining some of the specific strengths of model-based development with those of programming language based development using safety-critical subsets of Ada. Model-based software development and model-based test case generation techniques are combined with code generation techniques and tools providing a transition from model to code both for a system itself and for its test cases. This allows de...

  17. An Efficient Model-based Diagnosis Engine for Hybrid Systems Using Structural Model Decomposition

    Bregon, Anibal; Narasimhan, Sriram; Roychoudhury, Indranil; Daigle, Matthew; Pulido, Belarmino


    Complex hybrid systems are present in a large range of engineering applications, like mechanical systems, electrical circuits, or embedded computation systems. The behavior of these systems is made up of continuous and discrete event dynamics that increase the difficulties for accurate and timely online fault diagnosis. The Hybrid Diagnosis Engine (HyDE) offers flexibility to the diagnosis application designer to choose the modeling paradigm and the reasoning algorithms. The HyDE architecture supports the use of multiple modeling paradigms at the component and system level. However, HyDE faces some problems regarding performance in terms of complexity and time. Our focus in this paper is on developing efficient model-based methodologies for online fault diagnosis in complex hybrid systems. To do this, we propose a diagnosis framework where structural model decomposition is integrated within the HyDE diagnosis framework to reduce the computational complexity associated with the fault diagnosis of hybrid systems. As a case study, we apply our approach to a diagnostic testbed, the Advanced Diagnostics and Prognostics Testbed (ADAPT), using real data.

  18. The representation of knowledge within model-based control systems

    Representation of knowledge in artificially intelligent systems is discussed. Types of knowledge that might need to be represented in AI systems are listed, and include knowledge about objects, events, knowledge about how to do things, and knowledge about what human beings know (meta-knowledge). The use of knowledge in AI systems is discussed in terms of acquiring and retrieving knowledge and reasoning about known facts. Different kinds of reasonings or representations are ghen described with some examples given. These include formal reasoning or logical representation, which is related to mathematical logic, production systems, which are based on the idea of condition-action pairs (production), procedural reasoning, which uses pre-formed plans to solve problems, frames, which provide a structure for representing knowledge in an organized manner, direct analogical representations, which represent knowledge in such a manner that permits some observation without deduction

  19. HRM Model in Tourism, Based on Dialectical Systems Theory

    Simona Šarotar Žižek


    Full Text Available A human resources management (HRM model integrating trends in HRM with trends in tourism into a dialectical system by the Dialectical Systems Theory (DST. HRM strategy, integrated within the tourism organization’s (to’s strategy is implemented through functional strategies helping their users to achieve a requisitely holistic (rh HRM strategy replacing the prevailing one-sided ones. to’s strategy covers: employees (1 planning, (2 acquisition and selection, (3 development and training, (4 diversity management, (5 teamwork and creativity, (6 motivation and rewarding, (7 stress reduction and health, (8 relationships, (9 personal holism, (10 well-being, (11 work and results assessment; etc. Everyone matters; their synergy is crucial. An innovated HRM model for TOS, which applies employees’, organizations’ rh and integrates new knowledge about HRM. HRM belongs to central managers’ tools. Their HRM must be adapted for TOS, where employees are crucial.

  20. A cell-based model system links chromothripsis with hyperploidy

    Mardin, Balca R; Drainas, Alexandros P; Waszak, Sebastian M;


    A remarkable observation emerging from recent cancer genome analyses is the identification of chromothripsis as a one-off genomic catastrophe, resulting in massive somatic DNA structural rearrangements (SRs). Largely due to lack of suitable model systems, the mechanistic basis of chromothripsis h...... hyperploid cells. Analysis of primary medulloblastoma cancer genomes verified the link between hyperploidy and chromothripsis in vivo. CAST provides the foundation for mechanistic dissection of complex DNA rearrangement processes....

  1. Discrete Event System Based Pyroprocessing Modeling and Simulation: Oxide Reduction

    Dynamic changes according to the batch operation cannot be predicted in an equilibrium material flow. This study began to build a dynamic material balance model based on the previously developed pyroprocessing flowsheet. As a mid- and long-term research, an integrated pyroprocessing simulator is being developed at the Korea Atomic Energy Research Institute (KAERI) to cope with a review on the technical feasibility, safeguards assessment, conceptual design of facility, and economic feasibility evaluation. The most fundamental thing in such a simulator development is to establish the dynamic material flow framework. This study focused on the operation modeling of pyroprocessing to implement a dynamic material flow. As a case study, oxide reduction was investigated in terms of a dynamic material flow. DES based modeling was applied to build a pyroprocessing operation model. A dynamic material flow as the basic framework for an integrated pyroprocessing was successfully implemented through ExtendSim's internal database and item blocks. Complex operation logic behavior was verified, for example, an oxide reduction process in terms of dynamic material flow. Compared to the equilibrium material flow, a model-based dynamic material flow provides such detailed information that a careful analysis of every batch is necessary to confirm the dynamic material balance results. With the default scenario of oxide reduction, the batch mass balance was verified in comparison with a one-year equilibrium mass balance. This study is still under progress with a mid-and long-term goal, the development of a multi-purpose pyroprocessing simulator that is able to cope with safeguards assessment, economic feasibility, technical evaluation, conceptual design, and support of licensing for a future pyroprocessing facility

  2. Investigation of network-based information system model

    Konrad, A.M.; Perez, M.; Rivera, J.; Rodriguez, Y.; Durst, M.J.; Merrill, D.W.; Holmes, H.H.


    The objective of the DOE-LBNL summer student research program in computer and information sciences focused on investigating database- based http-based information architectures, and implementation of a prototype using DOE`s Comprehensive Epidemiologic Data Resource (CEDR) metadata or Epidemiology Guide content. We were successful in identifying the components of such an information system, and appropriate configuration given the requirements, and in implementing a prototype. This work comprised investigation of various information systems architectures or variants, evaluation and selection of various tools, products, and packages, preparation of databases, database content, output formats, and graphical (World Wide Web- compatible) interfaces. We successfully prepared and demonstrated network access to content from both the CEDR structured documentation and from the DOD Epidemiology Guides (site archive records).

  3. Analog VLSI-based modeling of the primate oculomotor system.

    Horiuchi, T K; Koch, C


    One way to understand a neurobiological system is by building a simulacrum that replicates its behavior in real time using similar constraints. Analog very large-scale integrated (VLSI) electronic circuit technology provides such an enabling technology. We here describe a neuromorphic system that is part of a long-term effort to understand the primate oculomotor system. It requires both fast sensory processing and fast motor control to interact with the world. A one-dimensional hardware model of the primate eye has been built that simulates the physical dynamics of the biological system. It is driven by two different analog VLSI chips, one mimicking cortical visual processing for target selection and tracking and another modeling brain stem circuits that drive the eye muscles. Our oculomotor plant demonstrates both smooth pursuit movements, driven by a retinal velocity error signal, and saccadic eye movements, controlled by retinal position error, and can reproduce several behavioral, stimulation, lesion, and adaptation experiments performed on primates. PMID:9950732

  4. Seamless Method- and Model-based Software and Systems Engineering

    Broy, Manfred

    Today engineering software intensive systems is still more or less handicraft or at most at the level of manufacturing. Many steps are done ad-hoc and not in a fully systematic way. Applied methods, if any, are not scientifically justified, not justified by empirical data and as a result carrying out large software projects still is an adventure. However, there is no reason why the development of software intensive systems cannot be done in the future with the same precision and scientific rigor as in established engineering disciplines. To do that, however, a number of scientific and engineering challenges have to be mastered. The first one aims at a deep understanding of the essentials of carrying out such projects, which includes appropriate models and effective management methods. What is needed is a portfolio of models and methods coming together with a comprehensive support by tools as well as deep insights into the obstacles of developing software intensive systems and a portfolio of established and proven techniques and methods with clear profiles and rules that indicate when which method is ready for application. In the following we argue that there is scientific evidence and enough research results so far to be confident that solid engineering of software intensive systems can be achieved in the future. However, yet quite a number of scientific research problems have to be solved.

  5. Wavelet-based Image Compression Using Human Visual System Models

    Beegan, Andrew Peter


    Recent research in transform-based image compression has focused on the wavelet transform due to its superior performance over other transforms. Performance is often measured solely in terms of peak signal-to-noise ratio (PSNR) and compression algorithms are optimized for this quantitative metric. The performance in terms of subjective quality is typically not evaluated. Moreover, the sensitivities of the human visual system (HVS) are often not incorporated into compression schemes. ...

  6. Scalable Entity-Based Modeling of Population-Based Systems, Final LDRD Report

    Cleary, A J; Smith, S G; Vassilevska, T K; Jefferson, D R


    The goal of this project has been to develop tools, capabilities and expertise in the modeling of complex population-based systems via scalable entity-based modeling (EBM). Our initial focal application domain has been the dynamics of large populations exposed to disease-causing agents, a topic of interest to the Department of Homeland Security in the context of bioterrorism. In the academic community, discrete simulation technology based on individual entities has shown initial success, but the technology has not been scaled to the problem sizes or computational resources of LLNL. Our developmental emphasis has been on the extension of this technology to parallel computers and maturation of the technology from an academic to a lab setting.

  7. Exploring nursing e-learning systems success based on information system success model.

    Chang, Hui-Chuan; Liu, Chung-Feng; Hwang, Hsin-Ginn


    E-learning is thought of as an innovative approach to enhance nurses' care service knowledge. Extensive research has provided rich information toward system development, courses design, and nurses' satisfaction with an e-learning system. However, a comprehensive view in understanding nursing e-learning system success is an important but less focused-on topic. The purpose of this research was to explore net benefits of nursing e-learning systems based on the updated DeLone and McLean's Information System Success Model. The study used a self-administered questionnaire to collected 208 valid nurses' responses from 21 of Taiwan's medium- and large-scale hospitals that have implemented nursing e-learning systems. The result confirms that the model is sufficient to explore the nurses' use of e-learning systems in terms of intention to use, user satisfaction, and net benefits. However, while the three exogenous quality factors (system quality, information quality, and service quality) were all found to be critical factors affecting user satisfaction, only information quality showed a direct effect on the intention to use. This study provides useful insights for evaluating nursing e-learning system qualities as well as an understanding of nurses' intentions and satisfaction related to performance benefits. PMID:21543971

  8. Modeling of Agile Manufacturing Execution Systems with an Agent-based Approach


    Agile manufacturing execution systems (AMES) are used to help manufacturers optimize shop floor production in an agile way. And the modeling of AMES is the key issue of realizing AMES. This paper presents an agent-based approach to AMES modeling. Firstly, the characteristics of AMES and its requirements on modeling are discussed. Secondly, a comparative analysis of modeling methods is carried out, and AMES modeling using an agent-based approach is put forward. Agent-based modeling method not only inherit ...

  9. A Novel Model for Cloud Based Mobile Learning System

    Areej Omar Baalghusun


    Full Text Available Mobile learning (M-learning becomes revolutionary way to educate the world with the mass advancement in information and communications technology (ICT. It is difficult to deal with m-learning due to increasing number of users, services, education contents and resources and modes to deploy. Cloud computing, with its dynamic scalability and virtualized resources usage, is widely deployed for several applications in many organizations. It has a significant impact in the educational and learning environment. This paper presents a new model for mobile learning system in cloud computing environment that is enriched with high performance computing (HPC and graphical processing unit (GPU cluster infrastructure. This model aggregates the power with new technologies to implement M-leaning process more effective with high performance and quick response.


    Catalina SITNIKOV


    Full Text Available Worldwide corporations, as well as their stakeholders, are more conscious of the need for environmental management, SR behaviour, and sustainable growth and development. International Standards are becoming more significant for corporations to work towards common environmental management practices. ISO 14001 is the first and the broadest standard intended at a more responsible approach of corporations and the world’s most acknowledged framework for environmental management systems that assists corporations to better manage the effect of their activities on the environment. This article aims to study ISO 14001 implementation and its effects on the environmental responsibility. A model will be built, which covers the environmental management system, the components of organizational culture, being able to influence environmental standards implementation.

  11. Landscape Epidemiology Modeling Using an Agent-Based Model and a Geographic Information System

    S. M. Niaz Arifin


    Full Text Available A landscape epidemiology modeling framework is presented which integrates the simulation outputs from an established spatial agent-based model (ABM of malaria with a geographic information system (GIS. For a study area in Kenya, five landscape scenarios are constructed with varying coverage levels of two mosquito-control interventions. For each scenario, maps are presented to show the average distributions of three output indices obtained from the results of 750 simulation runs. Hot spot analysis is performed to detect statistically significant hot spots and cold spots. Additional spatial analysis is conducted using ordinary kriging with circular semivariograms for all scenarios. The integration of epidemiological simulation-based results with spatial analyses techniques within a single modeling framework can be a valuable tool for conducting a variety of disease control activities such as exploring new biological insights, monitoring epidemiological landscape changes, and guiding resource allocation for further investigation.


    D. M. Kurhan


    Full Text Available Purpose. The work provides a theoretical research about the possibility of using methods that determine the lifetime of a railway track not only in terms of total stresses, and accounting its structure and dynamic characteristics. The aim of these studies is creation the model of deformations accumulation for assessment of service life of a railway track taking into account these features. Methodology. To simulate a gradual change state during the operation (accumulation of deformations the railway track is presented as a system that consists of many particles of different materials collected in a coherent design. It is appropriate to speak not about the appearance of deformations of a certain size in a certain section of the track, and the probability of such event on the site. If to operate the probability of occurrence of deviations, comfortable state of the system is characterized by the number of breaks of the conditional internal connections. The same state of the system may correspond to different combinations of breaks. The more breaks, the more the number of options changes in the structure of the system appropriate to its current state. Such a process can be represented as a gradual transition from an ordered state to a chaotic one. To describe the characteristics of the system used the numerical value of the entropy. Findings. Its entropy is constantly increasing at system aging. The growth of entropy is expressed by changes in the internal energy of the system, which can be determined using mechanical work forces, which leads to deformation. This gives the opportunity to show quantitative indication of breaking the bonds in the system as a consequence of performing mechanical work. According to the results of theoretical research methods for estimation of the timing of life cycles of railway operation considering such factors as the structure of the flow of trains, construction of the permanent way, the movement of trains at high

  13. Comparison of short term rainfall forecasts for model based flow prediction in urban drainage systems

    Thorndahl, Søren; Poulsen, Troels Sander; Bøvith, Thomas;


    Forecast based flow prediction in drainage systems can be used to implement real time control of drainage systems. This study compares two different types of rainfall forecasts – a radar rainfall extrapolation based nowcast model and a numerical weather prediction model. The models are applied as...... performance of the system is found using the radar nowcast for the short leadtimes and weather model for larger lead times....

  14. Comparison Of Short Term Rainfall Forecasts For Model Based Flow Prediction In Urban Drainage Systems

    Thorndahl, Søren Liedtke; Poulsen, Troels Sander; Bøvith, Thomas;


    Forecast based flow prediction in drainage systems can be used to implement real time control of drainage systems. This study compares two different types of rainfall forecasts – a radar rainfall extrapolation based nowcast model and a numerical weather prediction model. The models are applied as...... performance of the system is found using the radar nowcast for the short leadtimes and weather model for larger lead times....

  15. Using Hybrid Agent-Based Systems to Model Spatially-Influenced Retail Markets

    Alison Heppenstall; Andrew Evans; Mark Birkin


    One emerging area of agent-based modelling is retail markets; however, there are problems with modelling such systems. The vast size of such markets makes individual-level modelling, for example of customers, difficult and this is particularly true where the markets are spatially complex. There is an emerging recognition that the power of agent-based systems is enhanced when integrated with other AI-based and conventional approaches. The resulting hybrid models are powerful tools that combine...

  16. An Intermediate Complexity Climate Model (ICCM based on the GFDL Flexible Modelling System

    G. K. Vallis


    Full Text Available An intermediate complexity coupled ocean-atmosphere-land-ice model, based on the Geophysical Fluid Dynamics Laboratory (GFDL Flexible Modelling System (FMS, has been developed to study mechanisms of ocean-atmosphere interactions and natural climate variability at interannual to interdecadal and longer time scales. The model uses the three-dimensional primitive equations for both ocean and atmosphere, but is simplified from a "state of the art" coupled model in two respects: it uses simplified physics and parameterisation schemes, especially in the atmosphere, and idealised geometry and geography. These simplifications provide considerable savings in computational expense and, perhaps more importantly, allow mechanisms to be investigated more cleanly and thoroughly than with a more elaborate model. For example, the model allows integrations of several millennia as well as broad parameter studies. For the ocean, the model uses the free surface primitive equations Modular Ocean Model (MOM and the GFDL/FMS sea-ice model (SIS is coupled to the oceanic grid. The atmospheric component consists of the FMS B-grid moist primitive equations atmospheric dynamical core with highly simplified physical parameterisations. A simple bucket model is implemented for our idealised land following the GFDL/FMS Land model. Here we describe the model components and present a climatology of coupled simulations achieved with two different geometrical configurations. Throughout the paper, we give a flavour of the potential for this model to be a powerful tool for the climate modelling community by mentioning a wide range of studies that are currently being explored.

  17. Modeling a production system based on flow-shop electrical system



    Full Text Available Improving the competitiveness of a company amounts to control its workflow. The purpose of industries is to provide customer satisfaction and maximum production with a minimal cost, whichrequires the provision of a scientific model applied to production systems to control their behavior The contribution conducted by this work focuses on the problem of flow management, we propose an analogy between the production system and electrical circuits. The modeling approach proposed is based on elementary electrical components which are intended to draw the various parameters that change the characteristics of production system. This electronic document is a “live” template. The various components of your paper [title, text, heads, etc.] are already defined on the style sheet, as illustrated by the portions given in this document.


    Zinina O. V.


    Full Text Available In the research we have given a detailed description of certain structural components of the model system when adding fermented raw material into it. As the raw material we used collagen containing by-products of bovine animals of the 2nd category – lips and ears were used. The lactulose syrup and linseed flour were used as growth-promoting substances. The fermentation of the raw material was conducted by freeze-dried starter of the bacteria of Propionic Culture PS–4 and Probio–Tec ВВ–12, and also bacterial concentrate Bifilact-Pro. The fermentation parameters: the temperature 37°С, the time of the fermentation is 3 hours. The changes, taking place in the tissues under the biotechnological processing, were established with the method of the histological samples test. As the result of the conducted microstructure tests of prototypes it was determined that in the biomodification process under the influence of the propionic and bifidus bacteria marked changes occurred in the histological structure of modeling systems in the comparison with the control sample. At the same time it was ascertained that under the influence of the ferment processing a loosening of collagen fascicles happens to isolated fibrils and their fragmentation occurs. As the result, when composing protein compositions an emulsion (which is homogeneous by the structure comes out. In the future it is recommended to use the emulsion in the receipts of boiled sausages and minced half-finished goods

  19. Physics-based modeling of computed tomography systems

    Youn, Hanbean; Kim, Ho Kyung; Kam, Soohwa; Kim, Seung Ho; Park, Ji Woong; Jeon, Hosang


    We present a theoretical framework describing projections obtained from computed tomography systems considering physics of each component consisting of the systems. The projection model mainly consists of the attenuation of x-ray photons through objects including x-ray scatter and the detection of attenuated/scattered x-ray photons at pixel detector arrays. X-ray photons are attenuated by the Beers-Lambert law and scattered by using the Klein-Nishina formula. The cascaded signal-transfer model for the detector includes x-ray photon detection and light photon conversion/spreading in scintillators, light photon detection in photodiodes, and the addition of electronic noise quanta. On the other hand, image noise is considered by re-distributing the pixel signals in pixel-by-pixel ways at each image formation stage using the proper distribution functions. Instead of iterating the ray tracing over each energy bin in the x-ray spectrum, we first perform the ray tracing for an object only considering the thickness of each component. Then, we assign energy-dependent linear attenuation coefficients to each component in the projected images. This approach reduces the computation time by a factor of the number of energy bins in the x-ray spectrum divided by the number of components in the object compared with the conventional ray-tracing method. All the methods developed in this study are validated in comparisons with the measurements or the Monte Carlo simulations.

  20. Model of informational system for freight insurance automation based on digital signature



    Full Text Available In the article considered a model of informational system for freight insurance automation based on digital signature, showed architecture, macro flowchart of information flow in model, components (modules and their functions. Described calculation method of costs on interactive cargo insurance via proposed system, represented main characteristics and options of existing transport management systems, conceptual cost models.

  1. Avian Information Systems: Developing Web-Based Bird Avoidance Models

    Jelmer van Belle


    Full Text Available Collisions between aircraft and birds, so-called “bird strikes,” can result in serious damage to aircraft and even in the loss of lives. Information about the distribution of birds in the air and on the ground can be used to reduce the risk of bird strikes and their impact on operations en route and in and around air fields. Although a wealth of bird distribution and density data is collected by numerous organizations, these data are not readily available nor interpretable by aviation. This paper presents two national efforts, one in the Netherlands and one in the United States, to develop bird avoidance nodels for aviation. These models integrate data and expert knowledge on bird distributions and migratory behavior to provide hazard maps in the form of GIS-enabled Web services. Both models are in operational use for flight planning and flight alteration and for airfield and airfield vicinity management. These models and their presentation on the Internet are examples of the type of service that would be very useful in other fields interested in species distribution and movement information, such as conservation, disease transmission and prevention, or assessment and mitigation of anthropogenic risks to nature. We expect that developments in cyber-technology, a transition toward an open source philosophy, and higher demand for accessible biological data will result in an increase in the number of biological information systems available on the Internet.

  2. A model based diagnostic system for the identification of malfunctioning components using a constraint propagation paradigm

    A commonly recognized failing of traditional rule-based diagnostic expert systems is the inability to recognize problems outside the range of expertise. In turn, the capability of such expert systems is limited to well-known problems. Contrary to the traditional approach, a model-based system has a potential to diagnose unexpected malfunctions. In this paper, a model-based diagnostic system for the isolation of malfunctioning components using constraint propagation paradigm - the CBDS, the Constraint Based Diagnostic System - is presented. The CBDS consists of (1) symbolic representation of plant model as a knowledge base, and (2) constraint propagation paradigm as a diagnostic inference engine. In the CBDS, a plant model contains information about intended behaviour of components that are organized in a component model library, as well as information about how the components are interconnected. As a diagnostic inference engine, the CBDS uses the general idea of model-based diagnosis to identify malfunctioning components. (author). 15 refs, 8 figs


    David J. Muth, Jr.; Jacob J. Jacobson; Kenneth M. Bryden


    Engineering feedstock supply systems that deliver affordable, high-quality biomass remains a challenge for the emerging bioenergy industry. Cellulosic biomass is geographically distributed and has diverse physical and chemical properties. Because of this feedstock supply systems that deliver cellulosic biomass resources to biorefineries require integration of a broad set of engineered unit operations. These unit operations include harvest and collection, storage, preprocessing, and transportation processes. Design decisions for each feedstock supply system unit operation impact the engineering design and performance of the other system elements. These interdependencies are further complicated by spatial and temporal variances such as climate conditions and biomass characteristics. This paper develops an integrated model that couples a SQL-based data management engine and systems dynamics models to design and evaluate biomass feedstock supply systems. The integrated model, called the Biomass Logistics Model (BLM), includes a suite of databases that provide 1) engineering performance data for hundreds of equipment systems, 2) spatially explicit labor cost datasets, and 3) local tax and regulation data. The BLM analytic engine is built in the systems dynamics software package PowersimTM. The BLM is designed to work with thermochemical and biochemical based biofuel conversion platforms and accommodates a range of cellulosic biomass types (i.e., herbaceous residues, short- rotation woody and herbaceous energy crops, woody residues, algae, etc.). The BLM simulates the flow of biomass through the entire supply chain, tracking changes in feedstock characteristics (i.e., moisture content, dry matter, ash content, and dry bulk density) as influenced by the various operations in the supply chain. By accounting for all of the equipment that comes into contact with biomass from the point of harvest to the throat of the conversion facility and the change in characteristics, the

  4. Biomedical indexing and retrieval system based on language modeling approach

    Jihen Majdoubi


    Full Text Available In the medical field, scientific articles represent a very important source of knowledge for researchers of this domain. But due to the large volume of scientific articles published on the web, an efficient detection and use of this knowledge is quite a difficult task. In this paper, we propose our contribution for conceptual indexing of medical articles by using the MeSH (Medical Subject Headings thesaurus. With this in mind, we propose a tool for indexing medical articles called BIOINSY (BIOmedical Indexing SYstem which uses a language model for selecting the best representative descriptors for each document. The proposed indexing approach was evaluated by intensive experiments. These experiments were conducted on document test collections of real world clinical extracted from scientific collections, namely PUBMED and CLEF. The results generated by these experiments demonstrate the effectiveness of our indexing approach.

  5. Support System Model for Value based Group Decision on Roof System Selection

    Christiono Utomo


    Full Text Available A group decision support system is required on a value-based decision because there are different concern caused by differing preferences, experiences, and background. It is to enable each decision-maker to evaluate and rank the solution alternatives before engaging into negotiation with other decision-makers. Stakeholder of multi-criteria decision making problems usually evaluates the alternative solution from different perspective, making it possible to have a dominant solution among the alternatives. Each stakeholder needs to identify the goals that can be optimized and those that can be compromised in order to reach an agreement with other stakeholders. This paper presents group decision model involving three decision-makers on the selection of suitable system for a building’s roof. The objective of the research is to find an agreement options model and coalition algorithms for multi person decision with two main preferences of value which are function and cost. The methodology combines value analysis method using Function Analysis System Technique (FAST; Life Cycle Cost analysis, group decision analysis method based on Analytical Hierarchy Process (AHP in a satisfying options, and Game theory-based agent system to develop agreement option and coalition formation for the support system. The support system bridges theoretical gap between automated design in construction domain and automated negotiation in information technology domain by providing a structured methodology which can lead to systematic support system and automated negotiation. It will contribute to value management body of knowledge as an advanced method for creativity and analysis phase, since the practice of this knowledge is teamwork based. In the case of roof system selection, it reveals the start of the first negotiation round. Some of the solutions are not an option because no individual stakeholder or coalition of stakeholders desires to select it. The result indicates


    Einollah pira


    Full Text Available It is important to find optimal solutions for structural errors in rule-based expert systems .Solutions to discovering such errors by using model checking techniques have already been proposed, but these solutions have problems such as state space explosion. In this paper, to overcome these problems, we model the rule-based systems as finite state transition systems and express confliction and unreachabilityas Computation Tree Logic (CTL logic formula and then use the technique of model checking to detect confliction and unreachability in rule-based systems with the model checker UPPAAL.

  7. Microkinetic modeling of the autoxidative curing of an alkyd and oil-based paint model system

    Oakley, Lindsay H.; Casadio, Francesca; Shull, Kenneth R.; Broadbelt, Linda J.


    Elucidating the curing and aging mechanisms of alkyd and other oil-based paints is valuable for the fields of conservation and bio-based coatings. Recent research has demonstrated the limitations of artificial aging in predicting the actual properties of paints that are hundreds of years old. Kinetic modeling offers pathways to develop a realistic and dynamic description of the composition of these oil-based paint coatings and facilitates the exploration of the effects of various environmental conditions on their long-term chemical stability. This work presents the construction of a kinetic Monte Carlo framework from elementary steps for the cobalt-catalyzed autoxidative curing of an ethyl linoleate model system up to the formation of single cross-links. Kinetic correlations for reaction families of similar chemistry are employed to reduce the number of parameters required to calculate rate constants in Arrhenius form. The model, developed from mechanisms proposed in the literature, shows good agreement with experiment for the formation of primary products in the early stages of curing. The model has also revealed that the mechanisms proposed in the literature for the formation of secondary products, such as volatile aldehydes, are still not well established, and alternative routes are under evaluation.

  8. The Model and Design for COM-Based e-Commerce Application System

    TANG Xiao-mei; SUN Li


    From the point of constructing e-commerce application system, based on the structured analysis and ObjectOriented Design method, a combined modeling method Business-Process Driven(BPD) is proposed. This method focuses on the business process through the development process of the system. First, the business model of the system, then commercial object model is introduced according to the business model. At last the COM-model for the system is established. The system is implemented in an iterative and incremental way. The design and analysis result of each stage is illustrated by series of views using the modeling tool UML.

  9. Towards a formal design model based on a genetic design model system

    Storga, Mario; Andreasen, Mogens Myrup; Marjanovic, Dorian

    developed by N.H. Mortensen was chosen. In order to achieve the useful formalization of the GDMS structure we have followed modelling procedure on the four levels: epistemological, generic, domain and project level. As an epistemological foundation, The Suggested Upper Merged Ontology (SUMO) proposed by......The research presented in this article is aimed to the investigation of the nature, building and practical role of a Design Ontology as a potential framework for the more efficient product development data-, information- and knowledge- description, -explanation, -understanding and -reusing. In this...... article, we briefly summarize our experience of converting informal definitions of the concepts from the product development domain based on the existing theoretical background into formal design model. As a main data source for extracting the content of a design ontology, Genetic Design Model System...

  10. Supply Chain Management System Model of Virtual Enterprises Based on Multi-Agent

    LI Zhen; ZHANG Pei-pei


    Based on the analysis of a virtual enterprise and the development of supply chain management, their integration is proposed. Then, the difference between multi-agent system modeling method and the traditional modeling method is analyzed, and a method based on Java agent framework for multi-agent systems(JAFMAS) is proposed. By using this method the virtual enterprise's supply chain management system model is established.

  11. Modeling Research on Manufacturing Execution System Based on Large-scale System Cybernetics

    WU Yu; XU Xiao-dong; LI Cong-xin


    A cybernetics model of manufacturing execution system (MES_CM) was proposed and studied from the viewpoint of cybernetics.Combining with the features of manufacturing system,the MES_CM was modeled by "generalized modeling" method that is discussed in large-scale system theory.The mathematical model of MES_CM was constructed by the generalized operator model,and the main characteristics of MES_CM were analyzed.

  12. Pattern-Oriented Modeling of Agent-Based Complex Systems: Lessons from Ecology

    Grimm, Volker; Revilla, Eloy; Berger, Uta; Jeltsch, Florian; Mooij, Wolf M.; Railsback, Steven F.; Thulke, Hans-Hermann; Weiner, Jacob; Wiegand, Thorsten; Donald L DeAngelis


    Agent-based complex systems are dynamic networks of many interacting agents; examples include ecosystems, financial markets, and cities. The search for general principles underlying the internal organization of such systems often uses bottom-up simulation models such as cellular automata and agent-based models. No general framework for designing, testing, and analyzing bottom-up models has yet been established, but recent advances in ecological modeling have come together in a genera...

  13. How efficiently do corn- and soybean-based cropping systems use water? A systems modeling analysis.

    Dietzel, Ranae; Liebman, Matt; Ewing, Robert; Helmers, Matt; Horton, Robert; Jarchow, Meghann; Archontoulis, Sotirios


    Agricultural systems are being challenged to decrease water use and increase production while climate becomes more variable and the world's population grows. Low water use efficiency is traditionally characterized by high water use relative to low grain production and usually occurs under dry conditions. However, when a cropping system fails to take advantage of available water during wet conditions, this is also an inefficiency and is often detrimental to the environment. Here, we provide a systems-level definition of water use efficiency (sWUE) that addresses both production and environmental quality goals through incorporating all major system water losses (evapotranspiration, drainage, and runoff). We extensively calibrated and tested the Agricultural Production Systems sIMulator (APSIM) using 6 years of continuous crop and soil measurements in corn- and soybean-based cropping systems in central Iowa, USA. We then used the model to determine water use, loss, and grain production in each system and calculated sWUE in years that experienced drought, flood, or historically average precipitation. Systems water use efficiency was found to be greatest during years with average precipitation. Simulation analysis using 28 years of historical precipitation data, plus the same dataset with ± 15% variation in daily precipitation, showed that in this region, 430 mm of seasonal (planting to harvesting) rainfall resulted in the optimum sWUE for corn, and 317 mm for soybean. Above these precipitation levels, the corn and soybean yields did not increase further, but the water loss from the system via runoff and drainage increased substantially, leading to a high likelihood of soil, nutrient, and pesticide movement from the field to waterways. As the Midwestern United States is predicted to experience more frequent drought and flood, inefficiency of cropping systems water use will also increase. This work provides a framework to concurrently evaluate production and

  14. Formal Model-Based Validation for Tally Systems

    Cochran, Dermot; Kiniry, Joseph

    Existing commercial and open source e-voting systems have horrifically poor testing frameworks. Most tally systems, for example, are tested by re-running all past elections and seeing if the new system gives the same answer as an older, perhaps erroneous, system did. This amounts to a few dozen...

  15. Traffic Forecasting Model Based on Takagi-Sugeno Fuzzy Logical System

    WANG Wei-gong; LI Zheng; CHENG Mei-ling


    The local multiple regression fuzzy(LMRF)model based on Takagi-Sugeno fuzzy logical system and its application in traffic forecasting is proposed. Besides its prediction accuracy is testified and the model is proved much better than conventional forecasting methods. According to the regional traffic system, the model perfectly states the complex non-linear relation of the traffic and the local social economy. The model also efficiently deals with the system lack of enough data.

  16. Modeling and Stability Analysis for Non-linear Network Control System Based on T-S Fuzzy Model

    ZHANG Hong; FANG Huajing


    Based on the T-S fuzzy model, this paper presents a new model of non-linear network control system with stochastic transfer delay. Sufficient criterion is proposed to guarantee globally asymptotically stability of this two-levels T-S fuzzy model. Also a T-S fuzzy observer of NCS is designed base on this two-levels T-S fuzzy model. All these results present a new approach for networked control system analysis and design.

  17. Model-Based Test Automation Strategies for Data Processing Systems

    Di Nardo, Daniel


    Data processing software is an essential component of systems that aggregate and analyse real-world data, thereby enabling automated interaction between such systems and the real world. In data processing systems, inputs are often big and complex files that have a well-defined structure, and that often have dependencies between several of their fields. Testing of data processing systems is complex. Software engineers, in charge of testing these systems, have to handcraft complex data files of...

  18. Muskingum equation based downstream sediment flow simulation models for a river system

    Briti Sundar Sil; Parthasarathi Choudhury


    Applications of sediment transport and water flow characteristics based sediment transport simulation models for a river system are presented in this study. An existing water–sediment model and a new sediment–water model are used to formulate the simulation models representing water and sediment movement in a river system. The sediment–water model parameters account for water flow characteristics embodying sediment transport properties of a section. The models are revised formulations of the multiple water inflows model describing water movement through a river system as given by the Muskingum principle. The models are applied to a river system in Mississippi River basin to estimate downstream sediment concentration, sediment discharge, and water discharge. River system and the river section parameters are estimated using a revised and the original multiple water inflows models by applying the genetic algorithm. The models estimate downstream sediment transport rates on the basis of upstream sediment/water flow rates to a system. Model performance is evaluated by using standard statistical criteria;downstream water discharge resulting from the original multiple water inflows model using the estimated river system parameters indicate that the revised models satisfactorily describe water movement through a river system. Results obtained in the study demonstrate the applicability of the sediment transport and water flow characteristics-based simulation models in predicting downstream sediment transport and water flow rates in a river system.

  19. A reference model for model-based design of critical infrastructure protection systems

    Shin, Young Don; Park, Cheol Young; Lee, Jae-Chon


    Today's war field environment is getting versatile as the activities of unconventional wars such as terrorist attacks and cyber-attacks have noticeably increased lately. The damage caused by such unconventional wars has also turned out to be serious particularly if targets are critical infrastructures that are constructed in support of banking and finance, transportation, power, information and communication, government, and so on. The critical infrastructures are usually interconnected to each other and thus are very vulnerable to attack. As such, to ensure the security of critical infrastructures is very important and thus the concept of critical infrastructure protection (CIP) has come. The program to realize the CIP at national level becomes the form of statute in each country. On the other hand, it is also needed to protect each individual critical infrastructure. The objective of this paper is to study on an effort to do so, which can be called the CIP system (CIPS). There could be a variety of ways to design CIPS's. Instead of considering the design of each individual CIPS, a reference model-based approach is taken in this paper. The reference model represents the design of all the CIPS's that have many design elements in common. In addition, the development of the reference model is also carried out using a variety of model diagrams. The modeling language used therein is the systems modeling language (SysML), which was developed and is managed by Object Management Group (OMG) and a de facto standard. Using SysML, the structure and operational concept of the reference model are designed to fulfil the goal of CIPS's, resulting in the block definition and activity diagrams. As a case study, the operational scenario of the nuclear power plant while being attacked by terrorists is studied using the reference model. The effectiveness of the results is also analyzed using multiple analysis models. It is thus expected that the approach taken here has some merits

  20. Modelling and simulation of complex systems: an approach based on multi-level agents

    Fougères, Alain-Jérôme


    A complex system is made up of many components with many interactions. So the design of systems such as simulation systems, cooperative systems or assistance systems includes a very accurate modelling of interactional and communicational levels. The agent-based approach provides an adapted abstraction level for this problem. After having studied the organizational context and communicative capacities of agentbased systems, to simulate the reorganization of a flexible manufacturing, to regulate an urban transport system, and to simulate an epidemic detection system, our thoughts on the interactional level were inspired by human-machine interface models, especially those in "cognitive engineering". To provide a general framework for agent-based complex systems modelling, we then proposed a scale of four behaviours that agents may adopt in their complex systems (reactive, routine, cognitive, and collective). To complete the description of multi-level agent models, which is the focus of this paper, we illustrate ...

  1. Formal Model-Based Validation for Tally Systems

    Cochran, Dermot; Kiniry, Joseph


    non-isomorphic test cases per electoral scheme, once and for all. Using such a system test suite, any digital election technology (proprietary or open source) can be rigorously evaluated for correctness. Doing so will vastly improve the confidence experts have-and can only improve the level of trust......Existing commercial and open source e-voting systems have horrifically poor testing frameworks. Most tally systems, for example, are tested by re-running all past elections and seeing if the new system gives the same answer as an older, perhaps erroneous, system did. This amounts to a few dozen...... system tests and, typically, few-to-no unit tests. These systems are used today in a dozen countries to determine the outcome of national elections. This state-of-affairs cannot continue because it calls into question the legitimacy of elections in major European and North American democracies. In this...

  2. XML-based integration data model and schema mapping in multidatabase systems

    Li Ruixuan; Lu Zhengding; Xiao Weijun; Wu Wei


    Multidatabase systems are designed to achieve schema integration and data interoperation among distributed and heterogeneous database systems. But data model heterogeneity and schema heterogeneity make this a challenging task. A multidatabase common data model is firstly introduced based on XML, named XML-based Integration Data Model (XIDM), which is suitable for integrating different types of schemas. Then an approach of schema mappings based on XIDM in multidatabase systems has been presented. The mappings include global mappings, dealing with horizontal and vertical partitioning between global schemas and export schemas, and local mappings, processing the transformation between export schemas and local schemas. Finally, the illustration and implementation of schema mappings in a multidatabase prototype - Panorama system are also discussed. The implementation results demonstrate that the XIDM is an efficient model for managing multiple heterogeneous data sources and the approaches of schema mapping based on XIDM behave very well when integrating relational, object-oriented database systems and other file systems.

  3. Model Based Aircraft Upset Detection and Recovery System Project

    National Aeronautics and Space Administration — This proposal describes a system for detecting upset conditions and providing the corresponding control recovery actions to maintain flight integrity for general...

  4. MLP based Reusability Assessment Automation Model for Java based Software Systems

    Surbhi Maggo


    Full Text Available Reuse refers to a common principle of using existing resources repeatedly, that is pervasively applicable everywhere. In software engineering reuse refers to the development of software systems using already available artifacts or assets partially or completely, with or without modifications. Software reuse not only promises significant improvements in productivity and quality but also provides for the development of more reliable, cost effective, dependable and less buggy (considering that prior use and testing have removed errors software with reduced time and effort. In this paper we present an efficient and reliable automation model for reusability evaluation of procedure based object oriented software for predicting the reusability levels of the components as low, medium or high. The presented model follows a reusability metric framework that targets the requisite reusability attributes including maintainability (using the Maintainability Index for functional analysis of the components. Further Multilayer perceptron (using back propagation based neural network is applied for the establishment of significant relationships among these attributes for reusability prediction. The proposed approach provides support for reusability evaluation at functional level rather than at structural level. The automation support for this approach is provided in the form of a tool named JRA2M2 (Java based Reusability Assessment Automation Model using Multilayer Perceptron (MLP, implemented in Java. The performance of JRA2M2 is recorded using parameters like accuracy, classification error, precision and recall. The results generated using JRA2M2 indicate that the proposed automation tool can be effectively used as a reliable and efficient solution for automated evaluation of reusability.

  5. Collective operations in a file system based execution model

    Shinde, Pravin; Van Hensbergen, Eric


    A mechanism is provided for group communications using a MULTI-PIPE synthetic file system. A master application creates a multi-pipe synthetic file in the MULTI-PIPE synthetic file system, the master application indicating a multi-pipe operation to be performed. The master application then writes a header-control block of the multi-pipe synthetic file specifying at least one of a multi-pipe synthetic file system name, a message type, a message size, a specific destination, or a specification of the multi-pipe operation. Any other application participating in the group communications then opens the same multi-pipe synthetic file. A MULTI-PIPE file system module then implements the multi-pipe operation as identified by the master application. The master application and the other applications then either read or write operation messages to the multi-pipe synthetic file and the MULTI-PIPE synthetic file system module performs appropriate actions.

  6. Spatio-temporal Data Model Based on Relational Database System


    In this paper,the entity-relation data model for integrating spatio-temporal data is designed.In the design,spatio-temporal data can be effectively stored and spatiao-temporal analysis can be easily realized.

  7. Model Identification of Hydrostatic Center Frame Control System based on MATLAB

    Zhongwen Wang; Ruizhen Duan; Xiaoqiu Xu


    The composition and principle of an electro-hydraulic servo oil film stiffness control system of hydrostatic center frame will be introduced, and the system model identification as well as the verification will be carried out based on semi-physical simulation environment of Real-time Workshop (RTW) and system identification toolbox in MATLAB. A control strategy of fuzzy sliding model variable structure will be presented , and it is applied in the model achieved by identifications, adopting th...

  8. Model Based System Engineering Approach of a Lightweight Embedded TCP/IP

    M. Z. Rashed


    Full Text Available The use of embedded software is growing very rapidly. Accessing the internet is a necessaryservice which has large range of applications in many fields. The Internet is based on TCP/IPwhich is a very important stack. Although TCP/IP is very important there is not a softwareengineering model describing it. The common method in modeling and describing TCP/IP is RFCswhich is not sufficient for software engineer and developers. Therefore there is a need for softwareengineering approach to help engineers and developers to customize their own web basedapplications for embedded systems.This research presents a model based system engineering approach of lightweight TCP/IP. Themodel contains the necessary phases for developing a lightweight TCP/IP for embedded systems.The proposed model is based on SysML as a model based system engineering language.

  9. The model of information retrieval based on the theory of hypercomplex numerical systems

    Lande, D V; Boyarinova, Yu E


    The paper provided a description of a new model of information retrieval, which is an extension of vector-space model and is based on the principles of the theory of hypercomplex numerical systems. The model allows to some extent realize the idea of fuzzy search and allows you to apply in practice the model of information retrieval practical developments in the field of hypercomplex numerical systems.

  10. Interaction Protocols in Multi-Agent Systems based on Agent Petri Nets Model

    Kamel Barkaoui


    Full Text Available This paper deals with the modeling of interaction between agents in Multi Agents System (MAS based on Agent Petri Nets (APN. Our models are created based on communicating agents. Indeed, an agent initiating a conversation with other can specify the interaction protocol wishes to follow. The combination of APN and FIPA Protocols schemes leads to a set of deployment formal rules for points where model interaction can be successfully implemented. We introduce some models FIPA standard protocols.

  11. Energy-based modelling and simulation of a series hybrid electric vehicle propulsion system

    Muñoz Aguilar, Raúl Santiago; Dòria Cerezo, Arnau; Puleston, Paul


    This paper presents an energy-based model of a series hybrid electric vehicle. The proposed propulsion system has a new configuration using a wound-rotor synchronous generator (WRSM) and a doublyfed induction machine (DFIM). From the classic dq dynamical equations of the WRSM and DFIM the port-controlled Hamiltonian models of each machine is described. One of the abilities of the port-based models is that the complete model is easy to obtain by means of interconnection rules. Foll...

  12. Gain Scheduling Control of Nonlinear Systems Based on Neural State Space Models

    Bendtsen, Jan Dimon; Stoustrup, Jakob


    This paper presents a novel method for gain scheduling control of nonlinear systems based on extraction of local linear state space models from neural networks with direct application to robust control. A neural state space model of the system is first trained based on in- and output training...... samples from the system, after which linearized state space models are extracted from the neural network in a number of operating points according to a simple and computationally cheap scheme. Robust observer-based controllers can then be designed in each of these operating points,and gain scheduling...

  13. Annotation and retrieval system of CAD models based on functional semantics

    Wang, Zhansong; Tian, Ling; Duan, Wenrui


    CAD model retrieval based on functional semantics is more significant than content-based 3D model retrieval during the mechanical conceptual design phase. However, relevant research is still not fully discussed. Therefore, a functional semantic-based CAD model annotation and retrieval method is proposed to support mechanical conceptual design and design reuse, inspire designer creativity through existing CAD models, shorten design cycle, and reduce costs. Firstly, the CAD model functional semantic ontology is constructed to formally represent the functional semantics of CAD models and describe the mechanical conceptual design space comprehensively and consistently. Secondly, an approach to represent CAD models as attributed adjacency graphs(AAG) is proposed. In this method, the geometry and topology data are extracted from STEP models. On the basis of AAG, the functional semantics of CAD models are annotated semi-automatically by matching CAD models that contain the partial features of which functional semantics have been annotated manually, thereby constructing CAD Model Repository that supports model retrieval based on functional semantics. Thirdly, a CAD model retrieval algorithm that supports multi-function extended retrieval is proposed to explore more potential creative design knowledge in the semantic level. Finally, a prototype system, called Functional Semantic-based CAD Model Annotation and Retrieval System(FSMARS), is implemented. A case demonstrates that FSMARS can successfully botain multiple potential CAD models that conform to the desired function. The proposed research addresses actual needs and presents a new way to acquire CAD models in the mechanical conceptual design phase.

  14. Model Based Cyber Security Analysis for Research Reactor Protection System

    The study on the qualitative risk due to cyber-attacks into research reactors was performed using bayesian Network (BN). This was motivated to solve the issues of cyber security raised due to digitalization of instrumentation and control (I and C) system. As a demonstrative example, we chose the reactor protection system (RPS) of research reactors. Two scenarios of cyber-attacks on RPS were analyzed to develop mitigation measures against vulnerabilities. The one is the 'insertion of reactor trip' and the other is the 'scram halt'. The six mitigation measures are developed for five vulnerability for these scenarios by getting the risk information from BN

  15. Model-based health monitoring of hybrid systems

    Wang, Danwei; Low, Chang Boon; Arogeti, Shai


    Offers in-depth comprehensive study on health monitoring for hybrid systems Includes new concepts, such as GARR, mode tracking and multiple failure prognosis Contains many examples, making the developed techniques easily understandable and accessible Introduces state-of-the-art algorithms and methodologies from experienced researchers

  16. Evaluation of Student Models on Current Socio-Scientific Topics Based on System Dynamics

    Nuhoglu, Hasret


    This study aims to 1) enable primary school students to develop models that will help them understand and analyze a system, through a learning process based on system dynamics approach, 2) examine and evaluate students' models related to socio-scientific issues using certain criteria. The research method used is a case study. The study sample…

  17. Model-Based Design and Integration of Large Li-ion Battery Systems

    Smith, Kandler; Kim, Gi-Heon; Santhanagopalan, Shriram; Shi, Ying; Pesaran, Ahmad; Mukherjee, Partha; Barai, Pallab; Maute, Kurt; Behrou, Reza; Patil, Chinmaya


    This presentation introduces physics-based models of batteries and software toolsets, including those developed by the U.S. Department of Energy's (DOE) Computer-Aided Engineering for Electric-Drive Vehicle Batteries Program (CAEBAT). The presentation highlights achievements and gaps in model-based tools for materials-to-systems design, lifetime prediction and control.

  18. Analytical Model-based Fault Detection and Isolation in Control Systems

    Vukic, Z.; Ozbolt, H.; Blanke, M.


    The paper gives an introduction and an overview of the field of fault detection and isolation for control systems. The summary of analytical (quantitative model-based) methodds and their implementation are presented. The focus is given to mthe analytical model-based fault-detection and fault...


    Harpreet Singh; Jagdev Singh; Simranpreet Singh Gill


    This paper describes the Mamdani fuzzy models of heat exchanger and dehumidifier (absorber) of an air dehumidification process occurring in a packed bed using liquid desiccant. Temperature of water used ascooling medium at the inlet of heat exchanger, temperature of desiccant solution(from the regenerator) ,inlet air humidity ratio of humid air, flow rate per unit cross-sectional area, temperature of desiccant solution(from the heat exchanger) have been taken as different variables for packed...

  20. State-space modelling for the ejector-based refrigeration system driven by low grade energy

    This paper presents a novel global state-space model to describe the ejector-based refrigeration system, which includes the dynamics of the two heat exchangers and the static properties of ejector, compressor and expansion valve. Different from the existing methods, the proposed method introduces some intermediate variables into the dynamic modelling in developing reduced order models of the heat exchangers (evaporator and condenser) based on the Number of Transfer Units (NTU) method. This global model with fewer dimensions is much simpler and can be more convenient for the real-time control system design, compared with other dynamic models. Finally, the proposed state-space model has been validated by dynamic response experiments on the ejector-based refrigeration cycle with refrigerant R134a.The experimental results indicate that the proposed model can predict well the dynamics of the ejector-based refrigeration system. - Highlights: • A low-order state-space model of ejector-based refrigeration system is presented. • Reduced-order models of heat exchangers are developed based on NTU method. • The variations of mass flow rates are introduced in multiple fluid phase regions. • Experimental results show the proposed model has a good performance

  1. Model-based system-of-systems engineering for space-based command, control, communication, and information architecture design

    Sindiy, Oleg V.

    This dissertation presents a model-based system-of-systems engineering (SoSE) approach as a design philosophy for architecting in system-of-systems (SoS) problems. SoS refers to a special class of systems in which numerous systems with operational and managerial independence interact to generate new capabilities that satisfy societal needs. Design decisions are more complicated in a SoS setting. A revised Process Model for SoSE is presented to support three phases in SoS architecting: defining the scope of the design problem, abstracting key descriptors and their interrelations in a conceptual model, and implementing computer-based simulations for architectural analyses. The Process Model enables improved decision support considering multiple SoS features and develops computational models capable of highlighting configurations of organizational, policy, financial, operational, and/or technical features. Further, processes for verification and validation of SoS models and simulations are also important due to potential impact on critical decision-making and, thus, are addressed. Two research questions frame the research efforts described in this dissertation. The first concerns how the four key sources of SoS complexity---heterogeneity of systems, connectivity structure, multi-layer interactions, and the evolutionary nature---influence the formulation of SoS models and simulations, trade space, and solution performance and structure evaluation metrics. The second question pertains to the implementation of SoSE architecting processes to inform decision-making for a subset of SoS problems concerning the design of information exchange services in space-based operations domain. These questions motivate and guide the dissertation's contributions. A formal methodology for drawing relationships within a multi-dimensional trade space, forming simulation case studies from applications of candidate architecture solutions to a campaign of notional mission use cases, and

  2. Fuzzy rule base design using tabu search algorithm for nonlinear system modeling.

    Bagis, Aytekin


    This paper presents an approach to fuzzy rule base design using tabu search algorithm (TSA) for nonlinear system modeling. TSA is used to evolve the structure and the parameter of fuzzy rule base. The use of the TSA, in conjunction with a systematic neighbourhood structure for the determination of fuzzy rule base parameters, leads to a significant improvement in the performance of the model. To demonstrate the effectiveness of the presented method, several numerical examples given in the literature are examined. The results obtained by means of the identified fuzzy rule bases are compared with those belonging to other modeling approaches in the literature. The simulation results indicate that the method based on the use of a TSA performs an important and very effective modeling procedure in fuzzy rule base design in the modeling of the nonlinear or complex systems. PMID:17945233

  3. Model Based Fault Isolation for Object-Oriented Control Systems

    Larsson, Magnus; Klein, Inger; Lawesson, Dan; Nilsson, Ulf


    This report addresses the problem of fault propagation between software modules in a large industrial control system with anobject oriented architecture. There exists a conflict between object-oriented design goals such as encapsulation and modularity, and the possibility to suppress propagating error conditions. When an object detects an error condition, it is not desirable toperform the extensive querying of other objects that would be necessary to decide how close to the real fault the obj...

  4. Evolution of the DeNOC-based dynamic modelling for multibody systems

    S. K. Saha


    Full Text Available Dynamic modelling of a multibody system plays very essential role in its analyses. As a result, several methods for dynamic modelling have evolved over the years that allow one to analyse multibody systems in a very efficient manner. One such method of dynamic modelling is based on the concept of the Decoupled Natural Orthogonal Complement (DeNOC matrices. The DeNOC-based methodology for dynamics modelling, since its introduction in 1995, has been applied to a variety of multibody systems such as serial, parallel, general closed-loop, flexible, legged, cam-follower, and space robots. The methodology has also proven useful for modelling of proteins and hyper-degree-of-freedom systems like ropes, chains, etc. This paper captures the evolution of the DeNOC-based dynamic modelling applied to different type of systems, and its benefits over other existing methodologies. It is shown that the DeNOC-based modelling provides deeper understanding of the dynamics of a multibody system. The power of the DeNOC-based modelling has been illustrated using several numerical examples.

  5. A Framework Model for an Order Fulfillment System Based on Service Oriented Architecture

    YANG Li-xi; LI Shi-qi


    To effectively implement order fulfillment, we present an integrated framework model focusing on the whole process of order fulfillment. Firstly, five aims of the OFS (order fulfillment system) are built. Then after discussing three major processes of order fulfillment, we summarize functional and quality attributes of the OFS. Subsequently, we investigate SOA (Service Oriented Architecture) and present a SOA meta-model to be an integrated framework and to fulfill quality requirements. Moreover, based on the SOA meta-model, we construct a conceptual framework model that aims to conveniently integrate other functions from different systems into the order fulfillment system. This model offers enterprises a new approach to implementing order fulfillment.

  6. An Ontology-Based Tourism Recommender System Based on Spreading Activation Model

    Bahramian, Z.; Abbaspour, R. Ali


    A tourist has time and budget limitations; hence, he needs to select points of interest (POIs) optimally. Since the available information about POIs is overloading, it is difficult for a tourist to select the most appreciate ones considering preferences. In this paper, a new travel recommender system is proposed to overcome information overload problem. A recommender system (RS) evaluates the overwhelming number of POIs and provides personalized recommendations to users based on their preferences. A content-based recommendation system is proposed, which uses the information about the user's preferences and POIs and calculates a degree of similarity between them. It selects POIs, which have highest similarity with the user's preferences. The proposed content-based recommender system is enhanced using the ontological information about tourism domain to represent both the user profile and the recommendable POIs. The proposed ontology-based recommendation process is performed in three steps including: ontology-based content analyzer, ontology-based profile learner, and ontology-based filtering component. User's feedback adapts the user's preferences using Spreading Activation (SA) strategy. It shows the proposed recommender system is effective and improves the overall performance of the traditional content-based recommender systems.


    Z. Bahramian


    Full Text Available A tourist has time and budget limitations; hence, he needs to select points of interest (POIs optimally. Since the available information about POIs is overloading, it is difficult for a tourist to select the most appreciate ones considering preferences. In this paper, a new travel recommender system is proposed to overcome information overload problem. A recommender system (RS evaluates the overwhelming number of POIs and provides personalized recommendations to users based on their preferences. A content-based recommendation system is proposed, which uses the information about the user’s preferences and POIs and calculates a degree of similarity between them. It selects POIs, which have highest similarity with the user’s preferences. The proposed content-based recommender system is enhanced using the ontological information about tourism domain to represent both the user profile and the recommendable POIs. The proposed ontology-based recommendation process is performed in three steps including: ontology-based content analyzer, ontology-based profile learner, and ontology-based filtering component. User’s feedback adapts the user’s preferences using Spreading Activation (SA strategy. It shows the proposed recommender system is effective and improves the overall performance of the traditional content-based recommender systems.

  8. Integration of Evidence into a Detailed Clinical Model-based Electronic Nursing Record System

    Park, Hyeoun-Ae; Min, Yul Ha; Jeon, Eunjoo; Chung, Eunja


    Objectives The purpose of this study was to test the feasibility of an electronic nursing record system for perinatal care that is based on detailed clinical models and clinical practice guidelines in perinatal care. Methods This study was carried out in five phases: 1) generating nursing statements using detailed clinical models; 2) identifying the relevant evidence; 3) linking nursing statements with the evidence; 4) developing a prototype electronic nursing record system based on detailed ...

  9. Research of Network System Reconfigurable Model Based on the Finite State Automation

    Shenghan Zhou


    Full Text Available Since the network analysis model based on the system state exists the issues of network survivability safety, fault tolerance and dynamic ability are adapted to the environment changes, in this paper, network system model based on the finite state automation has reconfigurable quality. The model first puts forward the concept of reconfigurable network systems and reveals its robustness, evolution and the basic attributes of survivability. By establishing a hierarchical model of system state, the system robust behavior, evolution behavior and survival behavior are described. Secondly, network topology reconfigurable measurement as an example, puts forward the quantitative reconfigurable metrics. At last, the example verification. Experiments show that the proposed reconfigurable quantitative indicators of reconfigurable resistance model for [1.391, 1.140, 1.591] prove that the network is an efficient reconfigurable network topology, which can effectively adapt the dynamic changes in the environment

  10. Automated test generation for production systems with a model-based testing approach

    Durand, William


    This thesis tackles the problem of testing (legacy) production systems such as those of our industrial partner Michelin, one of the three largest tire manufacturers in the world, by means of Model-based Testing. A production system is defined as a set of production machines controlled by a software, in a factory. Despite the large body of work within the field of Model-based Testing, a common issue remains the writing of models describing either the system under test or its specification. It ...

  11. Development of model-based multispectral controllers for smart material systems

    Kim, Byeongil; Washington, Gregory N.


    The primary objective of this research is to develop novel model-based multispectral controllers for smart material systems in order to deal with sidebands and higher harmonics and with several frequency components simultaneously. Based on the filtered-X least mean square algorithm, it will be integrated with a nonlinear model-based controller called model predictive sliding mode control. Their performance will be verified in simulation and with various applications such as helicopter cabin noise reduction. This research will improve active vibration and noise control systems used in engineering structures and vehicles by effectively dealing with a wide range of multispectral signals.

  12. A Component-Based Software Configuration Management Model and Its Supporting System

    梅宏; 张路; 杨芙清


    Software configuration management (SCM) is an important key technology in software development. Component-based software development (CBSD) is an emerging paradigm in software development. However, to apply CBSD effectively in real world practice,supporting SCM in CBSD needs to be further investigated. In this paper, the objects that need to be managed in CBSD is analyzed and a component-based SCM model is presented. In this model, components, as the integral logical constituents in a system, are managed as the basic configuration items in SCM, and the relationships between/among components are defined and maintained. Based on this model, a configuration management system is implemented.

  13. A Model-based Approach to Reactive Self-Configuring Systems

    Williams, Brian C.; Nayak, P. Pandurang


    This paper describes Livingstone, an implemented kernel for a self-reconfiguring autonomous system, that is reactive and uses component-based declarative models. The paper presents a formal characterization of the representation formalism used in Livingstone, and reports on our experience with the implementation in a variety of domains. Livingstone's representation formalism achieves broad coverage of hybrid software/hardware systems by coupling the concurrent transition system models underlying concurrent reactive languages with the discrete qualitative representations developed in model-based reasoning. We achieve a reactive system that performs significant deductions in the sense/response loop by drawing on our past experience at building fast prepositional conflict-based algorithms for model-based diagnosis, and by framing a model-based configuration manager as a prepositional, conflict-based feedback controller that generates focused, optimal responses. Livingstone automates all these tasks using a single model and a single core deductive engine, thus making significant progress towards achieving a central goal of model-based reasoning. Livingstone, together with the HSTS planning and scheduling engine and the RAPS executive, has been selected as the core autonomy architecture for Deep Space One, the first spacecraft for NASA's New Millennium program.

  14. Interpolation-based reduced-order models to predict transient thermal output for enhanced geothermal systems

    Mudunuru, M. K.; Karra, S.; D. R. Harp; Guthrie, G. D.; Viswanathan, H. S.


    The goal of this paper is to assess the utility of Reduced-Order Models (ROMs) developed from 3D physics-based models for predicting transient thermal power output for an enhanced geothermal reservoir while explicitly accounting for uncertainties in the subsurface system and site-specific details. Numerical simulations are performed based on Latin Hypercube Sampling (LHS) of model inputs drawn from uniform probability distributions. Key sensitive parameters are identified from these simulatio...

  15. Survey of biomedical and environental data bases, models, and integrated computer systems at Argonne National Laboratory

    This document contains an inventory (index) of information resources pertaining to biomedical and environmental projects at Argonne National Laboratory--the information resources include a data base, model, or integrated computer system. Entries are categorized as models, numeric data bases, bibliographic data bases, or integrated hardware/software systems. Descriptions of the Information Coordination Focal Point (ICFP) program, the system for compiling this inventory, and the plans for continuing and expanding it are given, and suggestions for utilizing the services of the ICFP are outlined

  16. Survey of biomedical and environental data bases, models, and integrated computer systems at Argonne National Laboratory

    Murarka, I.P.; Bodeau, D.J.; Scott, J.M.; Huebner, R.H.


    This document contains an inventory (index) of information resources pertaining to biomedical and environmental projects at Argonne National Laboratory--the information resources include a data base, model, or integrated computer system. Entries are categorized as models, numeric data bases, bibliographic data bases, or integrated hardware/software systems. Descriptions of the Information Coordination Focal Point (ICFP) program, the system for compiling this inventory, and the plans for continuing and expanding it are given, and suggestions for utilizing the services of the ICFP are outlined.

  17. Using Agent Base Models to Optimize Large Scale Network for Large System Inventories

    Shameldin, Ramez Ahmed; Bowling, Shannon R.


    The aim of this paper is to use Agent Base Models (ABM) to optimize large scale network handling capabilities for large system inventories and to implement strategies for the purpose of reducing capital expenses. The models used in this paper either use computational algorithms or procedure implementations developed by Matlab to simulate agent based models in a principal programming language and mathematical theory using clusters, these clusters work as a high performance computational performance to run the program in parallel computational. In both cases, a model is defined as compilation of a set of structures and processes assumed to underlie the behavior of a network system.

  18. Artificial Immune Systems Metaphor for Agent Based Modeling of Crisis Response Operations

    Khalil, Khaled M; Nazmy, Taymour T; Salem, Abdel-Badeeh M


    Crisis response requires information intensive efforts utilized for reducing uncertainty, calculating and comparing costs and benefits, and managing resources in a fashion beyond those regularly available to handle routine problems. This paper presents an Artificial Immune Systems (AIS) metaphor for agent based modeling of crisis response operations. The presented model proposes integration of hybrid set of aspects (multi-agent systems, built-in defensive model of AIS, situation management, and intensity-based learning) for crisis response operations. In addition, the proposed response model is applied on the spread of pandemic influenza in Egypt as a case study.

  19. Model-based Systems Engineering: Creation and Implementation of Model Validation Rules for MOS 2.0

    Schmidt, Conrad K.


    Model-based Systems Engineering (MBSE) is an emerging modeling application that is used to enhance the system development process. MBSE allows for the centralization of project and system information that would otherwise be stored in extraneous locations, yielding better communication, expedited document generation and increased knowledge capture. Based on MBSE concepts and the employment of the Systems Modeling Language (SysML), extremely large and complex systems can be modeled from conceptual design through all system lifecycles. The Operations Revitalization Initiative (OpsRev) seeks to leverage MBSE to modernize the aging Advanced Multi-Mission Operations Systems (AMMOS) into the Mission Operations System 2.0 (MOS 2.0). The MOS 2.0 will be delivered in a series of conceptual and design models and documents built using the modeling tool MagicDraw. To ensure model completeness and cohesiveness, it is imperative that the MOS 2.0 models adhere to the specifications, patterns and profiles of the Mission Service Architecture Framework, thus leading to the use of validation rules. This paper outlines the process by which validation rules are identified, designed, implemented and tested. Ultimately, these rules provide the ability to maintain model correctness and synchronization in a simple, quick and effective manner, thus allowing the continuation of project and system progress.

  20. Integrating 3D geological information with a national physically-based hydrological modelling system

    Lewis, Elizabeth; Parkin, Geoff; Kessler, Holger; Whiteman, Mark


    Robust numerical models are an essential tool for informing flood and water management and policy around the world. Physically-based hydrological models have traditionally not been used for such applications due to prohibitively large data, time and computational resource requirements. Given recent advances in computing power and data availability, a robust, physically-based hydrological modelling system for Great Britain using the SHETRAN model and national datasets has been created. Such a model has several advantages over less complex systems. Firstly, compared with conceptual models, a national physically-based model is more readily applicable to ungauged catchments, in which hydrological predictions are also required. Secondly, the results of a physically-based system may be more robust under changing conditions such as climate and land cover, as physical processes and relationships are explicitly accounted for. Finally, a fully integrated surface and subsurface model such as SHETRAN offers a wider range of applications compared with simpler schemes, such as assessments of groundwater resources, sediment and nutrient transport and flooding from multiple sources. As such, SHETRAN provides a robust means of simulating numerous terrestrial system processes which will add physical realism when coupled to the JULES land surface model. 306 catchments spanning Great Britain have been modelled using this system. The standard configuration of this system performs satisfactorily (NSE > 0.5) for 72% of catchments and well (NSE > 0.7) for 48%. Many of the remaining 28% of catchments that performed relatively poorly (NSE software to allow for easy incorporation of geological information into SHETRAN for any model setup. The addition of more realistic subsurface representation following this approach is shown to greatly improve model performance in areas dominated by groundwater processes. The resulting modelling system has great potential to be used as a resource at

  1. Runge-Kutta model-based nonlinear observer for synchronization and control of chaotic systems.

    Beyhan, Selami


    This paper proposes a novel nonlinear gradient-based observer for synchronization and observer-based control of chaotic systems. The model is based on a Runge-Kutta model of the chaotic system where the evolution of the states or parameters is derived based on the error-square minimization. The stability and convergence conditions of observer and control methods are analyzed using a Lyapunov stability approach. In numerical simulations, the proposed observer and well-known sliding-mode observer are compared for the synchronization of a Lü chaotic system and observer-based stabilization of a Chen chaotic system. The noisy case for synchronization and parameter uncertainty case for stabilization are also considered for both observer-based methods. PMID:23672740

  2. Variance in system dynamics and agent based modelling using the SIR model of infectious diseases

    Ahmed, Aslam; Greensmith, Julie; Aickelin, Uwe


    Classical deterministic simulations of epidemiological processes, such as those based on System Dynamics, produce a single result based on a fixed set of input parameters with no variance between simulations. Input parameters are subsequently modified on these simulations using Monte-Carlo methods, to understand how changes in the input parameters affect the spread of results for the simulation. Agent Based simulations are able to produce different output results on each run based on knowledg...

  3. An ontology for component-based models of water resource systems

    Elag, Mostafa; Goodall, Jonathan L.


    Component-based modeling is an approach for simulating water resource systems where a model is composed of a set of components, each with a defined modeling objective, interlinked through data exchanges. Component-based modeling frameworks are used within the hydrologic, atmospheric, and earth surface dynamics modeling communities. While these efforts have been advancing, it has become clear that the water resources modeling community in particular, and arguably the larger earth science modeling community as well, faces a challenge of fully and precisely defining the metadata for model components. The lack of a unified framework for model component metadata limits interoperability between modeling communities and the reuse of models across modeling frameworks due to ambiguity about the model and its capabilities. To address this need, we propose an ontology for water resources model components that describes core concepts and relationships using the Web Ontology Language (OWL). The ontology that we present, which is termed the Water Resources Component (WRC) ontology, is meant to serve as a starting point that can be refined over time through engagement by the larger community until a robust knowledge framework for water resource model components is achieved. This paper presents the methodology used to arrive at the WRC ontology, the WRC ontology itself, and examples of how the ontology can aid in component-based water resources modeling by (i) assisting in identifying relevant models, (ii) encouraging proper model coupling, and (iii) facilitating interoperability across earth science modeling frameworks.

  4. Experimental-based modeling of a support structure as part of a full system model



    Structural dynamic systems are often attached to a support structure to simulate proper boundary conditions during testing. In some cases the support structure is fairly simple and can be modeled by discrete springs and dampers. In other cases the desired test conditions necessitate the use of a support structural that introduces dynamics of its own. For such cases a more complex structural dynamic model is required to simulate the response of the full combined system. In this paper experimental frequency response functions, admittance function modeling concepts, and least squares reductions are used to develop a support structure model including both translational and rotational degrees of freedom at an attachment location. Subsequently, the modes of the support structure are estimated, and a NASTRAN model is created for attachment to the tested system.

  5. Set-Based Concurrent Engineering Model for Automotive Electronic/Software Systems Development

    Al-Ashaab, Ahmed; Howell, S.; Usowicz, K.; Hernando Anta, P.; Gorka, A.


    This paper is presenting a proposal of a novel approach to automotive electronic/software systems development. It is based on the combination of Set-Based Concurrent Engineering, a Toyota approach to product development, with the standard V-Model of software development. Automotive industry currently faces the problem of growing complexity of electronic/software systems. This issue is especially visible at the level of integration of these systems which is difficult and error-pron...

  6. Power System Stabilizer Design Based on Model Reference Robust Fuzzy Control

    Mohammad Reza Yazdchi


    Full Text Available Power System Stabilizers (PSS are used to generate supplementary damping control signals for the excitation system in order to damp the Low Frequency Oscillations (LFO of the electric power system. The PSS is usually designed based on classical control approaches but this Conventional PSS (CPSS has some problems in power system control and stability enhancement. To overcome the drawbacks of CPSS, numerous techniques have been proposed in literatures. In this study a new method based on Model Reference Robust Fuzzy Control (MRRFC is considered to design PSS. In this new approach, in first an optimal PSS is designed in the nominal operating condition and then power system identification is used to obtain model reference of power system including optimal PSS. With changing system operating condition from the nominal condition, the error between obtained model reference and power system response in sent to a fuzzy controller and this fuzzy controller provides the stabilizing signal for damping power system oscillations just like PSS. In order to model reference identification a PID type PSS (PID-PSS is considered for damping electric power system oscillations. The parameters of this PID-PSS are tuned based on hybrid Genetic Algorithms (GA optimization method. The proposed MRRFC is evaluated against the CPSS at a single machine infinite bus power system considering system parametric uncertainties. The simulation results clearly indicate the effectiveness and validity of the proposed method.

  7. Nonlinear system identification for model-based condition monitoring of wind turbines

    Cross, Philip; Ma, Xiandong


    This paper proposes a data driven model-based condition monitoring scheme that is applied to wind turbines. The scheme is based upon a non-linear data-based modelling approach in which the model parameters vary as functions of the system variables. The model structure and parameters are identified directly from the input and output data of the process. The proposed method is demonstrated with data obtained from a simulation of a grid-connected wind turbine where it is used to detect grid and ...

  8. Modelling and simulation of complex systems: an approach based on multi-level agents

    Alain-Jerome Fougeres


    Full Text Available A complex system is made up of many components with many interactions. So the design of systems such as simulation systems, cooperative systems or assistance systems includes a very accurate modelling of interactional and communicational levels. The agent-based approach provides an adapted abstraction level for this problem. After having studied the organizational context and communicative capacities of agent-based systems, to simulate the reorganization of a flexible manufacturing, to regulate an urban transport system, and to simulate an epidemic detection system, our thoughts on the interactional level were inspired by human-machine interface models, especially those in cognitive engineering To provide a general framework for agent-based complex systems modelling, we then proposed a scale of four behaviours that agents may adopt in their complex systems (reactive, routine, cognitive, and collective. To complete the description of multi-level agent models, which is the focus of this paper, we illustrate our modelling and discuss our ongoing work on each level.

  9. A dynamical system of deposit and loan volumes based on the Lotka-Volterra model

    Sumarti, N.; Nurfitriyana, R.; Nurwenda, W.


    In this research, we proposed a dynamical system of deposit and loan volumes of a bank using a predator-prey paradigm, where the predator is loan volumes, and the prey is deposit volumes. The existence of loan depends on the existence of deposit because the bank will allocate the loan volume from a portion of the deposit volume. The dynamical systems have been constructed are a simple model, a model with Michaelis-Menten Response and a model with the Reserve Requirement. Equilibria of the systems are analysed whether they are stable or unstable based on their linearised system.

  10. Model-based Computer Aided Framework for Design of Process Monitoring and Analysis Systems

    Singh, Ravendra; Gernaey, Krist; Gani, Rafiqul


    In the manufacturing industry, for example, the pharmaceutical industry, a thorough understanding of the process is necessary in addition to a properly designed monitoring and analysis system (PAT system) to consistently obtain the desired end-product properties. A model-based computer......-aided framework including the methods and tools through which the design of monitoring and analysis systems for product quality control can be generated, analyzed and/or validated, has been developed. Two important supporting tools developed as part of the framework are a knowledge base and a model library....... The knowledge base provides the necessary information/data during the design of the PAT system while the model library generates additional or missing data needed for design and analysis. Optimization of the PAT system design is achieved in terms of product data analysis time and/or cost of monitoring equipment...

  11. A computer tool for systems configuration management based on PSA models and techniques

    In the frame of the IAEA coordinated research programme for expert systems development, in the Institute for Nuclear Research, a PSA based computer tool for systems configuration management is in progress. The system is designed to be integrated in the future ''living PSA'' system under development now. The design of the system is mainly based on the PSA model for Cernavoda NPP and the risk-based configuration management methods, taking into account the user requirements. The system will be developed taking into account the expert systems techniques, specific PSA methods (MCS and path-sets generation, etc.) and friendly user interface features. The work done up to now for the system mainly consist of the users requirements identification, development techniques choosing and top-level system design. (author). 4 refs, 1 fig

  12. Modelling and simulation of electrical energy systems through a complex systems approach using agent-based models. Case study: Under-frequency load shedding for refrigerators

    Kremers, Enrique [Karlsruhe Institute of Technology (KIT), Karlsruhe (Germany). European Inst. for Energy Research (EIFER); Gonzalez de Durana, Jose Maria; Barambones, Oscar [Universidad del Pais Vasco, Vitoria (Spain). Escuela Universitaria de Ingenieria de Vitoria-Gasteiz


    One of the ways of studying complex systems is through modelling and simulation, which are used as tools to represent these systems in a virtual environment. Current advances in computing performance (which has been a major constraint in this field for some time) allow for the simulation these kinds of systems within reasonable time horizons. One of the tools for simulating complex systems is agent-based modelling. This individual-centric approach is based on autonomous entities that can interact with each other, thus modelling the system in a disaggregated way. Agent-based models can be coupled with other modelling methods, such as continuous models and discrete events, which can be embedded or run in parallel to the multi-agent system. When representing the electrical energy system in a systemic and multi-layered way, it is treated as a true socio-technical system, in which not only technical models are taken into account, but also socio-behavioural ones. In this work, a number of different models for the parts of an electrical system are presented, related to production, demand and storage. The models are intended to be as simple as possible in order to be simulated in an integrated framework representing the system as a whole. Furthermore, the models allow the inclusion of social behaviour and other, not purely engineering-related aspects of the system, which have to be considered from a complex point of view. (orig.)

  13. A Fuzzy Set-Based Approach for Model-Based Internet-Banking System Security Risk Assessment

    LI Hetian; LIU Yun; HE Dequan


    A fuzzy set-based evaluation approach is demonstrated to assess the security risks for Internet-banking System. The Internet-banking system is semi-formally described using Unified Modeling Language (UML) to specify the behavior and state of the system on the base of analyzing the existing qualitative risk assessment methods. And a quantitative method based on fuzzy set is used to measure security risks of the system. A case study was performed on the WEB server of the Internet-banking System using fuzzy-set based assessment algorithm to quantitatively compute the security risk severity. The numeric result also provides a method to decide the most critical component which should arouse the system administrator enough attention to take the appropriate security measure or controls to alleviate the risk severity. The experiments show this method can be used to quantify the security properties for the Internet-banking System in practice.

  14. A Data-Assimilative Modeling System for the Gulf of Alaska based on the Regional Ocean Modeling System (ROMS)

    Farrara, J.; Chao, Y.; Li, Z.; Wang, X.; Jin, X.; Li, P.


    A ROMS-based data-assimilative modeling system for the Gulf of Alaska (GoA) has been developed. A three-level, nested ROMS configuration is used: the largest level (L0) covers an extended region of the GoA at a horizontal resolution of 9km; the next level (L1) is nested in L0 and covers the northern GoA at a horizontal resolution of 3km; the last level (L2) is nested in L1 and focuses on the region around the Prince William Sound at a horizontal resolution of 1km. The system is forced at the ocean surface by output from regional and global atmospheric models and by freshwater runoff from land obtained via real-time execution of a digital elevation model forced by air temperature and precipitation data from the regional and global atmospheric models.. In-situ and satellite measurements are assimilated using a multi-scale 3-dimensional variational (MS-3DVAR) data assimilation scheme. In addition, parallel real-time runs of the system coupled with the COSINE ecosystem model have been performed. The performance of the system has recently been evaluated using data gathered during the Sound Predictions field experiment held in the Prince William Sound (PWS) region during summer 2009. During the experiment, the system was run daily in near real-time. Nowcasts were produced every 6 hours and a 48-hr forecast was run once per day.The overall flow pattern within the PWS as revealed by HF radar surface current observations and surface drifters was realistically reproduced by the ROMS model. In addition, a comparison of the model temperature and salinity profiles with those gathered by ship CTD, glider and Remus AUV show overall excellent agreement. For the temperature, the overall bias was found to be small (-0.12C) and the RMS difference was also reasonably small (0.83C) with good agreement across all temperatures (depths) sampled. For the salinity, there was good agreement at the higher salinities (larger depths), but there was a salty bias at lower salinities (shallower

  15. Fuzzy model-based adaptive synchronization of time-delayed chaotic systems

    In this paper, fuzzy model-based synchronization of a class of first order chaotic systems described by delayed-differential equations is addressed. To design the fuzzy controller, the chaotic system is modeled by Takagi-Sugeno fuzzy system considering the properties of the nonlinear part of the system. Assuming that the parameters of the chaotic system are unknown, an adaptive law is derived to estimate these unknown parameters, and the stability of error dynamics is guaranteed by Lyapunov theory. Numerical examples are given to demonstrate the validity of the proposed adaptive synchronization approach.

  16. Development of Groundwater Modeling Support System Based on Service-Oriented Architecture

    WANG, Y.; Tsai, J. P.; Hsiao, C. T.; Chang, L. C.


    Groundwater simulation has become an essential step on the groundwater resources management and assessment. There are many stand-alone pre and post processing software packages to alleviate the model simulation loading, but the stand-alone software do not consider centralized management of data and simulation results neither do they provide network sharing function. The model buildings are still implemented independently case to case when using these packages. Hence, it is difficult to share and reuse the data and knowledge (simulation cases) systematically within or across companies. Therefore, this study develops a centralized and network based groundwater model developing system to assist model simulation. The system is based on service-oriented architecture and allows remote user to develop their modeling cases on internet. The data and cases (knowledge) are thus easy to manage centralized. MODFLOW is the modeling engine of the system, which is the most popular groundwater model in the world. Other functions include the database management and variety of model developing assisted web services including auto digitalizing of geology profile map、groundwater missing data recovery assisting、graphic data demonstration and auto generation of MODFLOW input files from database that is the most important function of the system. Since the system architecture is service-oriented, it is scalable and flexible. The system can be easily extended to include the scenarios analysis and knowledge management to facilitate the reuse of groundwater modeling knowledge.

  17. Modelling the evolution of legacy systems to web-based systems

    Lavery, Janet; Boldyreff, Cornelia; Ling, Bin; Allison, Colin


    To advance operational legacy systems, with their out-of-date software, distributed data and entrenched business processes, to systems that can take advantage of current Web technologies to give consistent, customized and secure access to existing information bases and legacy systems is a complex and daunting task. The Institutionally Secure Integrated Data Environment (INSIDE) is a collaborative project between the Universities of St Andrews and Durham that is addressing the issues surroundi...

  18. A Computer-Assisted Learning Model Based on the Digital Game Exponential Reward System

    Moon, Man-Ki; Jahng, Surng-Gahb; Kim, Tae-Yong


    The aim of this research was to construct a motivational model which would stimulate voluntary and proactive learning using digital game methods offering players more freedom and control. The theoretical framework of this research lays the foundation for a pedagogical learning model based on digital games. We analyzed the game reward system, which…

  19. Constraint-Based Abstraction of a Model Checker for Infinite State Systems

    Banda, Gourinath; Gallagher, John Patrick

    Abstract interpretation-based model checking provides an approach to verifying properties of infinite-state systems. In practice, most previous work on abstract model checking is either restricted to verifying universal properties, or develops special techniques for temporal logics such as modal t...

  20. Data-Driven Photovoltaic System Modeling Based on Nonlinear System Identification

    Ayedh Alqahtani


    Full Text Available Solar photovoltaic (PV energy sources are rapidly gaining potential growth and popularity compared to conventional fossil fuel sources. As the merging of PV systems with existing power sources increases, reliable and accurate PV system identification is essential, to address the highly nonlinear change in PV system dynamic and operational characteristics. This paper deals with the identification of a PV system characteristic with a switch-mode power converter. Measured input-output data are collected from a real PV panel to be used for the identification. The data are divided into estimation and validation sets. The identification methodology is discussed. A Hammerstein-Wiener model is identified and selected due to its suitability to best capture the PV system dynamics, and results and discussion are provided to demonstrate the accuracy of the selected model structure.


    Yu.N. Vepryk


    Full Text Available Purpose. The models of electrical machines in the phase coordinates, the universal algorithm for the simulation of separate elements in a d-q coordinates system and in a phase-coordinates system are proposed. Methodology. Computer methods of investigation of transients in electrical systems are based on a compilation of systems of differential equations and their numerical integration solution methods. To solve differential equations an implicit method of numerical integration was chosen. Because it provides to complete structural simulation possibility: firstly developing models of separate elements and then forming a model of the complex system. For the mathematical simulation of electromagnetic transients in the elements of the electrical systems has been accepted the implicit Euler-Cauchy method, because it provides a higher precision and stability of the computing processes. Results. In developing the model elements identified two groups of elements: - Static elements and electrical machines in the d-q coordinates; - Rotating electrical machines in phase coordinates. As an example, the paper provides a model of synchronous and asynchronous electric machines in the d-q coordinates system and the phase coordinate system. The generalization algorithm and the unified notation form of equations of elements of an electrical system are obtained. It provides the possibility of using structural methods to develop a mathematical model of power systems under transient conditions. Practical value. In addition, the using of a computer model allows to implement multivariant calculations for research and study of factors affecting the quantitative characteristics of the transients.

  2. Model ZD-I paper base weight measuring and controlling system

    Model ZD-I Base Weight Measuring and Controlling System has been developed for the automation process in paper-making industry. A single-board microprocessor is installed in the system. The mass thickness can be controlled within 1 g/m2 if the changing range of concentration and water content is less than 10%

  3. Pattern-oriented modeling of agent-based complex systems: lessons from ecology

    Grimm, V.; Revilla, E.; Berger, U.; Jeltsch, F.; Mooij, W.M.; Railsback, S.F.; Thulke, H-H.; Weiner, J.; Wiegand, T.; DeAngelis, D.L.


    Agent-based complex systems are dynamic networks of many interacting agents; examples include ecosystems, financial markets, and cities. The search for general principles underlying the internal organization of such systems often uses bottom-up simulation models such as cellular automata and agent-b


    Z. Bahramian; Ali Abbaspour, R.


    A tourist has time and budget limitations; hence, he needs to select points of interest (POIs) optimally. Since the available information about POIs is overloading, it is difficult for a tourist to select the most appreciate ones considering preferences. In this paper, a new travel recommender system is proposed to overcome information overload problem. A recommender system (RS) evaluates the overwhelming number of POIs and provides personalized recommendations to users based on their prefere...

  5. A Model-Based Approach to Support Validation of Medical Cyber-Physical Systems

    Lenardo C. Silva


    Full Text Available Medical Cyber-Physical Systems (MCPS are context-aware, life-critical systems with patient safety as the main concern, demanding rigorous processes for validation to guarantee user requirement compliance and specification-oriented correctness. In this article, we propose a model-based approach for early validation of MCPS, focusing on promoting reusability and productivity. It enables system developers to build MCPS formal models based on a library of patient and medical device models, and simulate the MCPS to identify undesirable behaviors at design time. Our approach has been applied to three different clinical scenarios to evaluate its reusability potential for different contexts. We have also validated our approach through an empirical evaluation with developers to assess productivity and reusability. Finally, our models have been formally verified considering functional and safety requirements and model coverage.

  6. Support for Programming Models in Network-on-Chip-based Many-core Systems

    Rasmussen, Morten Sleth

    This thesis addresses aspects of support for programming models in Network-on- Chip-based many-core architectures. The main focus is to consider architectural support for a plethora of programming models in a single system. The thesis has three main parts. The first part considers parallelization...... models to be supported by a single architecture. The architecture features a specialized network interface processor which allows extensive configurability of the memory system. Based on this architecture, a detailed implementation of the cache coherent shared memory programming model is presented...... and scalability in an image processing application with the aim of providing insight into parallel programming issues. The second part proposes and presents the tile-based Clupea many-core architecture, which has the objective of providing configurable support for programming models to allow different programming...

  7. Advances in simulated modeling of vibration systems based on computational intelligence


    Computational intelligence is the computational simulation of the bio-intelligence, which includes artificial neural networks, fuzzy systems and evolutionary computations. This article summarizes the state of the art in the field of simulated modeling of vibration systems using methods of computational intelligence, based on some relevant subjects and the authors' own research work. First, contributions to the applications of computational intelligence to the identification of nonlinear characteristics of packaging are reviewed. Subsequently, applications of the newly developed training algorithms for feedforward neural networks to the identification of restoring forces in multi-degree-of-freedom nonlinear systems are discussed. Finally, the neural-network-based method of model reduction for the dynamic simulation of microelectromechanical systems (MEMS) using generalized Hebbian algorithm (GHA) and robust GHA is outlined. The prospects of the simulated modeling of vibration systems using techniques of computational intelligence are also indicated.

  8. Effects of Pronunciation Practice System Based on Personalized CG Animations of Mouth Movement Model

    Kohei Arai


    Full Text Available Pronunciation practice system based on personalized Computer Graphics: CG animation of mouth movement model is proposed. The system enables a learner to practice pronunciation by looking at personalized CG animations of mouth movement model , and allows him/her to compare them with his/her own mouth movements. In order to evaluate the effectiveness of the system by using personalized CG animation of mouth movement model, Japanese vowel and consonant sounds were read by 8 infants before and after practicing with the proposed system, and their pronunciations were examined. Remarkable improvement on their pronunciations is confirmed through a comparison to their pronunciation without the proposed system based on identification test by subjective basis.

  9. Task-role-based Access Control Model in Smart Health-care System

    Wang Peng; Jiang Lingyun


    As the development of computer science and smart health-care technology, there is a trend for patients to enjoy medical care at home. Taking enormous users in the Smart Health-care System into consideration, access control is an important issue. Traditional access control models, discretionary access control, mandatory access control, and role-based access control, do not properly reflect the characteristics of Smart Health-care System. This paper proposes an advanced access control model for...

  10. Analytical model development of an eddy-current-based non-contacting steel plate conveyance system

    A concise model for analyzing and predicting the quasi-static electromagnetic characteristics of an eddy-current-based non-contacting steel plate conveyance system has been developed. Confirmed by three-dimensional (3-D) finite element analysis (FEA), adequacy of the analytical model can be demonstrated. Such an effective approach, which can be conveniently used by the potential industries for preliminary system operational performance evaluations, will be essential for designers and on-site engineers

  11. A fault detection and isolation scheme for industrial systems based on multiple operating models

    Rodrigues, Mickael; THEILLIOL, DIDIER; Adam Medina, Manuel; Sauter, Dominique


    In this paper, a fault diagnosis method is developed for systems described by multi- models. The main contribution consists in the design of a new Fault Detection and Isolation scheme (FDI) through an adaptive filter for such systems. Based on the assumption that dynamic behavior of the process is described by a multi-model approach around different operating points, a set of residual is established in order to generate weighting functions robust to faults. These robust weighting functions ar...

  12. Design of phase computation model for CSR RF control system based on FPGA

    CSR RF control system needs to do stable control of amplitude, phase and frequency of sinusoidal wave RF drive signal. And model for computing arctan (Q/I) is indispensable. It discusses one new way to calculate arctan (Q/I) based on FPGA platform and symmetric bipartite table method (SBTM). Detailed theoretical analysis, VHDL codes and realization result are given. The model with high accuracy and low cost can be used directly in CSR RF control system. (authors)

  13. Hybrid systems energy management using optimization method based on dynamic sources models

    Gaoua, Yacine; Caux, S.; Lopez, Pierre; Raga, C; Barrado, A; Lázaro, A.


    This paper focus on offline energy management strategy based on dynamic losses computation made on accurate sources models. Hybrid energy systems (mainly Hybrid Electric Vehicle) should now be managed globally to reach the optimal operation minimizing a global cost criterion, such as hydrogen consumption. The presented operational research method is applied to a Fuel Cell based Vehicle (FCV) powertrain, and it has been adapted to the mathematical model depending on the sources characteristics...

  14. Development of a growth model-based decision support system for crop management

    ZHU Yan; TANG Liang; LIU Xiaojun; TIAN Yongchao; YAO Xia; CAO Weixing


    A growth model-based decision support system for crop management (GMDSSCM) was developed,which integrates process-based models of four different crops-wheat,rice,rape and cotton-and realized decision support function,thus facilitating the simulation and application of the crop models for different purposes.The individual models include six sub models for simulating phase development,organ formation,biomass production,yield and quality formation,soil-crop water relations and nutrient (N,P,K)balance.The implemented system can be used for evaluating individual and comprehensive management strategies based on the results of crop growth simulation under various environments and different genotypes.A stand-alone edition (GMDSSCMA) was established on VC++ and VB platforms by adopting the characteristics of object-oriented and component-based software and with the effective integration and coupling of the growth prediction and decision-making functions.A web-based system (GMDSSCMw) was then further developed on the .net platform using C# language.These GMDSSCM systems have realized dynamic prediction of crop growth and decision making on cultural management,and thus should be helpful for the construction and application of informational and digital fanning system.

  15. Takagi Sugeno fuzzy expert model based soft fault diagnosis for two tank interacting system

    Manikandan Pandiyan


    Full Text Available The inherent characteristics of fuzzy logic theory make it suitable for fault detection and diagnosis (FDI. Fault detection can benefit from nonlinear fuzzy modeling and fault diagnosis can profit from a transparent reasoning system, which can embed operator experience, but also learn from experimental and/or simulation data. Thus, fuzzy logic-based diagnostic is advantageous since it allows the incorporation of a-priori knowledge and lets the user understand the inference of the system. In this paper, the successful use of a fuzzy FDI based system, based on dynamic fuzzy models for fault detection and diagnosis of an industrial two tank system is presented. The plant data is used for the design and validation of the fuzzy FDI system. The validation results show the effectiveness of this approach.

  16. Small-signal modelling and control of photovoltaic based water pumping system.

    Ghosh, Arun; Ganesh Malla, Siva; Narayan Bhende, Chandrasekhar


    This paper studies small-signal modelling and control design for a photovoltaic (PV) based water pumping system without energy storage. First, the small-signal model is obtained and then, using this model, two proportional-integral (PI) controllers, where one controller is used to control the dc-link voltage and the other one to control the speed of induction motor, are designed to meet control goals such as settling time and peak overshoot of the closed loop responses. The loop robustness of the design is also studied. For a given set of system parameters, simulations are carried out to validate the modelling and the control design. PMID:25707717

  17. Security extension for the Canetti-Krawczyk model in identity-based systems

    LI Xinghua; MA Jianfeng; SangJae Moon


    The Canetti-Krawczyk (CK) model is a formalism for the analysis of keyexchange protocols, which can guarantee many security properties for the protocols proved secure by this model. But we find this model lacks the ability to guarantee key generation center (KGC) forward secrecy, which is an important security property for key-agreement protocols based on Identity. The essential reason leading to this weakness is that it does not fully consider the attacker's capabilities. In this paper, the CK model is accordingly extended with a new additional attacker's capability of the KGC corruption in Identity-based systems, which enables it to support KGC forward secrecy.

  18. A Generic Role Based Access Control Model for Wind Power Systems

    Nagarajan, Anand; Jensen, Christian D.


    infrastructure in a software domain in a manufacturer independent manner as well as establishing secure communication and authenticating the other parties in electrical power infrastructures, but they do not address the problem of access control. We therefore propose a generic model for access control in wind...... power systems, which is based on the widely used role-based access control model. The proposed model is tested using a prototype designed in conformance with the standards that are in use in modern wind power infrastructure and the results are presented to determine the overhead in communication caused...... while adhering to the proposed access model....

  19. Efficiency Optimization Control of Driving System for Urban Electric Bus Based on Loss Model

    Yeqin Wang


    In order to improve the efficiency of the driving system of the urban electric buses, the three-phase asynchronous motor loss model was established, the relational expression of the optimal flux, parameter, angler speed and the torque of motor was deduced based on the loss model on the basis of orientation vector control and simulations based on the optimal efficiency model which were about the loss model of the motor of the urban electric bus were carried out in MATLAB/Simulink and the motor...

  20. Fault diagnosis using noise modeling and a new artificial immune system based algorithm

    Abbasi, Farshid; Mojtahedi, Alireza; Ettefagh, Mir Mohammad


    A new fault classification/diagnosis method based on artificial immune system (AIS) algorithms for the structural systems is proposed. In order to improve the accuracy of the proposed method, i.e., higher success rate, Gaussian and non-Gaussian noise generating models are applied to simulate environmental noise. The identification of noise model, known as training process, is based on the estimation of the noise model parameters by genetic algorithms (GA) utilizing real experimental features. The proposed fault classification/diagnosis algorithm is applied to the noise contaminated features. Then, the results are compared to that obtained without noise modeling. The performance of the proposed method is examined using three laboratory case studies in two healthy and damaged conditions. Finally three different types of noise models are studied and it is shown experimentally that the proposed algorithm with non-Gaussian noise modeling leads to more accurate clustering of memory cells as the major part of the fault classification procedure.

  1. Design of Internal Model Control Based on an Optimal Control for a Servo System

    Hiromitsu Ogawa; Ryo Tanaka; Takahiro Murakami; Yoshihisa Ishida


    This paper describes a design of internal model control based on an optimal control for a servo system. The control system has the feedback based on the proposed disturbance compensator in the disturbance response. The compensator is designed to become the denominator of the transfer function without a dead time in the disturbance responses. The disturbance response of the proposed method is faster than that of the previous method.

  2. Frequency Domain Effect of a Hysteresis Suppression System with Inverse Preisach Model Based Control

    Hsin-Fang Tsai


    Full Text Available The extended Preisach model is used extensively in precision control for its ability to model and thus can be used to suppress the hysteresis phenomenon. Although an inverse model based on the classical Preisach model entails a very high level of computational complexity, recent advances in computer technology has enabled real-time implementation of such models. The extended Preisach model calculates the hysteresis action by fitting the - table in the Preisach model to a surface. One can then calculate the amount of extension and retraction simply by searching for the parameters on the surface. This paper proposes a real-time high speed implementation of a model-based hysteresis elimination control. The experimental results show that the proposed method produces a smaller tracking error with a smooth system output.

  3. Framework based on stochastic L-Systems for modeling IP traffic with multifractal behavior

    Salvador, Paulo S.; Nogueira, Antonio; Valadas, Rui


    In a previous work we have introduced a multifractal traffic model based on so-called stochastic L-Systems, which were introduced by biologist A. Lindenmayer as a method to model plant growth. L-Systems are string rewriting techniques, characterized by an alphabet, an axiom (initial string) and a set of production rules. In this paper, we propose a novel traffic model, and an associated parameter fitting procedure, which describes jointly the packet arrival and the packet size processes. The packet arrival process is modeled through a L-System, where the alphabet elements are packet arrival rates. The packet size process is modeled through a set of discrete distributions (of packet sizes), one for each arrival rate. In this way the model is able to capture correlations between arrivals and sizes. We applied the model to measured traffic data: the well-known pOct Bellcore, a trace of aggregate WAN traffic and two traces of specific applications (Kazaa and Operation Flashing Point). We assess the multifractality of these traces using Linear Multiscale Diagrams. The suitability of the traffic model is evaluated by comparing the empirical and fitted probability mass and autocovariance functions; we also compare the packet loss ratio and average packet delay obtained with the measured traces and with traces generated from the fitted model. Our results show that our L-System based traffic model can achieve very good fitting performance in terms of first and second order statistics and queuing behavior.

  4. Establishing a Novel Modeling Tool: A Python-Based Interface for a Neuromorphic Hardware System

    Daniel Brüderle; Eric Müller; Davison, Andrew P.; Eilif Muller; Johannes Schemmel; Karlheinz Meier


    Neuromorphic hardware systems provide new possibilities for the neuroscience modeling community. Due to the intrinsic parallelism of the micro-electronic emulation of neural computation, such models are highly scalable without a loss of speed. However, the communities of software simulator users and neuromorphic engineering in neuroscience are rather disjoint. We present a software concept that provides the possibility to establish such hardware devices as valuable modeling tools. It is based...

  5. A System for Deduction-based Formal Verification of Workflow-oriented Software Models

    Klimek Radosław


    The work concerns formal verification of workflow-oriented software models using deductive approach. The formal correctness of a model's behaviour is considered. Manually building logical specifications, which are considered as a set of temporal logic formulas, seems to be the significant obstacle for an inexperienced user when applying the deductive approach. A system, and its architecture, for the deduction-based verification of workflow-oriented models is proposed. The process of inference...

  6. On power system blackout modeling and analysis based on self-organized criticality

    MEI ShengWei; XUE AnCheng; ZHANG XueMin


    This paper makes a comprehensive survey on power system blackout modeling and analysis based on SOC (self-organized criticality). Firstly, a generalized SOC theory from the viewpoint of cybernetics is introduced. Then the evolution model of power system and its relative mathematical description, which serves as a concrete example of the proposed generalized SOC, are given. Secondly, five blackout models capturing various critical properties of power systems in different time-scales are listed. Finally, this paper analyzes SOC in power systems, such as, the revelation of criticalities of proposed models in both micro-scale and macro-scale which can be used to assess the security of power system, and cascading failures process.

  7. On power system blackout modeling and analysis based on self-organized criticality


    This paper makes a comprehensive survey on power system blackout modeling and analysis based on SOC (self-organized criticality). Firstly,a generalized SOC theory from the viewpoint of cybernetics is introduced. Then the evolution model of power system and its relative mathematical description,which serves as a concrete example of the proposed generalized SOC,are given. Secondly,five blackout models capturing various critical properties of power systems in different time-scales are listed. Finally,this paper analyzes SOC in power systems,such as,the revelation of criticalities of proposed models in both micro-scale and macro-scale which can be used to assess the security of power system,and cas-cading failures process.

  8. Modeling and Optimal Control of a Class of Warfare Hybrid Dynamic Systems Based on Lanchester Attrition Model

    Xiangyong Chen; Ancai Zhang


    For the particularity of warfare hybrid dynamic process, a class of warfare hybrid dynamic systems is established based on Lanchester equation in a (n,1) battle, where a heterogeneous force of n different troop types faces a homogeneous force. This model can be characterized by the interaction of continuous-time models (governed by Lanchester equation), and discrete event systems (described by variable tactics). Furthermore, an expository discussion is presented on an optimal variable tact...

  9. Neural model-based adaptive control for systems with unknown Preisach-type hysteresis

    Chuntao LI; Yonghong TAN


    An adaptive control scheme is presented for systems with unknown hysteresis. In order to handle the case where the hysteresis output is unmeasurale, a novel model is firstly developed to describe the characteristic of hysteresis. This model is motivated by Preisach model but implemented by using neural networks (NN). The main advantage is that it is easily used for controller design. Then, the adaptive controller based on the proposed model is presented for a class of SISO nonlinear systems preceded by unknown hysteresis, which is estimated by the proposed model. The laws for model updating and the control laws for the neural adaptive controller are derived from Lyapunov stability theorem, therefore the semi- global stability of the closed-loop system is guaranteed. At last, the simulation results are illustrated.

  10. Dedicated system for structural health monitoring of aircraft Hardware system based on V-cycle model

    Zedek, Sabeha; Zedek, Sabeha Fettouma; Escriba, Christophe; Fourniols, Jean-Yves


    Our main subject of interest is the Structural Health Monitoring in aeronautics. Most of our works are dedicated to the detection of delamination disbonds and cracks in heterogeneous (Composite) and homogenous (aluminum 2024) structures of an aircraft structure. To successfully combine detection and alert generation we based our approach on the use of new generation of chip called SoC (System on Chip). We tried to develop an autonomous system able to detect damages on aircraft structure. Acco...