任务工期随实际开工时间变化的RCPSP精确算法

针对资源受限项目调度展开讨论 .与前人研究的侧重点有所不同 ,我们考虑了项目中每个任务工期随其实际开工时间而变化、任务对可更新 (再生 )资源需求的任意分布、以及可更新 (再生 )资源的最大供给量随着时间而变化的一般情形 .作为对前人研究结果的进一步推广 ,我们利用分枝定界技术 ,以及事件驱动的时间增量方式 ,成功地获得了这种一般的项目调度问题的最优解 .     

系统仿真的发展沿革与展望

本文对系统仿真技术的发展作了扼要的历史回顾，着重介绍了仿真技术近期发展的基础、社会需求和今后发展趋势     

UML系统分析方法

着重讨论了UML对象建模技术在软件开发活动中系统分析（00A）阶段的运用，提出了UML完成需求分析的基本过程，最后，通过一个简便说明UML进行00A的一般方法。     

激光印字机的汉字输出与仿真

在激光印字机的汉字输出过程中有两个突出问题需要解决:一是每页信息容量大与控制器内部存贮器空间小的矛盾,二是输出速度高与微机指令执行速度慢的矛盾。 本文围绕着这两个问题,讨论控制器总线的驱动,数据流动路径的选择,软件写入与硬件读出的两个行存贮器结构及控制器的实时仿真等问题。     

A Formal Method to Model Early Requirement of Multi-Agent System

A formal specification language iFL based on i framework is presented in this paper to formally specify and analyze the early requirement of multi-agent system. It is a branching temporal logic which defines the concepts and models in i framework in a rigorous way. The method to transform the i models to iFL formal specification is also put forward.     

SMP与RISC的功能对比

本文对SMP和RISC技术加以比较，以便展望计算机硬件技术的发展．     

优化计算机内存提高系统效率的几种方法

介绍充分利用设备驱动程序，提高系统效率，优化计算机内存的几种方法。     

复杂长骨骨折的手术治疗

目的：评价记忆合金接骨板治疗复杂长骨骨折的临床疗效．方法：应用记忆合金接骨板治疗复杂长骨骨折52例．结果：全部病例获得随访，时间8～18个月，平均12个月，无骨折延迟愈合及不愈合．结论：利用记忆合金接骨板治疗复杂长骨骨折，手术操作简单及风险小，能满足早期功能练习的要求，值得推广．     

基于仿真的系统需求约束问题求解算法研究

提出了一种基于仿真的求解系统需求约束问题的算法，它基于实际总理2中存在的独立单调性原理，采取了超盒数值逼近方法，高效地逼近所求的系统使命轨迹。该算法极大地缩减了搜索空间，并克服以前依赖解析函数关系求使命轨迹的缺陷，使得复杂系统的使命轨迹的生成成为可能，本文用该算法与相应仿真手段于一概念上的反隐身防空C^3I系统使命轨迹的生成，取得了较好的效果，最后，进一步讨论了提高算法计算速度的几种策略。     

一种基于模型的可视化汽车电子软件需求表示方法

汽车电子软件是一类控制汽车机械和动力部件、实现各种汽车安全和舒适功能的高可靠实时嵌入式软件，其需求分析和设计方法是目前软件工程面临的重要挑战之一。本文主要研究汽车电子软件的需求表示方法，将原始需求划分为多个层次和视角，采用多种图形语言对系统的各个侧面进行表示，并揭示各个部分模型之间的关系，力图以可视化的方式形成问题空间的全景“蓝图”和局部可缩放视图。该方法的使用，有利于降低表示需求的复杂度，便于从需求模型到设计模型的平滑过渡。