形式化框架下置换和查找类算法的组装生成.pdf
算法的可靠性和开发效率对于软件的可信性及应用发展具有重要意义。算法自动化是提高算法开发效率、保证算法可靠性的重要途径。 置换和查找是计算机学科中的两类特殊问题，可应用算法设计策略的灵活性使其算法更具多样性，算法生成的自动化程度难以提高。本书结合软件形式化方法PAR，
形式化
电子商务网络协议的形式化分析理论与应用.pdf
本书叙述了与信息安全有密切联系的基于网络电子商务协议的形式化分析理论方法与实际应用。
安全协议形式化分析与验证.pdf
《安全协议形式化分析与验证》是作者多年从事安全协议形式化分析与验证相关科研工作的总结，主要对两种形式化方法做了归纳：基于SPIN工具的模型检测和事件逻辑。 《安全协议形式化分析与验证》主要内容如下：介绍了安全协议形式化分析的研究现状、主要技术流派，以及协议描述语言Pro
几何代数的形式化与初步应用.pdf
本书以几何代数理论体系与自动定理证明思想为指导，系统深入地研究了几何代数的形式化理论与公理化体系，构建了一个兼具代数推理和几何解算能力的统一形式化数学定理体系，对代数与几何从概念上进行了融合与拓展、从描述方法和运算法则上进行了综合与归纳，为代数理论赋予了“形”的特征，为几何理论提
形式化构件装配的领域算法构造.pdf
算法作为计算机软件的核心，其可靠性和开发效率对于软件的可信性及应用发展具有重要意义。算法自动化是提高算法开发效率、保证算法可靠性的重要途径之一。 本书结合著者所在学术团队已取得的软件形式化方法PAR及其支撑平台，将生成式程序设计的思想引入到算法开发中来，借助领域建模的概
XBRL财务报告的元数据语义形式化.pdf
本书以构建XBRL财务报告的精确语义表达机制为主要线索，首先，介绍元数据的形式及其管理，对XBRL技术规范进行系统剖析，讨论会计概念语义的表达方式、分类标准的构建和扩展方法；然后，引入语义Web和本体方法，围绕形式本体如何支持语义形式化等问题展开讨论，接着介绍描述逻辑DLRBR语
拉格朗日力学理论的形式化与机器人动力学形式化分析.pdf
本书以拉格朗日力学理论与自动定理证明思想为指导，系统深入地研究了泛函变分、拉格朗日力学和机器人动力学之间的天然关系，从而构建了以泛函变分的形式化为形式化数学基础、以拉格朗日力学的形式化为中心、以机器人动力学形式化分析为应用依托的定理证明体系。内容涵盖了自动定理证明、泛函变分、拉格朗日力学、形式化验证等领域。 全书主要内容包括：泛函变分、动力学与形式化验证的进展；泛函变分、拉格朗日力学、机器人动力
语用寓义推理形式化研究.pdf
本书以人脑在处理语言信息时善用关联性等认知特征为基础，深入推进人类生活中语用寓义推理的智能化研究。一方面，着力仿真会话者在纯思维层面和实际语用交际中解读语用寓义时人脑的心智推理过程，刻画人脑进行溯因推理的认知算法与机制。另一方面，以新设溯因算法为发轫，以重构的认知语境为依托，整合
哈密顿力学理论的形式化与机器人动力学形式化分析 施智平等 著.pdf
本书系统深入地研究了辛几何理论、哈密顿动力学的公理化体系，并以四自由度串联机器人为例，研究了基于哈密顿动力学系统的形式化分析与验证方法的应用，为机器人动力学的安全设计提供了形式化验证理论和技术手段。全书主要内容包括：哈密顿模型的几何基础——辛流形空间的形式化、哈密顿模型和拉格朗日
论证挖掘与论证形式化 鞠实儿等 著.pdf
论证是一种具有说理功能的话语序列。在科学研究中，它具有演绎和归纳两种形式。在日常社会生活中，由于涉及不同的语境（包括文化传统），论证呈现出千变万化的形式。为了满足人与人以及人与机器之间日常交流的需求，本书采用两种不同的自下而上方法——广义论证本土化研究程序和机器学习，从具体事例和