提高静态缺陷检测精度方法

误报率和漏报率是静态缺陷检测的关键技术指标,提高分析精度是降低误报和漏报的主要手段.文中介绍了缺陷模式及其有限状态机描述,提出基于传统数据流分析的缺陷检测方法.采用变量抽象取值来近似地表示程序动态执行信息,通过状态条件中的变量抽象取值范围为空来判断不可达路径,以实现路径敏感分析;使用缺陷相关的函数摘要来表示缺陷检测所需函数调用信息,其中缺陷相关的函数摘要包括前置约束信息、后置约束信息和函数特征信息三部分,实现了上下文敏感的跨函数分析.文中方法已在缺陷检测系统DTS中实现,在大型开源软件分析中的实验结果表明,该方法能减少误报和漏报.     

利用数据库技术优化民办高校财务系统

高等学校的财务管理体系已经不能很好地满足当前高校的快速发展,因此高校优化财务管理体系是很有必要的,尤其是民办高校财务管理体系因其自身的特点,优化更为必要。在利用数据库触发器和存储过程技术优化民办高校财务管理系统方面进行探讨。     

基于Windows的通用习题练习系统的设计实现

基于教师教学和学生学习的实际需求,开发基于Windows的通用习题练习系统,具有试题管理、习题练习等功能,可用于教师辅助教学和学生自主学习,通用性和实用性强。系统特点是采用数据文件存储题库,无须联网和配置数据库,易用性强。阐述通用习题练习系统的设计思想、题库数据结构和系统实现,并总结使用效果。     

一种基于Vague-Sigmoid核的支持向量机研究

Sigmoid核最初起源于神经网络,目前在支持向量机中也得到了广泛应用,但由于核矩阵的非半正定性,其应用受到一些限制.研究表明Sigmoid核可以用简单的模糊三角隶属函数来近似替代,使得其学习效率能进一步提高.本文首先分析模糊支持向量机的特性,将模糊理论用于支持向量机的核中,并在此基础上提出了基于Vague-Sigmoid核函数的支持向量分类器.该方法充分结合了Vague集的自身优势,用基于Vague集的相似度量来代替了常规中的样本间的点积计算方法.将文中提出的方法应用于标准数据集中,并与传统的Sigmoid核方法、Fuzzy -Sigmoid核方法进行了实验分析, 实验表明文中提出的方法在不损失精度的情况下,能较好的提高算法的执行效率,取得了较好的实验结果;同时也表明在支持向量机中能利用Vague-S igmoid核取代替传统的Sigmoid核,从而减少对Sigmoid核的限制.     

基于B/S信息系统的分层树形任务评价模式

阐述基于B/S模式网络信息系统环境下企业各级任务逐层分解、以树形关系管理的流程模式以及以任务、创新业绩评价指标模型为基础的评价、监督和多级反馈模式。任务的分解、树形关联关系的确立以及多级反馈模式是以企业部门的层次结构为框架、部门所属岗位为基点、人员之间的领导关系为纽带,运用计算机编码技术实现的。该系统以务实的指标体系、实用的评价流程解决了企业对知识型员工工作能力、创新能力评价及趋势分析等问题,为知识型员工评价的客观性、公平性、及时性提供了技术保障。     

与协议无关的Socket程序设计方法研究

IPv4向IPv6的演进是Internet发展的趋势,两种网络共存是一个漫长的过程,但是目前大部分应用程序都是基于IPv4的,如何将现有的应用程序平滑移植到IPv6网络成为急需解决的问题.分析了在Windows系统下通过WinsoekAPI实现二者兼容的方案,用实例阐述了Socket应用程序从IPv4向IPv6移植的方法及原则,方法简单有效,同时一定程度上实现了SocketAPI层的协议无关性.     

Linux 2.6内核调度机制剖析与改进①

详细剖析了Linux 2.6内核进程调度的时机、调度策略、调度有关的重要数据结构、O(1)调度算法实现,以及Linux 2.6内核新引入的内核抢占机制。为了使Linux 2.6内核支持硬实时应用,提出了改进的最小裕度优先调度算法。该算法通过引入抢占阈值,从而减少颠簸现象造成的系统资源浪费,并提高了实时处理效率。     

基于变精度粗糙集的故障诊断应用研究

标准的粗糙集理论不能很好地处理带有噪声的数据,而故障诊断信息中难以避免地存在噪声数据,对此,提出了一种基于变精度粗糙集理论的故障诊断模型.先用自组织特征映射神经网络对连续属性进行离散化,然后利用变精度粗糙集的近似依赖性进行属性约简,据此得到决策规则,并给出了一个实例来说明如何应用这种故障诊断模型.     

基于构件复用机制的从CPL到Java的翻译系统

给出了CPL构件的复用机制,定义了一种对构件组合约束检查的矩阵技术.通过比较CPL语言与Java语言的语法特点,在XML规范的框架内,提出了一种将CPL语言翻译成等价功能的Java代码的翻译方法.该方法采用基于EJB容器的思想,并使用类对象的形式构造整个业务,用JavaBeans表示CPL中的功能构件,使翻译成的Java代码具有良好的可读性,并具有较高的可复用性及可扩展性.     

防空导弹姿态控制系统终态滑模变结构设计

针对防空导弹垂直发射姿态调转时的快速性要求,研究了快速姿态调转的控制问题.首先基于一类多输入多输出高阶非线性系统的Teminal(终态)滑模变结构控制方法,对垂直发射防空导弹的滚动和俯仰、偏航通道所呈现的非线性、强耦合性进行了分析,并设计了一种新型滑模控制器.控制器设计方案消除了滑模控制的到达阶段,系统的初始状态始终保持在滑模面上,确保了系统的全局鲁棒性和稳定性,且能在有限且可控时间内使跟踪误差趋近于零.最后通过数字仿真验证了系统在不确定因素情况下具有强鲁棒性和适应性,可用于防空导弹短时间姿态调转控制.