分组密码算法芯片验证

介绍了分组密码算法芯片验证的流程、内容和方法,详细介绍了分组密码算法芯片的验证技术——测试基准。     

基于重量分析的OBDD变量排序算法

有序的二叉判决图（ＯＢＤＤ）是布尔表达式的一种有效表示方法，但它的体积对变量排序具有较强的依赖性。本文提出一种电路结构图，并在此基础上定义了原始输入重量和节点重量等参数，并建立了用重量分析来指导的ＯＢＤＤ变量排序算法。由于从考虑变量对输出函数的影响出发与从考虑ＯＢＤＤ节点共享性出发对变量排序的要求不同，本文分别设计了两类算法。实验结果表明，本文对大多数标准电路变量排序的效果都优于国际上的同类算法，     

基于Z的协议形式描述与验证

一、引言在过去的十年.计算机网络与分布式系统已取得了很大的进展[6j。步入九十年代,各种新型通信技术和分布式应用已相继出现.并已对计算机通信软件发生了重要影响。这些新技术及应用主要包括高速光纤网、多媒体通信、宽带综合业务数字网(B一IsDN)、智能网络技术.如智能服务器、智能路由选择、智能协议开发环境等.以及综合语音、数据、图文和图象服务等等。为了适应这种形势的发展一门新兴的学科一协议工程已应运而生川。     

Control strategies for reactive batch distillation

A batch reactor may be combined directly with a distillation column by distilling off the light component product in order to increase the reactor temperature or to improve the product yield of an equilibrium reaction. The same amount of the light product should be removed as the amount being formed by the reaction at any time. A linearized model has been developed which describes the process behaviour satisfactorily for control analysis purposes. The controllability of a combined batch reactor/batch distillation column is found to depend strongly on the operating conditions and on the time during the run. In general, controlling only the reactor temperature (one-point bottom control) is difficult since the set-point has to be specified below a maximum value in order to avoid break-through of an intermediate component in the ditillate. This maximum value may be difficult to know a priori. For the example considered in this study, control of both reactor temperature and distillate composition (two-point control) is also found to be difficult due to large interactions in the column. As with one-point bottom control, the reactor temperature has to be specified below a maximum value. However, energy can be saved since the heat duty can be decreased with time. Controlling the temperature on a tray in the column (one-point column control) is found to give good performance for the given process with no loss of reactant and a high reactor temperature, although no direct control of the reactor temperature is obtained.     

Efficiency of repeated batch penicillin fermentation using two fermentors. Computer simulation and optimisation

Repeated batch operation using two fermentors (RBTF) to penicillin fermentation was demonstrated by computer simulation to improve productivity. Three operation modes were compared: chemostat, repeated batch operation using a single fermentor (RBSF) and RBTF; in each case account was made of the lag period before growth. The simulated fermentor performances were assessed on the basis of the penicillin productivity and concentration; the simulation was based on published batch fermentation data. It was shown that RBTF was superior to RBSF and chemostat. The advantage of RBTF increased as the lag period became greater.     

大亚湾核电站18个月换料对流体系统的影响分析和论证

分析了大亚湾核电站18个月换料对流体系统可能产生的影响，根据改进后的燃料管理策略以及相关参数变化，遵照系统设计准则的要求。对14个流体系统的容量和能力进行了计算和论证。论证结果表明，大亚湾核电站现有系统基本满足18个月换料的需求     

瓷质抛光砖批量色差产生的原因与对策

从原料与生产工艺过程分析了瓷质势光砖批量色差产生的原因，并提出了相应对策，为生产质量佳化提供一定的参考。     

数字压力计检定装置

在贵州国防区域计量站5505校准实验室建立了一套数字压力计检定装置,可满足对区域内各工厂开展数字式压力仪器检定的要求.     

Sequential batch reactor for eucalypt kraft pulp effluent treatment with Trametes versicolor

BACKGROUND: A sequential batch reactor (SBR) was used for eucalypt kraft pulp effluent treatment with Trametes versicolor. A 2³ full factorial design and response surface methodology were applied to optimise the batch fermentation conditions. Effluent concentration, culture medium and inoculum age were the factors selected for this study in order to optimise the reduction of chemical oxygen demand (COD). RESULTS: The presence of Trametes Defined Medium (TDM) in the fermentation was required to obtain a significant COD reduction. Experiments in the batch reactor confirmed, in general, the predicted results of optimisation developed from Erlenmeyer batch assays. The T. versicolor culture remained active during 42 days of study in the SBR, providing approximately 80% of COD reduction. CONCLUSION: Trametes versicolor may be considered as very promising for the biological treatment of effluents from kraft pulp mills in an SBR system instead of the activated sludge mixed cultures traditionally used. Copyright © 2008 Society of Chemical Industry     

NIST Chemistry Webbooks数据库的批量查询和数据采集

NIST(The National Institute of Standards and Technology)Chemistry web Books(即美国国家标准与技术局化学数据库)是提供各种化合物化学和物理性质的免费查询数据库。作者简单介绍了NIST网上化学数据库Chemis-try Webbooks的查询语法。并根据自己的使用经验用示例详细介绍了自己开发的NIST数据库的批量查询和数据采集软件。成功地解决了NIST不能批量查询，及查询后有效数据的自动采集问题。