编制计划管理调度程序的运算控制数组方法

1978年我们用国产DJS-21机（配ALGO1-60语言）编制了一个国家旅游计划的管理程序,摸索了一种用通用中小型计算机处理计划管理调度问题的方法,称为运算控制数组方法。目前国家旅游总局已用此程序进行日常的旅游计划调度工作。此方法也适用于编制其他自动化管理程序。     

一种用“应力分析法”对电子系统进行可靠性预计的通用微机程序

本文介绍一种在IBM PC/XT机上开发的、用GWBASIC语言编制而成的、用于电子系统可靠性预计的通用微机程序。文中就数学模型、简要原理、程序框图、软件功能等问题做了较详细的叙述,并通过实际应用的例子介绍了软件的特点、使用情况、经济效益以及推广应用前景。     

火箭的最佳飞行程序

选择火箭最佳飞行程序是火箭设计中的重要一环。本文以最大射程为指标,讨论了选择最佳飞行程序的基本原理和一般方法,并给出四种便于计算的工程简便方法。这些方法既能得出很好的结果,又便于计算,而且这些方法可编成标准程序。这样,烦琐的最佳飞行程序选择问题,就可以借助计算机容易地实现了。     

复杂性涵义、通用设计科学及复杂性工作程序初探

首先基于沃菲尔德的复杂性思想，强调复杂性是一个系统的概念，指出复要性总是以问题的形式式出现，而任何复杂性问题一定同时包括情景复杂性与认知复杂性两个方面，二互为条件。然后介绍了沃菲尔德的通用设计科学及复杂性工作程序，最后对应用上述理论改进软件过程的可行性做了初步分析。     

诉讼程序中的系统观

系统法学的兴起是学科渗透的结果,而系统法学的发展却离不开自主意识的培养。诉讼程序可以被看做是当事人在遵守法律规则的条件下的一种博弈,博弈的公平性是法官作出正确判断以有效解决纠纷的前提。人工智能在诉讼程序中的应用与法官行使审判权是一种互补而非替代的关系。系统方法在诉讼法学的研究中应用广泛,包括对诉讼程序的两面性研究、整体性研究以及学科交叉研究方法的采用,在促进诉讼法学研究的同时也拓展了诉讼法学的研究领域。     

超级程序设计语言

随着计算机技术的成熟,我们建立大系统的能力不断增长,从而正在根本改变程序设计的性质。为建立和维护我们要尝试的任务所需要的复杂系统,现有的程序设计语言将是不合适的。正如高级程序设计语言使程序员摆脱了机器指令码的纠缠,超级程序设计系统能够为理解和使用复杂系统及其组成部分提供一种工具。为了研制这种系统,需要把注意力从算法的详细说明上转开,转移到对我们要建立的对象和程序包的性质的描述上来。本文将分析现有程序设计语言的一些缺点,并为未来的研究提出一些可能的方向。     

基于World Wind的RNP飞行程序三维可视化仿真

针对所需导航性能(RNP)飞行程序的虚拟现实验证问题,结合RNP飞行程序的特点重点解析了航线及RNP隧道的结构和计算方法。利用World Wind三维地理信息系统的二次开发功能,提出了一种RNP飞行程序三维可视化及模拟飞行的方法,实现了高分辨率地理环境下飞行航迹、包容区隧道的三维可视化及动态的模拟飞行。最后利用该方法对典型的RNP飞行程序进行了仿真,结果表明该方法能够方便快速地完成RNP飞行程序三维仿真,可用于RNP飞行程序的设计及验证。     

程序复杂性度量方法实现初探

随着软件复杂性的迅速增长,人们迫切需要一种度量软件复杂性的方法和工具,以便对软件开发过程进行管理以及对软件成本进行预测,从而有效地提高软件生产率,提高软件质量,降低开发成本。本文以我们在IBM-PC机上实现的一个FORTRAN程序复杂性度量工具FORTRAN-EV为背景,介绍几种典型的程序复杂性度量方法及其实现。     

程序属性的UniNet描述

在传统建模方法中,程序操作和程序自我控制相脱离,使得程序的计算与并行特性不能形成完整的一致性的描述,因此形成的规范都只是从某一个角度来刻画了程序.为克服这些不足,本文在揭示程序状态与操作,操作与控制共存的事实的基础上,采用UniNet独特的描述方法来完整而全面地刻画程序.     

从HLA对象到关系数据——HLA仿真中的通用数据库交互

针对传统HLA仿真数据库在设计、实现和应用方面通用性的不足,基于关系数据库,提出了一种适于HLA仿真应用的通用数据库交互方法,研究了HLA对象模型与关系数据模型之间的一一映射和相互转换问题,设计并实现了通用HLA仿真数据库的结构模型及其数据访问模式.该方法能够适用于多种平台、程序设计语言和数据库管理系统,实现了通用性.最后介绍了该通用数据库交互方法的应用情况.     

生物的程序目的性结构

生物体是自调节、自适应系统，任何生物都有维持自身稳定的功能，任何偏离目标值都会自我恢复到稳定状态，生物具有很强的目的性。生物目的性是程序目的性，是借助于程序的控制作用实现的，是基于自然选择的机制形成的。程序具有信息性和控制性。在漫长进化的历史过程中，生命有选择的记录和编码了生命自我保存模式，基因型实质上是信息控制系统。生命实现生存目的性的系统结构是由硬件和软件两部分构成的。     

