检索结果-内蒙古大学图书馆

DYNAMIC modeling OF CHEMICAL PROCESSES USING OMOLA

CHEMICAL ENGINEERING RESEARCH & DESIGN 1994年第A3期72卷 364-370页

作者： NILSSON, B Lund Inst of Technology Lund Sweden

In this paper an object-oriented approach to modelling of chemical processes is discussed. An object-oriented modelling language, Omola, is used for dynamic modelling and simulation of chemical processes with control systems. The model representation is object-oriented and the simulation problem solving is equation-oriented. The structuring of a model into submodels in a hierarchy facilitates the development of well abstracted models. The inheritance concept, which makes it possible to specialize previously defined models into new models, facilitates the reuse of models. In the paper suggestions on both process structure and model class hierarchy guidelines are given. The idea is that these guidelines can be useful in the organization of model libraries and in the development of large process models. The paper also discusses the use of combined discrete event and continuous system simulation in Omola. It is exemplified in process control system modelling.

关键词： object-oriented modeling MODEL DATABASES MODEL LIBRARIES PROCESS MODELS SIMULATION DISCRETE EVENTS

来源：评论

学校读者我要写书评

暂无评论

On formalization of the whole-part relationship in the unified modeling language

引用

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 2003年第11期29卷 1054-1055页

作者： Tan, HBK Hao, L Yang, Y Nanyang Technol Univ Sch Elect & Elect Engn Singapore 639798 Singapore

In [1], a formal definition for the semantics of the Whole-Part relationship in the Unified modeling Language (UML) is introduced. This paper reports some discrepancies in [1] and proposes solutions to these discrepan... 详细信息

关键词： object-oriented modeling UML whole-part relationship aggregation composition

来源：评论

学校读者我要写书评

暂无评论

FORMALIZING COMPUTATIONAL RIVER NETWORKS

引用

COMPUTERS & INDUSTRIAL ENGINEERING 1994年第1-4期27卷 545-548页

作者： MA, SL HU, XL ACAD SINICA ECOENVIRONM SCI RES CTRBEIJING 100080PEOPLES R CHINA

We present a simple framework, called computational network, for formalizing river networks to provide a computer-based solution to problems of simulating concentrations of water quality constituents in river networks. The method was applied on a river network in Beijing-Tianjin area. The framework is developed by an object-oriented approach integrating the modelling of the static structure of river networks with that of the dynamic behavior of water quality constituents in them. Similar to artificial neural networks, computational networks can be used for learning, problem solving and controlling.

关键词： ENVIRONMENT ENGINEERING object-oriented modeling NEURAL NETWORKS

来源：评论

学校读者我要写书评

暂无评论

A methodology for partitioning a vocabulary hierarchy into trees

引用

ARTIFICIAL INTELLIGENCE IN MEDICINE 1999年第1期15卷 77-98页

作者： Gu, H Perl, Y Geller, J Halper, M Singh, M New Jersey Inst Technol Dept Comp & Informat Sci Newark NJ 07102 USA Kean Univ Dept Math & Comp Sci Union NJ 07083 USA Ontyx Inc Ridgefield CT 06811 USA

Controlled medical vocabularies are useful in application areas such as medical information systems and decision-support systems. However, such vocabularies are large and complex, and working with them can be daunting. It is important to provide a means for orienting vocabulary designers and users to the vocabulary's contents. We describe a methodology for partitioning a vocabulary based on an IS-A hierarchy into small meaningful pieces. The methodology uses our disciplined modeling framework to refine the IS-A hierarchy according to prescribed rules in a process carried out by a user in conjunction with the computer. The partitioning of the hierarchy implies a partitioning of the vocabulary. We demonstrate the methodology with respect to a complex sample of the MED, an existing medical vocabulary. (C) 1999 Elsevier Science B.V. All rights reserved.

关键词： controlled medical vocabulary object-oriented modeling ontology semantic network partitioning

来源：评论

学校读者我要写书评

暂无评论

