论行政程序之价值取向

介绍了程序、行政程序的概念，揭示了程序、行政程序的价值取向的内在联系，通过对行政程序正当性的分析，探究了行政程序的价值取向——公正与效率的问题，在此基础上，进一步分析了行政权主体分离和成本最小化下行政程序的效率价值取向及其相关问题。     

试论邮电业务分营中的审计

论述了在邮电业务分营过程中审计的作用和目标，并结合邮电业务分营的具体情况，设定了相应的审计程序，即了解程序，分析评价程序，实证程序，并对这３类程序的使用进行了具体分析。     

程序语言和软件开发技术的历史、现状、发展趋势

程序设计语言、软件开发技术与程序设计方法的发展是相辅相成的．从计算机问世以来就存在着软件危机，这促使人们改进ＳＤＴ。从而提出了软件工程的概念。软件工程在一定程度上缓解了软件危机。但是，对日益增长的社会需要，软件工程已显得无能为力了，于是人们把注意力集中到程序设计方法上，一种全新的程序设计方法——ＯＯＰ应运而生。ＯＯＰ被誉为九十年代的程序设计方法。这种全新的程序设计思想先后被引入到多种程序设计语言中，随着研究的深入。面向对象的语言将日臻完善，最终形成相对标准的程序设计语言     

程序语言和软件开发技术的历史,现状,发展趋势

程序设计语言、软件开发技术与程序设计方法的发展是相辅相成的，从计算机问以来就存在着软件危机，这促使人们改进ＳＤＴ，从而提出了软件工程的概念，软件工程在一定程序上缓解了软件危机，但是，对日前增长的社会需要，软件工程已显是无能为力了，于是人们把注意力集中到程序设计方法上，一种全新的程序设计方法－ＯＯＰ应运而生，ＯＯＰ被誉为九十年代的程序设计法，这种全新的程序设计思想先后被引入到多种程序设计语言中，随着     

Refinetool：支持逐步求精的软件工具

本文描述了一个支持用户按逐步求精方法进行程序开发的软件。具──Ｒｅｆｉｎｅｔｏｏｌ。该工具软件用ＴｕｒｂｏＣ实现，其具有友好的用户界面．能支持任何过程型程序的逐步求精，保存了精化历史作为程序的注释，生成的程序具有良好的风格，     

淬火工件/介质边界换热条件研究

在试验的基础上，开发了淬火工件／介质边界换热条件程序，该程序通过反算法计算边界换热系数．利用该程序与ＡＢＡＱＵＳ非线性有限元程序对淬火过程温度场进行数值模拟，模拟结果与实测值比较，误差在１０％以内．     

连续流动体系仿真程序的形式化确定

以一个基本的连续流动体系为对象，讨论了传统的仿真建模过程在程序模型选择方面存在的不足，并以程序正确性断言理论方法处理了该体系的程序模型选择问题，导出了必要的程序前置断言，不变式和循环界函数，从而给出了一个具体的规范描述和一个正确的程序实现。最后，所使用的过程抽象为一个仿真程序模型的形式化确定方法。该方法可以作为仿真程序模型形式化确定方法学的一部份。进而在程序模型一级为保证仿真建模的正确性提供了途径。     

英国医疗纠纷预防与解决机制及其启示

为应对日趋增多的医疗纠纷，于国民医疗保健体系之下，英国在制度设计及实践中注重行政部门的主动介入，分流申诉与惩戒案件，简化纠纷解决流程，革新具名鉴定、被告多元化、ADR前置程序等一系列程序上；注重“Bolam原则判断医生是否违反照顾义务”这一准则在患者申诉程序以及诉讼程序中的应用；同时通过适任程序、纪律程序、健康程序除去医生的职务或限制其行医条件，保障医疗质量，以预防纠纷的发生。     

科学运算程序的界面设计

研究了用目前非常流行的可视化程序设计语言Visual J 解决科学运算程序的运行界面问题。对于那些早期编写的科学运算程序，不管其复杂程序及程序篇幅如何，只要对原程序稍作修改，便可将其改为图形化窗口式的运行界面。     

程序正义实现的关键--司法环节的具体运用

