熠熠生辉的“皮亚杰新形式化理论”--评李其维策划《皮亚杰发生认识论精华译丛》

皮亚杰新形式化理论涉及的是如何把思维机制加以形式化——心理逻辑学——这一特殊问题。本译丛向读者表达了皮亚杰新理论的两大学术贡献:(1)从群—格概念转向"态射—范畴论";(2)从外延取向的外延逻辑转向注重意义蕴涵的内涵逻辑。

面向对象数据模型的研究

由于面向对象技术缺乏坚实的理论基础,因而在早期的各种面向对象数据模型中对对象概念的表达和使用都有差异。本文研究了以往提出的多种面向对象数据模型,讨论了对象、类型、继承和方法等基本面向对象概念在这些模型中的表达和使用,说明了面向对象数据模型研究中尚待解决的问题,为进一步研究面向对象数据模型的形式化理论奠定基础。

仿真模型的语义可组合性研究

可组合性是选择和组装仿真组件并以不同的方式组合成为有效的仿真系统来满足用户需求的一种能力。在语法组合的基础上,语义可组合性保证了组合模型的有效性。语义可组合性的形式化理论能够以形式化的方式确定模型组合的基本特征,为实现正确有效的模型组合奠定基础。首先,提出了模型、仿真、可组合性和有效性的形式化定义,并对定义的合理性进行了分析;然后,建立形式化定义与语义之间的联系,研究了基于MDA的元建模方法,并确定了仿真模型中的语义元数据。

认证协议的必要条件证明

提出绑定项理论并用该理论构建认证协议的必要条件定理,使用串空间理论证明该定理和3个典型认证协议。该理论能够迅速、有效地判定有缺陷的认证协议的认证属性,除了能够对认证协议的新鲜性、主体进行判定外,还能够对具有类型攻击缺陷的认证协议进行判定,为认证协议的安全判定提供一种简单、有效的理论方法。

中国人工智能学会举办2019中国人工智能产业年会

第九届吴文俊人工智能科学技术奖颁奖典礼暨2019中国人工智能产业年会近日在苏州市举行。清华大学人工智能研究院院长、中国科学院院士张钹因其在搜索、规划和问题求解等领域建立形式化理论和高效算法作出的卓越贡献,荣获2019年度吴文俊人工智能最高成就奖。

基于线性时态逻辑的物联网操作系统安全性设计

根据物联网操作系统安全性设计的需求,同时结合在经典线性时态逻辑、逻辑程序设计、形式化模型检测理论方面的研究与工程实践探索,提出了一种应用于物联网操作系统安全性设计的方法论,并进行了工程原型验证。实践证明该方法的效果符合预期,不仅适合物联网操作系统的安全性设计,也可以进一步推广到其他安全性要求较高的软件产品设计领域。

哲学和元哲学

在我们这个信息(包括科学信息)爆炸已成为规律的时代,作为哲学知识观念组成部分的各个概念的命运,是千差万别的。在这些概念中,有一些有充分根据列为哲学的范畴手段,另一些则由于不能经受时间、哲学实践和方法论实践的考验,会丧失哲学意义,并会像它们引进来的时候那样轻而易举地从哲学概念体系中消失。在今天哲学的各种新概念中,“元哲学”这个概念占有特殊的地位。这种特殊性,是由某些哲学家赋予“元哲学”对于未来哲学知识所起的作用决定的。不错,那些强烈要求引进元哲学概念的作者们思想上还没有统一,虽然美国出版以《元哲学》命名的专门杂志已经十五年了。还不止是杂志,可以举出许多书,它们的书名中就有《元哲学》