Design of a combined cycle power plant model for optimization

引用

APPLIED ENERGY 2012年 98卷 256-265页

作者： Tica, Adrian Gueguen, Herve Dumur, Didier Faille, Damien Davelaar, Frans SUPELEC IETR F-35576 Cesson Sevigne France SUPELEC Syst Sci E3S F-91190 Gif Sur Yvette France EDF F-78400 Chatou France

Due to their numerous advantages, combined cycle power plants (CCPPs) have become an important technology for power generation. The part played by CCPPs on the power generation market includes frequent start-up/shutdown operations which must be optimized by means of innovative strategies, such as model-based methods. The availability of dedicated languages and libraries for physical system modeling facilitates the implementation of accurate large-scale models. However, the efficient resolution of optimization problems based on such models requires powerful algorithms, which impose a series of constraints on the model formulation, in particular, that of the lack of discontinuity source. This paper presents a method to transform a CCPP physical model designed for simulation in an optimization-oriented model, which can be further used with efficient algorithms to improve start-up performances. The methodology is based on the reformulation of the plant initially represented with discontinuity sources into a smooth model, by using continuous approximations of the Heaviside function. The validation results demonstrate the model consistency and emphasize the fact that it is accurate enough to be used for optimization and control purposes. (c) 2012 Elsevier Ltd. All rights reserved.

关键词： Combined cycle power plant Start-up object-oriented modeling Power plant control Optimization

来源：评论

学校读者我要写书评

暂无评论

Reconfigurable control of robotized manufacturing cells

引用

ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING 2007年第1期23卷 94-106页

作者： Bruccoleri, Manfredi Univ Palermo Dept Mfg Prod & Management Engn I-90128 Palermo Italy

This paper investigates the field of manufacturing system control. The addressed subject is indeed very fascinating, due to the importance that it has reached in the last decades both at research and industrial level. On the other hand, it seems to the author that most of the complexity intrinsic to the subject itself relies on the different meanings or levels of abstraction that both the terms "manufacturing system" and "control" may symbolize. The presented research aims to face the topic in a concrete fashion, i.e., by developing a control software system for a specific, although easy to be generalized, robotized manufacturing cell. Two different development methodologies, from the conceptual design to the actual implementation, of a cell control system are presented and compared. The former, based on ladder logic diagrams, for a PLC controlled manufacturing cell;the latter, based on object-oriented modeling and programming techniques, for a PC controlled manufacturing cell. The analysis has been conducted considering the internal and external requirements of the manufacturing system, mostly driven by the contemporary industrial need of reconfigurable control systems, largely acknowledged as the critical key to succeed in the new era of mass customization. (c) 2005 Elsevier Ltd. All rights reserved.

关键词： object-oriented modeling reconfigurable control interlocking logic PLC-based control PC-based control

来源：评论

学校读者我要写书评

暂无评论

Design of plant safety model in plant enterprise engineering environment

引用

RELIABILITY ENGINEERING & SYSTEM SAFETY 2001年第1期73卷 35-47页

作者： Gabbar, HA Suzuki, K Shimada, Y Okayama Univ Dept Syst Engn Okayama 7008530 Japan

Plant enterprise engineering environment (PEEE) is an approach aiming to manage the plant through its lifecycle. In such environment, safety is considered as the common objective for all activities throughout the plant lifecycle. One approach to achieve plant safety is to embed safety aspects within each function and activity within such environment. One ideal way to enable safety aspects within each automated function is through modeling. This paper proposes a theoretical approach to design plant safety model as integrated with the plant lifecycle model within such environment. object-oriented modeling approach is used to construct the plant safety model using OO CASE tool on the basis of unified modeling language (UML). Multiple views are defined for plant objects to express static, dynamic, and functional semantics of these objects. Process safety aspects are mapped to each model element and inherited from design to operation stage, as it is naturally embedded within plant's objects. By developing and realizing the plant safety model, safer plant operation can be achieved and plant safety can be assured. (C) 2001 Elsevier Science Ltd. All rights reserved.

