微机仿真系统中形式化方法的应用

Z语言是一种广泛应用的形式化语言，适合于仿真实时软件系统的需求规格说明．通过微机系统仿真软件的Z规格说明，讨论了Z语言在实时系统开发中使用的一些方法、对典型问题的处理原则以及操作同时序关系的描述．     

外伤性肝破裂救治方式的选择（附58例报告）

对５８例外伤性肝破裂采用不同方式进行手术治疗，治愈５４例，死亡５例。肝破裂后病情多凶险，急诊处理须简单、快速、有效，力求诊断与治疗同步，尽量缩短急诊至手术治疗的时间。根据不同的损伤选择不同的手术方式，以止血，清创和引流为基本原则。３０例采用肝血回输，未发生不良反应。     

排课系统的改进及辅助功能设计

新排课系统采用VisualFoxpro6.0中文版,对原系统(UCDS排课系统)进行了改进,增设了辅助功能,克服原系统的一些缺陷,改善了工作界面,提高了工作效率和工作质量。     

模糊系统论

本文从讨论系统观出发,给出了一般模糊系统的形式定义和表示方法,全面讨论了模糊系统的静态结构、动态行为、学习机制、数字特征及问题求解过程等问题。论文还讨论了这种模糊系统的表示能力问题,证明了诸如逻辑电路系统、Petri网、H网、各种数据驱动的系统、用流程图表示的程序系统等都是这种系统的特例。论文提出的模糊系统及其“浸润式”执行机制为新型计算机系统的设计提供了一种新模式。一个物理的模糊系统可用一个由大量微处理器构成的互联网络来实现。为此,论文提出了一些具体实现这种系统的设想以及在已有计算机上进行模拟的具体设计。     

非平衡分治术和一个最优算法──兼论用分治术设计算法的基本原则

本文讨论了非平衡分治术,对一个分类问题（求极大元和极小元问题）用非平衡分治术给出 了一个最优算法．从理论和实例两方面说明：非平衡的分治术不容忽视,采用它常得到时间复杂 性为多项式阶的有效算法．本文接着对平衡的分治术进行了讨论,指出平衡不是主要的,要求 问题的大小“成倍地”减小才是基本的。最后得出了用分治术设计算法的一个基本原则。     

基于动态加权A*算法的无人机航迹规划

随着无人机航迹规划高维空间的扩展,无人机的飞行环境变得异常复杂,其外部威胁不再是简单的二维静态威胁,传统的蚁群算法和人工势场算法已经不能满足实时性和高复杂环境的要求。为解决上述问题,提出新的基于动态加权A^*算法的无人机航迹规划。首先对无人机的飞行环境进行建模,通过研究航迹规划的转弯半径、航迹段长度和最大航程限制等约束条件,用于保证无人机的安全飞行,从而降低坠机率和威胁概率;其次,通过研究无人机的航迹和外部威胁参数,设计出新的航行方式,降低航行危险和减少损失;然后,通过扩展顶点势能定位和网格图整体变化的动态权重,获得动态环境下的代价函数,增加避障搜索速度、精度和加深回避程度。最后,通过仿真结果表明,在同一应用环境下,所提算法与蚁群算法和人工势场算法相比,航迹路径最优、威胁代价最小和算法执行的时间最短。综上,基于动态加权A^*算法很好地应用于无人机航迹规划,降低了无人机航迹代价,缩短了算法完成时间,提高了复杂环境下无人机航迹规划的搜索速度和精度。