基于数据挖掘的入侵检测系统

论述了入侵检测系统的基本概念，针对目前入侵检测系统中存在的问题，提出了一个基于数据挖掘技术的自适应入侵检测系统模型。介绍了该系统模型的基本思想，阐述其结构及主要功能，着重分析了该系统的数据挖掘过程，利用数据挖掘技术自动地从大量数据中提取重要的特征和新的模式，生成有意义的规则并建立检测模型。     

基于模型检测的硬件木马检测技术研究

硬件木马对原始电路的恶意篡改，已成为集成电路面临的核心安全威胁。为了保障集成电路的安全可信，研究人员提出了诸多硬件木马检测方法。其中，模型检测作为一种形式化验证方法，在设计阶段可有效检测出硬件木马。首先，阐述了模型检测的工作原理和应用流程；其次，介绍了基于模型检测的硬件木马检测技术的研究进展；最后，指出了当前该技术所面临的瓶颈，并讨论了潜在的研究方向。     

基于知识的学习环境模型

本文首先给出了一个通用的题库模型；其次介绍了基于该模型的学生练习环境和教师代理解答系统；接着介绍了该环境的实现技术及其特色，最后分析了教师解答系统的实现策略。     

面向PHP应用程序的SQL注入行为检测

层出不穷的SQL注入攻击使Web应用面临威胁。针对PHP应用程序中的SQL注入行为，提出了一种基于污点分析的SQL注入行为检测模型。首先，该模型使用PHP扩展技术在SQL函数执行时获取SQL语句，并记录攻击者所携带的身份信息；基于以上信息生成SQL请求日志，并将该日志作为分析源。然后，基于SQL语法和抽象语法树，实现了污点标记的SQL语法分析过程，并使用污点分析技术，提取语法树中SQL注入行为的多个特征。最后，使用随机森林分类算法实现SQL注入行为的判定。与正则匹配检测技术对比实验结果显示，通过该模型检测SQL注入行为，准确率为96.9%，准确率提高了7.2个百分点。该模型的信息获取模块能以扩展形式加载在任何PHP应用程序中，因此该模型可移植性强，在安全审计和攻击溯源中具有应用价值。     

安全协议形式化混合分析技术的研究与应用

分析了模型检测技术和逻辑推证技术的优点与不足，介绍了两种形式化分析方法相结合的混合分析方法，并给出实例，证明混合分析技术在检测协议漏洞方面是更为完全的。该技术的效率大大高于一些起初的模型，且易于实现。     

基于成本评估模型的入侵响应系统研究

入侵检测系统可以检测已发生的入侵行为并发出警告。自动入侵响应系统是入侵检测系统的扩展，它可以对检测到的攻击行为自动进行响应，因此对保护网络安全起重要的作用，而各种成本因素对其性能的影响很大。该文给出了自动入侵响应系统的构架，并介绍了一种基于成本评估模型的自动人侵响应系统：描述了其理论基础，分析了各种成本的计算方法及攻击行为分类对成本的影响，总结出成本模型公式；详细描述了创建该模型的方法，包括资产评估和机器学习等；使用仿真技术模拟攻击和响应，给出了实验结果，结果表明使用该模型能极大地降低响应成本；对该模型进行了一些改进以使其可以扩展到有效防御复杂攻击；指出了今后的研究方向。     

基于面向对象Petri网的工作流建模及性能分析

工作流技术作为一种过程建模和过程管理的核心技术，在计算机应用领域获得了迅速的发展。介绍了工作流技术；提出了将面向对象建模技术融入Petri网模型所形成的面向对象Petri网，并讨论了建立基于面向对象Petri网的工作流模型的步骤；运用面向对象Petri网建立了某制造企业的产品方案处理流程的工作流模型，并运用性能等价公式对工作流模型的性能进行了分析。     

一种用于图像检测的产品指标模型

为满足乳化肠类肉食产品加工行业对在线图像识别及检测处理技术的迫切需要，通过对多品种火腿肠产品的大量采集和检测，研究了该项技术在火腿肠产品在线检测中的应用问题，提出了火腿肠产品感官检测的两种指标数学模型，即线性度指标模型和直径均匀度(肠衣包扎无破损)指标模型。并详细介绍了这两种指标模型的建立方法和过程。检测实验结果证明了该两项指标模型是合理的，图像感官指标检测准确率达95％。     