关键词： process safety plant safety plant safety model plant lifecycle modeling plant enterprise engineering object-oriented modeling UML OCL safety model PEEE

来源：评论

学校读者我要写书评

暂无评论

modeling imprecise requirements with fuzzy objects

引用

INFORMATION SCIENCES 1999年第1-4期118卷 101-119页

作者： Lee, J Xue, NL Hsu, KH Yang, SJ Natl Cent Univ Dept Comp Sci & Informat Engn Software Engn Lab Chungli 32054 Taiwan

One of the foci of the recent development in object-oriented modeling (OOM) has been the extension of OOM to fuzzy logic to capture and analyze informal requirements that are imprecise in nature. In this paper, a new approach to object-oriented modeling based on fuzzy logic is proposed to formulate imprecise requirements along four dimensions: (1) to extend a class by grouping objects with similar properties into a fuzzy class, (2) to encapsulate fuzzy rules in a fuzzy class to describe the relationship between attributes, (3) to evaluate the membership function of a fuzzy class by considering both static and dynamic properties, and (4) to model uncertain fuzzy associations between classes. The proposed approach is illustrated using the problem domain of a meeting scheduler system. (C) 1999 Elsevier Science Inc. All rights reserved.

关键词： imprecise requirements object-oriented modeling requirements engineering

来源：评论

学校读者我要写书评

暂无评论

Model transformation and code generation using a secure business process model

引用

JOURNAL OF INTELLIGENT & FUZZY SYSTEMS 2023年第4期45卷 6691-6705页

作者： Mythily, M. David, Beaulah Venkatesan, R. Joseph, Iwin Thanakumar Karunya Inst Technol & Sci Dept Comp Sci & Engn Coimbatore Tamil Nadu India Hindusthan Coll Engn & Technol Dept Informat Technol Coimbatore Tamil Nadu India Koneru Lakshmaiah Educ Fdn Dept Comp Sci & Engn Vaddeswarm Andhra Pradesh India

Emerging daily, newdevices and software-driven advancements pose challenges in software development, including errors, bugs, and evolving requirements. This leads to delays in delivery. Ensuring software security within the Software Development Life Cycle (SDLC) is crucial. To address this, the research focuses on incorporating security aspects early in the SDLC through model transformation. Platform-independent models with security attributes like Integrity, Privacy, Security Audit, non-repudiation, and authentication are generated. A template-based source code generator is utilized to create the structure of the source model. The Secure Business Process Model (SBPM) encompasses Unified modeling Language (UML) artifacts, such as analysis level classes and sequence diagrams, enriched with security attributes derived from the activity model. Security requirements are linked to elements extracted from the source model, and structural codes with security-enabled members are produced. Automation in software development is inevitable, though not complete, as it plays a vital role in addressing these challenges and improving the security of software applications.

关键词： object-oriented modeling software design software safety software reusability software tools

来源：评论

学校读者我要写书评

暂无评论

Integrating data flow equations with UML/Realtime

引用

REAL-TIME SYSTEMS 2004年第1期26卷 107-125页

作者： Bichler, L Radermacher, A Schürr, A Univ Fed Armed Forces Inst Software Technol D-85577 Neubiberg Germany

object-oriented (OO) modeling languages, tools, and methods more and more attract the interest of embedded (real-time) system developers. This is especially true if embedded (real-time) system software has to cooperate with interactive multimedia software, as it is more and more the case in automotive systems. It is still an open question whether and how the standard OO modeling language UML and its accompanying tools have to be adapted to the regarded application domain. This paper evaluates the development of a rapid prototype for an air condition controller with the popular CASE tool Rational Rose/RT(R). We point out some weaknesses of the presented solution and propose an extension to Rose/RT(R), which overcomes the weaknesses by combining Rose/RT's UML dialect with data flow equations.

关键词： object-oriented modeling dataflow modeling UML/Realtime Rational Rose/RT (R)

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：