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

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

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

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

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

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

二元会话类型系统中演进特性研究

提出了一个保持演进特性的二元同步会话类型系统,分析了进程通信中可能发生的死锁情形;同时结合会话类型的子类型概念和松弛对偶关系,定义了类型一致性等法则,确保了类型系统中进程通信一旦发生,合式进程在通道上不会发生死锁的情形.此外,还定义了递归会话类型的子类型和松弛对偶关系,提高了类型系统的灵活性.     

命题逻辑简化功能的应用

命题逻辑学中,命题公式等值演算和真值表技术具有强大的简化功能。本文从逻辑电路、逻辑网络、计算机编程和日常生活中的几个例子出发,从一个侧面阐述了命题逻辑简化功能的应用。     

基于旋转x-t平面的河渠水流反向演算

水流反向演算在水利工程中应用广泛。由于水流具有沿程坦化的特性,直接反向求解水动力方程存在误差放大、结果不稳定的问题。该文将水流正向演算模型所在的x-t平面逆时针旋转90°后,构建了水流反向演算模型。该研究将正向模型的初始、边界条件分别变换为反向模型的边界、初始条件,解决了逆向数值迭代不稳定、不收敛的问题。经理想河道案例验证后,将反向模型应用于西江天然河道案例,结果表明模型稳定性好、模拟精度高,能有效反算出不同情景下的水流入流过程。该研究对于使用水流反向演算的水利工程具有实用价值。     

基于π演算的协同商务主体的交互行为描述

对商务主体的协同交互行为的描述是多主体协同电子商务系统模型描述中的重要部分,本文采用π演算的描述方法对商务主体的协同行为(计划)进行形式化描述。     

基于证明分析的机器发现技术及其应用

机器学习和发现需要我们对当代科学哲学的思想和方法进行形式化．本文介绍了Ｌａｋａｔｏｓ方法论的基本思想，并通过二阶受限Ｔａｂｌｅａｕ来实现Ｌａｋａｔｏｓ方法论的形式化系统———证明分析演算．应用证明分析演算，实现了机器发现实例，从而得到了一实用的机器发现技术．     

中国古代算命术探析

主要从民族文化与哲学的角度对中国古代算命术进行探析，认为算命术是我国古代影响极为深广的一种特殊的民族文化，具有朴素辩证的思维特征。虽然算命术是一个具有浓厚迷信气息和唯心主义色彩的演算系统，但由于各种原因，它在社会上却得到了广泛的流传。