计算机网络协议的形式模型研究

本文讨论了计算机网络协议的一种抽象形式模型。文中利用该模型对该通信协议的某些重要概念及性质进行了定义和形式描述,研讨了某些典型形式描述技术：Ｐｅｔｒｉ网,ＬＯＴＯＳ和关系表示法之间的语义联系。     

n阶形式背景核的构造算法

基于n阶形式背景核的概念格同构生成是一种新的概念格获取方法.其中n阶形式背景核的构造是基础.根据n阶形式背景核的概念,提出了n阶形式背景核的基本算法,并通过限制冗余形式背景的生成,对算法进行了改进.最后经过实验,验证了改进算法相对基本算法效率更高.     

实时系统软件开发过程中形式方法的作用

针对实时系统软件开发的特殊性要求,本文强调形式方法是保证实时系统软件开发正确的一种重要方法。文章首先对形式方法的含义进行了系统的介绍,然后分析了形式方法的三个分支在实时系统软件开发过程中的作用,即形式规约、定理证明、形式验证,并指出了形式方法当前主要应用的能力以及应用的局限性,最后提出了形式方法的一些主要研究方向。     

HB协议的形式规约与验证

形式化方法是确保安全协议设计正确性的重要工具,利用形式化方法已经发现了许多安全协议的设计错误.首次利用形式规约语言Z对RFID安全协议HB进行形式规约, 并对HB协议应该满足的安全性质进行形式化描述,使用Z模式推理从协议及其运行环境两个方面验证了协议的关键安全属性,发现了HB协议在设计方面的缺陷,提出了HB协议的一种改进方法.     

一类表达式及其典型形式的推广

文[1]给出了REP表达式类及其典范形式,本文推广了这类表达式并证明其存在的典范形式。     

纯化形式背景及其性质研究

为提高处理复杂形式背景的效率,将形式背景用矩阵表示,从而将形式背景上的符号运算转化为矩阵数值运算,提出了属性纯化形式背景,并应用矩阵的数值运算判定属性特征,从而判定一个形式背景是否是属性纯化的。对偶地,可以得到对象纯化形式背景的判定方法。一个形式背景既是属性纯化的又是对象纯化的,则这个形式背景是纯化的。一个纯化的形式背景,其蕴涵的关联规则与其补形式背景上的关联规则互逆,有利于复杂形式背景的关联规则提取。     

偏序关系在形式概念分析中的应用

将偏序关系应用到形式概念分析中,定义了三个基于偏序集的衍生形式背景,利用衍生形式背景对原形式背景中的概念、内涵、可约对象、可约属性及蕴含规则进行了刻画,这种刻画更有利于人们对形式概念分析的深入理解。     

形式背景同构判定的等价类算法

同构生成概念格是获取概念格的另一途径,而形式背景同构判定是这一方法的前提,也是决定整个算法时间复杂度的关键。本文提出的基于等价类法的形式背景同构判定算法,有效地提高了同构判定的效率。结合形式背景的分解和约简等手段,为概念格的构造提供了一种有实用价值的方法。本文对该方法的原理和算法设计进行了较详细的讨论,并通过实验,验证了算法的正确性和有效性。     

概念格的分布处理研究

概念格和形式背景是一一对应的，概念格的分布处理必然涉及到形式背景的处理．定义了形式背景问的横向和纵向合并运算，讨论了同域背景间的三种不同的关系，特别提出一种新颖的属性相似度方法来处理背景间的不一致关系，把不一致的形式背景转换为一致背景或独立背景；还定义了概念、概念格间的基本运算，并证明了纵向合并的子背景的概念格和子背景所对应的子概念格的并是同构的，这样就奠定了概念格分布处理的理论基础，为概念格的分布并行构造提供了依据．     

感觉花鸟画的形式感

花鸟画是中国画的重要组成部分,具有悠久的历史,随着时代的变迁各代呈现出不同的风格形式,画面表现不同的形式美感,画面形式感包括内在精神和外在形式。内在精神是作者内心感受的凝集,外在形式则体现在构图和色彩的表现上。现代花鸟画用更加强烈的外在形式表达内心敏感炽热的情怀,让形式感成为抒发胸意的最有力的手段和与观者交流的最贴切的媒体语言。     

决策连续形式背景的可视化数据离散化方法

