过程提取用于改善程序模型检测的可伸缩性

针对目前基于谓词抽象的程序模型检测工具很难处理大规模软件的现状，提出用过程提取技术对待检的源代码进行预处理，以改善程序模型检测的可伸缩性．首先，将程序中一个选定的语句集合提取出来并包装成一个独立的过程，然后在原程序的相应位置用一个过程调用替代，进而将大型程序分解成语义一致的小型过程的集合．由于模型检测算法中的过程总结边可单独计算，所以过程提取使整个程序的模型检测任务模块化，当程序对某过程进行多次调用时，利用总结边可以避免对过程体内状态空间的重复搜索，从而降低了模型检测算法在空间：和时间上的开销．理论分析和实验表明，所提技术能有效缩短大型程序的模型检测时间，并在程序的转换中不会改变原程序语义，满足了程序模型检测的安全性要求．     

BP神经网络在入侵检测中的应用

对如何检测未知入侵手段的问题进行了探讨．在被监测程序输入条件已知情况下，借助程序行为简档，给出了一种基于BP神经网络的入侵检测方法，阐述了所用BP神经网络的基本结构以及训练方法，最后在LINUX环境下进行了实验验证．结果表明，在程序行为简档内容比较清晰的条件下，运用BP神经网络检测入侵，可在一定程度上提高入侵检测系统的难确检测率．     

PLC程序检测器的应用

提出了一种实用新型的PLC程序检测器，用来检测对所编程序与实际控制要求是否一致；实现了对PLC程序从现场检测到试验室检测的新方案。通过两个典型PLC程序控制的工程，对PLC程序检测器使用与否的对比，说明了应用PLC程序检测器的实用性。     

将C++程序转化为Java程序

如何把一个现有的C 程序转化为Java程序是一个很复杂的问题，这需要考虑程序需求、程序规模以及语言异同等多个方面。本文通过分析Java和C 之间的异同而给出了一个把C 程序转化为Java程序的通用轮廓思路。     

论鉴定人出庭作证的程序科学性

科学的鉴定程序本身应该是一个完整的系统，即它应该是包括鉴定结论质证程序在内的一个科学系统，如果缺少了鉴定人出庭作证的程序，案件中的专门性问题就难以得到当庭解决，使得鉴定结论的质证变得困难，势必造成鉴定程序本身科学的系统功能受到蚕食。同时，与鉴定结论厉害相关的当事人的质证权亦受到侵害。     

一个基于AI产生式系统的软件开发新模型

在设计一个程序以前，应该完整地并且精确地说明要求解的问题．作为一个产品。软件相对于其形式规格说明来说应该是可靠和正确的．规格说明是程序变换方法的起点，程序变换方法保证了程序的正确性．本文给出了ＡＤＴＳＬ的简要描述，并提出了一个基于人工智能中的产生式系统的软件开发新模型．     

投影图邻接矩阵生成算法

在投影图邻接矩阵生成算法的基础上提出了一种改进算法，该算法的复杂性Ｏ（ｎ２）．讨论了程序静态测试中不可出型控制流，不可进型控制流，主控制流中断等错误点的定位问题，类似的结论对数据流也适用，为构造程序静态测试工具提供了新的方法．另外，投影图邻接矩阵生成算法可用于通讯、交通、运输等领域，用于检测一个子集经另一个子集的可达性问题．     

从一个案例看电子数据库的版权保护*

电子数据库的版权保护的问题是目前计算机技术版权保护中的一个热点，本文通过一个软件版权纠纷的案例，讨论了其中存在的问题，即在现阶段，末有专门保护数据库法律的情况下，可否把电子数据库与程序一起纳入软件程序的范围的问题，并提出实施方法建议。     

两种死锁分析的逻辑方法

从逻辑的角度出发，根据请求模型用谓词逻辑分析死锁，并统一于一个通用的表示中，然后用时序逻辑方法进一步给出了一个更通用的死锁表示，用逻辑方法表示死锁，便于程序安全性验证，最后，把这些方法用于Ａｄａ程序的验证系统中。     

通用报表打印程序的设计

本文介绍通用报表程序的设计方法，给出的源程序具有很强的实用性．对Foxbase通用程序的设计有一定意义．     

单人最优巡回路问题算法研究

基于生活实例,引出问题讨论,建立了理论模型及实用简化模型,在BORLANDC环境中编程实现了最小生成树算法和递归穷举法.最后,分析了理论模型的缺陷,并运用递归穷举法对结果进行检验.     

