Type inference in stack based languages

We consider a language of operations which pass parameters by means of a stack. An algebra over the set of type signatures is introduced, which allows the type signature of a program to be obtained from the type signatures of its constituent operations.Although the theories apply in principle to any stack based language, they have been evolved with particular regard to the proposed ANSI Standard Forth language, which is currently implemented in a type free manner. We hope this work will stimulate an interest in Forth amongst those applying algebraic techniques in software engineering, and we hope to lay the theoretical foundations for implementing practical type checkers to support Forth.     

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.     

一种高效的硬布线控制CPU的设计方法

文章提出了一种硬布线逻辑CPU的设计流程，即以CPU设计工具软件LDF为核心的设计方法，其主要目的的提高硬布线逻辑CPU的设计效率。定义了一种用于描述硬布线控制逻辑的语言-MCDL，对总线优化问题进行了研究，并且给出了解决总线优化问题的近似算法。     

有耗传输线的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.     

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.     

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

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

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.     

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