一类二元表决程序的次序效应研究

在公共政策的选择中，选择结果往往与预先规定的议事程序有关．本文通过对“修正案表决程序”和“顺序表决程序”中议案选择的分析，研究了该两类二元表决程序在不同的投票行为方式下的“次序效应”，得到了相应的结论和定理．     

面向对象方法与面向对象程序设计语言范型

本文将面向对象方法与传统的结构化分析与设计(SASD)方法进行了比较,探讨了面向对象程序设计语言(OOPL)范型和过程性语言范型。最后分析了三类OOPL的特点,并着重讨论了OOPL中一种特殊的类——类属类(generic)。     

有效的符号网络函数生成程序SFGEX

本文介绍符号网络函数生成程序SFGEX的设计和实际运用。该程序依据网络拓展理论的“模型法”来构造,其特点是(1)占内存小,在小型机和微型机上能处理中等规模的电路;(2)运算量很省;(3)能灵活地给出局部子网络的结果而不增加运算量;(4)允许数学宏模输入;(5)程序容易扩充。文中给出了在DJS-6机上计算的例子。其中一个例子,在文献[2]中K.Singhal和J.Vlach认为其规模接近于符号应用有意义的极限。由于本程序在主要方面都具有超过现有其它方法的优点,因此是一个值得向电路设计人员和研究人员推荐的程序。     

面向问题的描述语言及其支撑系统POLTRANS

本文提出一种面向问题的描述语言ＰＯＬ，论述了实现由ＰＯＬ程序向特定面向过程的高级语言源程序转换的翻译系统ＴＲＡＮＳ，两者在方法库的支撑下构成了一种通用的辅助软件开发环境ＰＯＬＴＲＡＮＳ。它适用于拥有大量规范软件方法积累的领域。     

基于MCNP的医学仿真计算建模方法研究

MCNP是用于计算重子、光子或者中子/电子/输运方程的通用蒙特卡罗中性粒子输运计算程序。该系统应用广泛,但其仿真计算的建模工作非常复杂,尤其是面向医学领域应用时,MCNP程序常常因为计算模型规模超出所能承受的极限数量而无法运行。针对这样问题,文章将提出三种基于MCNP的医学仿真计算建模方法,并对各自的优劣进行了比较分析。作者根据三种方法思想编程实现了基于MCNP的医学仿真计算的自动建模及其向MCNP输入文件的自动转换。该程序已经在实际中得到运用,并取得了良好的效果。     

一种适用于软件雷达系统的数据流驱动机制

针对雷达信号处理各功能模块之间显著的流水性特征 ,结合一个通用的雷达信号处理系统———由清华大学研制的通用高速实时雷达信号处理系统的实验样机DSM(dataflow ,sharedmemoryandmultiplebusinterconnec tion) ,在研究现有静态、动态数据流驱动机制特点的基础上 ,提出了一种新型的适用于软件雷达系统的进程间准动态数据流驱动机制 ,并针对一个雷达信号处理的范例程序说明了编译器数据流驱动表的生成和系统数据流驱动的过程。     

应急响应程序时效性评估函数构造与性质分析

应急响应程序是应急预案中的核心部分,应急响应程序时效性评估是其在线动态调整的重要基础,评估关键在于应急响应程序中一环扣一环影响关系的刻画,才能使得评估更贴近实际,进而对响应程序和应急准备的改进更具针对性,更快速和有效.针对多指标综合评估方法无法反映应急响应程序中行动之间逻辑顺序和影响关系的问题,本文基于响应程序,通过构造符合定性认识函数及函数叠加和组合等方法,构造了响应程序时效性与其影响要素关系的函数;然后对所构造函数进行了最优性分析,该结果的进一步推广可为资源布局提供借鉴;最后通过矿井透水事故算例,时效性评估函数与机理计算所得结果的偏差分析,表明可用时效性评估函数做最优性估计.     

单片机程序的限时服务策略及设计

针对单片机软件中由于任务超时导致的运行紊乱情况,提出了一种借助硬件的定时中断机制,只需只量资源就可实现的限时服务处理方法,并针对顺序操作和任务操作两种情况进行详细说明。能够防止和解决程序中出现因条件不满足而无法退出功能模块,出现独占MCU时间,以及多任务机制下的任务重叠,使资源间相互干扰而出现死循环状态或运行状态错误等问题,从而提高系统的冗余度和可靠性。     

MPI程序的Petri网模型及其动态性质

对并行程序进行验证以保证正确性是很重要的,但是由于并行程序比串行程序要复杂得多,因此有必要建立它们的模型。MPI是目前应用最广泛的基于消息传递的并行程序编程标准之一。基于MPI程序的特点,提出了MPI并行程序的Petri网模型——MPINet,给出了MPI函数的基本Petri网模型及对程序建模的基本步骤。定义了静态可执行的和并行正确的并行程序,并研究了MPINet的动态性质,包括安全性、可达性、可逆性以及活性。这些方法可以用于其他并行编程标准的分析。