结合静态语义和基于矩阵的异常事务识别方法

使用入侵检测找出数据库中异常事务是当前常用方法。但是，现今许多签字检测和非签字检测都是针对操作系统级而不是系统管理级，而且还不能保证对所有异常行为作出正确响应。为此给出一种新的异常事务识别方法。该方法使用静态语义分析读、写前及写后集合之间的关系来确定异常事务，使用基于矩阵的损失评估方法识别受此异常事务影响的数据客体。该方法由于避免读取数据库日志文件而减少了损失评估时间，但相关矩阵的存储需大量空间。     

融合文本图卷积和集成学习的文本分类方法

为了提高文本分类的准确率并解决文本图卷积神经网络对节点特征利用不足的问题,提出了一种新的文本分类模型,其内在融合了文本图卷积和Stacking集成学习方法的优点。该模型首先通过文本图卷积神经网络学习文档和词的全局表达以及文档的语法结构信息,再通过集成学习对文本图卷积提取的特征进行二次学习,以弥补文本图卷积节点特征利用不足的问题,提升单标签文本分类的准确率以及整个模型泛化能力。为了降低集成学习的时间消耗,移除了集成学习中的k折交叉验证机制,融合算法实现了文本图卷积和Stacking集成学习方法的关联。在R8、R52、MR、Ohsumed、20NG等数据集上的分类效果相对于传统的分类模型分别提升了1.5%、2.5%、11%、12%、7%以上,该方法在同领域的分类算法比较中表现优异。     

网格技术及其应用

网格实现了将计算机网络作为统一的计算资源的可能性。这是一种动态的、多机构虚拟组织的资源协调共享和问题解决的崭新技术，与传统分布式计算的区别，主要在于其重点是大规模的资源共享、创新的应用以及高性能的目标。文章阐述了网格的基本概念，并介绍了网格的应用与发展。     

基于ADL的物理信息系统的建模与分析

当前分析和设计物理信息系统的模型和方法通常是线性分离的,且由不同的数学形式化方法和工程与计算机科学中的不同方法定义。为便于处理,对关注点分离是必要的,但这种分析方式由于在系统设计时过早地将系统信息特征与物理特征分离,导致很难评估直接与这两个领域进行交互的可替换元素的影响和协调性。文中对围绕组成CPS系统的所有范围的元素的架构描述进行扩展,最终目的是能够建立一个可扩展的框架,包括一套可被创建的综合设计工具。由此文中提出这种物理信息系统建模方法并通过一个简单应用实例对方法进行说明。     

ATM时钟同步的研究与实现

容错状态下的时钟同步是ＡＴＭ系统中的重要问题。本文分析了ＡＴＭ用户连接的要求提出了与业务类型相关的调度模型,它能够满足用户信元的实时传输、发送顺序和信元丢失要求。由于同时考虑了信元的优先级和时限,不同传输和丢弃优先级但有相同实时传输要求的信元连接可以在同时得到服务。最后,根据容错实时系统的要求,本文提出
出了一种容错状态下实现同步的调度方案,可以在可容忍时钟精度范围内很好地解决时钟同步问题。     

形式化语言RT-Z的合成及其应用

Z是一种确定相关数据特征的非常成功的形式化语言，却在构造动态行为方面的模型缺乏相应的功能；而Timed CSP是一种确定动态行为的功能强大的语言，但它没提供适当的结构来构造相关数据特征。文中通过形式化语言Z和过程代数Timed CSP合成一种新的形式化方法RT-Z，使得RT-Z在软件系统开发过程的需求定义和设计阶段能书写软件系统一致、简单的规格说明。     

网格QoS及其保证方法

随着网格技术和应用的不断深入,对网格提出了严格的服务质量（quality of service,简称QoS）要求,网格中的QoS度为研究应用的焦点,缺乏QoS保证逐渐成为制约网格应用的瓶颈之一。本文主要描述了网格QoS定义,网格QoS需求,网格QoS的保证方法,同时也提出了研究的一些方向。     

应用形式化与实时语言的面向方面方法

面向方面的软件开发方法是在面向对象开发方法的基础上,在AOP的支持下将贯穿系统的横切关注点提取出来,通过联结方式织入系统功能代码中的软件开发方法,该方法降低了软件开发的复杂性,提高了系统的灵活性和可维护性。形式化和实时语言为面向方面方法贯穿于实时软件开发提供了必要的支持,以形式化方法AO-RT-Z和实时语言PEARL为基础,给出了一种面向方面的实时软件开发框架,实现了软件生命周期各个阶段对面向方面的无缝支持,降低了实时软件开发的复杂性,提升了系统的可信度。     

形式化语言RT-Z的合成及其应用

Z是一种确定相关数据特征的非常成功的形式化语言,却在构造动态行为方面的模型缺乏相应的功能;而TimedCSP是一种确定动态行为的功能强大的语言,但它没提供适当的结构来构造相关数据特征.文中通过形式化语言Z和过程代数Timed CSP合成一种新的形式化方法RT-Z,使得RT-Z在软件系统开发过程的需求定义和设计阶段能书写软件系统一致、简单的规格说明.     

基于J2EE框架的食品药品监督管理系统的研究

互联网技术的普及和应用,使电子政务得到了迅速的发展。为适应行业监管的特殊需要,使用集成Struts、Spar,和Hiixrnate三种J2EE框架技术,可以快速构建一个多层的可复用、可扩展、实用的食品药品监督管理系统。深入讨论J2EE应用系统开发过程及其相关技术,提出了系统的解决方案。通过系统的建设,借助信息化的管理手段建立起监管部门与企业间的信息交流渠,实现了监管人员的移动办公和移动执法,实现了网上办公,方便监管人员的现场办公和执法。