连续形式背景离散化是形式概念分析领域重要的基础问题之一。本文针对形式背景离散化的特殊要求,提出了一种可视化的数据离散化方法。该方法借助可视化方法对数据类别分布进行表示,将连续数据分布转化为图形分布,进一步利用视觉模糊性对图形空间进行处理,进而将决策连续背景离散化。通过UCI数据集上的实验表明,与传统离散化方法相比,采用本文方法进行数据离散化后的二值形式背景具有结构简单且不失准确性的优点。     

形式概念分析在软件理解中的研究综述

主要对形式概念分析在软件理解上的研究进展进行总结．阐述形式概念在软件理解中一般过程和主要采取的技术方法．给出形式概念分析在软件理解领域的研究趋势与展望。     

一种查找形式背景箭头关系的快速算法

在形式概念分析中,"箭头关系"对简化形式背景、识别兼容子背景等起着至关重要的作用,因此如何快速确定一个给定形式背景的对象与属性间的箭头关系是一个值得探讨的问题。首先针对形式背景给出对象与属性间的箭头关系的等价判定定理,在此基础上提出一个查找形式背景的箭头关系的快速算法,并通过实例与数值实验证实了该算法的可行性与有效性。     

存在多值依赖(MVD)的XML文档的规范化

讨论了在XML文档中存在多值依赖的情况下，如何规范XML文档，从而使XML文档有更小的冗余，以及更新、删除、插入异常。并在此基础上提出了一个规范化算法，来规范存在多值依赖的XML文档。并给出了算法的说明。     

粗糙形式概念抽取的属性集合幂集方法

为了最大限度地抽取出形式背景中的粗糙形式概念,以便为粗糙概念格的构建提供完整的信息源,对粗糙形式概念的抽取进行了研究,提出了粗糙形式概念抽取的属性集合幂集方法.其操作要点为:粗糙形式概念的内涵由属性集合幂集方法所求得的子集确定,粗糙形式概念的外延由属性集合幂集所对应对象的上下近似集确定.该方法实现了粗糙形式概念的抽取,...     

命题逻辑中形式推演证明题的自动评阅系统

自动阅卷评分是大规模计算机考试的必然选择,而数学类主观题涉及运算符号、运算步骤、解题方法多样等问题,其自动评分一直制约着考试系统的发展。数理逻辑是数学的一个分支,命题逻辑是数理逻辑的一部分。命题逻辑的同一个形式可推演性模式可以有不同的形式证明,即存在一题多解的情况,但其证明有严格的程式,针对其特点用C#开发一个适用于其自身的自动评分系统。应用表明,系统操作界面友好,可大大提高教师阅卷的工作效率。     

论PBL教学内容和教学形式

PBL模式侧重培养学生的各种能力,但不排除学科知识的获取。PBL模式以学生为主体,以提出问题开始,以反思评价结束,在教师引导下,学生逐步达到知识和能力构建的学习目标。PBL模式与传统教学模式的区别主要体现在教学内容和教学形式上。     

有计划 无规则

创业是一个非常热门的话题，虽然创业的形式与内容不尽相同，但每个创业人都希望自己能够用最简单的方式和最有效的原则实现创业的成功。即使我们承认成功不可复制，但当新来者面对成功者，都会提出一个相同的问题：“你的经验是什么?”     

一种n个通信有限状态机的交互式生成法

通信有限状态机是一种直观，易懂且描述能力较强的形式描述工具，它被广泛地用于协议的形式描述，验证及测试、协议变换等，但是，由于描述对象的复杂性和缺少适当的支援工具，ＣＦＳＭ的产生一般依靠手工完成，这除了描述效率低之外，更重要的是所产生的ＣＦＳＭ的性能取于描述人员的习惯、经验，能力等，本文提出了一种由协议文本交互式地产生ｎ个ＣＦＳＭ的生成方法。使用该方法，描述人员可得到ｎ个不包含常见逻辑错误的互相传递     

保持二元关系不变的概念约简

受形式概念分析中因子分解的启发,借鉴属性约简的思想,从概念角度上思考,提出保持二元关系不变的概念约简.首先给出保持二元关系不变的概念约简的定义及概念协调集的判定定理.然后根据形式概念在保持二元关系不变的概念约简过程中所起的作用,将形式概念分为核心概念、相对必要概念、不必要概念.最后分别研究3类概念的特征,从二元关系和算子角度考虑,得到三类概念的相关结论.上述结果有助于进一步的算法研究与应用及更深入的理论分析工作.