地质工程监测信息系统开发

功能完善的地质工程监测系统在水电工程、环境工程及露天采矿工程等等中的重要性己日益显露出来。为此, 本文提出了地质工程监测信息系统的构想, 并从开发方法选择、功能需求分析、系统设计特征及系统开发实施四个主要方面, 对地质工程监测信息系统开发中若干重要问题进行了探讨。     

自适应原型法的要点

本文在对当前原型法中的数据驱动分析的基础上，提出了一种新的原型化开发方法：“自适应原型化开发方法”。该方法可用于构造具有高度自适应能力的、易维护的应用系统。     

李萨如图形的计算机模拟--大学物理CAI软件开发实例

利用计算机绘制动态演示图形，观察、分析、研究李萨如图形的规律．     

维也纳分析方法及其应用

介绍了软件开发方法中的一种形式化分析方法：Vienna Development Method(VDM)。阐述了形式化分析方法的特点，具体说明了维也纳分析方法规格说明的两种规范：模块化说明与非模块化说明，及程序证明性依据：基于函数与操作的形式化规格说明。然后通过一个应用实例来说明如何利用VDM技术进行软件开发，及利用函数与操作的形式化规格说明来证明程序是正确的。     

软件服务供应链合同设计与协调策略

考虑了整合式软件服务供应链和分散式软件服务供应链两种模式,以整合供应链为基准对分散供应链下的软件开发合同设计与协调问题进行了研究。在分散供应链下,分析了固定价格合同、销量激励合同和成本分担合同三种合同对供应链收益的影响,探索了这些合同的激励机制,考察了这些合同的适用环境。研究表明:三种合同中,成本分担合同对软件开发商的激励最高,达到了整合供应链下的协调水平;固定价格合同适用于软件用户对质量不太注重而对价格比较敏感、以及开发成本较高的情形,销量激励合同适用于软件用户对质量比较注重而对价格不太敏感、以及开发成本较低的情形,成本分担合同适用于平台运营商易于监测软件开发商开发成本的情形。     

基于USB的卫星通用化地面测试软件的设计

本文将软件工程中的组件技术引入卫星测试领域,提出了利用测试功能组件构建通用化测试软件的设计思路。首先,对现有卫星型号的地面测试任务做共性研究;其次,总结通用化测试软件的研制需求;然后,进行软件概要设计和详细设计;最后,软件实现。经验证,本文提出的基于USB接口的卫星通用化地面测试软件,通用性强,能较好的满足多个分系统单机设备的测试要求。     

基于Eclipse图形建模框架的图形化脉冲序列设计软件的实现

采用Eclipse图形建模框架（Graphical Modeling Framework,GMF）技术构建了一个图形化磁共振脉冲序列设计软件．软件具备所见即所得的特点,用户使用拖放方式所画出的脉冲序列与教科书和参考文献上的脉冲序列几乎一样．软件支持核磁共振（Nuclear Magnetic Resonance,NMR）波谱和磁共振成像（Magnetic Resonance Imaging,MRI）的脉冲序列设计,同时提供实验参数管理模块,实现脉冲序列基础上的NMR实验设计和执行预览．得益于GMF完善的模型-视图-控制器模式和强大的代码生成能力,软件开发周期大幅度缩短、扩展能力大幅度提高．     

一体化核磁共振谱仪控制台的软件系统设计

提出了一体化核磁共振谱仪控制台的软件系统设计方案,主要包括2部分,一部分是安装在谱仪控制台上的嵌入式Linux操作系统及实时控制软件,另外一部分是PC机上的界面控制软件. 2部分软件之间利用socket网络接口进行数据交互, 采用TCP/IP通信协议,这样既能保证数据传输的可靠性又可以达到较高的数据传输速率. 通过网络通信,该谱仪控制台还可以接受远程操控和系统升级. 该文具体阐述了该软件系统的设计思路和设计方法,对设计的软件系统进行了实验测试,并对实验结果进行了讨论.     

计算应用物理化学工具箱的建立

讨论了集数值计算、可视化图形处理、开放式多功能于一体的语言MATLAB,介绍了利用MATLAB开放式可扩充体系结构特点,开发计算应用物理化学工具箱的意义、设计方案、技术要求与实现过程.     

Partitioning,Automation and Error Recovery in the Control and Monitoring System of an LHC Experiment

The Joint Controls Project(JCOP)is a collaboration between CERN and the four LHC experiments to find and implement common solutions for their control and monitoring systems.As part of this project and Architecture Working Group was set up in order to study the requirements and devise an architectural model that would suit the four experiments.Many issues were studied by this working group:Alarm handling,Access Control,Hierarchical Control,etc.This paper will report on the specific issue of hierarchical control and in particular partitioning,automation and error recovery.