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

SMI++ - object-oriented framework for designing control systems for HEP experiments

COMPUTER PHYSICS COMMUNICATIONS 1998年第1-3期110卷 87-90页

作者： Gaspar, C Franek, B CERN European Org Nucl Res CH-1211 Geneva 23 Switzerland Rutherford Appleton Lab Didcot OX11 0QX Oxon England

In order to cope with the complexity of the online control system, the DELPHI experiment at CERN (Aarnio et al., DELPHI Collaboration, Nucl. Instr. & methods Phys. Res. A 303 (1991) 233-276) developed, in collaboration with the CERN OC group, a new concept for the coding of the control logic. In this concept - SMI, the State Management Interface (Barlow et al., IEEE Trans. Nucl. Sci. 36 (1989) 1549-1553) - the experiment is viewed as a collection of objects behaving as finite state machines. These objects are typically organized in hierarchical structures, allowing up to the full automation of the experiment by a a top-level object. This concept has been extended and is being redesigned using object-oriented techniques in SMI++ for the BaBar experiment at SLAG. (C) 1998 Elsevier Science B.V.

关键词： communication control systems development environments object-oriented methods programming languages

来源：评论

学校读者我要写书评

暂无评论

Research and implementation of distributed time service in distributed object environment

Research and implementation of distributed time service in d...

引用

Technology of object-oriented Languages International Conference (TOOLS 27)

作者： Li, YJ Zhou, XS Gu, JH Northwestern Polytech Univ Network Comp Technol Res Inst Xian 710072 Peoples R China

ISBN: (纸本)0818690968

Distributed time service is a basic object service in distributed computing environment based on CORBA. In this paper, We present a clock synchronization method based on clock groups. We dividing machines in a system into groups, nodes in a group are in the same LAN. There is a master clock and several slave clocks in a group, who carry out intra-group synchronization. Master clocks of all groups together accomplish inter-group synchronization. Such dividing-to-group synchronization method make the system scalable and flexible. At the same time, it reduces machines spanning LANs to attend synchronization, thus synchronization overhead is reduced. We have implemented clock synchronization based on clock groups in our experimental distributed object environment.

关键词： object-oriented methods object-oriented programming parallel programming local area networks synchronisation temporal logic distributed time service distributed object environment basic object service distributed computing environment CORBA clock synchronization method clock groups LAN master clock slave clocks intra-group synchronization inter-group synchronization dividing-to-group synchronization method synchronization overhead clock synchronization

来源：评论

学校读者我要写书评

暂无评论

A Review on Analysis/Design methods and Life-Cycle Models for System Development

引用

IFAC Proceedings Volumes 1998年第20期31卷 965-970页

作者： Hua Tian Keji Zhang Department of Electrical Engineering Tongji University Shanghai 200092 China Presently Research Fellow Supported by Alexander von Humboldt Foundation of Germany. Department of Measurement and Control Faculty of Mechanical Engineering Gerhard-Mercator-University Duisburg 47048 Duisburg Germany. Fax: +49 203 379 3027

This paper makes an exploration to methodological necessities and challenges for system development as a scientific research field. First, concepts are formulated for system development. Then, typical methods and life... 详细信息

关键词： complex information systems life-cycles life-cycle models object-oriented methods system analysis system design system development

来源：评论

学校读者我要写书评

暂无评论

OPEN ENVIRONMENTS AND object-oriented methods FOR COMPUTER-AIDED CONTROL-SYSTEM DESIGN

引用

CONTROL ENGINEERING PRACTICE 1995年第3期3卷 347-356页

作者： BARKER, HA Department of Electrical and Electronic Engineering University of Wales Swansea Swansea UK

Two current trends in the computer industry are towards open systems and object-oriented methods. Both are important for computer-aided control system design. The success of computer-aided software engineering is attributed to its open environment, based on a reference model that involves a service-oriented framework serving a set of tools. An adaptation of this reference model is proposed for computer-aided engineering in general and computer-aided control engineering in particular. object-oriented methods are described, and their roles in the framework services are considered. Their particular importance for the modelling services of a computer-aided control engineering environment is established. It is concluded that a combination of open environments and object-oriented methods provides a unique opportunity for progress in computer-aided control system design that needs to be grasped if the world-wide control community is to benefit.

关键词： SOFTWARE ENVIRONMENTS OPEN SYSTEMS REFERENCE MODELS object-oriented methods object MODELING DATA TYPES

来源：评论

学校读者我要写书评

暂无评论

Design of distributed control systems in the next millennium

引用

COMPUTING & CONTROL ENGINEERING JOURNAL 1997年第4期8卷 148-152页

作者： Lewis, R Omron Elect Ltd Southampton Hants England

New technologies and standards are emerging that are set to have a dramatic effect on the design and implementation of industrial control systems. These technologies will reduce the time to bring new systems on stream, and leverage the integration of business and industrial systems. The fusion of distributed object technology, with function blocks as defined in the new IEC standard 1499, will allow distributed industrial control systems to be created by the interconnection of software components.

关键词： business systems Production engineering computing Control engineering computing standards control system synthesis distributed control IEC standard 1499 distributed object technology Standards and calibration object-oriented methods distributed control systems design software component interconnection industrial control systems Control in industrial production systems Industrial applications of IT time industrial systems industrial control

