一角认控制的形式化方法

提出了一种基于事务的确认控制形式化方法。该方法在数据流图的基础上引入了数据流事务的概念，通过施加控制数据流规则和ＦＳＭ语法，将数据流事务转换为ＦＳＭ事务，消除了数据流图的歧义性；同时，将有限状态机作为ＦＳＭ事务的控制原语，使事务的控制部分得以形式从，从而可实现确认控制自动化。     

确认测试路径的一种生成方法

针对确认测试自动化在实现中的难题,提出了将测试过程进行划分的确认控制策略,并探讨了将之付诸实践的可行方法．一方面通过将测试过程进行划分减轻用例设计的负担,另一方面通过在每个测试步内生成完全的功能路径以保证功能覆盖的全面性．方法确认测试过程除了在把数据流图转变为带控制扩展的数据流图时需要人工辅助之外,其余的步骤均能自动实现．     

确认测试路径的一种生成方法

针对确认测试自动化在实现中的难题，提出了将测试过程进行划分的确认控制策略，并探讨了次之付诸实践的可行方法。一方面通过将测试过程进行划分减轻用例设计的负担，另一方面通过在每个测试步内生成完全的功能路径以保证功能覆盖的全面性。方法确认测试过程除了在把数据流图转变为带控制扩展的数据流图时需要人工辅助之外，其余的步骤均能自动实现。     

智能的数据流图辅助生成系统

介绍了一个面向对象的智能的数据流图辅助生成系统,简述了系统的功能,系统的对象结构以及主要对象的数据结构,并提出了数据流图的形式化定义,在此基础上讨论了数据流图完整性约束条件的定义与完整性约束机制的实现。     

数据流图描述语言的研究与设计

数据流图是软件设计开发过程中概念模型设计的重要图形表示法，作为一种需求分析的通用方法它直观而且简洁。文章对数据流图设计一个形式化描述语言，并给出示例说明此语言的使用，将图示的数据流图以语言的方式进行描述。用该语言可对用户需求进行语义描述，以此获取用户需求的知识。研究的目的既给用户提供易于理解需求分析的方法也为下一步的逻辑设计提供依据。     

基于数据流表达式的程序数据流分析算法

以形式化的方法论述了程序数据流分析的基本原理，给出了数据流表达式的概念。并在此概念的基础上，给出了一个找出程序数据流异常的数据流分析算法。本算法通用性强，运用本算法不难开发出相应的程序测试辅助工具，具有一定的实用价值     

基于MAS的形式化数据流图的方法

由于Ｄｅ Ｍａｒｃｏ的数据流图缺乏形式化的描述方法，本文提出了一种使用的综合知识表示模型ＭＡＳ来形式化描述ＤＤＦＤ的新方法。使用此方法，能方便地建立一些有关ＤＤＦＤ的知识规则，并能对ＤＤＦＤ自动进行一致性和完全性检查。     

从控制传播图导出分层结构图

为了转换数据流图成为结构图,引入了一种新的图形工具即控制传播图(CSD)。控制传播图是介于数据流图和结构图之间的图形工具,是实现从数据流图到结构图转换的中间产物。本文着重讨论从控制传播图导出分层结构图的基本原则和方法。     

一种从数据流图转换成软件结构图的方法

本文从对数据流图特点的分析和对模块结构图的特点分析并结合数据流图和结构图的关系,提出了一种新的数据流图转换成结构图的方法——添加边界节点法,并将添加的节点作为结构图的第二层,作为数据流传递的间接接口。根据这一原则,在计算机上实现了数据流图到结构图的转换。     

基于粒计算的商业数据流概念漂移特征选择

商业数据流具有动态性、漂移性等特性,概念漂移特征选择是数据流挖掘的重要工作之一.本文从数据流的特点和概念漂移特性出发,提出了数据流的概念形式化分析流程和基于粒计算构建数据流的概念形式化描述模型;商业数据流的概念漂移实际上取决于其概念外延的变化,文中使用包括外延偶合度和内涵偶合度在内的概念偶合度来描述概念间的相似性;经过粒化的数据流由概念格来表示,进而通过概念格对的松弛偶合度来分析数据流特征;结合概念偶合分析和数据流变化特征,阐述了一种基于数据流概念格对的松弛匹配偶合度算法,并据此分析概念格对来选择数据流的漂移特征.通过实例验证、评价了特征选择,证明其有效性.     

采用C语言实现CNC系统的输入控制

提出采用C语言实现CNC系统的输入控制,为CNC系统控制软件的开发建立了良好的开发平台.并重点分析了采用C语言实现零件加工程序的存储和程序段逐段解释译码过程以及它们各自的特殊处理技术——压缩存储技术和特征字代码表的建立和应用.     