构建新包空间的多示例学习方法

针对已有神经网络方法采用示例决定标记从而导致多示例学习(MIL)中包结构信息丢失的问题,提出了一种新的RK_BP多示例学习方法.在示例空间,首先采用粗糙集对其进行属性约简;然后进行K均值聚类,利用聚类点构造新包空间;在新空间中,利用误差反向传播神经网络算法进行分类.在多个测试数据集上对算法进行测试,结果表明该算法可有效解决已有神经网络方法包结构信息丢失问题,明显提高分类性能.     

图像抠图与copy-paste结合的数据增强方法

提出一种基于图像抠图与copy-paste结合的数据增强方法(matting-paste),采用图像抠图法获取单个垃圾实例的准确轮廓，并对单个实例进行旋转和亮度变换.根据物体轮廓信息，把实例粘贴到背景图上，无需额外的人工标注即可生成新的带有标注的数据，从而提高数据集的多样性和复杂性.结果表明：数据集扩充后的mask比数据集扩充前的识别精度提高了0.039,matting-paste能在已有数据集上有效地扩充数据，进一步提高模型的识别精度.     

某厂房预制桩单桩承力的综合分析

在桩基础设计中，单桩承载力的取值是一个非常重要的参数，其取值准确与否直接关系到建筑物的安全及基础工程的投资，在分析工程地质勘察资料的基础上，充分利用单桩静载试验结果，在单桩静载试验的基础上，通过对冰水沉积的砂卵石层做为桩端持力层的实例，分析计算了某连铸厂房柱基础的单桩承载力，建立了估算桩顶沉降量的经验公式，提出了比较可靠、经济的桩基础设计方案。     

基于极值理论和Copula的灾难风险建模研究

利用极值理论中的广义极值分布(GEVD)对单一灾难事件的特性进行刻画，然后利用Copula函数把不同的灾难风险组合起来，构造其联合分布，并提出了适合模型的蒙特卡罗算法．最后利用实例说明了GEVD-Copula组合建模的应用，得出了有益结论。     

单片机课程教学改革研究与实践

分析了当前单片机课程教学中存在的一些问题;提出了以单片机应用系统为教学主线,以能力培养为目标的单片机课程教学体系;指出了在教学实践中应注重理论与实践相结合,采用典型实例教学,引入EDA技术等多种教学手段,以激发学生的学习兴趣和求知欲望,把教学重点放在培养学生的探索和创新精神、提高学生工程实践能力和增强学生动手能力上。     

利用微正则退火算法求解车辆路径问题

在建立单配送中心的车辆路径问题模型后，提出了一种基于微正则退火算法的求解方法，对一个包含20个需求节点的单配送中心实例进行了实验分析。实验数据表明，微正则退火算法能以较大概率搜索到最优路径集，与传统模拟退火算法相比，它的优势是目标函数值下降更快，能够在较短时间内搜索到满意解。     

双并联机器人协作的运动学建模

提出并联机器人以协作的方式提高其作业能力的一个新途径·通过引入瞬时作业点的概念,将工件和刀具离散化,并用其相应坐标系上的一个向量来描述工件和刀具上的瞬时作业点,建立了协作系统中各单机间的联系,将并联机器人协作运动学问题转化成二单并联机器人在工件和刀具约束下的运动学参量的求解·建立了双并联机器人协作的等效闭链运动学模型和运动学方程式,为并联机器人协作运动学分析和控制建立了基础·通过算例证明了模型的正确性和并联机器人协作在拓展有效工作空间方面的有效性·     

51系列单片机SRD系统软硬件设计方法

根据 SRD系统的控制需求 ,给出以 51系列单片机为核心的 SRD系统的硬件结构框图及软件控制框图 ,结合应用实例 ,分析系统硬件软件设计方法。     

工作流管理系统中的模型分析与实例转化

在定义工作泫模型、过程对象、过程实例、对象实例等工作流管理系统基本组成部分的基础上,建立了基于二元组的工作流主模型和基于复合三元组的工作流模型向过程实例的转化模型,并给出了相关的逻辑分解过程和转化路线。在此基础上,提出了工作流实施过程中的2种协调方式,并重点对基于模型的工作流协调原理和协调方法进行了深入分析。根据实用的需要,给出了基于模型分解和实例转化的工作流运作实例。