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

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

命题逻辑简化功能的应用

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

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

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

隐式重新启动精化Lanczos双对角化方法

给出一种计算少数几个最小奇异三元组的隐式重新启动精化Lanczos双对角化方法,采用调和Ritz值作为位移,有效地逼近大规模矩阵的小奇异值的奇异三元组,算法用精化残量,精化奇异向量和精化Rayleigh商,同时采取压缩技术压缩掉已经求出的小的奇异三元组,数值实验表明,算法更有效地求解大规模矩阵的小奇异三元组,收敛速度也快.     

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

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

包头市高精度三维GPS控制网的建立及似大地水准面精化工作的实施与研究

根据包头市的现实情况,详细介绍了高精度GPS网的建立及似大地水准面精化实施的有关情况,通过对成果精度进行分析,可满足包头市今后基准测绘不同层次的需要。     

双基准站GPS快速静态在山区像控测量中的应用

在山区航测外业像控测量中,由于地形条件和通讯条件的限制,现有的RTK技术不能很好的发挥作用,普通静态测量模式观测时间长效率低,采用双基准站快速静态可以很好的弥补其他GPS作业模式的不足。本文介绍了双基准站快速静态测量技术的基本作业方式和其优点,并结合山区地形航测像控应用实践,分析其测量精度的可靠性和作业效率的实用性。     

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

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

中国古代算命术探析

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

CORBA/IOP的语义初探

用π－演算刻划ＣＯＲＢＡ／ＩＯＰ环境下涉及多个ＯＲＢ的分布式对象计算过程，重点描述多个ＯＲＢ之间的互操作过程．构造了一个高度简化的ＣＯＲＢＡ／ＩＯＰ的π－演算模型．借助于这个模型，演示了ＣＯＲＢＡ／ＩＯＰ支持分布式对象计算这个性质．