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.     

面向对象的程序设计语言CLUSTER86的设计与实现

本文介绍了笔者设计并实现的一种新型的面向对象的程序设计语言,着重讨论了在设计过程中采用的新的概念,并和其它类似语言作了比较.     

SD2300在新型TMS320F28x DSP实时监测系统中的应用

SD2300是兴威帆电子公司生产的一种新型高精度实时时钟芯片。TMS320F2812是TI公司最新推出的DSP芯片，该芯片广泛地运用于测控和控制场合。文中给出了基于SD2300和TMS320F2812的时钟输入、低功耗“软件时间锁”的硬件和软件设计方法。     

基于SDL的通信软件维护模型SMM

软件维护是软件生存周期的一个重要且花费很大的阶段，维护工作的自动化是软件行业十分迫切的需要。本文提出了一个基于ＩＴＵ－ＴＳＤＬ语言的通信软件维护模型ＳＭＭ。在此模型中，软件维护被分成三个部分：建立面向维护的数据库，制定维护规范和基于功能转换的自动维护。该模型将有助于软件维护支撑环境的建立