雅砻江锦屏水电站工程区活动构造研究及地壳稳定性评价

北东向的锦屏山-小金河断裂带从北东到南西斜穿整个锦屏水电站工程区。在它的东南和西北分别有北北西走向的羊坪子-纸厂沟断层组和北西走向的前波、高牛场等断层。锦屏山-小金河断裂带的马山头-周家坪断层组、瓦科断层组和北西向前波断层等晚第四纪继续活动, 但活动强度很弱。工程区新构造运动以整体抬升为主, 兼水平滑移和旋转运动。历史至今, 工程区地震活动微弱, 是地壳相对稳定的地区。     

在Martin－Lof类型论中添加判断的新形式

木文对于添加于Ｍａｒｔｉｎ－Ｌｏｆ类型论的四种新形式判断给出完整的描述．首先列出这些新判断形式的一般规则，然后证明带一个前提的假设判断可由这些新型判断替代，最后，重新作出笛卡儿积的消去和相等性规则使它们有与其他类型相同的式样而且证明新旧规则是等价的．     

并发语言OCCAM的指称语义

在研究关于CSP并发指称语义的不同研究方法的基础之上，利用广义状态的概念和完间作为指称的方法，讨论了OCCAM的一个子集OCCAM/TOY的并发语义。针对目前交垒并发语义研究方法的问题和不足，首先在OCCAM/TOY的语法中经入了一类具体的原子语句，并从语义上考虑了原子语句的语义对整个程序语义的影响；其次，对于通常语义方法中合并处理的一对通信原语的一次通信分开处理，描述了单个通信步骤的语义及其对程序的影响。在构造语义域时，利用完备距离空间作为指称，讨论了在距离空间范畴中语义域议程的解的存在性；并且在定义域时，保证了递归定义的语义函数的存在性。给出了OCCAM/TOY的完全意义上的并发指称语义，既体现了由于并发而导致的执行过程的不确定性，又反映了并发导致的执行效果的不确定性。     

对象的行为表示及其应用

主要讨论了一种描述对象活动的方法，提出了活动体的概念，并给出了它的三元组形式。活动体是对象式系统中具有通信能力的最小单位，由此可以构造对象及至系统的交互（通信）行为。同时给出了一个简单的描述活动体的语言ＢｅＬａｎ和ＢｅＬａｎ中活动体的指称语义。     

绝热量子计算

着重从物理学和计算机科学角度阐述和分析绝热量子计算:首先介绍绝热量子计算的基本原理及其计算能力,然后通过绝热量子计算与传统量子计算的性质和物理实现方式的对比阐述前者的某些优势,在此基础上介绍绝热量子算法,最后探讨了绝热量子计算的前景及发展趋势。     

对Dijkstra量词研究的补充

在Dijkstra的研究工作的基础上，对量词作进一步的探讨，主要以存在量词的几个基本性质作为假定，并由此推出有关存在量词和全称量词的其他一系列的性质。可视为Dijkstra的补充，从而使人们对量词的性质有更深的认识。     

Martin-Lf类型论中不交和的推广和有穷类型的可定义性

本文推广了不交和运算且给出ｎ个类型不交和的规则，借助于它，证明了有穷类型的封闭性和分离性，讨论有穷类型的可定义性，证明Ｎｋ可由Ｎ１和Ｋ个类型不交和而定义以及Ｎｋ可由ＮＫ＋１定义．     

λ定义可计算函数时不动点算子的不必要性

λ-演算这种计算模型,是一种良好的数学工具,与递归函数密切相关.λ-演算中的不动点算子,增强了系统的表达能力,表达了递归函数中递归的性质,但同时也略有不足,因为常见不动点算子,都没有β-范式.介绍了一种方法,可以不借助不动点算子,利用Church数字系统的特点,用β-范式定义所有可计算函数.     

大同二电厂扩建厂址工程区活动构造评价

大同盆地西侧北北东-北东向鹅毛口-口泉断裂, 属正平移性质, 晚第四纪以来断裂继续活动, 但北东、南西两段活动有明显差异。盆地东侧北东-北东东向六棱山北麓断裂, 亦属正断层性质, 至今仍在活动。距大同二电厂扩建厂址最近的水峪断裂, 晚更新世末3～1.5万年以来已停止活动, 对厂址稳定性不会有影响。     

部分模型之间的一些代数关系

我们把部分模型定义成三值逻辑的模型.对于Kleene语义,我们讨论部分模型之间的一些代数关系,并用图方法刻划了这些关系.证明了部分模型上某些算子的不动点定理.文中所讨论的代数关系对发展三值逻辑的模型起一定的作用.