用相关元素定序法实现乐观并发控制

针对两段锁2PL(Tow-Phase Locking)并发控制方法的死锁率高,使Internet系统的性能大幅度降低的问题,提出了一种基于乐观机制的新的并发控制方法--相关元素定序法,并给出了一种新的冲突验证算法 --相关元素验证算法.该方法不存在死锁问题,较以往的乐观并发控制法验证方法简单, 事务重启动的次数减少5%,系统的吞吐能力比2PL提高160%,而且能保证重启动事务执行成功 ,因而能够缩短事务的响应时间,提高系统的吞吐能力.是一种实用的并发控制方法.     

一种适于对象-关系数据库的事务模型

对象－关系数据库往往需要处理长时间运行的事务，这使得传统的事务模型不再适合于对象－关系数据库。为此讨论了结合嵌套事务，显式谓词和多版本模型优点的QT／WD模型，形式化地描述了模型的结合和正确性。嵌套事务使用了多级事务框架，提供了事务的多级原子性，显式谓词有助于增加事务之间的合作，多版本使限制谓词可以更容易满足而增加了并发，这些新特性使得QT／WD模型非常适合于长事务处理，提高了长事务的运行性能。     

基于数据仓库技术的医院信息系统应用研究

基于联机事务处理(OLTP)的传统医院信息系统(HIS)主要追求日常医疗及管理业务电子化的高速度和准确性,不能满足管理者对复杂数据的系统分析和决策支持的需求.数据仓库和联机分析处理(OLAP)则弥补了传统数据库在分析型应用上的不足.提出了一个实现医院的数据仓库系统解决方案,并以实例说明OLAP和数据挖掘技术在药房信息管理和分析决策中的应用.实际应用表明,新的解决方案对降低劳动强度和提高工作效率有明显的效果.     

基于数据库管理系统的MIS的分析与设计─—对瀑布模型的改进

本文介绍了一种改进后的瀑布模型，将原模型中需求分析阶段细分为用户需求分析、数据库表设计和系统分析三个阶段，并对改进的原因及意义做了说明．文中还详细介绍了用户分析阶段所采用的技术和文档．最后，文中给出了信息流程图及其相应数据字典；并列出了编制规则．     

基于关联规则的态势预测方法

态势预测是网络态势感知的重要环节,可以为网络管理员提供必要的决策支撑。为了实现对网络的大数据管理模式,针对当前预测算法无法充分利用大数据优势的局限,提出了基于关联规则的态势预测方法。该方法综合考虑了大数据的特点和态势预测的需求,给出了方法的基本思想和实现流程。实验结果表明,提出的方法与传统预测方法相比,通过寻找数据间的关联物而不是非线性匹配来达到预测的目的,大大降低了计算的时间复杂度,提高了预测效率。     

一种Verilog的操作语义

用形式化的方法描述了硬件描述语言Verilog的语法和语义,建立了一个Verilog的操作语义模型。分别用二元组和四元组描述Verilog非并发和并发成分的状态,刻画了不同语句的状态转换规则,并用实例描述了并发程序的执行过程,证明了该操作语义模型的正确性。     

SET协议的安全性分析和改进

目前SET协议在电子商务交易中应用越来越广泛，由此而来，对SET协议的安全性的要求就越来越高。在SET协议的交易流程基础上，分析了其安全机制采用的技术和优点，指出了SET协议安全性存在的一些问题，并提出了相应改进的措施，解决了SET协议中交易时间过长、适应性较差等问题。     

分布式数据库约束性关联规则挖掘

针对分布式数据库和约束条件的特点,提出了2种在分布式环境下挖掘约束性关联规则的有效算法,即基于Apriori算法的DMAIC算法和基于频繁模式树的DAMICFP算法.此外,进行了实例验证和测试分析,指出了这2种算法各自的优缺点及适用条件.研究结果表明:DMAIC算法可靠性高,通信协议简单,适用于对通信性能要求不高的分布式数据库;DAMICFP算法执行效率高,通信性能好,适用于对通信性能要求较高的多项目分布式数据库;这2种算法均能有效地解决分布式挖掘约束性关联规则的问题.     

分布式实时系统的一种转化设计方法

介绍了实时分布式系统的一种转化设计方法。系统的形式化需求规范用时段演算DC（Duration Calculus)描述，系统的设计用规范语言SL（Specification Language)表示。一组标准的转换规则可将系统从形式化需求规范转化为设计规范。系统设计的正确性可由转换过程本身得以保证。多用户多媒体通信系统的设计实例展示了转换设计方法的具体过程。