未知真实类标记条件下数据流中的变化发现方法

目前对数据流挖掘的研究主要关注有标记的实例可以学习时,怎样发现模式中的变化以及怎样更新模型反映这种变化。然而有标记的数据流难以立即得到。文中给出了一种基于累积和(CU SUM)控制图的变化发现方法。该方法在未知真实类标记的情况下,可以发现数据流中的概念流动和分布变化。实验验证表明,该方法是有效的。     

基于数据流频繁模式挖掘的入侵检测模型

计算机网络入侵通常具有高频度特性,因此,识别是否正常访问,对数据流中重复元素的挖掘,给出频度指标,是一种重要的依据。提出一种基于数据流频繁模式的改进型AFP算法,该算法采用滑动窗口树技术,单遍扫描数据流及时捕获网络上的最新模式信息,并将该算法应用在入侵检测模型中正常数据和异常数据的在线挖掘。解决了有限存储和无限数据流的矛盾。实验结果表明,该模型有较高的报警率和较低的误报率。     

非结构化表格文档数据抽取与组织模型研究

针对现有文档数据抽取方法无法抽取多值属性且灵活性不高的问题,提出了一种面向非结构化表格文档的数据抽取方法与组织模型.在分析文档结构特征和数据流特征的基础上,定义了数据流生成基本规则,给出了一个基于规则的数据抽取流程,包括逻辑结构抽取、文档预处理、数据抽取和数据组织等主要步骤,设计实现了单值区域与多值区域数据抽取算法;从文档中抽取的数据被组织成适合于MapReduce分析的结构化数据模型,该模型能够为大数据分析提供模型支持.实验结果表明：该抽取方法具有较高的准确率与召回率,数据组织模型也能够有效地支持大数据分析.     

基于数据流异常监测的软件容错纠错方法

针对可能出现的软件系统故障,提出了一种新的基于数据流异常监测、软件看门狗技术和回卷恢复技术的软件容错纠错方法。该方法定期对目标程序进行备份,通过提取目标程序中的一组相关变量建立数据流分析模型,利用数据流的异常检测排查出其中的离群点即出错点。提出了上述软件容错纠错策略的实现框架、操作流程,研究了基于最小二乘支持向量机的二元回归模型和离群点检测算法。以二元函数为例,对该文的二元回归模型和离群点检测算法进行了仿真研究,仿真结果验证了回归模型的正确性和离群点检测算法的有效性。     

基于事件触发并发数据流的可视化语言

数据流模型不仅可以有效地描述数据处理问题,而且具有很好的可视性与直观性,因此特别适合用于开发面向虚拟仪器的可视化编程语言.目前开发的可视化编程语言多是基于纯数据流(HomogeneousDataflow)模型的.纯数据流模型不能很好地与目前多数操作系统基于的事件驱动模型协调,存在CPU利用率低,对外部事件响应慢等缺点.在事件触发并发数据流(ECDF)的基础上,提出了一种面向虚拟仪器的可视化编程语言E.该语言支持并发多线程机制,支持外部事件驱动、阻塞调用(锁定)以及重叠I/O模式.针对不同的操作模式提出了六类仪器控件,同时还提出并实现了同一资源的双向对话通信模式.试验结果表明:该语言运行效率高、对外部事件响应时间短,对虚拟仪器系统具有较强的描述能力.     

基于格的数据流分析研究与应用

论述了编译系统中数据流分析的理论基础,在此基础上系统阐述了基于格理论的通用分析框架,为常见数据流问题提供了统一的解决方案。针对"到达定值"数据流问题,给出其基于格的分析框架,并以探测变量未定值先使用为例,给出了解决该数据流问题的算法。这种方法在试图解决不同的数据流问题时,利用一个分析框架只需给出相应的数据流问题定义所具有的特性即可,也有助于在软件设计中确定求解算法的可复用组件。     

一种抗语义攻击的虚拟化软件保护方法

