VHDL微控制器仿真模型的设计

对包含微控制器核心的系统进行模拟是ASIC以及系统设计中的重要问题。利用VHDL语言对微处理器进行行为级的描述,可以大幅度提高CAD模拟软件中微控制器系统的模拟速度。本文讨论了包含微控制器核心的系统的特点,介绍了采用VHDL微控制器仿真模型的系统模拟方法以及相应VHDL微控制器仿真模型的设计方法,并以8位微控制器MCS51为例,分析了VHDL微控制器仿真模型的结构和特点,最后介绍了一个模拟应用实例。     

基于VHDL的时间离散随机Petri网仿真

时间离散随机Petri网是实时系统建模分析的一种重要工具,广泛应用在异步并发时间离散系统中,对时间离散随机Petri网模型进行模拟仿真分析是一个值得深入研究的课题.给出了一种运用硬件描述语言(VHDL)对时间离散随机Petri网进行描述和仿真的方法.首先介绍了时间离散随机Petri网的定义、特点,然后对其基本元素模块的硬件语言描述方法进行了讨论.最后以一个时间离散随机Petri网模型为例子,用VHDL语言对结构进行了描述,在Altera公司的集成开发工具QuartusII进行编译、仿真,仿真波形表明了这种方法的正确性.     

VHDL高级抽象模型

本文概述了VHDL的高级抽象模型,并对VHDL中支持和表示此模型的语言基础作了简介。     

VHDL硬件描述语言及其设计环境

VHDL硬件描述语言及其设计环境是一个形式化、层次化和规范化的计算机硬件描述与设计语言系统,它的出现为实现计算机设计领域的科学化迈出了重要的一步。本文较详细地介绍了VHDL的起因、历史和现状,概要地论述了VHDL语言及其语言特征,并讨论了VHDL的设计环境,最后提出了实现该系统的基本途径。     

数字逻辑电路的描述及模块化综合方法

随着电子设计自动化技术的进步 ,大多数现代数字电路或系统的设计工程都离不开计算机辅助设计(CAD)工具的帮助 ,尤其是出现了高级语言描述、系统仿真和综合技术为特征的第三代EDA技术。因此掌握好数字逻辑电路或系统的描述 (建模 )方法和综合步骤是至关重要的。介绍了高级描述语言VHDL的行为描述和结构描述的若干种模型 ,并通过一个设计实例阐述了数字逻辑电路的设计循环从定义到实现的综合过程     

基于BEDTPN的飞机供电系统故障仿真

针对飞机交流供电系统仿真中故障繁多数据流和控制流难以同时处理问题,结合双变迁Petri网和故障注入方法,提出双触发权DTPN建模方法在DTPN基础上,增加故障扰动输入和变迁状态集合,定义双变迁触发规则,给出相应的矩阵描述运行算法和共享合成规则,以描述库所状态避免网中可能存在的并发与冲突关系在建立组件BEDTPN模型基础上,根据共享合成规则建立系统整体模型仿真结果表明,模型可在实时控制汇流条输出的同时,模拟各种电源构型下驾驶舱操作和故障扰动对系统的影响,满足机务维护模拟机对系统操作和故障仿真的要求     

基于Agent的航天测控资源调度问题建模分析

为了研究航天测控资源调度与优化问题,需要建立问题的标准化描述模型.通过对航天测控工程需求的分析,明确了与航天测控资源调度有关的各仿真对象定义及测控调度过程,并指出了需要考虑的规刖和约束.采用基于Agent技术的对象属性、交互、规则、状态的描述方法,建立了可扩展的航天测控资源调度问题中各时象描述模型和资源分配过程模型.通过一个实例验证了该建模分析方法的可行性.     

HLA中的对象模型浅析

在基于HLA的仿真系统设计和开发中,开发对象模型是促进仿真互操作和仿真组件重用的关键过程。在给出HLA对象模型概念的基础上,分析提炼了基于HLA的仿真系统的建模过程,总结了FOM、SOM的模型开发方法,最后介绍了HLA对象模型的OMT标准化描述结构框架。     

作战智能体的攻击行为模型研究

针对作战模型中的攻击行为描述问题,在基于多智能体的作战模型中提出了一种攻击行为模型。将攻击行为分解为确定作战对象、选择武器、计算攻击效果三个主要动作,分别建立了一次进攻多个作战对象、阵地作战和机动作战的作战对象选择模型,面目标杀伤武器和单目标杀伤武器选择模型,讨论了作战对象毁伤计算模型。     

基于同步网的BPEL建模和验证

Web服务组合是面向服务架构的一个应用,是指将已有的Web服务组合成为新的服务。业务流程执行语言BPEL（Business Process Execution Language）是一种描述Web服务组合的语言。为了保证BPEL描述的Web服务组合的正确性,提出了分层建模和验证的思想,将BPEL流程分为逻辑层和语义层,并分别建立形式化模型和验证方法。这样不仅能保证对流程正确地建模,而且能降低建模和验证的复杂度。在逻辑层,BPEL元素映射为基于同步网的WSL_net模型。畅通性和无冗余变迁性质保证了BPEL流程基本控制流的正确性并避免了资源的浪费。语义层的建模和验证将另文给出。     

THE 8~(th) INTERNATIONAL CONGRESS ON INDUSTRIAL AND APPLIED MATHEMATICS

正August 10-14,2015Beijing,ChinaThe International Congress on Industrial and Applied Mathematics(ICIAM)is the premier international congress in the field of applied mathematics held every four years under the auspices of the International Council for Industrial and Applied Mathematics.From August 10 to 14,2015,mathematicians,scientists     

2014 List of Referees

正~~     

TSINGHUA UNIVERSITY,Beijing, China

正AF:Any Field The School of Economics and Management at Tsinghua University(Tsinghua SEM)invites applications for faculty positions at all levels(Assistant Professor,Associate Professor and Full Professor)in any fields of business administration and management.Tsinghua SEM is the only school     

《Journal of Systems Science and Systems Engineering》Contents of Volume 23,2014

正~~     

Call for Papers The 12th International Conference on Service Systems and Service Management ICSSSM'15

正June 22-24,2015Guangzhou,China http://iec.cnsba.com/index.htmlCo-Sponsored by:ffiEE SMC(pending)South China University of Technology The Chinese University of Hong Kong Tsinghua UniversityHosted bv:School of Business Administration,South China University of Technology,China Conference Co-Chairs:     

分布交互仿真技术综述

介绍了ＤＩＳ的技术特点,综述了ＤＩＳ中关键技术和相关技术,并对目前ＤＩＳ发展过程中遇到的问题进行了深入的分析与论证。     

Innovation Versus Environmental Protection Presumptions

The paper is about negotiating with issues that discourage innovation. The subject is environmental deterioration, with concern directed at the impediments that keep it from being innovatively resolved. The paper is organized around three issues. (1) The dominant model of environmental concern, called environmental protection, is managed predominantly via command and control approaches. (2) Command and control, by relying on analytical segmentation to subdivide the problem into digestible bits and using formal legislation to direct it, are not up to emerging challenges in the area. (3) More robust models are available but difficult to experiment with due to impediments that discourage change. These impediments are seen in ideals associated with protection, prevention, recycling, and sustainability that tend to do more to sustain harmful practices than to seek beneficial alternatives. Being able to appreciate the underlying restrictions of entropy could help stimulate a more innovative agenda. These issues are tested via a project funded by the EPA entitled ENERGY STAR Homes.