基于数据流异常挖掘的入侵检测系统设计

通过对入侵检测和数据流异常挖掘技术的研究,把数据流异常挖掘应用到入侵检测,成为目前入侵检测新的有效方法和研究热点.对基于数据流异常挖掘的入侵检测系统模型进行了设计,并对数据流异常挖掘算法进行了设计和实现,通过实验分析,取得了较好的效果.     

自动Java代码缺陷检测技术

代码审查是一种高效的程序缺陷检测方法,因为它能够在软件开发的过程中找出程序的错误,这很大程度上降低了改正错误的成本.但是传统的代码审查是一种劳动力密集型的方法,为了提高代码审查的效率,一系列的自动化代码缺陷检测技术和工具已经被提出并得到了广泛的应用.本文介绍了支持代码审查的自动化代码缺陷检测技术的相关内容.结合Java语言的特点对自动代码缺陷检测体系结构和工作的原理做了论述,并引入了缺陷模式树来提高检测的速度;最后通过具体的实验来分析了自动化代码缺陷检测的有效性和高效性.     

非确定型有穷自动机的极小化

利用自动机状态集上的等价关系对自动机的状态集进行极小化, 从而得到与原自动机功能等价的极小化自动机. 通过两台确定型有穷自动机（DFA）的连接, 构造一台非确定型有穷自动机（NFA）. 利用这两台确定型有穷自动机状态集上的等价关系, 可以构造这台非确定型有穷自动机状态集上的等价关系, 从而对这台非确定型有穷自动机进行极小化. 结果表明这台非确定型有穷自动机的极小化自动机的状态复杂 度, 不大于对那两台确定型有穷自动机的极小化自动机进行连接得到的非确定型有穷自动机的状态复杂度; 并且自动机在等价关系基础上进行极小化时不改变识别语言.     

PPTL模型检测器实现的一个关键技术

针对命题线性时序逻辑表达能力有限的问题,设计并开发了基于SPIN(Simple Promela interpreter)验证系统的命题投影时序逻辑(PPTL)模型检测器.将协议元语言(ProMeLa)描述的系统转换为系统自动机,将PPTL公式表达的性质转换为性质自动机,通过判定系统与性质自动机的积自动机接受的语言是否为空来判断系统是否满足性质.PPTL模型检测器修改了SPIN的匹配机制,从而改进了验证算法,使得PPTL模型检测器支持有穷和无穷模型的验证.实验结果表明,该模型检测器可以减少无效验证产生的无效迹数目,有效地实现PPTL模型检测.     

应用UML2.0模型的测试用例生成方法

针对软件开发过程中测试自动化程度低的问题,在研究基于模型的测试用例生成技术的基础上,提出了一种基于UML2.0序列图与用例描述的测试用例生成方法.采用事件确定有限自动机来描述系统序列图,通过命题投影时序逻辑的模型检测技术,验证了自动机模型的正确性.使用自动机模型与用例描述来生成测试用例,该用例满足事件与全路径覆盖准则.通过对图书管理系统的分析表明,该方法不仅能够提高软件的测试效率,而且还确保了针对管理员的执行动作所产生的测试用例的正确性.     

白盒测试技术概述

白盒测试又称为结构测试、透明盒测试、逻辑驱动测试或基于代码的测试.白盒测试是测试被测单元内部如何工作的一种方法.其目的是通过检查软件内部的逻辑结构,对软件中的逻辑路径进行覆盖测试.本文介绍6种白盒测试方法和适用场合:语句覆盖、判定覆盖、条件覆盖、判定条件覆盏、条件组合覆盖、路径覆盖.     

基于TCP状态有限自动机的入侵检测研究

入侵检测是一种重要的信息安全防御技术.基于TCP状态有限自动机的入侵检测是一种异常检测方法,它能发现违背TCP状态有限自动机的行为.描述了TCP协议中正常的连接状态转换关系,构造了TCP状态有限自动杌,给出了基于TCP状态有限自动机的入侵检测实现.     

基于TCP状态有限自动机的入侵检测研究

入侵检测是一种重要的信息安全防御技术.基于TCP状态有限自动机的入侵检测是一种异常检测方法,它能发现违背TCP状态有限自动机的行为.描述了TCP协议中正常的连接状态转换关系,构造了TCP状态有限自动杌,给出了基于TCP状态有限自动机的入侵检测实现.     

基于模糊元胞自动机的图像边缘检测方法

针对基于元胞自动机图像边缘检测的原有算法,提出了新的改进算法.该算法采用基于方向信息测度与边缘有序性度量的多信息融合方法,利用模糊逻辑对特征信息进行模糊推理,利用推理结果对上一时刻特征信息进行模糊反馈处理,最终通过元胞自动机的自动演化工程得到图像边缘.试验表明,算法边缘检测的准确度高,检测模糊边缘和细节边缘的能力较强.是一种实用、高效的图像处理算法.     

确定有限自动机的矩阵形式

研究自动机的方法有状态转换函数、RTL、VHDL以及矩阵形式等方法.矩阵形式与其它方法相比能很好地完成对自动机状态转化过程的演算.自动机是描述集合之间某种关系,它的工作过程是一种逻辑推理过程.根据自动机的逻辑形式定义,结合矩阵方式,建立了自动机的矩阵逻辑运算方程;同时讨论了矩阵表示的有关性质.     