随着计算机和网络的发展,软件核心算法面临着被逆向的威胁越来越大。虚拟机软件保护方法作为一种新型的软件保护方法,利用虚拟化技术保护软件的核心算法。因虚拟指令很难被理解,故其保护强度较高。但是,该方法仍无法抵御基于语义的攻击方法对虚拟机保护后的软件攻击,由此给软件安全带来了严重的威胁。针对现有的各类虚拟机软件保护方法无法应对目前恶意攻击者基于语义攻击的问题,提出了一种抗语义攻击的虚拟机软件保护方法即DAS-VMP。该方法分析了基于语义攻击的关键技术,依此研究出抵抗语义攻击的方法。从程序内部的数据流和执行流出发,通过设计数据流混淆引擎对虚拟机中虚拟解释器（Handlers）进行数据流混淆,使程序内部的数据流结构变得复杂多样,从而攻击者无法进行数据流的分析。隐藏虚拟机中的谓词信息,以抵抗攻击者的符号执行技术,同时将单一进程虚拟机设计为双进程虚拟机,控制软件运行过程中的执行流,使软件的执行过程更加难以被追踪,最终使经过保护后的软件呈现出一种复杂的数据流和执行流,从而阻止攻击者通过基于语义的攻击方法进行逆向分析。理论分析表明,DAS-VMP能够有效抵抗基于语义的攻击,与两款商业虚拟机保护系统的比较表明DAS-VMP对系统的性能开销较小。     

一个省级重点实验室管理信息系统的分析与设计

本文讨论了一个省级重点实验室管理信息系统的需求分析和概要设计。采用结构化分析的方法，描述了一个省级重点实验室的日常事务模型以及概要设计。列举了自然语言描述的需求分析，并相应给出了具体模型。基于具体模型，画出了分层数据流图。并对该数据流图中的加工做出了说明，给出了数据字典。最后。根据数据流图，设计了系统的结构模块图。     

主动网流调度模型A-Flow的研究

分析了第一代主动网在数据包处理中存在的不足,引入新的主动节点数据流调度模型A-Flow,给出了该模型在主动节点传输系统ANTS中的实现方案。新模型基于主动网封装协议ANEP,通过分解调度输入主动节点的数据流,可以实现不同的执行环境在同一节点共存。该模型拥有数据包缓存、认证及净荷调度等功能,提高了主动节点的性能和安全性。     

一种基于数据流驱动的数据流连续查询模型

建立了基于数据流驱动的数据流连续查询模型,介绍了系统结构和解决方案,设计了一些通用的查询算子,并通过查询算子在查询链中的有序组合来构造出各种复杂的连续查询语句。实验表明,该模型可扩充性强,操作简单,适合小规模的数据流查询需要。     

铸件凝固模拟软件的可视化

介绍了在自行开发的凝固模拟软件中对目标数据的处理．针对模拟计算使用的正交网格单元设计了适合于处理目标数据的独特的处理流程和算法，将目标数据转化为计算机图形，为分析目标数据提供了直观方便的手段．采用VC 6．0编写的可视化程序，利用对话框等交互手段实现对图形处理过程的全面控制．可以对模拟获得的温度场图形进行一般显示或剖切、旋转、透视等实时操作，并可动态演示凝固温度场的变化过程．     

无序式自动连接虚拟仪器软件自动生成

为给普通用户提供一种零编程的虚拟仪器软件生成方法,提出了一种无序式自动连接虚拟仪器软件自动生成的方式,此方式以虚拟仪器软件中功能的模块化为基础,通过建立功能集中的模块集和模块之间的关系,分析无序选择的功能模块间的数据流向合理性来判断软件生成的可能性,并利用决策算法调整数据流在模块间的流动顺序来生成虚拟仪器软件.以虚拟仪器软件自动生成开发平台为背景,对此有序式自动连接虚拟仪器生成方式进行了测试与分析,结果验证了此方式的可行性.     

SDL数据流的正则性判定准则

