模糊描述逻辑系统L-ALCN中的形式概念格

该文首先简单介绍格值模糊描述逻辑系统L-ALCN的语法和语义,介绍形式概念分析(FCA)的基本理论。把形式概念分析引入到模糊描述逻辑中,在国际上也是刚刚起步,尚不成熟。该文定义了模糊形式背景、模糊形式概念格,并证明了此概念格为完备格。     

模糊描述逻辑系统L-ALCN中的形式概念格

该文首先简单介绍格值模糊描述逻辑系统L—ALCN的语法和语义,介绍形式概念分析（FCA）的基本理论。把形式概念分析引入到模糊描述逻辑中,在国际上也是刚刚起步,尚不成熟。该文定义了模糊形式背景、模糊形式概念格,并证明了此概念格为完备格。     

通用模板的形式框架设计方法研究

以协同工作平台服务(CWPS)软件构架研究项目为背景,从中抽象模板的通用形式框架.首先基于元模型理念,给出不同类型模板结构的元模型表示.进而探讨通用模板的形式框架,重点研究模板结构的形式语义表示,提出一种模板定义语言.最后给出形式模板的实例化方法以及典型案例.该元模型和模板定义语言,系统地总结并扩展了模板的形式化设计方法,具有可实现性.     

抗重放攻击认证协议的设计原则和方法研究

重放攻击是最基本、最常用、危害性最大的攻击认证协议的形式.从服务器和通信实体的角度对认证协议受重放攻击的根源进行详细的分析,提出了一套抗重放攻击认证协议的设计原则和方法.通过该原则和方法,对Adadi-Needham修改版本的Otway-Rees协议和BAN-Yahalom协议进行了分析和改进.该设计原则和方法对抗重放攻击认证协议的设计和分析是很有效的.     

构件关系语言的创建与应用

在对构件库中的构件进行修改和组装时,总会涉及构件间的关联问题,例如构件A的实现依赖于构件B,那么在用A进行组装时也必然会用到B.目前,对构件间关系的描述和应用多是在构件模型中实现的,这样做使构件模型变得复杂,而且难于实现对构件关系的推导.将构件间关系从构件库中抽取出来,由构件关系空间统一描述,并创建构件关系语言来实现对构件关系的描述和推导.     

■ukasiewicz命题逻辑系统中有限命题集的约简理论

在n值■ukasiewicz命题逻辑中提出了命题集Γ的约简理论,引入由命题集Γ所诱导的形式背景的概念,从Γ及其子集的关系出发给出了n值命题逻辑中有限命题集Γ约简的判定定理以及求Γ约简的方法。说明了无穷值■ukasiewicz命题逻辑中命题集Γ的约简可转化为n值情形。     

形式背景的蕴涵规则提取算法

对形式概念分析中如何从概念格提取出形式背景的完备的无冗余的蕴涵规则集进行了研究,从数学理论上证明了通过求出的概念格中的每个概念的真内涵缩减集可以得到形式背景的完备的蕴涵规则集,提出了如何再去除其中的冗余蕴涵得到形式背景的完备的无冗余的蕴涵集合的方法并从数学理论上证明了该方法的正确性,给出了一个从概念格得到形式背景的完备的无冗余的蕴涵规则集的算法。     

基于优势关系的信息系统与形式概念分析

对形式概念分析在基于优势关系的信息系统中的应用进行了讨论,证明了由基于优势关系的信息系统导出的形式背景中的对象粒与优势类是等价的,同时对象粒协调集与优势协调集是等价的。     

如何设定品牌标志的设计标准

品牌设计师通过知觉联想可以将文字语言转化为直接、可见的视觉图形传达给社会大众,这种语言上的转换是设计师发掘人们想象不到或想象不全面的一种表现方式,是艺术创造。同时,在没有限制,具有广泛可能性的创意、设计中,要把企业理念和目标等文字语言浓缩、整合出适合创意、设计的关键语,这一个个关键语就是品牌标志设计的依据和标准。有了这样的设计标准就会提高设计效率和准确性,减少在标志设计过程中的矛盾与摩擦,起到指引方向和检验最终方案的作用。