一个基于跟踪的计算机取证过程模型

为了克服基于“事后取证”理念而设计的计算机取证过程模型的不足，借鉴传统刑事案件侦查的“秘密侦查措施”，在计算机取证技术体系中引入“跟踪”、“监控”、“网络渗透”等主动采集技术，提出了一个基于跟踪的计算机取证过程模型。介绍了该模型的工作流程，分析了该模型的特色，指出了该模型的适用范围。     

基于可执行文件静态分析的入侵检测模型

基于进程行为的入侵检测技术是主机防范入侵和检测恶意代码的重要技术手段之一．该文提出了一种基于可执行文件静态分析的入侵检测模型，该模型通过对应用程序可执行文件的静态分析，建立应用程序所有可能执行的定长系统调用集合，通过实时监控进程执行的系统调用序列是否在该集合中实施检测．该模型不需要源文件、大规模训练数据，通用性和易用性好；在应用程序可执行文件完整的情况下，误报率为0，抵抗模仿攻击的能力更强，漏报率更低．     

差动感应式扭矩传感器及其有限元分析

扭矩是机械设备运行状态的重要监测信息,设计了一种新型差动感应式扭矩传感器,其输出绕组采用分段差动式串接,工作时首先利用弹性轴拾取扭矩信号,再通过电磁感应原理将负载扭矩转换成输出绕组的感应电动势。根据欧姆定律和磁路的基本定律推导了传感器的输出特性,并建立了传感器的有限元模型,对传感器在空载和负载运行时的磁场情况进行了仿真,验证了测量原理的正确性。采用高精度扭力扳手对传感器样机进行了标定,结果是灵敏度约为32.6 mV/(N·m),线性误差约为0.24%,重复性误差约为0.16%,迟滞误差约为0.18%。     

RCM理论应用于ATM维护管理的探讨

运用RCM理论的分析方法——FMEA方法,研究探讨了ATM维护管理策略。以某品牌ATM作为研究的对象,确定ATM吐钞机模块为关键模块,对吐钞机模块进行分析,列出故障等级,制定维护策略。根据FMEA的分析结果,制定维护计划,调整维护大纲。通过对比07年和08年的检验数据,对实施效果进行了评估,得出结论：效果改善明显。     

无形是形 形(型)——空间创造的途径

自从有建筑以来,就有关于空间的话题。建筑本来是朴素具体的东西,是与日常生活密切相关的事物。对空间的认知亦是如此,本文以单纯直接的命题,揭示空间的本义和认识创造的途径。即:空间就是形(型)。实体是型,虚体亦是型。有形是形,无形亦是形。空间的特征就是形态的特征,空间的表情就是形态的表情。空间的色彩就是形态的色彩,矛盾的空间就是矛盾的形(型)。空间构成就是形的构成,空间质感就是形态的质感。     

基于小波变换的无驱动结构微机械陀螺信号自旋频率的提取

针对一种新型陀螺,它能敏感旋转载体的俯仰、偏航和滚转角速度,敏感信号是一种调幅波信号,载波频率是自旋频率,包络是横向角速度。实际应用中,需要精确提取自旋频率。基于此,提出了一种提取载波频率的新的方法——小波变换构造解析函数法,对自旋频率解算算法进行了理论推导,并通过MATLAB软件对噪声比为30 dB的模拟陀螺调幅波信号进行了自旋频率的提取和误差分析,其中Hilbert变换相对误差为0.033 6,小波变换相对误差为0.017 8。对三轴精密转台实时测试的横向角速度为180°/s的陀螺信号进行了自旋频率的提取和误差分析,其中Hilbert变换相对误差为0.035 9,均方差MSE为7.915 9;小波变换相对误差为0.001 8,均方差MSE为0.293 7。小波变换较Hilbert变换求解自旋频率精度提高二十倍,降噪性能和频率稳定性更好。     

