中心球空穴迁移算子的谱理论

本文研究带有中心球空穴的球形介质,在散射和裂变是各向同性的情况下,与时间有关的单能中子迁移算子的谱的性质。证明了迁移算子的占优本征值的存在及与此有关的一些结果,也给出了可供实际工作参考的关于占优本征值的一些估计。对脉冲中子实验所测量的有关系统存在基态衰变常数(即占优本征值)提供了理论根据。     

关于并行语言Gamma的结构化扩充

Gamma(general abstract model for multiset manipulation)语言是一个可以避免人为序化的高层次并行程序设计工具.P.Frade t等人提出结构化Gamma以利于结构化应用数据以及表达特殊的控制约束和程序的自动分析. 在摒弃了基于“地址”的定义方式的基础上,给出结构化Gamma的更一般形式的语法、语义描 述,在两个层次上讨论结构重集(structured multiset)的类型,并指出,这种新模型保持了有 关程序的静态类型检测等理论成果.     

ADA—DDBMS中的并发控制

并发控制是ＤＤＢＭＳ（分布式数据库管理系统）中事务管理的重要功能．本文介绍了一种基于封锁的积极方法与消极方法相结合的并发控制策略．它根据全系统实际运行的即时状态，动态地决定对事务采取的执行策略，大大减少了积极封锁所易产生的死锁情况，同时又改善了消极封锁效率低的问题．     

QUIOS的事件、进程和推理算法

本文讨论开放型物理系统的定性推理方法．文中阐释QUIOS机制下事件和进程的关系及两种视图的表达方式，用实例说明定性推理方法，并给出QUIOS的推理算法．     

关于开放型物理系统的QP理论

本文探讨物理系统定性推理的描述方法．在分析已有的定性推理方法所存在不足的基础上，给出了一种基于事件与进程的开放系统的定性推理的描述手段QUIOS．此方法一方面拓广了定性进程理论QPT（qualitahveProcesstheory）关于参量的类型，引入了参量视图的概念，描述了参量的两种继承关系，并证明在一定条件下参量的双重继承关系不会引起矛盾；另一方面通过事件制约进程而引入开放系统定性推理的表现机制．     

软件移植计划在TQ-16机上的实现

系列软件计划XR是结合国产计算机现况而提出的一种软件开发方案。本文介绍了在TQ-16机上实施此计划的初步结果,分析了系统软件移植时的主要困难和解决办法。     

系统汇编语言XHY的自编译

XHY是系列软件计划的基本移植工具之一。本文介绍用自编译实现XHY的基本思想和方法。主要叙述两个问题:第一,如何实现XHY中独有的一些语言成份,第二,关于自编译、多级运行和移植的方案及实施。