An environment for DEVS-based multiformalism simulation in Common Lisp/CLOS

The paper presents the realization of an object-oriented kernel of a new modeling and simulation environment. The kernel system stands out as it is based on systems theoretical concepts and facilitates combined discrete-continuous, modular, hierarchical modeling. Its implementation language is the AI language Common Lisp and its object-oriented superset CLOS. The kernel system serves as the basis for a knowledge-based modeling and simulation environment supporting interactive modeling and simulation and automatic model construction. This research was supported in part by SIEMENS Munich, ZFE, ST.     

Agent-Based Simulation of Animal Behaviour

In the biological literature on animal behaviour, in addition to real experiments and field studies, also simulation experiments are a useful source of progress. Often specific mathematical modelling techniques are adopted and directly implemented in a programming language. Modelling more complex agent behaviours is less adequate using the usually adopted mathematical modelling techniques. The literature on AI and Agent Technology offers more specific methods to design and implement (also more complex) intelligent agents and agent societies on a conceptual level. One of these methods is the compositional multi-agent system design method DESIRE. In this paper it is shown how (depending on the complexity of the required behaviour) a simulation model for animal behaviour can be designed at a conceptual level in an agent-based manner. Different models are shown for different types of behaviour, varying from purely reactive behaviour to pro-active, social and adaptive behaviour. The compositional design method for multi-agent systems DESIRE and its software environment supports the conceptual and detailed design, and execution of these models. A number of experiments reported in the literature on animal behaviour have been simulated for different agent models.     

由E1生成H-MVIP总线的FPGA实现

介绍了用FPGA如何实现由E1生成H—MVIP（High Density Multi—Vendor Integration Protocol）总线数据的过程．整个设计包括2．048MHz同步时钟的提取、HDB3解码、前置缓存和总线生成几部分，设计中利用VHDL高级硬件描述语言编程．以专门的EDA软件为开发环境经过仿真、综合、布局布线几个过程的反复，最后用Xilinx公司FPGA实现硬件功能．     

基于FPGA+DSP的雷达回波发生器设计

雷达回波发生器利用现代仿真技术生成蕴含雷达目标和环境信息的模拟雷达信号,用来对雷达系统进行性能测试和评。根据通用性、灵活性要求,提出了一种基于DSP+FPGA的雷达回波发生器的设计方法;简要介绍了设计思想,详细阐述了系统的硬件组成和软件设计,并给出了测试结果并总结了该雷达回波发生器的一些优点。     

一种基于VB环境下组合随机数发生器的构建

由于随机数是离散事件系统计算机仿真的核心所在，所以随机数列的性能好坏直接影响仿真结果的有效性。该文叙述了采用构造的线性同余发生器和Visual Basic环境中Rnd()函数结合起来，构建组合发生器的方法。比较了单独使用RIM()函数得到的随机数列与使用组合发生器得到的随机数列的性能指标，后者在保持随机数列均匀性的同时，大大提高了随机数列的独立性。     

Testing and Monitoring Model-based Generated Program

We propose an integrated framework to test and monitor code generated from hybrid models for embedded systems. The framework consists of the following elements: First, we create a testing automaton as a controlled environment to produce test traces achieving the desired testing criteria; Second, we synthesize a monitoring automaton from the behavior specification to check the run-time behavior of the tested system in response to the test traces; Finally, since both automata are encoded in the same language as the system model, the same code generator may be used to generate a tester and a monitor from the testing automaton and the monitoring automaton. The tester and the monitor may be linked as needed with the code generated from the system model. Our approach yields self-testing and self-monitoring code which may be run both on the simulation level and on the code level. We discuss our approach in its full details through an example on a SONY AIBO robotic dog.     

大气环境剧情生成技术研究

在基于模糊逻辑搜索原理的基础上,针对人类自然语言表述的大气环境信息需求,研究了面向仿真应用的大气环境剧情生成技术,快速自动地生成满足建模与仿真用户需要且物理一致的大气环境综合剧情.以剧情生成引擎为总体,分析了模糊逻辑搜索技术的原理与在环境剧情生成中的应用技术.针对建模与仿真用户用人类语言表述的大气环境信息条件,研究了大气环境剧情所需的语义规范和物理规则.实现了剧情数据产品的生成与可视化,为建模与仿真应用对大气环境剧情的需求提供了技术支持.     

基于AT89C51单片机波形发生器的Proteus设计

波形发生器在电子设计、实验教学中占有极其重要的地位,并且被广泛应用。研究了在Proteus环境下波形发生器的设计方法,以AT89C51单片机为核心器件,程序设计采用C语言,Keil软件编译程序段,配以相关外围接口电路,实现了方波、锯齿波、正弦波、三角波等四种特定波形的产生。仿真结果表明,改变C程序设计中递增变量大小以及电压输出电路有关参数数值,可以得到不同频率与幅值的任意一种波形,从而验证了其设计的正确性。     

交通信号控制仿真系统

介绍一个交通信号灯配时方案仿真系统的设计开发过程,该系统以基于MapX建立的GIS为仿真界面,在Visual Studio 2010编程环境下应用C#语言实现。对系统各模块的功能以及设计实现的关键技术与原理进行详细论述,建立一个能够与用户充分交互的、模拟实现用户配时方案并将评估参数反馈给用户的仿真控制环境。测试实验表明,该系统能够在一定程度上按照用户意愿进行较为真实客观的仿真,并且能够提供较为准确的评估结果,验证了系统的有效性。