低温堆余热排出系统启动方式的影响

非能动余热排出系统是200MW低温供热堆重要的安全保障系统,其启动方式对整个系统运行过程和效率产生重要影响。通过建立合适数学物理模型,编制计算机程序仿真模拟零流量和微流量两种启动,选择高精度Gear算法,研究启动方式对整个系统运行过程影响,掌握其稳态和瞬态工况下的热工水力特性,就瞬态变化过程做出比较分析。微流量启动使余热排出系统参数波动变大,达到稳定过程的时间变长。冬季选择微流量,保持管内流动,可以防冻;夏天选择零流量,可以提高系统敏感性和响应速度。根据不同环境,选择适当启动方式。仿真对系统实际的设计和操作都有重要意义。     

SSE2指令在代码优化中的关键作用研究

代码优化是提高应用程序性能的重要手段,单指令多数据流作为一项动态改善应用程序性能的技术已被工业界广泛接受．通过对Intel的第二代单指令多数据流扩展指令系统SSE2在程序优化中的重要方法和关键实现的研究,给出实践中有关代码优化的解决方法．     

用Java多线程实现数据结构算法动态演示

数据结构是计算机相关专业的重要基础课,算法是数据结构教学的重点和难点.然而用传统的"粉笔+黑板"形式很难将算法的执行过程动态地演示出来,影响了教学效果.因此有必要设计一个数据结构辅助教学系统,帮助学生更快地掌握算法.用Java的多线程技术实现的数据结构辅助教学系统以动画形式表示算法的执行过程,并且还可以同步显示算法的源代码,使算法的执行过程一目了然,具有很好的教学效果.     

浅谈铝电解多功能起重机样机的机构设计在型式试验中的实际应用

铝电解多功能起重机（机组）是制铝工业企业的重要装备,也是国家按照特种设备管理的特殊设备。本文论述了其样机型式试验应必须遵循的技术规范标准,叙述了样机的技术文件资料和各项安全技术性能指标应达到的型式试验复核测试项目的检验标准,论述了样机的机构设计参数、主要材料配套件和重要零部件的计算与选择的重要性和必要性。     

空度在风诱导条件下舱室外表面压力分布模拟计算中的应用

在船舶火灾过程中，空气流动所引起舱室周围的压力的变化在决定外部烟气侵入速率及舱室内部烟气流动方面起着重要作用．本文在引入全空度概念的基础上，建立了计算舱室外表面压力分布的数学物理模型Ｆ３Ｄ，计算了在所选风速和风向条件下，代表模型舱室的阻挡物表面的压力分布，计算的结果与Ｋａｎｄｏｌａ实验数据进行了比较，两者相符很好     

Formative Assessment of Programming Language Learning Based on Peer Code Review: Implementation and Experience Report

In programming courses, the traditional assessment approach tends to evaluate student performance by scoring one or more project-level summative assignments. This approach no longer meets the requirements of a quality programming language education. Based on an upgraded peer code review model, we propose a formative assessment approach to assess the learning of computer programming languages, and develop an online assessment system(OOCourse) to implement this approach. Peer code review and inspection is an effective way to ensure the high quality of a program by systematically checking the source code. Though it is commonly applied in industrial and open-source software development, it is rarely taught and practiced in undergraduate-level programming courses. We conduct a case study using the formative assessment method in a sophomore level Object-Oriented Design and Construction course with more than 240 students. We use Moodle(an online learning system) and some relevant plugins to conduct peer code review. We also conduct data mining on the running data from the peer assessment activities. The case study shows that formative assessment based on peer code review gradually improved the programming ability of students in the undergraduate class.     

基于HOUGH变换的二维条码识别技术的研究

条形码在日常生活中具有广泛的用途,但常用的一维条形码存在信息含量小的缺点,已不能满足实际的需要,因此,二维条码技术应运而生。本文研究了关于Data Matrix二维条形码自动识别的相关技术,包括对二维条形码图像的预处理、图像的提取及其译码等,并通过实验模拟得到了很好的实验结果,实现了Data Matrix二维条形码的自动识别过程。     

基于HOUGH变换的二维条码识别技术的研究

条形码在日常生活中具有广泛的用途,但常用的一维条形码存在信息含量小的缺点,已不能满足实际的需要,因此,二维条码技术应运而生.本文研究了关于Data Matrix二维条形码自动识别的相关技术,包括对二维条形码图像的预处理、图像的提取及其译码等,并通过实验模拟得到了很好的实验结果,实现了Data Matrix二维条形码的自动识别过程.     

水杉木材DNA提取及条形码分子鉴定

通过对水杉不同年限及不同部位的木材DNA提取及片段扩增实验,结果显示改良后的CTAB(十六烷基三甲基溴化铵)法、SDS (sodium dodecyl sulfate)法及高盐低pH法均可以用于水杉木材DNA的提取,经过纯化后的木材DNA可以进行片段扩增.在提取木材DNA过程中,边材比心材更适合,所提取的DNA数量和质...