Automating application software generation

Many approaches have been proposed to enhance software productivity and reliability. These approaches typically fall into three categories: the engineering approach, the formal approach and the knowledge-based approach. But the optimal gain in software productivity cannot be obtained if one relies on only one of these approaches. This paper describes the work in knowledge-based software engineering conducted by the authors for the past 10 years. The final goal of the research is to develop a paradigm for software engineering which integrates the three approaches mentioned above. A knowledge-based tool which can support the whole process of software development is provided in this paper.     

抗窄带干扰宽带中频数字接收机的设计与实现

讨论了存在强干扰条件下MSK中频数字接收机的频域窄带干扰抑制、伪码快速捕获、MSK相干解调等实现方法。具体实现中提出了基于功率估计的码捕获门限实时调整方案，解决了动态干扰条件下的快速码捕获问题。基于FPGA DSP硬件设计和软件可编程数字信号处理算法，接收机具有较强的适应性和稳定性。     

储运罐区计算机监测系统的开发与应用

储运罐区计算机监测系统是石化企业自动控制的薄弱环节。中国石油集团公司抚顺石油一厂使用ZYG-101型电子智能液位仪，以及使用FIX组态软件完成该系统的数据库组态、工艺流程显示、实时和历史趋势显示、报警和报表等处理过程，通过二次表的串行口与计算机进行通信，由计算机实时监测每个罐的各种重要参数。运行证明：该系统测量误差小，数据实时性好．易于存储及远程传送，较理想地达到储运罐区的自动检测功能。     

User Interfaces for Complex Engineering Software: Application of Virtual Reality

IT systems for engineers are becoming more numerous and complex and will further proliferate in the future. It is infeasible to expect users to be trained to work with a plethora of systems, especially as many of them will only see occasional use. Therefore, in the near future, systems will need user interfaces that allow intuitive access and usage. This paper examines a new style of user interface based on virtual reality.     

Efficient Spreadsheet Algorithm for First-Order Reliability Method

A new spreadsheet-cell-object-oriented algorithm for the first-order reliability method is proposed and illustrated for cases with correlated nonnormals and explicit and implicit performance functions. The new approach differs from the writers earlier algorithm by obviating the need for computations of equivalent normal means and equivalent normal standard deviations. It obtains the solution faster and is more efficient, robust, and succinct. Other advantages include ease of initialization prior to constrained optimization, ease of randomization of initial values for checking robustness, and fewer required optimization constraints during spreadsheet-automated search for the design point. Two cases with implicit performance functions, namely an asymmetrically loaded beam on Winkler medium and a strut with complex supports are analyzed using the new approach and discussed. Comparisons are also made between the proposed approach and that based on Rosenblatt transformation.     

中子寿命测井在评价管外窜槽中的应用

管外窜槽已成为制约中原油田注水开发的障碍，并造成了严重的经济损失。文中分析了管外窜槽的形成机理，重点介绍了注硼中子寿命测井技术用于管外窜槽监测的原理、工艺及解释方法。结合中原油田的应用实例，论证了中子寿命测井评价管外窜槽的有效性，为油藏动态监测提供了有效手段。     

项目管理软件的开发思路

详细介绍了项目管理的发展及项目管理软件的现状。通过对P3管理软件的分析论述，得出项目管理软件系统的开发方案。     

变形观测与高精度测量机器人系统

介绍了中南大学自行研制开发的高精度测量机器人系统的组成，工作原理，以及该系统实现高精度观测所采取的主要措施；仪器室内检定，野外边频同测，高精度气象改正，周日观测等，同时以某电站大坝的变形观测为例，简单介绍该系统可达到的精度及工程应用领域。     

工业炉燃烧系统应用技术探讨

燃烧及其控制技术是各种火焰炉技术核心，强调高水平燃烧系统应对燃烧全过程进行控制，着重对燃烧系统点火、火焰监测、空燃比比例调节、燃烧过程各参数监控、炉温自动控制等各个方面内容进行了讨论介绍，最后用某天然气加热炉燃烧系统原理图及应用效果进行实例说明。     

Metric-based reasoning about pseudocode design in the partial metrics system

The goal of the PMS project is to produce an environment in which the intelligent online assessment of the design for large-scale ADA programming projects is provided. The focus is on the representation of knowledge about the design process for an individual module. Changes in pseudocode complexity are measured in terms of partial metrics. These metrics can take the designers inferences about the pseudocode program structure into account when assessing module complexity. Next, a model of the stepwise refinement process is given which demonstrates how pseudocode elaboration decisions can be modelled in partial metric terms. Finally, the decisions associated with each refinement step for 17 example refinements taken from the computer science literature are described using partial metrics.