On assertion-based encapsulation for object invariants and simulations

In object-oriented programming, reentrant method invocations and shared references make it difficult to achieve adequate encapsulation for sound modular reasoning. This tutorial paper surveys recent progress using auxiliary state (ghost fields) to describe and achieve encapsulation. It also compares this technique with encapsulation in the forms provided by separation logic. Encapsulation is assessed in terms of modular reasoning about invariants and simulations.     

基础锚栓预埋加固方案

结合工程实例 ,介绍轻钢结构系统基础锚栓预埋、加固解决方案 ,并介绍了加固系统的制作及使用方法 ,可供工程人员参考     

古老的铁艺再次辉煌

铁艺实用美观，唤起人们的怀旧情怀，从公共场所到家居装饰，应用广泛。介绍铁艺选择、使用、维护与保养知识，分析，预测铁艺的市场前景。     

凤滩水电厂自动发电控制策略

介绍了凤滩水电厂自动发电控制(AGC)策略的实现方法,重点介绍了修正等容量比例有功分配方法及相应措施.程序设计的原则是,机组紧跟目标负荷的情况下,在最佳效率下运行,同时减少机组开/停机次数、有功调节频率和跨越振动区次数,从而减少机组磨损,兼顾运行效率和机组运行安全.     

浅谈工程量清单模式下的合同签订

文章分析了工程量清单计价的费用组成,阐述了按照清单计价规范招投标的工程在合同签订时使用《合同示范文本》应注意的问题,并分析了合同履行过程中加强合同监督的必要性。     

徽派园林的保护、继承与创新

文章从对中国江南古典园林中重要的一支——徽派园林的现状分析出发,提出了对徽派园林保护和利用的方向和策略,阐述了对徽派园林加以继承和创新的意义和方法。     

中小学校的电气设计探讨

随着政府对教育的投入比重逐年提高．近年来新建改建的学校也越来越多．虽然学校的电气设计并不复杂。但变配电系统、照明及配电装置、弱电、防雷及接地等均有其一定的特殊性。其设计的深度直接影响到学生的学习环境和学校的经济利益。     

Lactic acid production from dining‐hall food waste by Lactobacillus plantarum using response surface methodology

BACKGROUND: Food waste generally has a high starch content and is rich in nutritional compounds, including lipids and proteins. It therefore represents a potential renewable resource. In this study, dining‐hall food waste was used as a substrate for lactic acid production, and response surface methodology was employed to optimise the fermentation conditions. RESULTS: Lactic acid biosynthesis was significantly affected by the interaction of protease and temperature. Protease, temperature and CaCO₃ had significant linear effects on lactic acid production, while α‐amylase and yeast extract had insignificant effects. The optimal conditions were found to be an α‐amylase activity of 13.86 U g^?1 dried food waste, a protease activity of 2.12 U g^?1 dried food waste, a temperature of 29.31 °C and a CaCO₃ concentration of 62.67 g L^?1, which resulted in a maximum lactic acid concentration of 98.51 g L^?1 (88.75% yield). An increase in inoculum size would be appropriate for accelerating the depletion of initial soluble carbohydrate to enhance the efficiency of α‐amylase in dining‐hall food waste fermentation. CONCLUSION: A suitable regression model for lactic acid production was developed based on the experimental results. Dining‐hall food waste was found to be a good substrate for lactic acid fermentation with high product yield and without nutrient supplementation. Copyright © 2008 Society of Chemical Industry     

Study of trace elements in coal and mining wastes and its significance in China

In the world energy about 26% of all was dedved from coal combustion. Nearly 80% of the electricity produced in China is generated from coal. Coal will play the most important role in the coming 50 years as the past century in China. However one consequentially of the mining and combustion of coal is the mobilization of trace elements, especially trace metals, which have environmental and human health significance. Information on concentrations and distributions of potentially toxic elements in coal, and information On the modes of occurrence of these elements and the relations of the minerals in coal can help to predict the behavior of the potentially toxic trace metals dudng cleaning, combustion, weathering, and leaching.     

Estimation of errors of hydrogen standard time scale preservation taking account of systematic frequency changes

Metrological characteristics of active hydrogen frequency standards are investigated on the basis of internal and external comparisons. The stability of random changes and drift of hydrogen frequency standards and also the potential capabilities of time scale preservation with effective consideration of systematic changes in their frequency are demonstrated. __________ Translated from Izmeritel’naya Tekhnika, No. 3. pp. 42–45, March, 2007.