数据流分析能够可靠地证明顺序软件以及并发软件中存在的软件。在对软件常见错误性质进行归纳的基础上,提出了软件正则性与非正则性的概念,并提出了顺序软件和并发软件中数据流的正则性判定准则。该判定准则可以用来判断一个软件的数据是否正常,也是稀量软件可靠性的一个重要尺度。     

基于UML的网上考试系统建模

提出了基于J2EE 4层体系结构的网上考试系统方案,通过统一建模语言(UML)描述网络考试系统的建模过程,并对其进行需求分析、总体设计和详细设计.建立了系统用户模型、静态模型和动态模型的各种视图和规范化文档,描述了系统的功能需求、功能流程、类的结构与关系、对象之间的交互.最终采用面向对象方法和技术实现考试系统.使用这种方法对系统进行建模有利于提高系统的稳定性、可维护性和可重用性.     

基于构件和数据流的雷达组网系统研究

为了实现雷达组网系统功能模块和处理流程的动态调整,研究了雷达组网系统所需的开放式体系结构.将系统中的功能模块以软件构件的形式实现,配置构件的连接关系以脚本的形式存储,并以基于事件触发并发数据流模型的总控作为构件连接器,将构件组装形成应用系统,总控按照一定的算法通过接口调用或消息触发的方式实现对构件的调度.在这种结构下,通过添加、删除和替换构件,实现了系统功能模块的动态调整;通过配置构件连接关系,实现了系统处理流程的动态调整.     

基于.net的在线调查系统的研究

在线调查是企业获取市场信息、客户信息的重要途径.本文研究了在现有网络环境下,如何设计并实现采用.NET三层体系结构模型的通用的在线问卷调查系统.文章提出了搭建一个可提供用户个性化调查问卷的在线调查平台的可行性和必要性,并从软件工程的角度,对在线调查系统的数据、用户及功能需求进行了深入的剖析.     

粗粒土颗粒渗透系数计算模型的研究

渗透系数是渗流分析中最基本的也是非常重要的计算参数,研究粗粒土颗粒渗流系数计算模型为工程设计提供相对准确可靠数据尤为重要．基于理想致密圆球的渗流模型,将粗粒土颗粒粒径不同级配折算成基于理想渗流模型下的等效粒径,建立粗粒土颗粒流体的渗透系数计算模型．经理论分析建立起渗流系数与粗粒土颗粒等效粒径关系的计算模型,并通过实测数据验证模型的计算精度．为进一步研究多孔介质多组颗粒粒径混比综合渗流系数的计算提供新的途径．     

通信软件监测系统的模型

通过对系统进行整体描述和分布功能描述相结合的方法,给出了通信软件监测系统的模型。该模型的确立给通信软件的测试提供了一个新的思路和方向,而模型的进一步深化和实现将会大大提高通信软件的测试效率,同时亦提高了通信软件的可维护性。     

河网水体流动控导措施二维数值计算分析

引水入城是改善城市河网水环境的重要途径,但由于各种条件的约束,可能仍然存在流动性很小的河流.利用什么措施来增加这些流动性小的河流的流动性,再进一步又如何论证工程措施对增加水体流动的效果是重要的研究课题.本论文利用建立和验证了的河网平面二维数学模型,计算了设置并关闭和现状鸣山路江没有水闸条件下的水体流动状况,由两种情况的计算结果得到的水力要素增值及其分布图可以看出,设置并关闭水闸,当水闸关闭其他条件不变的情况下使得附近河流庙山江、西五灶江和西四灶江流速增加,水体的流动性增加明显;壅水河段仅在局部河段,且壅水很小.计算结果为工程提供了定量依据.     

函数后置信息在软件静态测试中的应用

为了提高基于模式的代码缺陷检测精度,提出一种应用函数后置信息(PFI)软件静态测试方法. 采用PFI描述函数中本地修改集、全局修改集以及参数和返回对数据流的影响,应用控制流迭代技术生成PFI. 该方法以较低的计算复杂性得到所有函数的后置信息,并可应用于静态分析过程中的区间计算和缺陷模式识别阶段. 在缺陷检测系统中的应用结果表明,该方法具备一定的可行性.