试说关系推理的正确形式及其符号化

仅有推理公式而没有明确的关系性质，推理无法进行；关系性质虽然确定，却用文字加以说明，推理就是非形式的。怎样摆脱这种两难困境？出路就在于正确揭示关系推理的结构关系并将之符号化。这对完善普通逻辑或关系理论有重要意义。     

确定重构相空间维数的方法

计算混沌统计特征量前必须先获得重构相空间的维数,因此给出了最大特征值不变法、几何不变量法、虚假邻点法、预测误差最小法、最小Shannon熵法、经验赋值法六种确定方法,得出了应用最大特征值不变法和最小Shannon熵法的工程案例计算结果。     

柴油机喷油压力波形的符号描述与结构模式分类

波峰和波谷是波形上基本的局部形态特征基于波峰、波谷之间的支配关系,本文提出了一种规则波形的结构特征抽取与符号描述方法,进而建立了一个基于该方法的柴油机喷油压力波形结构模式分类系统,并通过实例验证了该系统的有效性。     

符号执行火控系统诸元解算程序测试用例生成技术

火控系统作为各种武器装备的中枢和大脑,控制着武器系统的运转,其有效性直接关系着射击的成败甚至武器系统的综合效能。诸元解算程序是将各种输入条件依据弹道模型经过多次迭代转换为射击诸元,由于其复杂性,当前软件测试用例只是在几个关键点上进行校验,很难覆盖程序所有分支和路径,存在着测试不充分。针对这个问题,提出了一种基于符号执行的用例自动生成技术,结合解弹道方程组约束条件和程序分支控制变量使用符号执行框架内能够得到覆盖所有可能的执行路径,从而保证测试的充分性。     

CMP1协议的符号模型检验分析

提出采用模型检验方法研究电子商务协议的非否认性与公平性问题,建立了认证电子邮件协议CMP1的有限状态机模型,并用SMV检验工具对其非否认性与公平性进行了分析检验,经过分析发现了CMP1协议不满足公平性并对其进行了相应修改.结果表明,利用符号模型检验方法分析检验电子商务协议的新特性是行之有效的.     

工程数据库管理系统DATFEA的符号对象模型及实现技术

本文主要论述符号对象模型的形式化定义及DATFEA标识系统的实现技术,文中对COHOR复杂对象模型的属性(域)进行了广义扩展,引入了对象标识、符号值、符号对象、值对象等概念,并讨论了DATFEA的总体结构及符号对象模型的逻辑组织方法。     

基于符号树信息熵的机械振动瞬态信号特征提取

用简单的二进制划分简要说明了信号符号化问题,给出了二进制划分下符号树结构及其Shannon熵计算方法,叙述了符号序列编码方法和符号序列直方图的作用,提交了符号时间序列分析的计算机流程图,对内燃机机身振动信号和转轴振动信号用符号树信息熵进行了特征提取。     

The symbolic politics of ballistic missile defense: seeking the perfect defense in an imperfect world

Ballistic missile defense (BMD) politics present an interesting evolution in how the USA, especially Congress, has come to think about BMD both as operational reality and as a symbolic policy. The argument here is that BMD's operational reality is increasingly overshadowed by its symbolic aspects. Such a status arose from rapidly changing international and domestic politics. The end result is a situation in which BMD policy in a sense floats above the question of its actual combat effectiveness. Its primary mission in part is sustaining US capacity to remain a global power and support its allies.     

AES轮变换的代数正规型及其应用

每个布尔函数的代数正规型(ANF)是唯一的,对于研究布尔函数有重要意义.利用Mathematica软件得到了高级加密标准的轮变换(Sbox,ShiftRow和MixColumn的复合)的128个分量函数的代数正规型.每个分量函数都是32元布尔函数,其项数在448 ～ 545,平均为496,远远小于随机32元布尔函数的平均项数231.这表明AES轮变换与随机置换有巨大偏差.得到这些ANF的时间复杂度在一个2GHz的PC机上只用几分钟.该方法优于通过真值表得到ANF的经典算法——其得到128个分量函数的时间复杂度为0( 128×32 ×232)=0(244).作为应用,利用得到的ANF建立了一轮AES的一个方程系统,并用Cryptominisat 2.9.0进行求解.使用Guess-and-Determine的方法,利用一个已知明密对,可以在PC机上233h内得到全部128比特密钥.     

基于二元语义和比较得分算子的敏捷指挥控制决策表达方法?

敏捷指挥控制是应对现代战场复杂多变特点和快速响应要求的有效途径。在指控群体决策中，为了实现指控的敏捷性，决策成员应当尽可能快速准确地表达自己的决策信息，以利于决策信息迅速集结和提高决策质量。针对利用二元语义分析方法进行决策时决策者很难精确给出符号转移值的问题，提出一种基于比较得分算子的符号转移值确定方法，对于多个备选方案被评价到同一语言评价等级上的情况，采用比较得分算子来确定这些方案的权重，再利用转换函数将权重转换为符号转移值。最后通过算例证明方法的有效性。