搜索资源列表
AFSMatlabCodes
- AFS （Axiomatic Fuzzy Set)理论，我们老师与澳大利亚的一个教授合写的，可可以说这个理论是他们原创的，一经发表了好几篇ＳＣＩ论文，文章里面有ｍａｔｌａｂ 的代码！-In this paper, we introduce the basic ideas and the results of AFS (Axiomatic Fuzzy Set) theory with some simple illustrative ex
BLP
- ：经典的BLP模型是在计算机安全系统中实现多级安全性支持的基础，被视作基本安全公 理．BLP模型采用“强制存取控制”和“自主存取控制”来实现其安全性，总结了BLP模型的“公理 化描述”、“有限状态机模型描述”和“信息流的格模型描述”三种不同描述方法，分析了其BLP模型 目前存在的安全缺陷主要是：安全级定义的不完备性、信息完整性缺陷、时域安全性缺陷和隐通 道．在对BLP模型的改进中，影响较大的主要有BLDM 与MBLP两种
hoare-axiomatic
- hoare公理原作,难得的杰出作品,希望大家喜欢.-hoare axiom original, a rare masterpiece, I hope you like it.
Introduction-to-Axiomatic-set-theory
- GTM里的第一本书 讲集合论，希望对数学感兴趣的同学能有所帮助-GTM in the first book about set theory, I hope the students interested in mathematics can help
PhDPropsversion4
- PhD Proposals Automated theorem proving (ATP) in geometry has two major lines of research: axiomatic proof style and algebraic proof style (see [6], for instance, for a survey). Algebraic proof style methods are base
FuzzyRule_Truck
- 运用模糊控制规则及AFS模糊公理集，对系统状态进行状态回归控制- Based on the theory of axiomatic fuzzy set, we summarize the cluster method of fuzzy concept semantic and fuzzy logic operation through imitating the clustering process o