CD++: a toolkit to develop DEVS models

The features of a toolkit for modeling and simulation based on the DEVS formalism are presented. The tool is built as a set of independent software pieces running on different platforms. Not only are the main characteristics of the environment presented, a focus on its use is also considered by inclusion of application examples for a variety of problems. Many models can be defined in an automated fashion, simplifying the construction of new models and easing their verification. The use of this formal approach has allowed the development of safe and cost‐effective simulations, significantly reducing development time. Copyright © 2002 John Wiley & Sons, Ltd.     

含盐不均匀基底变形对盖层构造的影响

根据相似性原理，选择不同的相似材料模拟双侧挤压作用下含盐不均匀基底变形对盖层构造的影响。实验表明：（1）双侧挤压背景下，受硬泡沫和凡士林代表的不同性质的基底的影响，上覆细沙盖层中形成的构造样式不同；（2）尽管模型的基底结构左右两侧基本对称，但上覆盖层的变形样式并不完全对称；（3）变形后期，盐脊顶部上覆沙层出现明显的塌陷构造；（4）实验最终结果显示的整个背冲构造的形成是由两个分割开的次级构造逐步合并而成的。     

电脑提花圆机图案的设计与开发

应用当前景流行的图形设计软件Coredraw9.0和Photoshop5.0，设计针织面料T恤花型，进一步利用SCC4F-548型电脑提花圆机相配套的图形设计软件Aupaint处理，生成提花花型图案，为夏季T恤花型图案设计提供了一条简便快捷的设计方法和新的设计思路。     

抽水蓄能电站运行方式和电网经济效益分析

用计算机模拟法建立模拟模型，对选定的系统进行生产模拟，统计计算出电网系统投入不同抽水蓄能容量时所发生的系统运行总燃料费用（包括抽水蓄能电站的抽水费）和系统的负荷缺电力时间概率（LOLP）等指标。通过对计算结果的分析，得出不同系统在投入不同容量抽水蓄能机组和采取不同运行方式的情况下，其运行总燃料费用的边际成本和LOLP的边际值的变化规律，并且对电网的经济效益进行合理分析。从而为抽水蓄能电站的规划和投资建设提供理论依据，推动抽水蓄能电站的发展，促使我国电源结构趋向合理。     

浅析嵌入式电脑及其发展趋势

主要介绍嵌入式电脑的构成特点、应用与发展前景。     

网络安全隔离技术浅析

介绍建设行政主管部门信息网络安全现状及其解决方案     

Thermodynamic modeling of native point defects and dopants of GaN semiconductors

A thermodynamic modeling of GaN was carried out to describe the thermodynamic behavior of native defects, dopants, and carriers (free electrons and holes) in GaN semiconductors. The compound energy model (CEM) was used. An unintentionally doped GaN was taken as an example. Oxygen was introduced into the model as the unintentionally doped impurity, according to the practical experimental phenomena. The energies of component compounds in the model were defined based on the results of the ab initio calculations and adjusted to fit experimental data. The thermodynamic properties of the defects and the oxygen doped were calculated to show the facility of the model.     

高炮火控系统滤波器的设计

对目前高炮火力控制系统目标滤波与预测进行了分析与研究．在此基础上结合工程实际设计了一种α-β滤波器．该滤波器的原理是把在连续系统中频率域的要求和在离散系统中Z域的要求转换成时域中在典型信号激励下的时间响应的特征值的要求．从而在时间域中以特征值的要求进行综合．再把综合的结果转换回Z域中．最终得到所确定的α-β滤波器．文中给出了α-β滤波器的Z传递函数．分析了α-β滤波器参数的确定．对α-β滤波器的静态误差进行了研究．对设计方案进行了计算机仿真和实际应用．     

区域防空联合预警体系探测效能分析

将联合预警体系划分为不同的子系统,按照系统集成的方法,分析和计算了区域防空条件下联合预警装备体系的探测效能;结合防空兵部队联合预警系统发展的需求,以定量的形式为联合预警体系的构建提供决策依据。     

A Constraint-based Approach for Annotating Music Scores with Gestural Information

The physical gestures that operate music instruments are responsible for the qualities of the sound being produced in a performance. Gestural information is thereby crucial for a model of music performance, paired with a model of sound synthesis where this information is applied. The highly constrained nature of performers gestures makes this task suitable to be modeled via a constraint-based approach, coupled with a strategy aimed at maximizing the gestural comfort of performers. We illustrate the problem representation, the search strategy and a validation of the model against human performance.