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.     

浅析露天栈桥改造

结合工程实例，论述了露天栈桥产生裂缝和腐蚀的原因，对栈桥结构进行了评价，提出了加固方案及加固施工中应注意的事项，经使用证明，加固效果良好。     

Experimental Research on Erbium-doped Superfluorescent Fiber Source

The effects of the variations in fiber length, fiber mirror reflectance on efficiency and output power are experimentally investigated for erbium-doped double pass backward superfluorescent fiber sources (SFSs). The influence of fiber length on mean wavelength stability (MWS) has also been demonstrated. By incorporating a short section of un-pumped erbium-doped fiber (EDF) at the output port, the pump power dependent on MWS becomes independent of pumped EDF length. This is a novel phenomenon that hasn‘t been reported up to now,and should be helpful to SFS fabrication and theory analysis. By using a fiber Michelson interferometer as spectrum slicing component,a multi-wavelength fiber source (MWFS) with ～20 channels (from 1542nm to 1559nm) is got. The MWFS has a channel spacing of ～0. 8 nm which satisfies ITUstandard. The intensity fluctuation among channels is less than 0.5dB,and the extinction ratio of all channels is above 14dB. This kind of MWFS should be useful to wavelength division multiplexing systems.     

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

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

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的设计与实现

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