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.     

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

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

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.     

在不断创新中开创新的百年——水口山有色金属集团有限公司110年创新发展历程和展望

回顾了水口山有色金属集团有限公司的发展历程，概述了取得的技术进步和主要成就．提出了企业今后的发展方向。     

Rate of ammonia oxidation in a synthetic saline wastewater by a nitrifying mixed‐culture

Most of the kinetic studies on nitrification have been performed in diluted salts medium. In this work, the ammonia oxidation rate (AOR) was determined by respirometry at different ammonia (0.01 and 33.5 mg N‐NH₃ L^?1), nitrite (0–450 mg N‐NO₂^? L^?1) and nitrate (0 and 275 mg N‐NO₃^? L^?1) concentrations in a saline medium at 30 °C and pH 7.5. Sodium azide was used to uncouple the ammonia and nitrite oxidation, so as to measure independently the AOR. It was determined that ammonia causes substrate inhibition and that nitrite and nitrate exhibit product inhibition upon the AOR. The effects of ammonia, nitrite and nitrate were represented by the Andrews equation (maximal ammonia oxidation rate, r_AOMAX, = 43.2 [mg N‐NH₃ (g VSS_AO h)^?1]; half saturation constant, K_SAO, = 0.11 mg N‐NH₃ L^?1; inhibition constant K_IAO, = 7.65 mg N‐NH₃ L^?1), by the non‐competitive inhibition model (inhibition constant, K_INI, = 176 mg N‐NO₂^? L^?1) and by the partially competitive inhibition model (inhibition constant, K_INA, = 3.3 mg N‐NO₃^? L^?1; α factor = 0.24), respectively. The r_AOMAX value is smaller, and the K_SAO value larger, than the values reported in diluted salts medium; the K_IAO value is comparable to those reported. Process simulations with the kinetic model in batch nitrifying reactors showed that the inhibitory effects of nitrite and nitrate are significant for initial ammonia concentrations larger than 100 mg N‐NH₄⁺ L^?1. Copyright © 2005 Society of Chemical Industry     

A Bayesian propensity score adjustment for latent variable modeling and MCMC algorithm

The estimation of the differences among groups in observational studies is frequently inaccurate owing to a bias caused by differences in the distributions of covariates. In order to estimate the average treatment effects when the treatment variable is binary, Rosenbaum and Rubin [1983. The central role of the propensity score in observational studies for causal effects. Biometrika 70, 41-55] proposed an adjustment method for pre-treatment variables using propensity scores. Imbens [2000. The role of the propensity score in estimating dose-response functions. Biometrika 87, 706-710] extended the propensity score methodology for estimation of average treatment effects with multivalued treatments.However, these studies focused only on estimating the marginal mean structure. In many substantive sciences such as the biological and social sciences, a general estimation method is required to deal with more complex analyses other than regression, such as testing group differences on latent variables. For latent variable models, the EM algorithm or the traditional Monte Carlo methods are necessary. However, in propensity score adjustment, these methods cannot be used because the full distribution is not specified.In this paper, we propose a quasi-Bayesian estimation method for general parametric models that integrate out the distributions of covariates using propensity scores. Although the proposed Bayes estimates are shown to be consistent, they can be calculated by existing Markov chain Monte Carlo methods such as Gibbs sampler. The proposed method is useful to estimate parameters in latent variable models, while the previous methods were unable to provide valid estimates for complex models such as latent variable models.We also illustrated the procedure using the data obtained from the US National Longitudinal Survey of Children and Youth (NLSY1979-2002) for estimating the effect of maternal smoking during pregnancy on the development of the child's cognitive functioning.