基于π演算的自治系统架构描述语言AS-ADL

自治系统(Autonomous Systems)具有复杂的动态结构和行为特性,其典型代表就是各类军事作战系统.针对当前各种自治系统架构描述方法存在的局限,建立了自治系统架构的概余模型框架,并提出了一种描述该模型框架的形式化架构描述语言AS-ADL.AS-ADL以高阶多型π演算作为系统行为语义基础,具有丰富的数据类型,可以形式化描述自治系统的动态行为,且具有描述自治元素内部的交互行为的能力,为建立可执行的系统架构模型奠定了基础,并为系统模型求精和模型有效性验证提供支持.     

费恩曼:科学是一个好玩的游戏——纪念"科学顽童"理查德·费恩曼逝世20周年

1965年诺贝尔物理学奖得主、有"科学顽童"之美誉的理查德·费恩曼(旧译为"费曼")的传奇故事广为流传,诸如捉弄女服务生、闪电般的演算速度、开绝密保险柜的技巧、敲打邦戈鼓的激情、解读古     

一类用于优化设计的T_(B-D)构造

本文以复杂系统的逻辑分析、多状态模糊控制为直观背景,建立了一类用于优化设计的 T_(B-D)构造,进而可以构筑其相应的、综合的语义模型。     

某类权模不等式

推广了R~n中一个权模不等式.证明了若权函数满足B Muckenhoupt的C_q条件及双倍条件时,则二进Hardy—Littlewood极大函数可用二进的Fefferman—Stein的Sharp函数控制.     

直角坐标架下的精化不协调元法

在直角坐标架下直接插值，建立了满足收敛要求的不协调元法；其列式比等参不协调元法简单，直接、且不失一般性，由此建立的平面四边形单元精度高且可推出单元刚度阵显式。     

扩展线性时段不变式的模型检验研究进展

扩展线性时段不变式是时段演算中的一类重要公式.时段演算是周巢尘院士于20世纪90年代提出的一种用于嵌入式实时软件设计的演算系统,它开创性地将积分概念引入计算机实时软件的分析中,从而能够描述处理连续时间区间性质,是国际上公认的描述和分析实时系统的主流方法之一.由于时段演算内容丰富并且相关的综述和专著已出版,文章旨在对扩展线性时段不变式这一时段演算子集的模型检验问题的研究情况进行论述:①介绍时段演算、线性不变式及其扩展;②分别论述线性时段不变式以及扩展线性时段不变式的模型检验研究情况,其中重点介绍扩展的线性时段不变式,在离散时间语义和连续时间语义下的近期验证成果.     

基于贝叶斯方法的事件推理

为了处理逻辑推理中，事件信息不确定不完整的情况，本文在传统事件演算的框架下，引入了贝叶斯概率的算法思想，给出了基于贝叶斯方法的事件推理的方法，实现了对传统方法的有效扩展。该方法能在网络诊断、交通事故推断等重要领域得到很好的应用。     

拟似微分演算及其在非线性方程组的柯西问题上的应用

G．梅梯维埃 著 非线性偏微分方程组是当前数学分析研究的核心，它有着许多重要的实际应用，例如量子物理学中的非线性薛定谔方程。众所周知，非线性数学比线性数学难度要大的多，因此，从20世纪后半叶，数学家通过各种方法企图对非线性问题取得突破。