目录
第一部分 理论基础——变值逻辑
第1章 变值配置函数空间整体编码族 5
1.1 基本定义 6
1.1.1 向量 0-1 序列 6
1.1.2 逻辑变量的变值特性 6
1.2 n 元向量变量状态空间和配置函数空间 6
1.2.1 n 元向量变量和基元状态 6
1.2.2 顺序编码:邵雍{莱布尼茨编码 7
1.2.3 一维编码——广义编码和配置函数空间 8
1.2.4 二维编码 9
1.2.5 伏羲编码和共轭编码 10
1.2.6 几种编码方案比较 11
1.3 单变量和双变量的表示结构 11
1.3.1 基本模式 11
1.3.2 单变量配置函数空间 12
1.3.3 单变量函数的 SL 编码和 C 编码表示 12
1.3.4 共轭表示的定理和推论 13
1.4 双变量的表示结构 13
1.5 结论 16
参考文献 16
第2章 变值表示等价多元逻辑函数 19
2.1 经典逻辑总表 19
2.2 变值逻辑表格 19
2.3 状态空间 19
2.4 基元逻辑函数 20
2.5 两变量函数展现 20
2.6 分解例子 22
参考文献 22
第3章 变值逻辑体系与群组悖论 23
3.1 概述 23
3.1.1 统一的泛逻辑体系 23
3.1.2 满足及不满足健全性的逻辑系统 24
3.2 变值逻辑体系 24
3.2.1 变值逻辑基础 25
3.2.2 在变值体系中的四种变换类型 25
3.2.3 两类扩展向量运算:P;¢ 25
3.3 变换例子 25
3.3.1 真值表类型转换 25
3.3.2 配置函数空间: 可视化例子 27
3.4 在泛逻辑体系之上的变值逻辑体系 27
3.5 在 0-1 向量状态群集中的群组悖论 28
3.5.1 简单例子 29
3.5.2 推广情况 29
3.5.3 推广到复矩阵 29
3.6 结论 30
参考文献 30
第4章 在共轭向量变换和复变测量系统中的测量算符——从局部逻辑计算到整体哈密顿动力学 31
4.1 概述 31
4.2 变换结构 32
4.2.1 核结构 32
4.2.2 相空间和共轭相空间 32
4.2.3 共轭分类 (2n 个特征类) 32
4.3 配置 33
4.3.1 两个特征向量集合 33
4.3.2 不可约表达式 34
4.4 变换方程 35
4.4.1 特征向量的基本方程 35
4.4.2 变换特性 35
4.5 共轭变换结构 37
4.5.1 布尔向量代数 37
4.5.2 共轭向量代数 38
4.5.3 运算特性 39
4.5.4 扩展算符 41
4.6 测量结构 42
4.6.1 复数表示 42
4.6.2 动力学测量算符 44
4.6.3 示例 45
第二部分 理论基础——变值测量
第5章 变值测量的基本方程 49
5.1 概述 49
5.2 基本方程 49
5.2.1 A 型测量 50
5.2.2 B 型测量 50
5.2.3 分划结构 51
5.3 变换空间 51
5.4 不变的组合结构 52
5.4.1 A 型测量 52
5.4.2 B 型测量 52
5.5 B 型组合公式 52
5.6 两组变换公式及其量化分布 53
5.6.1 例子 I 53
5.6.2 例子 II 54
5.6.3 结果分析 55
5.7 结论 56
参考文献 56
第6章 变值三角形的对称性 58
6.1 概述 58
6.1.1 相关的工作 58
6.1.2 先前的工作 59
6.1.3 结果 59
6.2 基本定义和样本 59
6.3 三项式恒等式 61
6.4 非平凡和平凡区域 63
6.4.1 非平凡区域 63
6.4.2 平凡区域 63
6.4.3 非平凡边界值的对称特性 64
6.5 投影特性 67
6.5.1 两个投影 67
6.5.2 变值三角序列 70
6.5.3 线性序列 71
6.5.4 偶序列 71
6.6 样本展现 72
6.7 查询结果 73
6.8 结论 75
参考文献 75
第7章 变值三角形表示及其序列生成方法 76
7.1 概述 76
7.1.1 研究背景 76
7.1.2 主要工作 77
7.1.3 本章结构 77
7.2 相关理论及技术 78
7.2.1 组合数学 78
7.2.2 元胞自动机 78
7.2.3 变值三角形型及状态群聚 78
7.3 模型和算法 80
7.3.1 计算模型描述 80
7.3.2 算法描述 80
7.4 三角数据生成及结构化 82
7.4.1 体系结构 82
7.4.2 工作流程 82
7.4.3 变值三角值生成 83
7.4.4 变值数值及序列构建 86
7.4.5 数值校验 86
7.4.6 用户界面 87
7.5 数据结构化 88
7.5.1 总体说明 88
7.5.2 几何结构化 88
7.5.3 投影序列化 89
7.6 结果示例及分析 91
7.6.1 几何结构化结果 91
7.6.2 序列化结果 96
7.6.3 运算效率 96
7.7 结论 99
参考文献 99
第8章 成对位向量的分组变换——整体量化特性 100
8.1 研究背景 100
8.2 多元位向量状态表示 101
8.3 三类整体变换分析 103
8.4 整体变换特性比较 104
8.5 结论 104
参考文献 104
第9章 成对位向量的分组变换——分层群集 106
9.1 研究背景 106
9.1.1 密码序列分析策略 106
9.1.2 基于位向量的测量模型 107
9.1.3 典型攻击方法 107
9.1.4 变值逻辑体系 107
9.1.5 本章的内容组织 107
9.2 多元位向量状态表示 108
9.2.1 多元位向量和索引 108
9.2.2 变换位向量结构 108
9.2.3 变换索引的置换算符 108
9.2.4 四基元测量算符及其测度 109
9.2.5 六对测量算符及其测度 110
9.2.6 基本测量算符集合及其测度 110
9.3 分层描述的变换测度 110
9.3.1 变换测度 110
9.3.2 等价关系 111
9.3.3 互补测量算符 111
9.4 从变换测度到变换基和群集索引 112
9.4.1 单个测量度量的变换基和群集索引 112
9.4.2 成对测量度量的变换基和群集索引 113
9.5 对称约束下的变换测度 114
9.6 对称约束下的变换例子 115
9.6.1 顺序排列的变换 115
9.6.2 满足对称排列条件的变换 115
9.6.3 不同排列条件的比较 116
9.7 密码序列图示化展现 116
9.7.1 穷举排列模式 116
9.7.2 成对算符作用排列模式 117
9.7.3 简要分析 121
9.8 结论 121
参考文献 121
第三部分 理论基础——变值图示
第10章 基于变值测量基本方程形成变值图示 127
10.1 概述 127
10.2 从测量到图示 127
10.2.1 例 1 127
10.2.2 例 2 128
10.3 转化效果 129
10.3.1 例 1 129
10.3.2 例 2 129
10.4 结果分析 129
10.5 结论 133
第11章 三种 0-1 随机序列在矩阵变换和变值变换下的统计系综测量 134
11.1 概述 134
11.1.1 信号分析和处理 134
11.1.2 变值体系 135
11.1.3 本章的结果 135
11.2 理论模型 135
11.2.1 A 类模式 135
11.2.2 B 类模式 136
11.2.3 C 类模式 136
11.2.4 三种变换模式的比较 136
11.2.5 离散信号的频率谱 137
11.2.6 关键特征 137
11.3 统计分布下的两种变换模式 137
11.3.1 核心变换模块 137
11.3.2 三组选择的随机序列 137
11.4 处理结果 137
11.5 结果分析 143
11.5.1 对图 11.3 的分析描述 143
11.5.2 对图 11.4.图 11.7 的分析描述 143
11.5.3 两种变换模式的主要差别 144
11.6 结论 144
参考文献 145
第四部分 理论基础——基元体系
第12章 分层知识表示概念细胞模型 149
12.1 知识模型和实用知识建模系统 149
12.1.1 知识理论模型 149
12.1.2 工程建模知识构造系统 150
12.2 概念细胞模型 151
12.2.1 生物细胞和概念细胞之间的区别与联系 151
12.2.2 有向无圈图 151
12.2.3 细胞模型 153
12.2.4 生成步骤 153
12.2.5 构造例子 153
12.2.6 基元分类 154
12.3 基元分划和命名 154
12.3.1 命名描述节点组 155
12.3.2 命名过程节点 155
12.3.3 三类节点组合 155
12.4 概念细胞家族 155
12.4.1 分层构造特性 157
12.4.2 扩展内部格的基本方法 157
12.4.3 扩展描述格的方法 158
12.5 构造实例 159
12.6 不同知识模型和应用系统比较 160
12.7 结论 160
参考文献 162
第13章 选举理论模型及其在解决多候选人内蕴不确定性问题中的应用 164
13.1 选举系统和方法 164
13.1.1 简要综述 164
13.1.2 选举的废票和不确定问题 165
13.2 简单选举模型 165
13.2.1 选举中的关键词组 165
13.2.2 定义 165
13.2.3 可分离条件和不确定条件 166
13.2.4 四种附加策略 167
13.2.5 要多精确才算精确 167
13.2.6 改变焦点——从无效票到有效票 16