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

3rd international conference on Unified Modeling Language, UML 2000

ISBN: (纸本)354041133X

The proceedings contain 41 papers. The special focus in this conference is on Enterprise Applications, Interactive systems, Roles, Knowledge Bases and OCL Tools. The topics include: On the extension of UML with use case maps concepts;towards a UML profile for interaction design;the unified modeling language for interactive applications;a diagrammatic tool for representing user interaction in UML;UML extension for ASAM GDI device capability description;UML based performance modeling of distributed systems;ensuring quality of geographic data with UML and OCL;validating UML models and OCL constraints;modular architecture for a toolset supporting OCL;consistency checking and visualization of OCL constraints;a graphical approach to the operational semantics of behavioral diagrams in UML;consistent behaviour representation in activity and sequence diagrams;using UML collaboration diagrams for static checking and test generation;supporting several levels of restriction in the UML;a UML-based methodology for hypermedia design;object oriented methodology based on UML for urban traffic system modeling;a structured approach to develop concurrent programs in UML;reconciling the needs of architectural description with object-modeling notations;towards a UML profile for software architecture descriptions;rewrite rules and operational semantics for model checking UML statecharts and part-whole statecharts for the explicit representation of compound behaviours.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Track fusion of distributed EFRLS state estimators

Track fusion of distributed EFRLS state estimators

引用

3rd international conference on Information Fusion, FUSION 2000

作者： Zhu, Yunmin Zhang, Keshu Li, X.R. You, Zhisheng Dept of Mathematics Sichuan University Chengdu Sichuan 610064 China Dept of Electrical Eng. University of New Orleans New Orleans LA 70148 United States Dept of Computer Science Sichuan University Chengdu Sichuan 610064 China

ISBN: (纸本)2725700000

We present two track fusion methods for distributed recursive state estimators of dynamic systems without knowledge of noise covariances. This estimator at every local sensor is to embed the dynamic matrix and the forgetting factor into the Recursive Least Squares (RLS) method to remedy the lack of knowledge of noises, which was developed in Zhu, 1999 and called the Extended Forgetting Factor Recursive Least Squares (EFRLS) estimator. We prove that the aforementioned fusion methods are exactly equivalent to the corresponding centralized EFRLS that uses all measurements from local sensors directly. Therefore, the two track fusion methods have the same advantages as the corresponding centralized EFRLS does. For example, they can perform almost as well as the precisely specified Kalman filter and still well even if there exists unknown cross-correlation between sensors and/or cross-correlation between the process and measurement noise sequences in time or space (cf: simulations in [4]). © 2000 Int. Soc. Inf. Fusion.

关键词： Least squares approximations

来源：评论

学校读者我要写书评

暂无评论

Modified nodal analysis for MEMS with multi-energy domains

Modified nodal analysis for MEMS with multi-energy domains

引用

3rd international conference on Modeling and Simulation of Microsystems

作者： Clark, JV Zhou, N Pister, KSJ Univ Calif Berkeley Berkeley Sensor & Actuator Ctr Berkeley CA 94720 USA

ISBN: (纸本)0966613570

A modified nodal analysis approach for the design, simulation, and display of three-dimensional microelectromechanical systems with coupled energy domains is presented. Static, steady-state, and transient algorithms are introduced followed by examples. Transient and static analysis in noninertial frames is now supported. Simulated results include (1) three-dimensional modal analysis of a torsional micro-mirror, (2) static analysis of a gap-closing actuator with coupled circuit, mechanical, and electrostatic energy domains, (3) the induced current response of a comb-driven multi-mode resonator, and (4) the transient response of a gap-closing actuator due to a time varying voltage showing a nonlinearly varying resonance frequency and displacement.

关键词： modified nodal analysis (MNA) static steady-state transient SUGAR accelerating frames

来源：评论

学校读者我要写书评

暂无评论

HyperMSCs and Sequence Diagrams for use case modelling and testing 3rd

HyperMSCs and Sequence Diagrams for use case modelling and t...

引用

