数据挖掘理论在入侵检测系统中的应用

利用数据挖掘中的分类、关联规则和聚类等技术,完成了对系统审计数据的分析、分类规则的学习及入侵模型的建立,实现了对入侵攻击及系统异常行为的检测。通过对测试结果的分析,验证了将数据挖掘理论融入安全审计分析是可行和有效的。     

基于形式化方法的混成系统验证

对混成系统进行安全性验证是计算机领域具有重要意义和挑战性的课题,传统的测试仿真技术不足以确保系统的绝对安全性和完备性。基于形式化方法是根据混成系统的形式规范与属性,使用数学方法证明其正确性或非正确性。对温控系统实现了抽象算法的形式化,首先对线性混成系统的状态空间进行分割,然后将其转化为图的可达性问题,利用图算法求解,最终对系统进行了安全性验证。实验结果表明,采用形式化方法对混成系统进行安全性验证具有较高的可靠性与可信性。     

椭圆曲线数字签名系统的设计与实现

随着办公自动化系统的广泛应用，对系统安全性要求也越来越高。为了适应这一要求，数字签名系统应运而生。本文探讨了椭圆曲线数字签名系统的分析与设计，该系统通过C#编程实现。该签名系统首先对文档进行SHA-1算法得到摘要，然后对文档的摘要进行签名，验证者随后可以对签名进行验证。通过测试表明，该文实现的数字签名系统具有良好的运行性能，可以满足安全性的要求。     

计算机信息存储安全保证措施研究

从信息内容和信息连接两方面进行研究,综合两种技术的优点,提出了网络信息安全存储系统的设计模型,从存储和通信两方面保护重要信息,保证数据在传输过程中的安全.通过构筑安全通信平台,建立基于TCP的安全隧道,使用身份鉴别、访问控制、数据加密和审计日志等技术,保证通信数据的秘密性和完整性.并重点对系统的安全性进行效能评估,检验了系统对数据的控制能力.该系统为提高目前网络存储系统的安全性提供了一种可靠的解决方案.     

基于MATLAB先导式比例减压阀系统辨识仿真

通过建立先导式电液比例减压阀的数学模型和Simulink模型,通过对Simulink模型施加正弦扫频信号,获得系统的频率特性,并采用加权最小二乘曲线拟合法对系统进行辨识,给出了出系统数学模型的辨识参数,将系统的辨识模型与Simulink模型进行了对比仿真,验证了辨识模型的准确性,为以后比例减压阀的控制提供合适的系统描述。     

基于Web环境下的公安笔录系统数据安全需求分析

针对笔录系统中原始证据在录入、保存和远程访问的过程中始终保持数据的原始性、客观性和安全性的技术难点,对系统的数据安全进行了较深入的需求分析,并提出了基于B/S模式下公安笔录管理系统的安全体系的设计模型。应用数据加密和电子身份认证及数据库加密等安全技术和理论,对公安笔录系统的数据安全进行整体性加密的安全体系方案设计,能够较好地保证数据的安全性。     

基于自抗扰控制的典型RLC系统仿真研究

为有效解决二阶线性系统的时变参数与外部干扰的控制问题,提出采用自抗扰控制方法对系统进行鲁棒跟踪控制。以经典的串联RLC电路为研究对象,在考虑时变参数、外部干扰及其他不确定性因素的基础上,建立二阶系统模型;根据模型设计自抗扰控制器,其工作原理是通过扩张状态观测器实时观测系统扰动,进而补偿到自抗扰控制器中用以抑制扰动。应用Matlab进行系统仿真分析,验证了所设计控制器的有效性。     

交-交变频同步电机调速系统的实验仿真研究

利用交-交变频同步电机调速系统原理,采用PSIM软件建立了气隙磁场定向控制的交-交变频同步电机调速系统的仿真模型,对系统模型进行了仿真测试,验证了该模型的稳定性。结合实际热连轧过程,对交-交变频同步电机系统注入电网的谐波进行研究,得到交-交变频同步电机系统运行时谐波的变化规律及其影响因素。实验结果表明,仿真波形变化与现场的波形变化基本相同,该模型可辅助相关理论研究。     

基于硬件在环仿真的系统模型辨识平台设计

控制系统设计的前提是建立准确的被控系统的数学模型,为了验证理论建模的准确性,设计了基于硬件在环仿真的系统模型辨识平台。以力伺服控制系统为例:建立柔索驱动系统数学模型;搭建基于d SPACE硬件在环仿真的系统模型辨识平台;最后,利用MATLAB-ident工具箱在离线状态下对系统数学模型进行模型辨识。模型辨识实验结果表明:实际系统和理论模型的频率特性基本吻合,验证了该模型辨识方法的有效性。该平台容易搭建、调试简单、工作稳定,对力伺服系统建模及控制系统设计具有参考价值,同时可推广至其他类型伺服系统的模型辨识。     

考虑碳排放的综合能源系统经济优化调度

以经济性最优为目标,在满足系统的热电负荷需求的基础上,搭建了综合能源系统的低碳经济调度模型,重点分析系统运行中各设备的碳排放,特别是储电设备的碳排放,通过改进的粒子群算法进行实例检验。结果验证了该模型结构的合理性和调度的经济性,对系统内所有设备的碳排放具体分析,验证了系统的低碳运行。     

