Efficient simulation of hierarchical stochastic activity network models

Stochastic extensions to Petri nets have gained widespread acceptance as a method for describing the dynamic behavior of discrete-event systems. Both simulation and analytic methods have been proposed to solve such models. This paper describes a set of efficient procedures for simulating models that are represented as stochastic activity networks (SANs, a variant of stochastic Petri nets) and composed SAN-based reward models (SBRMs). Composed SBRMs are a hierarchical representation for SANs, in which individual SAN models can be replicated and joined together with other models, in an iterative fashion. The procedures exploit the hierarchical structure and symmetries introduced by the replicate operation in a composed SBRM to reduce the cost of future event list management. The procedures have been implemented as part of a larger performance-dependability modeling package known asUltraSAN, and have been applied to real, large-scale applications. This work was supported in part by the Digital Equipment Corporation Faculty Program: Incentives for Excellence.     

Modeling of Calcium Chloride and Pectin Methylesterase Prefreezing Treatments of Strawberries and Jams

ABSTRACT: :
Different calcium chloride (CaCl₂) and pectin methylesterase (PME) prefreezing treatments in a vacuum were used to clarify the most effective prefreezing factors for strawberries and traditional jams. Fractional factorial design and modeling were used. CaCl₂ had the greatest effect on the majority of the 15 studied responses ( p < 0.001). The pretreatment time should be short (about 5 to 10 min), the temperature low (less than 20 °C), the vacuum level high (pressure less than 10 kPa), the CaCl₂ concentration moderate (about 1%) and the dosage of PME comparatively low (about 50 to 100 nkat/g) in order to yield high quality frozen strawberries for jam making.     

有耗传输线的TLM模型法

本文从传输线理论出发，介绍了一种解决传输线问题的新方法－－TLM法。     

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）实验最终结果显示的整个背冲构造的形成是由两个分割开的次级构造逐步合并而成的。     

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.     

HP700圆锥破碎机动锥的有限元分析

对HP700圆锥破碎机的主要部件动锥建立了有限元分析模型，用ANSYS软件对动锥进行了有限元强度和刚度分析，结果输出了动锥分布及变形图，对圆锥破碎机的结够设计提供了依据。     

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

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

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.     

Object-oriented DBMS requirements

The requirements on an object-oriented DBMS for management of information in a large, complex enterprise are presented. These requirements aid in the achievement of an environment characterized by data sharing, open architectures, application and data portability, and assurance of data integrity. They were defined from the point of view of a user of the DBMS; therefore they describe the expected functionality of the DBMS and do not specify the method of implementation to achieve this functionality. They encompass requirements on the data model, query and data manipulation languages, the system architecure, interfaces to the system, change management, and transaction management.