On the secure implementation of security protocols

We consider the problem of implementing a security protocol in such a manner that secrecy of sensitive data is not jeopardized. Implementation is assumed to take place in the context of an API that provides standard cryptography and communication services. Given a dependency specification, stating how API methods can produce and consume secret information, we propose an information flow property based on the idea of invariance under perturbation, relating observable changes in output to corresponding changes in input. Besides the information flow condition itself, the main contributions of the paper are results relating the admissibility property to a direct flow property in the special case of programs which branch on secrets only in cases permitted by the dependency rules. These results are used to derive an unwinding theorem, reducing a behavioural correctness check (strong bisimulation) to an invariant.     

Coordinated scheduling of production and delivery from multiple plants

This paper deals with the scheduling of orders and vehicle assignment for production and distribution planning in a scenario of no-wait, immediate delivery to the customer site. We first describe the problem and then present an integer programming model that maximizes the weighted value of the orders served. We consider a special case of the problem which can be solved in polinomial time by a minimum cost flow algorithm. Based on this approach we develop a heuristic procedure for the general case. Comparisons with an exact graph-based method attest that our heuristic produces good-quality solutions in short running times.     

Automation of cytokine flow cytometry assays

Cytokine flow cytometry (CFC) is a multiparameter assay of antigen-specific T cell function, potentially useful in the monitoring of experimental vaccines and progression of infectious diseases and cancer. Automation of CFC assays would greatly facilitate their use in clinical trials and involves several components. We describe here the migration of these assays to 96-well plates, the use of sample-handling robotics, and the use of lyophilized antigen and antibody plates to help automate CFC. Together, these elements can produce an integrated system capable of walkaway automation of an entire assay, resulting in the reproducible processing of potentially hundreds of samples per day. Implementation of such systems has begun to be undertaken by our group and others.     

换热器总传热量偏差的数值模拟研究

应用理论分析和数值模拟的方法，研究了换热器因各股流道流速分布不均匀而造成的总传热量偏差。研究结果表明，在恒壁温的条件下，当各流道流体流速不均匀程度达到4倍时，换热器的总传热量偏差在3%以内，而进出口压降将增加约23%。     

论明槽挟沙水流的阻力

从挟沙水流的能量平衡原理出发 ,指出泥沙的运动从两个方面影响水流的阻力 :一是由于卡门常数的减小而引起的阻力减少 ,二是由于推移质泥沙的存在而引起的阻力增大。两者对阻力的作用正好相反 ,因而挟沙水流阻力比清水可能减小、增大及不变 ,取决于两者的对比程度。并从理论上给出了动平整床面挟沙水流阻力的计算公式 ,该公式的计算结果与实测资料吻合较好     

Application of local variations and maximum sensitivities selection for optimal placement of shunt capacitor banks under nonsinusoidal operating conditions

A new iterative algorithm is proposed for optimal sizing and placement of fixed and switched capacitor banks in radial distribution lines in the presence of linear and nonlinear loads. The method is a combination of maximum sensitivities selection (to improve convergence by selecting candidate buses) and local variations (to improve accuracy in the permissible solution region) and is implemented using the HARMFLOW codes. Objective functions include minimum energy losses, peak losses and capacitor costs while IEEE-519 power quality limits are used as constraints. The 18 bus IEEE distorted system is used to investigate the advantages and limitations of the proposed algorithm and compare its performance with the maximum sensitivities selection (MSS) method. The contributions of the proposed algorithm, as compared to prior publications, are the consideration of harmonic couplings and reactions of actual nonlinear loads, improved convergence and more accurate solutions.     

汽液两相流自调节水位控制器在石嘴山发电厂330 MW机组上的应用

介绍了汽液两相流自调节水位控制器在国电宁夏石嘴山发电有限责任公司330MW机组加热器上的应用情况，通过对该水位控制器原理、现场安装、调试及生产运行中加热器水位变化的观察记录，证实水位控制器控制稳定、效果突出，其安全性、经济性、可靠性均很好。     

石灰石-石膏湿法FGD中喷嘴的选择及布置设计

章论述了喷嘴在石灰石一石膏湿法工艺中的重要地位、作用和工作原理，介绍了喷嘴的主要性能参数，分析了几种喷嘴的性能特点。在此基础上，结合国内外喷嘴布置设计的经验，总结了喷嘴布置设计中应注意的问题。     

基于利润最大化的奥运商业网点分布微观经济模型

本文首先通过多元统计分析发现了统计数据中的一般规律,并讨论了数据中所反映出的某些与常识不一致之处。在通过图论的有关知识确定观众进出体育场馆的模式之后,我们建立了一个简单实用的基于成本利润分析的整数规划模型。通过Lingo、Matlab软件的模拟,该模型与现实环境和有关经济理论拟合较好,可以为2008年奥运会迷你超市的设置提供一定的参考。     

计及统一潮流控制器的可用输电能力的计算

在电力市场环境下，研究和计算区域间可用输电能力可以引导市场参与者进行电能交易，保证充分利用电网输电容量，而研究计及FACTS装置的可用输电能力的计算更具有理论和实际意义。文中基于最优潮流，提出计及统一潮流控制器的可用输电能力的计算模型，利用功率注入法，将统一潮流控制器对潮流的控制作用转移到所在线路两侧的节点上，在不修改原有节点导纳阵的情况下嵌入模型。算法上采用逐步二次规划法，IEEE．30节点系统的计算结果表明，所提出的模型及算法是有效的和可行的。