网上设备招投标系统安全方案的设计

针对网上设备招投标系统的功能要求,结合招投标工作的特点,对系统的功能模块进行了划分,提出了系统的整体架构、系统配置,分析了网上招投标过程中的投标方身份认证、数据传输的安全性,以及投标行为的不可否认性等安全性问题,提出了使用证书、应用SSL协议及存储数据的保密性和完整性等安全解决方案,并就安全方案实施的关键技术进行深入的分析和阐述。     

通信网络安全维护研究

通信网络的安全性不仅对系统本身的运行提出了挑战,也对与之相关的产业、人们的切身利益造成了影响。通讯网络安全性可以通过必要的手段加以维护,以提高系统的安全与稳定性。在分析通信网络安全维护必要性的基础上,对网络安全的现状进行了分析,从风险来源等层面进行了研究,并针对可能存在的风险提出了制度与技术视角的相关对策。     

网络安全模型及其优化

为了保证计算机网络系统和信息资源的整体安全性,人们建立了网络安全模型,并对其整体安全性进行研究。P2DR和PDRR为常用的两种安全模型。在详细介绍两种网络安全模型的基础上,对PDRR安全模型进行优化,通过漏洞扫描仪等工具对主机等进行风险评估,并提出防护措施,使之更加安全高效。     

AP1000主蒸汽管道断裂瞬态仿真研究

为提高系统的经济性和安全性,非能动安全设计在第三代核电(AP1000)广泛使用.本文采用RELAP5(Reac-tor Excursion and Leak Analysis Program 5)分析软件对核电主冷却剂系统和非能动堆芯冷却系统进行数值研究,以主蒸汽管道破裂瞬态为例验证A P1000的非能动安全性并与初步安全分析报告比较校验模型的准确性.校验表明本模型和初步安全分析报告计算结果一致,表明三代核电站A P1000拥有足以抵御全厂丧失辅助交流电源事故的设计裕度;模型精度已满足工程应用要求,为三代核电仿真技术的工程应用奠定了技术基础.     

基于Simulink的绕线式异步电机串级调速系统虚拟实验分析

将Matlab/Simulink引入课程的虚拟实验教学之中。利用Simulink建立了双闭环控制的绕线式异步电机串级调速系统仿真模型,给出了仿真参数,利用仿真结果分析了串级调速系统的启动过程、突加负载和转速给定值改变时的动态调节过程,验证了该调速系统仿真模型的正确性。在实验教学中,Simulink仿真模型辅助学生对系统动态调节过程的理解、建立系统级控制思想,也可用于研究和开发异步电机串级调速系统。     

基于BP神经网络的计算机网络安全评价模式研究

计算机网络的发展给现代生活带来了极大的便利,然而在人们极速浏览与快捷支付的同时,计算机网络安全也成为了大众关注的焦点.本文基于神经网络对于计算机网络安全的适用性,从神经网络的特点与计算机网络安全评价系统等角度进行分析.在建立安全评价模型的基础上,构建BP神经网络模型,利用matlab进行模型的求解并对该模型的可行性进行验证.本文旨在为计算机安全评价提供参考性的理论依据,帮助完善我国计算机网络安全漏洞.     

基于Agent的智能医疗监护系统

通过Agent技术的研究,设计了基于Agent的智能监护系统模型。对床旁机的核心模块采集A-gent重点进行了设计,构建了智能控制中心模块,针对系统的特殊情况设计了合适的视频数据采集方案。通过对系统的性能分析,结合系统的试运行情况,验证了系统的设计方案与开发思路都是正确可行的,能满足医疗监护的需要。     

具免疫应答时滞乙肝病毒的数学模型

据统计,世界有1/3的人口曾经感染乙肝病毒,约有3.5亿人是HBV携带者。如何预防和治疗乙肝一直是社会关注的焦点和医学与数学等交叉学科的重要课题。基于Nowak模型,建立了具免疫时滞因素HBV感染时滞微分方程模型,对该模型的动力学进行了分析,并应用Routh-Hurwitze定理及Lyapunov-Lasalle定理讨论了该模型平衡点的稳定性,分析了免疫时滞对系统动力学性质产生的影响。数值模拟验证了所得到的结果。     

交-交电流型无换向器电机调速系统的仿真

本文对交-交电流型无换向器电机调速系统进行了深入的研究,建立了可控硅导通与截止的数学描述方法,推导出系统可能的运行状态,建立了系统数值仿真程序,此程序适用于对系统的稳态和暂态电流的分析,并得到了实验的验证,为分析交-交电流型无换向器电机调速系统提供了一个有力的工具。     

一个基于访问历史的BLP改进模型的修正

为克服SLCF安全模型使用动态调整主体安全标记方法不当,造成信息泄漏的安全隐患问题,结合BLP基本安全准则,分析指出该模型存在的不足,提出从信息流角度,根据访问历史记录,对信息流入、流出标记函数的变化规则进行修正的基本思想,给出了新的修正访问控制规则,并通过实例,对修正效果的正确性进行分析验证,结果表明该修正访问控制规则,在确保应用系统的可用性和灵活性的前提下,确实有效防止了信息的非法泄漏,增强了系统的安全性。