3rd international conference on the Unified Modeling Language (UML 2000)

作者： Graubmann, P Rudolph, E Siemens AG ZT SE D-81739 Munich Germany Tech Univ Munich Inst Informat D-80290 Munich Germany

ISBN: (纸本)354041133X

UML-Sequence Diagrams can be seen as an object oriented variant of the ITU-T standard language Message Sequence Chart (MSC) which is very popular mainly in the telecommunication area. Both notations would benefit from a unification together with a further elaboration. A comparison of Sequence Diagrams and MSCs demonstrates the big advantage of MSCs concerning composition mechanisms, particularly with respect to the branching construct in Sequence Diagrams. Therefore, MSC inline expressions and High Level MSCs (HMSCs) are of special interest for the inclusion into Sequence Diagrams. High Level MSCs may be employed for formalizing and structuring the construction of scenarios for Use Cases. In order to arrive at a most intuitive representation, HMSCs are re-interpreted in a way which has an analogy in hypertext-like specifications. Because of this analogy, the notation 'HyperMSC' is introduced. The scenarios derived from Use Cases in form of HyperMSCs can be employed also as a basis for the specification of test cases.

关键词： UML MSC Sequence Diagrams Use Cases OO software engineering testing distributed systems real time systems telecommunication

来源：评论

学校读者我要写书评

暂无评论

Sequential testing of multiple hypotheses in distributed systems

Sequential testing of multiple hypotheses in distributed sys...

引用

3rd international conference on Information Fusion, FUSION 2000

作者： Tartakovsky, Alexander Li, X. Rong Center for Appl. Math. Sci. Univ. of Southern California Los Angeles CA 90089-1113 United States Department of Electrical Engineering University of New Orleans New Orleans LA 70148 United States

ISBN: (纸本)2725700000

It is supposed that there is a multisensor system in which each sensor tests a finite number of hypotheses in a sequential manner. Then the decisions are transmitted to a fusion center, which combines them to improve the performance of the system. First we propose a local multihypothesis sequential test procedure which allows one to fix the probabilities of errors at specified levels and is asymptotically optimal for general statistical models in the sense of minimizing the expected sample size when the probabilities of errors vanish. We then construct two fusion rules-non-sequential and sequential. The first fusion rule waits until all the local decisions in all sensors are made and then fuses them. It is optimal in the sense of minimizing the average probability of error (Bayes criterion) or the maximal probability of error (minimax criterion). In contrast, the sequential fusion rule fuses local decisions one by one in the order they are made, and at each stage decides whether to continue fusion or to stop and make a final decision. It has an advantage over the first rule in that it reduces the total time to make a final decision, for a given average probability of error. An example of fusion of binary local decisions shows that the final decision can be made substantially more reliable even for a small number of sensors (3-5). © 2000 Int. Soc. Inf. Fusion.

关键词： Probability

来源：评论

学校读者我要写书评

暂无评论

Component integration framework for manufacturing systems re-engineering: agent and object approach

引用

ROBOTICS AND AUTONOMOUS systems 1999年第1-2期27卷 77-89页

作者： Sheremetov, LB Smirnov, AV Natl Tech Univ Comp Sci Res Ctr Ctr Invest Computac Inst Politecn Nacl Mexico City 07738 DF Mexico Russian Acad Sci St Petersburg Inst Informat & Automat St Petersburg 199178 Russia

This paper reports on an experiment in which the pre-existing engineering systems for FMS re-engineering were integrated using an open framework of cooperating agents - DESO. To reflect the standards of communication in a distributed heterogeneous system, a multi-level model and an agent template, based on this model are proposed. Agents and software components coordinate their activities using FMS shared ontology, commitment rules, agent communication and control language (currently, restricted version of KQML) and DCOM/ActiveX interaction mechanisms. The results of experiments and future work on the system development are discussed. (C) 1999 Elsevier Science B.V. All rights reserved.

关键词： multiagent systems distributed object computing communication manufacturing systems re-engineering

来源：评论

学校读者我要写书评

