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

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

任务关键系统可生存性的形式化建模方法

通过剖析影响可生存性的本质特征,将服务请求与服务器、攻击者与服务器描述为不同的组件,使用PEPA语言精确描述系统各个状态间的逻辑关系和动态变化过程,从用户服务请求和攻击影响两个角度分别构建可生存性形式化模型,并比较两种建模角度的异同。理论分析和实验结果表明该模型能够正确地反映出可生存性的关键属性,并可在理论上指导可生存系统的设计和实现。     

UML 2．0状态图的XYZ/E时序逻辑语义研究

UML2.0状态图适合于描述软件体系结构中组件内部的动态行为及组件端口的行为,但UML2.0状态图的语义不够精确,使得它的描述结果不利于进行进一步的分析和验证。基于此,本文在定义UML 2.0状态图的语法的基础上,给出了UML 2.0状态图的XYZ/E时序逻辑语义,为使用UML 2.0状态图与XYZ/E相结合的方式来描述软件体系结构中组件内部的动态行为及组件端口的行为奠定了基础。     

一种分析电子现金协议的工具

引入顺序图描述安全协议,提出实体框架模型分析电子现金协议.通过实体框架,可以确定协议各参与者以及敌手的能力,明确匿名性等安全特性的语义含义,清晰地对电子现金这种复杂协议进行形式化分析.     

一种新的安全协议设计方法

已有的安全协议往往被证实并不如它们的设计者所期望的那样安全,如何设计才能确保协议的安全性是目前研究的难点之一.通过介绍目前安全协议设计的主要思路和方法,说明了PDS系统的主要内容和方法,推导出了ISO-9798-3协议.     

一个基于WWW的工作流管理系统

提出了一个基于WWW的WFMS(工作流管理系统)NEUWork,并详细讨论了NEUWork的体系结构及其实现技术·通过采用基于Petri网技术的工作流模型描述方法及多代理协作技术支持的工作流Runtime的正确运行保证机制,使NEUWork不仅具有WWW提供的技术优势,同时实现了工作流管理系统的高灵活性和可靠性     

基于TU模式的历史关系数据库的研究

给出了TU模式的形式化定义，结合实例对该模式进行了深入的分析和研究，指出了其优缺点，并提出了对该模式的下一步研究思想。     

一种嵌入式关系模型的形式化描述

在ＮＲ／Ｔ网的基础上，对基于嵌入式关系模型的数据库信息系统的行为，给出了一种形式化的描述方法，并设计了一个变迁点火执行算法。     

支持与证据的形式化研究

关于不确定推量，从概率模型、可信度理论发展到证据理论和模糊推理，大大丰富了不确定推理的理论，在专家系统中的应用也日趋成熟，所有这些研究都是基于“一定意义”下的数值度量来研究证据与结论之间的关系，因而可以提出这样的问题，在非确定环境下，证据和证据对结论的支持强度的普遍含义是什么？这就涉及到支持和证据的逻辑基础问题。作者在文献[1]提出了支持逻辑和证据的初步概念，本文探讨了事态的形式化并且对支持逻辑和证据作了进一步说明和解释，对整个形式化方案作了肯定的说明。     

我们可以通过汉语做何种哲学

汉语哲学之问是一道涉及古今中西之争的现代性难题,问题结构和向度极其繁复。通过把汉语哲学问题表达为“我们可以通过汉语做何种哲学”,我们认为,一方面,汉语无形式语法,故中国传统文化中未形成欧式的形式化超越思维,也即未开展出欧洲哲学的“形式超越性”之维;另一方面,包括中国文化在内的人类各民族普遍观念世界的形成方式不只有欧式的“形式化”,还有胡塞尔所谓的“总体化”,但胡塞尔的理解过于局限,因为“总体化”不仅是经验科学的观念来源,也是个体性的实存哲学的基本方法,甚至也是文艺的“诗性共相”的构成方式。所以,我们固然可以在形式存在学（本体论）意义上把哲学看作西方唯一的,但更应该开放地把哲学理解为复数,从而为世界多元文化传统和思想方式留下平等沟通的机会。