漏斗贮料压力计算公式

本文从平衡条件和常系数假定出发，建立贮料压力微分方程，导出了正倒锥漏斗、倒锥漏斗贮料压力计算公式。文中说明，圆柱仓筒贮料压力微分方程为上述方程的特殊情形。本文成果可供筒仓工程设计使用，还可供确定斗口给料机贮料荷载参考。     

Inference and retrieval of facial images

Attempts have been made to extend SQL to work with multimedia databases. We are reserved on the representation ability of extended SQL to cope with the richness in content of multimedia data. In this paper we present an example of a multimedia database system, Computer Aided Facial Image Inference and Retrieval system (CAFIIR). The system stores and manages facial images and criminal records, providing necessary functions for crime identification. We would like to demonstrate some core techniques for multimedia database with CAFIIR system. Firstly, CAFIIR is a integrated system. Besides database management, there are image analysis, image composition, image aging, and report generation subsystems, providing means for problem solving. Secondly, the richness of multimedia data urges feature-based database for their management. CAFIIR is feature-based. A indexing mechanism,iconic index, has been proposed for indexing facial images using hierarchical self-organization neural network. The indexing method operates on complex feature measures and provides means for visual navigation. Thirdly, special retrieval methods for facial images have been developed, including visual browsing, similarity retrieval, free text retrieval and fuzzy retrieval.     

The formalization and analysis of a communications protocol

The MSMIE protocol [SBC89] allows processors in a distributed system to communicate via shared memory. It was designed to meet the reliability and efficiency needs of applications such as nuclear safety systems. We present a formal model of the MSMIE protocol expressed in the notation CCS. Desirable properties of the protocol are expressed in the modal mu-calculus, an expressive modal logic. We show that the protocol lacks an important liveness property. In actual operation, additional operating constraints are checked to avoid potential problems. We present a modified protocol and show that it possesses the liveness property even without checking operating constraints. We also show how parts of the analysis were automated with the Concurrency Workbench.     

强度调制／直接检测（IM／DD）光纤通信系统色散限制的研究

通过引入归一化脉宽Ｐ和相对脉冲展宽因子ｑ，提出了一个适用于ＩＭ／ＤＤ系统中各种眼图恶化量ｘ和归一化脉宽Ｐ的色散限制改进公式。通过与其它理论的比较、计算机仿真和对实验数据的分析，验证了该公式的正确性，并给出了其它结果的限制条件。研究表明：当眼图恶化量ｘ为１ｄＢ左右时，对２．５Ｇｂ／；外调制信号（α＝０）而言，非色散位移光纤ＩＭ／ＤＤ系统的色散因子γ约等于０．７９，所对应的系统再生中继距离约为９００余公里。     

A bidding decision index for construction contractors

Results from applying the model on a sample of contractors, the majority of whom were international and operating in Egypt, reinforces the credibility of the developed methodology, claim the authors.     

基于AHP法的主导产业选择研究——以娄底市为例

适时地选择和培育符合经济发展阶段要求的主导产业，对一个地区的发展具有重要的战略意义。采用层次分析法（AHP法）进行工业主导产业选择可以取得比较好的效果。从评价指标的选择、调查表格的设计及统计整理等方面对采用AHP法进行主导产业的选择进行了探讨，并以娄底市为例进行了论证。     

G.652光纤长途传输系统的色散补偿

针对当前国内长途传输光缆系统在扩容过程中，因光信号色散而影响传输质量的现象，结合实际工程建设，分析了光信号色散的危害及其成因，并提出了相应的解决办法及建议。     

Application of condition-based HRA method for a manual actuation of the safety features in a nuclear power Plant

A practical approach to develop a more realistic fault-tree model with a consideration of various conditions endured by a human operator is proposed. In safety-critical systems, the generation failure of an actuation signal is caused by the concurrent failures of the automated systems and an operator action. These two sources of safety signals are complicatedly correlated. The failures of sensors or automated systems will cause a lack of necessary information for a human operator and result in error-forcing contexts such as the loss of corresponding alarms and indications. It is well known that the error-forcing contexts largely affect the operator's performance. An automated system which consists of multiple processing channels and complex components is also affected by the availability of the sensors. This paper proposes a condition-based human reliability assessment (CBHRA) method in order to address these complicated conditions in a practical way. We apply the CBHRA method to the manual actuation of the safety features such as a reactor trip and auxiliary feedwater actuation in Korean Standard Nuclear Power Plants. Even the human error probability of each given condition is simply assumed, the application results prove that the CBHRA effectively accommodates the complicated error-forcing contexts into the fault trees.