暂无评论

ODP enterprise language: UML perspective 3

ODP enterprise language: UML perspective

引用

3rd international Enterprise distributed Object computing conference, EDOC 1999

作者： Aagedal, Jan Øyvind Milošević, Zoran SINTEF Telecom and Informatics P.O.Box 124 Blindern OsloN-0314 Norway Distributed Systems Technology Centre University of Queensland QLD4072 Australia

ISBN: (纸本)0780357841

Presents extensions and refinements of those concepts that are pertinent to the ODP (open distributed processing) enterprise viewpoint. We first highlight the intricacies of enterprise modelling and then present key enterprise modelling concepts. These concepts represent both refinements to the existing ODP concepts and some new concepts that we propose for the ODP enterprise language standard currently being progressed. We then investigate how the relevant UML (Unified Modelling Language) constructs can be used to represent the enterprise language concepts and to support the enterprise specifications. We conclude by discussing various tools that are needed to facilitate the processes of enterprise modelling, verification and building of open distributed systems. © 1999 ieee.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Horizontal cooperation under uncertainties in distributed expert systems 3

Horizontal cooperation under uncertainties in distributed ex...

引用

3rd international conference on Computational Intelligence and Multimedia Applications, ICCIMA 1999

作者： Zhang, Chengqi Li, Yuefeng School of Computing and Mathematics Deakin University GeelongVIC3217 Australia

ISBN: (纸本)0769503004

A model of horizontal cooperation under uncertainty in distributed expert systems is presented. This model uses the synthesis of solutions under uncertainty and decision-making to fulfil horizontal cooperation. Firstly, a Boolean algebra is used in order to represent the solution synthesis hypothesis space in the model. Then, a generalization of evidence theory is used as a mathematical model to synthesize all conclusions which come from other expert systems. Finally, a competing mechanism is introduced to make the decisions. © 1999 ieee.

关键词： Boolean algebra

来源：评论

学校读者我要写书评

暂无评论

Reflection support for adaptive distributed applications 3

Reflection support for adaptive distributed applications

引用

3rd international Enterprise distributed Object computing conference, EDOC 1999

作者： Raverdy, Pierre-Guillaume Lea, Rodger Distributed Systems Laboratory Sony USRL 3300 Zanker Road Santa ClaraCA95134-1901 United States

ISBN: (纸本)0780357841

The DART (distributed Adaptive Run-Time) project is developing an adaptive software environment for general-purpose distributed applications. The goal of the project is to provide a software run-time system that allows application authors to quickly develop distributed software, such as network or World Wide Web software, without having to deal with the details of the distribution technology. DART compile-time and run-time components configure the application execution environments depending on hints provided with the application. An essential feature of the run-time component is its ability to reconfigure, or adapt itself, both to the application requirements and to the system and networking environment. To achieve both distribution and adaptation, we use meta-level object programming techniques and run-time monitoring. © 1999 ieee.

关键词： Application programs

来源：评论

学校读者我要写书评

暂无评论

CORBA in the new millenium: The changing landscape 3

CORBA in the new millenium: The changing landscape

引用

3rd international Enterprise distributed Object computing conference, EDOC 1999

作者： Blackshaw, B.P. Enterprise Distributed Technologies Ltd 53 Wakehurst Road LondonSW 116DB United Kingdom

ISBN: (纸本)0780357841

A previous paper by B.P. Blackshaw and J.R. Ellwood (1997) examined the suitability of CORBA for building enterprise level distributed systems. A number of areas of concern were discussed, and the paper concluded that at the time of writing, mid-1997, CORBA was not sufficiently mature for the job, However optimism was expressed that within 2-3 years many of the issues raised would have been dealt with by vendors and the OMG. The article investigates the accuracy of that prediction. It re-visits the issues raised in 1997 and looks at what has changed. It also discusses how the continued Internet revolution and the emergence of Java have changed the distributed landscape, and how well CORBA has adapted to these challenges. © 1999 ieee.

关键词： Common object request broker architecture (CORBA)

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：