实体造型中的几何约束

实体造型是一个基于约束的过程，完成从功能约束到几何约束、再到代数约束的转化而得到实体模型。本文讨论了几何约束的层次性及其表示，并且对几何约束同设计意图的关系进行了研究，提出了基于ＣＳＧ／ＧＣＧ／Ｂ－ｒｅｐ的模型表示。     

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.     

淹没水跃的数值模拟

本文通过求解时均N－S方程κ－ε紊流模型，数值模拟了淹没水跃由静止到最终稳定的全过程。采用隐式非正交同位网格有限体积法离散控制方程组，利用动网格技术跟踪自由表面，并由Orlanski开边界条件得到无反射的出口边界。文中给出了淹没水跃在不同时刻自由表面形状、内部流场结构和流速矢量的变化情况，并与试验资料进行了比较。结果表明，本文方法能够准确有效地描述淹没水跃这类复杂自由表面流动的紊动特性。     

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

根据相似性原理，选择不同的相似材料模拟双侧挤压作用下含盐不均匀基底变形对盖层构造的影响。实验表明：（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.     

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

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

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.