基于ARP与DNS欺骗的重定向技术的研究

网络信息的检测与控制是网络管理的基本职责,限制客户端对非法网站访问是网络管理的重要任务.通过分析ARP欺骗的原理,利用ARP欺骗的方法对局域网内信息进行监听,分析DNS查询数据报内容,在ARP欺骗的基础上结合DNS欺骗对非法访问进行重定向技术进行了研究,并提出了相应的算法,减少了客户端对非法网站访问,实现了自动网络监控的功能.     

基于中间变量的空间直角坐标到大地坐标的转换方法研究

利用迭代法实现空间直角坐标向大地坐标的转换,虽然精度较高,但是运算复杂,效率低.为了提高坐标转换的精度和运算效率,提出了一种新的空间直角坐标到大地坐标的转换方法,仅仅引入了几个中间变量就实现了坐标的转换,计算过程简单并且结果精确.采用卫星接收机的实测数据进行算法验证,最后通过与迭代法比较进行了精度评定.结果表明,该方法对经纬度的转换精度比迭代法高出两个数量级,对高度的转换精度也高出0.2m左右.     

新型高线性度分段激磁式扭矩传感器的研究

扭矩的准确测量对实现机械设备的自动控制有着重要的作用,为此,设计了一种新型分段激磁的高线性度扭矩传感器。传感器的激磁绕组为分段式,传感器转轴受到扭矩作用时,输出绕组经过电磁耦合输出与负载扭矩呈正比关系的感应电势,并找到了传感器输出特性呈较高度线性时,激磁线圈与输出线圈的匝数比的范围约为0.56~0.59。推导了传感器的输出特性,构建了传感器的数学模型。最后采用扭转试验机对传感器进行了标定,实验结果表明传感器的灵敏度约为1.05 m V/(N·m),重复性误差约为±0.38%,非线性误差约为±0.26%,迟滞误差约为±0.37%。     

MPC860芯片及其存储器控制技术应用研究

MPC860芯片是Motorola公司生产的一种功能强大的PowerPC通信控制芯片,广泛应用于大型通信与实时控制系统。为充分发挥MPC860芯片的强大控制功能,提高数据通信率,必须使用大容量的flash RPROM（快速闪烁存储器）与SDRAM（同步动态存储器）。然而因为存储器芯片制造工艺的提高、存储容量的扩大,存储器芯片的控制时序也变得更复杂。MPC860芯片在设计制造过程中,增加了外围存储器的控制逻辑,减少应用者开发时的困难。MPC860芯片的存储器控制功能增加的同时,也提高了MPC860芯片的生存能力。针对MPC860芯片的强大功能,本文对MPC860芯片的存储器控制技术进行了深入研究,并提出了解决多机访问MPC860芯片管理的存储器的控制技术。     

基于DMX512的LED智能舞台灯具的设计

本文以DMX512为基本的数据传输协议,采用双向隔离放大器,具有大电流、低功耗的LM3404HV为LED驱动器,以C8051F410为核心控制器,以SN75176为总线收发器,介绍了现代智能LED灯具的相关硬件和软件设计技术.基于双向隔离放大器,本文将普通的单工DMX512网络扩展为半双工的双向通信网络,使灯具的使用更...     

基于SimpleScalar的龙芯CPU模拟器Sim-Godson

现代高性能通用处理器的设计越来越复杂,模拟器在处理器设计中所起的作用越来越大.龙芯2号是中国科学院计算技术研究所研制的高性能通用处理器.最早开发的龙芯2号的模拟器ICT-Godson是信号级模拟器,它模拟了处理器的所有细节,十分准确,但速度和灵活性有较大限制.文章基于SimpleScalar工具集,设计并实现了龙芯2号的模拟器Sim-Godson.Sim-Godson具有高速度和高灵活性的优点,且准确性也很高.在3.0GHz的Pentium4微机上,Sim-Godson速度约为500K指令/s.大部份测试程序在Sim-Godson上的IPC(Instruction Per Cycle)与ICT-Godson相差不到5%,达到了很高的准确性.Sim-Godson在龙芯2号的性能分析工作中发挥了重要作用.