来源：评论

学校读者我要写书评

暂无评论

Formal object-oriented software development with Fox

引用

Informatik - Forschung und Entwicklung 1997年第4期12卷 174-185页

作者： Achatz, Klaus Schulte, Wolfram Universität Ulm Fakultät für Informatik D-89069 Ulm Germany

We present a new method, called Fox, which aims at the formal development of sequential, object-oriented software systems. Fox is a synergetic combination of the semi-formal Fusion method and the formal specification language object-Z. To manage complexity and to foster separation of concerns, Fox distinguishes between analysis and design. In each phase structure and behaviour specifications are developed step-by-step. The specifications may be graphical or textual. We give proof obligations to guarantee that the developed models are formally consistent and complete, and that the resulting system conforms to the original specification. By walking through a simple example - a graph editor - we illustrate the application of Fox.

关键词： Completeness Conformance Consistency Fusion object-oriented methods object-oriented specification languages object-Z Refinement

来源：评论

学校读者我要写书评

暂无评论

Virtual reality on distributed system

Virtual reality on distributed system

引用

IEEE International Conference on Intelligent Processing Systems

作者： Tian, JY Ma, ZR Luoyang Inst Technol Ctr Comp Luoyang 471039 Peoples R China

ISBN: (纸本)0780342534

A objective thing can be understanded as a problem. [4] otters a method of decomposing and resolving a problem by establishing equivalence relations on the domain, parting and refining the problem,and forming a semi-ordering lattice. So, this paper offers the concept of set of dynamic autonomous objects that communicates(DAOC) on distributed system. By parting and refining a set of DAOC,a semi-ordering lattice is obtained, which is Isomorphism or homomorphism with the relevant problem. In this Hay,the solution of a problem on set of DAOC is obtained. Thus,a objective thing can be Implemented on distributed system by set of DAOC.

关键词： virtual reality distributed processing object-oriented methods virtual reality distributed system equivalence relations semi ordering lattice dynamic autonomous objects that communicate isomorphism homomorphism

来源：评论

学校读者我要写书评

暂无评论

Migrating legacy systems towards object-oriented platforms

Migrating legacy systems towards object-oriented platforms

引用

International Conference on Software Maintenance

作者： DeLucia, A DiLucca, GA Fasolino, AR Guerra, P Petruzzelli, S Univ of Salerno Benevento Italy

ISBN: (纸本)081868013X

We present an approach to migrate legacy systems to object-oriented platforms. The process consists of six sequential phases and encompasses reverse engineering and re-engineering activities. The aim of the reverse engineering phases is to decompose programs into components implementing the user interface management and components implementing application domain objects. The identification of objects is centred around persistent data store and exploits object-oriented design metrics. Wrapping techniques are the core of the re-engineering activities They make new systems able to exploit existing resources, thus allowing an incremental and selective translation of the identified objects.

关键词： software maintenance object-oriented programming object-oriented databases object-oriented methods reverse engineering systems re-engineering software metrics user interface management systems subroutines legacy systems migration object-oriented platforms sequential phases reverse engineering activities reengineering activities program decomposition program components user interface management application domain objects object identification persistent data store object-oriented design metrics wrapping techniques existing resources exploitation incremental translation selective translation

来源：评论

学校读者我要写书评

暂无评论

A research on developing tools based on formal OMT

A research on developing tools based on formal OMT

引用

IEEE International Conference on Intelligent Processing Systems

作者： Liu, Y Li, Y Dai, YS Changchun Inst Post & Telecommun Dept Comp Seoul 130012 South Korea

ISBN: (纸本)0780342534

OMT(object Modeling Technique) is an informal software developing tool. The feature of the informal method is that it describes a system adopting natural language and intuition graphics. In order to increase the tightness and decrease the ambigity,this paper presents formalizing OMT. Moreover,this paper discusses an automatic translating developing tool from a formal OMT to a C++ program. It may be used to shorten translating period and avoid programming mistakes in manual implementation.

关键词： object-oriented programming object-oriented methods software tools software engineering program interpreters object Modeling Technique formal OMT informal software development tool intuition graphics natural language automatic translation development tool C++ program

来源：评论

学校读者我要写书评

暂无评论

A research on a system framework of communication software

A research on a system framework of communication software

引用

IEEE International Conference on Intelligent Processing Systems

作者： Liu, Y Dai, YS Changchun Inst Post & Telecommun Dept Comp Changchun 130012 Peoples R China

ISBN: (纸本)0780342534

Considering object oriented technique, this paper analyses a communication system from three faces. A system framework of communication software is raised. Some shortcomings of graphic system framework are pointed out. A formal system framework of communication software is given. This framework makes up for the space in OMT research. It provides an efficient tool in communication software developments. Moreover, the anal! sis and implementation tools of communication systems are developed. This tool not only has realized the framework, but also has provided a precise and rapid method to develop communication software.

关键词： computer communications software object-oriented programming computer graphics object-oriented methods object oriented technique communication system graphic system framework formal system framework communication software developments implementation tools

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：