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

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

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

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

载波设备网管中高性能网络通信的模块设计

以载波设备网管系统的开发为背景,利用windows操作系统提供的端口技术,给出了载波设备网管中网络通信模块的设计方案,该方案采用线程池、对象池等多种系统优化技术。网络通信模块以动态库输出函数方式为上层应用提供网络服务。     

基于代理的病毒防治系统的研究

该文首先分析了当前网络安全的现状,提出了将移动代理技术运用到病毒防治系统框架中,设计了基于多Agent的病毒防治系统。该系统构造了多种类型的Agent,利用Agent的相互交互、协作来实现局域网中病毒的查杀、来源的追查、病毒的免疫处理。     

基于主动网络的分布式管理模型

通过对现有网络管理模式的分析,发现分布式网络管理模式虽然有很多优点,但是却一直没有得到广泛的应用,其中有一个原因是兼容问题,即要完全将传统网络替换成主动网络目前还不能实现,为了解决这个问题,本文结合主动网络思想和SNMP管理技术,提出了一种基于主动网络的混合管理模型,并对模型的主要组成部分的相关要点进行了描述,最后做了性能分析比较,结果表明当被管理的网络设备数在一定范围内时,混合管理模型的性能比SNMP的性能要好。     

缺相保护控制器的制作

在2005年9期《电子制作》第13页刊登了一篇实物测绘并有波形分析的缺相保护电路文章,原理分析透彻,可信度高。在此基础上笔者制作了有、无外接控制电压2种缺相保护控制器,效果很好。     

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

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

磁盘隐藏技巧

通过实践摸索出了硬盘隐藏的几点技巧.     

VC~(++)在飞机电源控制器试验台中的应用

VC++6.0可以方便地用于飞机电源控制器试验台设计的很多方面,例如,信号采集系统设计中的传感器测量数据分析和数据采集卡使用,人机交互界面的设计中试验界面上表盘的实现。另外,VC还用于延时时间的计算,测试数据的存储和数据报表的打印等。     

Web检索查询意图分类技术综述

查询分类是近年来信息检索领域的研究热点,并且在很多领域得到了广泛地关注。主要讨论根据查询的意图进行分类的研究工作,从查询分类的诞生背景、关键技术、所使用的分类方法和评价方法方面进行综述评论,提出了查询意图分类面临的问题和挑战。认为缺乏权威的评测标准、在大规模数据集上的未经全面测试的性能、如何准确地获取查询的特征以及如何证明分类体系的完备性和独立性是目前查询意图分类研究的关键问题。