SFTMP——一个实现软件容错的多处理机系统

多版本软件通过设计相异性实现了软件容错。为了对这种方法进行研究，我们的课题实现了一个三版本软件系统，称之为SFTMP（SoftwareFault－TolerantMultiProcessor）。本文描述了SFTMP的硬件结构和软件执行支持环境，该环境包括同步、表决和监控功能、版本间的通讯及故障的恢复和重构。     

从76届SEG年会看综合物化探技术的发展方向

文中在介绍76届SEG年会的展商、展台及会场专题报告与论文发布情况的基础上，阐述了参加本届SEG年会的体会，指出了重磁电技术发展的四个趋势：向海洋勘探技术方向发展、向复杂区综合勘探技术方向发展、向三维联合处理和三维可视化解释技术发展、向直接圈定和检测油气方向发展。     

基于窗口的面向对象的GUI设计

文中讨论了一种基于窗口的对象用户界面设计思想及方法，详细描述了各种类的定义。在ＤＯＳ环境下运用ＷａｔｃｏｍＣ＋＋语言在微机上开发运行。它可以使用户方便地进行再开发工作，界面运用事件处理方式由窗口、弹出菜单、图标、按钮等组成。效果良好。     

利用扫描电镜研究三维电极主电极表面腐蚀状况

借助扫描电镜（SEM）对不同实验条件下的三维电极主电极表面腐蚀状况进行研究。结果表明，三维电极主极阳极的内侧腐蚀程度远大于其外侧，水样性质、电极材料性质对电极的腐蚀程度有很大的影响，不锈钢做三维电极主电极优于铝、铁电极。为三维电极主电极的选材提供了一定的理论依据。     

Dealing with software viruses: A biological paradigm

We introduce a probability model for populations of cells and viruses that interact in the presence of an anti-viral agent. Cells can be infected by viruses, and their longevity and ability to avoid infection are modified if they survive successive attacks by viruses. Viruses that survive the effect of the anti-viral agent may find that their ability to survive a future encounter with molecules of the anti-viral agent is modified, as is their ability to infect a healthy cell. Additionally, we assume that the anti-viral agents can be a cocktail with different proportions of agents that target different strains of the virus. In this paper, we give the state equations for the model and derive its analytical solution in steady state. The solution then provides insight into the appropriate mix or “cocktail” of anti-viral agents that can be designed to deal with the virus' ability to mutate. In particular, the analysis shows that the concentration of anti-viral agent by itself does not suffice to ultimately control the infection, and that it is important to dose a mix of anti-viral agents so as to target each strain of virus in a specific manner, taking into account the ability of each virus strain to survive in the presence of the anti-viral agents. Models of this kind may eventually lead to the computer aided design of therapeutic protocols or drug design.     

Volumetric three‐dimensional up‐conversion display medium

Abstract— Several rare‐earth‐doped fluoride crystals that are excited to emit visible light by sequential two‐photon absorption have been investigated as display‐medium candidates for static volumetric three‐dimensional displays. Dispersion of powders of these materials in a refractive‐index‐matched polymer is reported because such a medium may result in a scalable display. The scattering problem in such a medium is greatly reduced by index‐matching the polymer to the crystalline particles. An index‐matching condition that optimizes the performance is identified.     

Constraint-based beautification and dimensioning of 3D polyhedral models reconstructed from 2D sketches

3D models reconstructed from 2D sketches are inaccurate because of the inherent inaccuracies in the input and the reconstruction method. It is therefore necessary to “beautify” them before use in CAD systems. We present a method that detects geometric constraints, such as parallel and orthogonal faces, present in the reconstructed model and then selects a subset that constrains the object sufficiently and consistently. The subset selection algorithm first prioritizes the constraints depending on their type and then uses a novel method, based on quasi-Newton optimization, to detect and eliminate redundant and inconsistent constraints. The remaining constraints then define the dimensions of the model fully and consistently. Results from our implementation show that the method can beautify and dimension recovered 3D models correctly at acceptable speed.     

3D model retrieval using principal plane analysis and dynamic programming

Three dimensional models play an important role in many applications; the problem is how to select the appropriate models from a 3D database rapidly and accurately. In recent years, a variety of shape representations, statistical methods, and geometric algorithms have been proposed for matching 3D shapes or models. In this paper, we propose a 3D shape representation scheme based on a combination of principal plane analysis and dynamic programming. The proposed 3D shape representation scheme consists of three steps. First, a 3D model is transformed into a 2D image by projecting the vertices of the model onto its principal plane. Second, the convex hall of the 2D shape of the model is further segmented into multiple disjoint triangles using dynamic programming. Finally, for each triangle, a projection score histogram and moments are extracted as the feature vectors for similarity searching. Experimental results showed the robustness of the proposed scheme, which resists translation, rotation, scaling, noise, and destructive attacks. The proposed 3D model retrieval method performs fairly well in retrieving models having similar characteristics from a database of 3D models.     

An efficient method for developing requirement specifications for plant control software using a component-based software prototype

This paper proposes an efficient method to develop requirement specifications for Plant Control Software (PCSW) using software-component-based prototypes. Prior to this proposal, domain analyses were conducted on existing PCSWs, and their functions were classified into “similar functions” and “individual functions”. Then PCSW Software Components (PSC: PCSW Software Component, PSCs: PCSW Software Components) were developed to correspond to these functions. PSCs as parameter-style components were developed in order to satisfy the clients’ (we define clients as owners, managers and operators of plants) requirements. A support environment for developing requirement specifications was developed. The environment consists of the Prototype Development Tool (PDT), the Behavior Check Simulator (BCS) and the Requirement Specification Development Tool (RSDT). The method consists of four steps. In the first step, PDT is used to define the parameters to customize PSCs and to compose a PCSW prototype by setting these parameters to PSCs. In the second step, BCS is used to execute the composed PCSW prototype and check its behavior and relevancy against the clients’ expectations. In the third step, steps 1 and 2 are repeated until the behavior of the PCSW prototype satisfies the clients’ requirements. Finally, a requirement specification is developed from the PCSW prototype which fully reflects the clients’ requirements. In order to evaluate the proposed method, it has been applied in five development cases. A Requirement Coverage of 91%, a Requirement Revision Rate of 6%, a PSC Reuse Rate of 92% and a LOC Reuse Rate of 83% have been achieved. In addition, a reduction of 55% in the amount of time required to develop requirement specifications has been achieved. These results indicate that the proposed method has sufficient capability to develop an exhaustive and an adequate PCSW requirement specification. And the developed PSCs have sufficient functions and capability to compose PCSW prototypes, and the support environment is capable of shortening the time taken to develop requirement specifications.