可追溯的绿色安全猪肉生产系统研究

现在，养猪生产者滥用激素、微量元素和违禁药物饲养生猪，而消费者却无法识别这种猪肉，严重地威胁着消费者的食品卫生安全。为此，应用射频识别技术，采用综合软件管理，以一维条形码实行三网合一查验的方式来建立猪肉生产卫生安全跟踪系统，是保障消费者食品卫生安全的理想方法。     

大黑汀大坝安全监测应用分析软件的开发与应用

在大坝安全监测工作中,结合实际工程情况和工作需要,利用Visual Basic 6.0编程语言,开发出一套实用的安全监测应用分析软件,解决了数据共享、监测成果检查、自动化与人工测值比较、各种数据报表输出、历史数据提取、过程线分布图绘制等许多实际应用问题,极大地提高了工作效率,实现了大坝安全监测自动化。     

Multi-Reservoir System Optimization using Chlorophyll-<Emphasis Type="Italic">a</Emphasis> Trophic Indexes

The problem of managing water scarcity by resorting to complex interconnected multi-source water systems needs to utilize management optimization techniques analyzing aspects of water quantity and quality in a common strategy. In the southern regions of Mediterranean Europe, the greater part of water resources for supply systems are derived from artificial reservoirs and water systems can become quite complex since they interconnect several sources and demand centers, as indeed occurs in the Region of Sardinia (Italy). A simplified approach to the requirement to insert water quality aspects in the mathematical optimization model can be achieved by examining the trophic conditions of reservoirs. Trophic State Indexes (TSI) based on Carlson’s (1977) make it possible to insert quality constraints in the water management optimization model also considering complex multi-reservoir and multi-user systems. Model formalization and implementation by the optimization toolkit WARGI (Water Resource system optimization aided by Graphical Interface) (Sechi and Zuddas 2000; Manca et al. 2004; Salis et al. 2005) is illustrated in this paper. The usefulness of a mixed quantity–quality optimization approach has been confirmed by WARGI application to a real multi-reservoir water resources system in southern Sardinia. The optimization model remains computationally efficient dealing with this complex multi-reservoir system and the obtained results can be seen as a reference target in a subsequent simulation phase.     

Empirical Evaluations of Usage-Based Reading and Fault Content Estimation for Software Inspections

This thesis describes six empirical investigations of two techniques applied to software inspections, namely reading techniques and fault content estimation techniques. The first part of the thesis presents a series of experiments of a novel reading technique called usage-based reading. The second part investigates fault content estimation applied to the software inspection process. The estimation methods used are capture-recapture and curve fitting.     

包钢热电厂综合管理信息系统

本文论述了包钢热电厂综合管理信息系统的设计思想、功能模块、数据库和实现方法。该系统实现了生产数据及相关信息的数据采集与各类指标的管理统计、设备及材料的管理等各项业务处理，使得生产信息准确、唯一地传递，为生产经营者提供全面查询、分析、预测的依据，基本达到“无纸办公”的水平。     

COPART:一种面向约束条件的自适应软硬件划分算法

本文介绍一种将自适应算法、遗传算法和列表调度算法结合起来应用于软硬件划分问题的算法COPARTART，并提出了一种基于约束条件的开销系数自适应调整方法，该方法所获得的划分结果能够良好体现设计目标。     

移动式数据挖掘平台模型

本文提出了一种移动式网络海量数据挖掘平台，给出了数据挖掘任务的形式化描述，详细讨论了平台的体系结构、工作原理与流程。该平台克服了传统网络计算模式的缺陷，支持对异质、分散数据源和知识源的挖掘和检索，具有开放性、可伸缩性、灵活性、可扩展性、健壮性。     

Parallelization of WHILE loops on pipelined architectures

Modulo scheduling theory can be applied successfully to overlap Fortran DO loops on pipelined computers issuing multiple operations per cycle both with and without special loop architectural support. This paper shows that a broader class of loops—REPEAT-UNTIL, WHILE, and loops with more than one exit, in which the trip count is not known beforehand—can also be overlapped efficiently on multiple-issue pipelined machines. The approach is described with respect to a specific machine model, but it can be extended to other models. Special features in the architecture, as well as compiler representations for accelerating these loop constructs, are discussed. Performance results are presented for a few select examples.An earlier version of this paper was presented at Supercomputing '90.     

模块化软件开发的标准化内涵和优势分析

简述了模块化理论的基本观点，着重从消费者和生产者两个角度分析了实施软件模块化开发的优势，指出了模块化开发的标准化内涵，揭示了软件开发方法上的模块化趋势。     

计算机技术在电子装备测试系统中的应用研究

在现代测试技术快速发展的今天，计算机已成为武器装备自动测试系统中不可缺少的重要组成部分。高性能的计算机软件技术更是构建智能型、集成化自动测试系统的关键所在。分析了先进的软件技术在自动测试系统中的应用状况；并以导弹地面测量雷达系统为例，具体介绍了利用系统仿真方法进行装备自动检测的技术实现。