程序正义的实现是程序研究的归宿，程序正义实现的关键是司法环节的具体运用。本文从司法的角度阐述了程序正义实现的构成要素分析，力图建构起程序正义实现研究在理论上的逻辑起点。     

基于数据流分析的程序变量识别方法(Ⅱ)

要把BASIC程序变为C程序，就需找出BASIC程序中那些可在C函数中用局部变量表示的变量。作者提出了一种基于数据流分析的局部变量确定方法，通过对源程序进行数据流分析和相关性分析，找出了局部变量变化的特点；采用程序抽取技术，将与输入变量无关的语句和函数剔除，简化了源程序，提高了分析效率。实践证明，该方法是行之有效的。     

利用Delphi开发ODBC数据库应用程序的探讨

介绍了利用Ｄｅｌｐｈｉ开发ＯＤＢＣ应用程序的方法,使应用程序具有更好的适应性和可移植性。该方法能完成数据库应用程序的功能,并在主程序初始化时,在内存中动态创建Ｔｑｕｅｒｙ类型的对象,然后在程序中创建它的实例,从而节约了对内存资源的占用,方便地将不同的对象释放,有利于程序性能的提高。     

FORTRAN程序的并行性识别及实现

对ＦＯＲＴＲＡＮ程序的并行性分析进行了理论上的探讨,并实现了串行ＦＯＲＴＲＡＮ程序并行性的自动识别、检测和并行任务划分．把源ＦＯＲＴＲＡＮ划分成分块ＦＯＲＴＲＡＮ,从而使多处理机能够并行执行串行ＦＯＲＴＲＡＮ程序,提高了ＦＯＲＴＲＡＮ程序的执行速度和多处理机的透明度．     

软件包装程序的设计

提出了软件用户界面应由菜单程序和包装程序二者组成的观点,并且阐述了包装程序设计中在西文环境下如何显示放大汉字、音乐、动画三个重要问题,给出了相应的程序实例。     

增强本地代码安全性的Android软件保护方法

目前针对Android平台的软件保护大多集中在如何保护Dalvik字节码程序,对于本地代码程序的安全性还没有引起人们足够的重视. 为了阻止攻击者对本地代码的破坏,设计实现了一种Android平台本地代码保护方法. 在原始代码中插入多个冗余数据和完整性校验代码,并且对编译后的程序进行加密,使本地代码具备了抵抗攻击者静态分析和动态篡改的能力. 实验结果表明,该方法可以在攻击者对本地代码进行篡改时及时地发现篡改行为,从而有效地保护Android平台本地代码,增强整个应用软件的安全性.     

无线射频可视对讲系统的软件设计

本文采用无线射频通信技术、MEMS技术以及智能控制技术设计了一套用于无线射频可视对讲系统的软件。整套软件包括呼叫控制程序模块、语音存储程序模块、信息显示程序模块、射频收发程序模块和附加功能程序模块。文中对五个程序模块进行了详细的分析,并给出了设计流程图。     

ADS的工作方式及结果缓冲区的应用

介绍了ADS应用程序的工作方式 ,在此基础上 ,对ADS与AutoLISP的接口、参数传递、结果缓冲区的应用及同AutoCAD图形数据的有效交换作了讨论 .重点研究了关于ADS应用程序与LISP程序数据传递的软件设计方法 ,并提供了部分源程序 .实践证明 ,用ADS应用程序读取数据文件要比LISP程序读取更方便、更快速     

反舰导弹航路规划战术决策研究

反舰导弹航路规划战术决策,是反舰导弹任务规划决策的重要组成部分。在对反舰导弹航路规划战术决策需求分析的基础上,深入分析和探讨了反舰导弹航路规划战术决策应遵循的基本原则、应满足的约束条件和决策的基本过程;最后给出了反舰导弹航路规划战术决策的基本内容。研究结果对开展反舰导弹航路规划战术决策软件的研制具有一定的理论参考价值。     

Modem通讯多线程方案

主要研究Modem通讯的多线程方式,并通讯程序设计成ActiveXEXE组件,并通过主程序调用该组件,实现了Modem通讯的多线程方式,组件与主程序的关系是：主程序可控制通讯线程发送或接收文件,通讯线程接收或发送成功后通知主程序完成结果。