基于Modleica的操纵稳定性实时仿真方法研究

针对传统汽车操纵稳定性设计中缺少经验导致参数匹配不合理、数字仿真分析模型建立过程复杂、数字仿真模型与实时仿真验证模型不一致等问题,在汽车操纵稳定性原理分析基础上,建立了基于刚体力学理论的三自由度操纵稳定性数学模型;采用Modelica语言的陈述式建模方法建立了其数字仿真模型,简化了建模过程;通过Simu-link中Modelica模型导入接口,建立了其实时仿真模型,实现了数字仿真模型直接转换为实时仿真模型,为操纵稳定性实时仿真验证提供了技术支持,并以某型号车辆操纵稳定性分析为对象,对该方法进行了应用验证。     

Modelica模型的序列化方法

Modelica是一种基于方程的陈述式建模语言,它具有面向对象、数组化表示、连续离散混合和可重用等多种特征,基于Modelica构建的模型和模型库通常规模庞大且结构复杂。编译Modelica模型的时间开销较大。本文从Modelica模型编译的角度出发,结合现有的序列化方法,提出以模型序列化来取代模型编译的部分工作,从而达到提升Modelica模型编译效率的目的。文中实现的Modelica模型序列化技术已在多领域物理系统建模与仿真平台MWorks中进行了验证与应用。     

基于Modelica/Dymola的微谐振器建模与仿真

针对MEMS的多领域耦合和系统级的快速建模与仿真要求,提出研究关于微型梳状静电谐振器建模与仿真方法.为提高系统的稳定性,减少误差,采用了基于Modelica/Dymola的非因果关系建模方法及流程,以梳状谐振器机电耦合模型的自然形式方程为基础,以Modelica语言建立非因果关系的仿真模型,借助于Dymola平台对振子的位移/速度曲线进行仿真.仿真结果与理论验证相符,表明Modelica具有建模过程简单、建模速度快和仿真精度高等优点,适合于MEMS多领域建模与仿真研究.     

基于Modelica的MEMS系统级多领域建模与仿真

分析了现有的MEMS系统级建模与仿真方法,讨论了运用Modelica语言进行面向对象的非因果关系建模方法,建立了基于Modelica的电容式微型静电致动器系统级模型,仿真结果证明了Modelica用于MEMS系统级多领域仿真的可行性.     

支持网络建模和仿真的Modelica模型管理框架

针对基于Modelica的多领域仿真模型组织方式不能支持模型的网络化共享控制及网络环境下在线建模仿真的问题,提出一种支持网络环境下建模与仿真的Modelica模型管理框架。首先分析了现有Modelica模型组织方式在支持网络多用户模式下的模型共享及建模仿真方面的问题,然后提出了基于数据库与文件仓相结合解决方案,既支持Modelica知识模型的网络共享,又支持网络环境在线建模与仿真。最后基于该模型管理框架开发实现基于网络的多领域统一建模仿真平台。     

一种基于Modelica语言的混合系统DEVS模型架构

Modelica语言采用微分方程描述系统,此外它还具备面向对象编程语言的特性,因此它不仅适用于连续系统的建模,还支持离散系统的模型架构。因此,可以将Modelica作为一种混合系统的建模语言。提出了一个Modelica语言描述的DEVS（Discrete E Vent System specification离散事件系统规范）模型架构,并通过对模型的编译过程产生C＋＋代码,获取了同时描述连续系统和离散系统建模的能力。最后给出了用Modelica语言描述的一个飞机导航控制连续一离散仿真系统的例子。     

基于Modelica的弹道导弹三自由度仿真

基于面向对象思想在Modelica语言平台上开发了弹道导弹三自由度仿真系统。在导弹三自由度动力学模型基础上,通过系统分解、功能实现和系统搭建3个步骤建立了Modelica语言平台上的仿真模型。所建立的仿真模型充分利用了Modelica语言的优势,具有较好的通用性和灵活性。最后,将建立的Modelica仿真模型与相应的C＋语言版本仿真系统进行了对比,结果表明全弹道仿真的结果位置误差在10m以内。     

Modelica动态组件建模与仿真

Modelica模型中,组件视图表达了模型的内部组成及组件之间的关系,是Modelica模型不可或缺的重要部分。介绍组件视图的内容与Modelica表达,并提出一种在组件视图进行动态仿真的方法,通过水箱的建模与仿真过程,直观地演示模型中状态变量在仿真过程中的动态变化,并在MWorks平台中实现动态组件库中定义的图形动态属性annotation字段和常用动态组件,展示准确的组件视图动态仿真效果。     

