搜索资源列表
FundamentalsOfGridComputing
- Fundamentals of Grid Computing （网格计算基础） 这本 IBM 红皮书的目的是提供有关网格计算、概念、使用以及架构的讨论材料。网格计算在业务和技术领域提供了无限的机遇。读者将从本书中搜集到有关这片激动人心的新天地的事实与数据。 特别提示：这篇材料并不曾提交给任何正式的 IBM 测试，就这样直接出版了。文中的主题并不适合进行严格的评审。IBM 不会为本文的正确性和完整性负任何责任。对文中信息和任何技术实现方法的使用都由用户自己负责，用户要利用
BuildConcept.rar
- 形式概念分析中，构建概念格源代码，已打包成DLL可供其它代码调用。,Formal concept analysis, concept lattice construction of the source code has been packaged into a DLL call for other code.
SDLDesignSIP
- 会话初始协议SIP 作为推荐的Internet 会议和VoIP 应用层信令控制协议,在RFC 中没有严格地给出其行为的 形式化模型。介绍了SIP 协议,简要阐述了SDL(specification and descr iption language) 的基本概念及使用它描述网络协议的优 点,并利用SDL 给出了SIP 协议的形式化描述,为进一步的协议实现和验证奠定了基础。-SIP Session Initiation Protocol, as recommended by Intern
chengxushejishiyan4
- 一、实验题目： 实验4 程序的形式化推导 二、实验内容： （1） 根据给定的问题，建立前置谓词和后置谓词。 （2） 根据条件语句的推导策略，建立程序中的条件语句。 （3） 构造循环不变式，确立界函数。 （4） 根据循环语句的推导策略，建立程序中的循环语句。 （5） 面向目标，退到出所要的程序。 三、实验目的 根据条件语句的推导策略和循环语句的推导策略，基于最弱前置条件的概念，用比较形式化的方法，从设计要求达到的目标一步步推导出程序。 四、实验要求： 运用
ASM
- 从概念的角度分析了活动图并非结构的不足，系统地研究了时序模糊状态下的语音描述，以工作流的循环模式鉴别器作为实例，提出了活动图与形式化规范相结合的解决方法。最后结合抽象状态自动机ASM作为语义补充构造了鉴别器的活动图模型，从分支、合并、事件捕获等方面定义了详尽的规则，提高了模型的正确性、可验证性和一致性。-The insufficient of concurrent structure of activity diagram is analyzed in concept level,and the
JavaFCADemo200101_src
- 形式概念分析，概念格算法 包含两个算法，一个算法是对给定的概念上下文数据集并生成概念格，另一个算法则是绘制出概念格的图。-This demo shows two algorithms related to Formal Concept Analysis. Algorithm one calculates all Formal Concepts contained in a given Formal Context. The second algorithm draws a Formal Co
198(96)
- 形象运算（Concrete Operational）的层次，其中允许符号化、系统化的环境心理表象；形式运算（Formal Operational）的层次，在该层次中，个体具有假设——演绎推理能力，能够处理独立于行动、客体、空间的抽象的空间概念。图2-3表示了个体成长过程中的空间认识的发展。-Image of the operator (Concrete Operational) level, which allows symbolic, systematic representation of
198(95)
- 形象运算（Concrete Operational）的层次，其中允许符号化、系统化的环境心理表象；形式运算（Formal Operational）的层次，在该层次中，个体具有假设——演绎推理能力，能够处理独立于行动、客体、空间的抽象的空间概念。图2-3表示了个体成长过程中的空间认识的发展。-Image of the operator (Concrete Operational) level, which allows symbolic, systematic representation of
198(87)
- 形象运算（Concrete Operational）的层次，其中允许符号化、系统化的环境心理表象；形式运算（Formal Operational）的层次，在该层次中，个体具有假设——演绎推理能力，能够处理独立于行动、客体、空间的抽象的空间概念。图2-3表示了个体成长过程中的空间认识的发展。-Image of the operator (Concrete Operational) level, which allows symbolic, systematic representation of
198(89)
- 形象运算（Concrete Operational）的层次，其中允许符号化、系统化的环境心理表象；形式运算（Formal Operational）的层次，在该层次中，个体具有假设——演绎推理能力，能够处理独立于行动、客体、空间的抽象的空间概念。图2-3表示了个体成长过程中的空间认识的发展。-Image of the operator (Concrete Operational) level, which allows symbolic, systematic representation of
198(91)
- 形象运算（Concrete Operational）的层次，其中允许符号化、系统化的环境心理表象；形式运算（Formal Operational）的层次，在该层次中，个体具有假设——演绎推理能力，能够处理独立于行动、客体、空间的抽象的空间概念。图2-3表示了个体成长过程中的空间认识的发展。-Image of the operator (Concrete Operational) level, which allows symbolic, systematic representation of
198(75)
- 一个命题，是表达了对象之间关系的概念结构。命题必须符合以下规则：它必须是抽象的；它必须与一个真值关联；它必须符合一定的形式化规则。按照命题理论，-A proposition is to express the concept of the relationship between the object structure. Proposition must meet the following rules: it must be abstract it must be associated w
198(69)
- 一个命题，是表达了对象之间关系的概念结构。命题必须符合以下规则：它必须是抽象的；它必须与一个真值关联；它必须符合一定的形式化规则。按照命题理论，-A proposition is to express the concept of the relationship between the object structure. Proposition must meet the following rules: it must be abstract it must be associated w
198(66)
- 一个命题，是表达了对象之间关系的概念结构。命题必须符合以下规则：它必须是抽象的；它必须与一个真值关联；它必须符合一定的形式化规则。按照命题理论，-A proposition is to express the concept of the relationship between the object structure. Proposition must meet the following rules: it must be abstract it must be associated w
198(59)
- 一个命题，是表达了对象之间关系的概念结构。命题必须符合以下规则：它必须是抽象的；它必须与一个真值关联；它必须符合一定的形式化规则。按照命题理论，-A proposition is to express the concept of the relationship between the object structure. Proposition must meet the following rules: it must be abstract it must be associated w
MiningSourceCode
- Code duplication exists for many reasons, although it is known to be a bad practice. It may save costs on the development phase, but it surely has a higher cost of maintenance. What can we do to detect and eliminate those problems? This documen
L-fuzzy-concept-lattice
- 用于生成模糊形式背景的L模糊概念格，需要读入txt格式的模糊背景，生成的概念格写入txt文档中 -L-fuzzy concept lattice to generate fuzzy formal context
FCA1
- It s a source code project about Formal Concept Analysis. Written in C#
gainiange
- 概念格的构造问题是形式概念分析应用的前提。由于概念格的时空复杂度随着形式背景的增大而可能指数性的增大，有关概念格的生成问题一直是形式概念分析应用研究的一个重点。国内外的学者和研究人员对此进行了深入的研究，提出了一些有效的算法来生成概念格，这些算法一般可分为两类：批生成算法(Batch Algorithm)和渐进式生成算法(Incremental Algorithm )。。 -Concept lattice structure problem is the premise formal con
概念格
- 概念格建格代码，模型的建立概念格（Concept Lattice）是一个以概念为元素的偏序集，它可以通过Hasse图可视化，其中每个节点是一个概念。概念格结构模型来源于形式概念分析（FCA）理论，是FCA中的核心数据分析工具，它本质上描述了对象（样本）与属性（特征）之间的关联。[1](The concept lattice (Concept, Lattice) is a poset of concept elements, which can be visualized by Hasse dia