间歇式液相本体聚丙烯装置计算机控制与管理系统

介绍一种间歇式液相本体聚丙烯装置计算机先进控制与管理系统。它是由“基本控制层”和“上位控制层”构成的经济适用型集散控制装置。该装置采用了多屏显示技术、网络通讯技术、PLC程控技术、ActiveX控件技术和面向对象程序设计方法、数据库技术以及闭环辩识、预测控制、反应优化、底层PID控制与上层先进控制无扰动自动切换等多种技术和控制方式，因而可以灵活有效地实现聚合反应的全过程自动化生产和安全保护。     

Nisin expression production from Lactococcus lactis in milk whey medium

BACKGROUND: Nisin is a commercially available bacteriocin produced by Lactococcus lactis ATCC 11454 and used as a natural agent in the biopreservation of food. In the current investigation, milk whey, a byproduct from dairy industries was used as a fermentation substrate for the production of nisin. Lactococcus lactis ATCC 11454 was developed in a rotary shaker (30 °C/36 h/100 rpm) using two different media with milk whey (i) without filtration, pH 6.8, adjusted with NaOH 2 mol L^?1 and without pH adjustment, both autoclaved at 121 °C for 30 min, and (ii) filtrated (1.20 µm and 0.22 µm membrane filter). These cultures were transferred five times using 5 mL aliquots of broth culture for every new volume of the respective media. RESULTS: The results showed that culture media composed of milk whey without filtration supplied L. lactis its adaptation needs better than filtrated milk whey. Nisin titers, in milk whey without filtration (pH adjusted), was 11120.13 mg L^?1 in the second transfer, and up to 1628‐fold higher than the filtrated milk whey, 6.83 mg.L^?1 obtained in the first^t transfer. CONCLUSIONS: Biological processing of milk byproducts (milk whey) can be considered a profitable alternative, generating high‐value bioproducts and contributing to decreasing river disposals by dairy industries. Copyright © 2008 Society of Chemical Industry     

Using SPIN to Analyse the Tree Identification Phase of the IEEE 1394 High-Performance Serial Bus (FireWire) Protocol

We describe how the tree identification phase of the IEEE 1394 high-performance serial bus (FireWire) protocol is modelled in Promela and verified using SPIN. The verification of arbitrary system configurations is discussed. Received July 2001/Accepted in revised form November 2002 Correspondence and offprint requests to: Alice Miller, Department of Computing Science, University of Glasgow, 17 Lilybank Gardens, Glasgow G12 8QQ, UK. Email: alice@dcs.gla.ac.uk     

掺杂WRe3、WRe25合金的高温电阻－温度特性

本文报导了采用一种新型高温陶瓷发热体高温管状炉，通以氩气保护，测量ＷＲｅ合金丝的电阻－温度（１６００℃）特性试验方法，该方法较真空炉简便、实用且试验费用低而准确，测量数据与美国研究报导一致。     

正交试验法于优选白瓷坯料配方中的应用

对长石、石英、龙岩土、莱阳土４种因素各取４个水平，用正交表Ｌ１６（４５）安排１６个试验，分析了这１６个试验产品的吸水率、白度、热稳定性与每种因素各水平之间的关系．得出了白瓷坯料的最佳配方。其中，长石１９，石英２１，龙岩土２１．莱阳土０．     

Introductory Paper

In today’s competitive market designing of digital systems (hardware as well as software) faces tremendous challenges. In fact, notwithstanding an ever decreasing project budget, time to market and product lifetime, designers are faced with an ever increasing system complexity and customer expected quality. The above situation calls for better and better formal verification techniques at all steps of the design flow. This special issue is devoted to publishing revised versions of contributions first presented at the 12th Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME) held 21–24 October 2003 in L’Aquila, Italy. Authors of well regarded papers from CHARME’03 were invited to submit to this special issue. All papers included here have been suitably extended and have undergone an independent round of reviewing.     

MetateM: An introduction

In this paper a methodology for the use of temporal logic as an executable imperative language is introduced. The approach, which provides a concrete framework, calledMetateM, for executing temporal formulae, is motivated and illustrated through examples. In addition, this introduction provides references to further, more detailed, work relating to theMetateM approach to executable logics.     

An improved BioHashing for human authentication

Given the recent explosion of interest in human authentication, verification based on tokenized pseudo-random numbers and the user specific biometric feature (BioHashing) has received much attention. These methods have significant functional advantages over sole biometrics i.e. zero equal error rate. The main drawback of the base BioHashing method proposed in the literature relies in exhibiting low performance when an “impostor” B steals the pseudo-random numbers of A and he tries to authenticate as A. In this paper, we introduce some ideas to improve the base BioHashing approach in order to maintain a very low equal error rate when nobody steals the Hash key, and to reach good performance also when an “impostor” steals the Hash key.     

Two-class fingerprint matcher

We present a system for fingerprint verification that approaches the problem as a two-class pattern recognition problem. The features extracted by “FingerCode” are used to capture the ridge strength. This feature vector is then classified as genuine or impostor according to a novel approach to handle the fingerprint verification as a two-class problem. Moreover, we show that extracting the features from sub-images around the core permits to better represent the local information.