基于Dymola软件及Modelica语言的飞机供电系统建模与仿真

飞机供电系统的布局设计与控制逻辑是飞机系统设计的重要环节,且其对系统的可靠性、容错供电和余度等特性具有一定影响;对飞机电源系统进行仿真建模研究,在支持各种物理系统建模的Dymola平台下搭建了数字仿真模型,包括交流发电机、变压整流器、电源系统接触器和过欠压、过欠频检测模块等部件模型,并利用各个部件模型搭建了供电系统模型,同时利用Modelica语言完成系统逻辑设计,对整个系统进行仿真;数字仿真结果表明电源系统模型基本能够完成自动配电、自动隔离故障,达到设计要求,为飞机系统设计提供了理论支持。     

基于笛卡尔方法的多体系统Modelica表示

针对Modelica多体建模过程较为繁琐、创建模型不够直观的问题,在研究多体系统由物理模型到数学模型再到Modelica表示的完整映射过程的基础上,采用笛卡尔方法,以多体动力学建模软件InteDyna为建模前端,在多领域物理系统建模仿真工具MWorks中实现多体系统三维可视化建模与仿真.双摆实例表明该方法有效.     

A declarative approach to procedural modeling of virtual worlds

With the ever increasing costs of manual content creation for virtual worlds, the potential of creating it automatically becomes too attractive to ignore. However, for most designers, traditional procedural content generation methods are complex and unintuitive to use, hard to control, and generated results are not easily integrated into a complete and consistent virtual world.We introduce a novel declarative modeling approach that enables designers to concentrate on stating what they want to create instead of on describing how they should model it. It aims at reducing the complexity of virtual world modeling by combining the strengths of semantics-based modeling with manual and procedural approaches. This article describes two of its main contributions to procedural modeling of virtual worlds: interactive procedural sketching and virtual world consistency maintenance. We discuss how these techniques, integrated in our modeling framework SketchaWorld, build up to enable designers to create a complete 3D virtual world in minutes. Procedural sketching provides a fast and more intuitive way to model virtual worlds, by letting designers interactively sketch their virtual world using high-level terrain features, which are then procedurally expanded using a variety of integrated procedural methods. Consistency maintenance guarantees that the semantics of all terrain features is preserved throughout the modeling process. In particular, it automatically solves conflicts possibly emerging from interactions between terrain features.We believe that these contributions together represent a significant step towards providing more user control and flexibility in procedural modeling of virtual worlds. It can therefore be expected that by further reducing its complexity, virtual world modeling will become accessible to an increasingly broad group of users.     

A Hybrid Architecture for Situated Learning of Reactive Sequential Decision Making

In developing autonomous agents, one usually emphasizes only (situated) procedural knowledge, ignoring more explicit declarative knowledge. On the other hand, in developing symbolic reasoning models, one usually emphasizes only declarative knowledge, ignoring procedural knowledge. In contrast, we have developed a learning model CLARION, which is a hybrid connectionist model consisting of both localist and distributed representations, based on the two-level approach proposed in [40]. CLARION learns and utilizes both procedural and declarative knowledge, tapping into the synergy of the two types of processes, and enables an agent to learn in situated contexts and generalize resulting knowledge to different scenarios. It unifies connectionist, reinforcement, and symbolic learning in a synergistic way, to perform on-line, bottom-up learning. This summary paper presents one version of the architecture and some results of the experiments.     

Transfer of Declarative Knowledge in Complex Information-Processing Domains

Declarative transfer from one domain to another can be observed in a systematic decrease in the time spent reading an instructional text and processing help during problem solving. Two experiments, done in the programming domain, tested the hypothesis that subjects introduced to a first programming language develop a representation of basic programming concepts that helps them integrate new declarative knowledge from a second programming language. This article shows that the effect on reading was greater for pages that were conceptually close across texts and for subjects who had fully mastered the basic concepts in the first language. A regression model of reading showed an effect on processes that are responsible for the analysis of novel words and examples, whereas general strategic reading processes remained unaffected. The increased reading speed was not accompanied by a greater understanding of the text. Effects of a common programming interface and transfer of procedural knowledge appeared to be negligible on the kind of problems considered. This study supports the distinction between procedural and declarative transfer.     

