基于网络演算的LR-WPANs端到端延迟界限

低速率无线个域网LR-WPANs为保证实时和可靠通信,采用了IEEE 802.15.4信标使能的超帧结构,并且扩展了保障时隙GTS机制,解决了移动无线传感器网络中节点连通性较弱的问题,并且对确定性延迟上界的计算具有重要意义。采用仿射函数描述网络节点输入数据流累积函数的到达曲线,提供基于速率-延迟模型的服务保障。应用网路演算理论得到保障时隙的延迟确界,分析了超帧系数对延迟的影响。结果表明,在时间敏感的工业应用领域,超帧系数应该根据突发数据量同步改变。     

正交异性板的后屈曲和Karman型精化理论

基于Ｋａｒｍａｎ型正交异性板的精化理论，本文采用挠度型摄动技术研究了复合构造矩形板的屈曲与后屈曲性态。分析中应用了由该理论导出的广义大挠度Ｋａｒｍａｎ方程，不仅考虑横向剪切，而且包含因材料指向性引起的剪弯相互作用。用此摄动技术构造出了四边简支正交异性中厚板和夹层板的后屈曲路径高阶渐展开式。通过比较可以看出，当前计算结果更接近相应的三维弹性理论精确解。     

分布式环境下基于形式化领域本体的查询处理

为了提高语义Web查询的查全率和查准率,文中提出了一种基于形式化领域本体的查询处理方法.首先采用描述逻辑表达领域本体的语法和语义,实现领域本体的形式化转换;然后基于转换后的形式化领域本体,采用含半幺群概括演算作为基于形式化领域本体查询转换的目标语言,定义了用户查询到含半幺群同态查询的转换规则和语义优化处理、查询重写规则,最后通过实验验证了该方法的查询性能.     

UML顺序图的鲁棒性分析

鲁棒性分析技术可以帮助开发人员精确地弥合分析与设计之间的鸿沟。统一建模语言(unified modeling language, UML)顺序图模型被广泛用于面向对象软件系统的分析与设计，它的鲁棒性至关重要。首先，引入形式化模型——统一结构。其次，给出了基于统一结构的描述顺序图的方法和鲁棒性的形式定义，随后讨论顺序图在组合与精化条件下的保存问题。最后，在原型工具支持下进行实例研究。实验结果表明，设计阶段的顺序图能保持分析阶段顺序图的鲁棒性，从而可以给予从事面向对象的开发人员相关帮助及支持。     

结构因果模型径路评述

近三十年因果研究取得了长足的进步，除了被誉为“统计学因果推断革命”的潜在结果模型，还有朱迪亚·珀尔所主导的结构因果模型。这个理论在深刻改变社会科学、神经科学和行为科学研究范式的同时，也走出了一条不同于(同时也裨益于)机器学习(深度学习)智能研究的新思路，为人工智能进入“小数据、大任务”的范式发展提供了可能性与光照。本文将对结构因果模型的根本设想、数学化进程及其人工智能愿景做细致地评述。     

纯蕴涵演算定理证明的两个能行过程

以不同于通常的根先证明搜索策略,从纯蕴涵演算的初始公理和初始规则出发,通过分析公理在定理证明中的作用和规律,可以得到两个实用的能行过程。这两个能行过程虽不是机械化的证明搜索程序,但有助于新程序的研发,并且可应用于数理逻辑的实际教学。     

关于3个拟单项式序列

应用演算方法给出广义Laguerre多项式、Hermite—kamp6deF6et多项式和广义Legendre多项式的乘法算子和微分算子的表达形式．     

Lommel函数与数字分数微分器系数的快速算法

利用Lommel函数表示理想数字分数微分器的系数,根据两类Lommel函数之间的关系和它们各自的基本性质给出理想数字分数微分器系数的一种新的快速算法.从理论上比较了新算法和其它几种现有算法的计算复杂度并对它们的运行时间进行仿真验证,所得结论证明,由这种新算法设计的微分器不但能够很好地完成分数阶微分运算,而且可以极大地缩短运算时间.     

析布劳维尔的直觉主义

阐述了直觉主义者的主要观点,认为海丁演算系统的提出是直觉主义逻辑最重要的发展,并对海丁演算系统的特点作了介绍和评价。同时介绍了直觉主义的消极作用和积极作用。