Using a Discrete-Event System Specifications (DEVS) for designing a Modelica compiler

We introduce a new architecture for the design of a tool for modeling and simulation of continuous and hybrid systems. The environment includes a compiler based on Modelica, a modular and a causal standard specification language for physical systems modeling (the tool supports models composed using certain component classes defined in the Modelica Standard Library, and the instantiation, parameterization and connection of these MSL components are described using a subset of Modelica). Models are defined in Modelica and are translated into DEVS models. DEVS theory (originally defined for modeling and simulation of discrete event systems) was extended in order to permit defining these of models. The different steps in the compiling process are show, including how to model these dynamic systems under the discrete event abstraction, including examples of model simulation with their execution results.     

网络安全事件的关联分析方法的比较研究

随着当前攻击手段和技术的日益复杂化,一次入侵事件往往需要多个步骤才能完成,这些步骤都是彼此相关的。但是传统的入侵检测集中于检测底层的入侵或异常,所检测到的结果也仅仅是一次完整入侵的一部分,所以不能将不同的报警结合起来以发现入侵的逻辑步骤或者入侵背后的攻击策略。关联分析技术将不同分析器上产生的报警进行融合与关联分析,极大地减少了报警的数量,降低了入侵检测的误报率,并且适当的减少了入侵检测的漏报率。文中在对网络安全事件关联分析方法的系统结构进行分析后,着重介绍了当前比较流行的几种网络安全事件关联分析方法,最后对各种方法进行了比较研究。     

AFM observation of polyethylene single crystals: selective handedness of screw dislocations in a chair type

The three-dimensional morphology of polyethylene single crystals grown from dilute solution has been examined by atomic force microscopy. Single crystals were deposited on a soft ground of aqueous solution of poly(vinyl alcohol) (PVA) to avoid the collapse of thin lamellar crystals with thickness of 10 nm. The observation of single crystals on dried PVA clarifies the morphology of a chair type crystal as well as well-known hollow pyramidal type. It has been confirmed that the screw dislocations in the chair type follow a selection rule of the handedness in a manner to relieve the distortion in the chair type.     

Panchromatic Chromophore Mixtures in an AlPO4‐5 Molecular Sieve: Spatial Separation Effects and Energy Transfer Cascades

Dye‐loaded AlPO₄‐5 single crystals were prepared by microwave‐assisted hydrothermal synthesis from a batch, containing a mixture of three chromophores (Coumarin 40, Rhodamine BE50, and Oxazine 1) differing in their absorption range, molecular dimensions, and solubilities. Confocal fluorescence images reveal a spatial separation effect of the dye molecules, where the slimmer, more‐soluble dye molecule (Coumarin 40) is uniformly distributed in the body of the single crystal, and the bulky and/or less‐soluble ones (Rhodamine BE50, Oxazine 1) are situated in distinct domains. Visible spectra show good panchromatic absorption of visible light. Fluorescence lifetime measurements indicate the presence of an energy transfer cascade of the entirely fixed dye molecules from Coumarin 40 to Oxazine 1. The transfer mechanism is predominantly radiative.     

网络管理中事件关联检测机制的研究

网络事件的关联检测是网络管理需要解决的一个关键问题,本文根据分布式网络管理的特点,首次明确定义了网络事件的基本关联关系,在此基础上提出了一种基于Petri Net的事件关联检测机制,实现了基于事件内容的细粒度关联检测,并且在事件检测中充分考虑了时间因素,有效地提高了事件关联检测的准确性。     

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.     

Axial vibrations of U-shaped bellows with elastically restrained end conditions

Previous work by Li et al. in the area of axial vibrations of bellows dealt with fixed end conditions. However, it is seen on several occasions that bellow ends are welded to a small pipe spool that has a lumped mass such as a valve or an instrument. Hence, the present paper aims at finding out the effect of elastically restrained ends on the axial natural frequencies. The analysis considers finite stiffness axial restraints on the bellows, i.e. solving the set of equations with non-homogeneous boundary conditions. Two bellow specimens are considered for comparison having the same dimensions as taken by Li in his analysis. The transcendental frequency equation deduced is accurate as the first, second and third mode frequencies computed are in close agreement to the ones obtained by Li.     

基于Lab VIEW的小型汽油机磁电机点火提前角的测量

本文介绍了磁电机点火系统的点火提前角测量原理。对点火系统的点火信号和触发信号进行采集、调理，再用单片机进行处理，最后用LabVIEW进行点火提前角数据存储和显示。     

基于Delphi的报童模型的实现与动态仿真

已往库存论中的决策模型,它是把现实过程用数学的方法进行分析,得到决策值,但不能看到决策的过程,不能反映出现实生活中的不确定性、动态性。运用Delphi 7.0和SQL server 2000对销售过程进行了动态仿真,利用Newsboy模型的推广(S,s)订购策略来监控库存并做出决策,这样就体现出此过程的不确定性、动态性;且举出了一个仿真商品销售的实例,对其中的一些关键技术,如何仿真、算法的实现等进行了阐述。     

非串行生产线的建模,分析及设计

本文利用等效工作站理论和工件流平衡原理，推导出非串行离散事件生产线可以等价于串联系统，并归结为装配和拆卸两条定理，解决了系统的建模、分析与设计问题。