On the declarative and procedural semantics of deductive object-oriented systems

We present declarative and procedural semantics for a deductive object-oriented language, Gulog. The declarative semantics is based on preferred minimal models. We describe both bottom-up and top-down query evaluation procedures and show that they are sound with respect to the declarative semantics. The results contribute to our understanding of the interaction of inheritance, overriding and deduction in the presence of both functional and set-valued methods, and multiple inheritance.     

Engineering information integration using object‐oriented mediator technology

The mechanical product development process uses many different software systems to virtually simulate the behaviour of a design. The present work deals with flexible and efficient integration using object‐oriented mediator technology that provides transparent access to distributed engineering systems. The use of mediator technology is investigated for semi‐automatically integrating engineering information resident in computer aided design systems with a Common Object Request Broker Architecture based application programming interface. The purpose is to provide engineering analysis applications access to computer aided design system information and computational methods through a declarative query language. We conclude that the use of a declarative query language for developing engineering applications shows great potential in terms of flexibility, development productivity, performance, and ease of use, compared with using a procedural programming language. The work also shows new use of mediator technology, declarative queries, and active rules within engineering information integration that traditionally is accomplished using procedural programming. Copyright © 2004 John Wiley & Sons, Ltd.     

Techniques of integrating Datalog with PROLOG

Since extending DATALOG to a general-purpose programming language seems very difficult,many projects have embedded a DATALOG-based query laguage into a procedural host language,such as CORAL,Glue-Nail,etc.Although DATALOG can be consideed as function-free PROLOG,they are very different in many aspects.For instance,DATALOG is declarative while PROLOG isn‘t,DATALOG takes “a-set-at-a-time” mode of evaluation but PROLOG takes “a-tuple-at-a-time”one,DATALOG is only a query language whereas PROLOG is a general-purpose programming language.It is thought that integrating DATALOG with PROLOG may take their advantages.KBASEP is such a language.It uses KBASE as the query language and PROLOG as its procedural host language,where KBASE is a ne extemsion of DATALOG with negation and function.This paper introduces the integration techniques used in KBASE-P system.     

Interactive design of 3D models with geometric constraints

In this paper, an interactive graphical approach for the design of parameterized part-hierarchies is presented. Primitive solids can be grouped into compound objects, and multiple instances of a compound object can be used in further designs. Geometric relations between primitives and instances are specified by geometric constraints between their local coordinate systems. The user can specify and edit a model by direct manipulation on a perspective or parallel projection with a mouse, whereas a procedural model representations is automatically generated via visual programming. The obtained twoview approach offers two concurrent interface styles to the end-user and enables the combination of an intuitive direct manipulation interface with the expressiveness of a procedural modeling language.     

Using graph rewriting methods for the semi-automatic generation of parametric infrastructure models

For the design of large infrastructure projects such as inner-city subway tracks, it proves necessary to consider differing model scales, ranging from the scale of several kilometers down to a few millimeters. This challenge can be addressed by using multi-scale product models comprising multiple levels of detail (LoD). Ensuring consistency across the different LoDs can be achieved by applying procedural and parametric modeling techniques while creating the model. This results in a flexible multi-scale model that can be easily modified on one scale while other scales are automatically updated. However, the correct application of parametric constraints and procedural dependencies has shown to be a very complex and time-consuming process. To address this issue, this papers presents a semi-automated detailing mechanism, which is based on formal procedures based on graphs and graph transformations. This paper discusses how procedural parametric models based on two-dimensional sketches can be represented by graphs and how detailing steps in the form of parametric modeling operations can be formalized by using rule-based graph rewriting.     

Antecedents and consequences of team memory in software development projects

Team memory is important, yet it is rarely addressed in papers on software development. We investigated the antecedents and consequences of team memory (both declarative and procedural) in software development projects. By examining 67 projects in the IT departments of 38 firms, we found, using PLS that customer orientation and innovation orientation was positively associated with both declarative and procedural memory, social responsibility was positively related to declarative memory, and systematic management control were negatively associated with declarative memory but positively associated with procedural memory. We also found that: declarative memory was positively related to the market success of the software, and procedural memory was positively related to speed-to-market (launching software faster) to the extent that memory was dispersed throughout the project team. Managerial and theoretical implication were further discussed.