SN-PDB 中一种先进的结点容错法

本文简单介绍了无共享并行数据库（ＳＮ－ＰＤＢ）中几种常见的结点容错方法,重点叙述了链式分布法,给出了此方法的负载平衡算法。     

涡旋压缩机的构型曲线研究

提出并从理论上证明了可用于涡旋压缩机构型的３种曲线：国的渐开线、无限薄板的渐开线及平行凸多边形的渐开线,从而为涡旋压缩机的构型设计提供了理论基础。     

武器精度截尾SPOT 检验最大风险计算

就正态圆分布的武器命中精度的截尾序惯验后加权检验犯两类错误概率上界的计算问题,指出了目前沿用的计算公式的错误,推导了新的计算公式,并给出了算例,分析了计算结果的合理性;同时,指出了目前截尾点选取方法存在的问题     

并行处理方法在液体火箭发动机三维数值模拟中的应用

本文采用预测校正的 Ｍ ａｃ Ｃｏｒｍ ａｃｋ 格式对液体火箭发动机内的复杂三维流场进行了数值模拟,并在 Ｐ Ｖ Ｍ 的微机网络机群环境下实现了并行计算。从测试结果可以看出, 并行与分布处理技术在液体火箭发动机复杂内流场的数值模拟方面能发挥重要作用。     

顺序PROLOG机KD-PP的系统结构和硬件实现技术

本文提出的KD-PP系统是一种基于编译技术的顺序PROLOG推理系统,该系统的设计为逻辑型程序语言PROLOG的实现提供了硬件支持,因而能高效地执行PROLOG程序。本文从数据表示、存储系统、机器状态和指令系统等方面全面地介绍了顺序PROLOG机KD-PP的系统结构和硬件实现技术。     

智能工具机系统结构

本文提出了一种面向PROLOG 的计算机系统,它采用传统计算机做为主机,后端机采用通用OPU 芯片和支持PROLOG 高速执行的专用硬件。该系统结构简单,性能高。性能模拟表明,该系统具有500KLPS 的逻辑推理速度和17MPS 的数值计算速度。     

高炮人机半实物实时仿真系统

本文以P56半自动高炮系统为对象,介绍一个高炮人机半实物实时仿真系统的实现。主要包括系统设计思想和基本原理、硬件组成、软件设计以及系统主要特点。该系统的实现,为高炮人机系统提供了一个良好的研究手段。     

Laplace分布的均值被半序约束时的极大似然估计

讨论了Laplaoe分布中,方差已知的情况下,均值θ在简单半序约束下的最小L_1保序回归(ML_1IR),就最小L_1保序回归的唯一性以及一些其它性质予以了讨论,并且给出了计算方法。     

基于SAT的电路错误定位方法研究进展

随着VLSI芯片复杂度不断增加,功能验证与调试已占到整个芯片设计周期的60%以上。而错误的定位往往消耗大量的时间与精力,因此迫切需要一种高效的方法诊断与定位电路中的错误。针对近年来出现的许多电路错误定位方法,介绍了电路错误诊断方法的分类与工作流程,深入分析了基于SAT的错误定位方法的基本原理;对各种算法进行了概述评论,并简要介绍了在不可满足子式求解方面所做的一些研究工作,而不可满足子式能够显著提高错误定位效率与精度;讨论了电路错误定位技术所面临的主要挑战,并对今后的研究方向进行了展望。     

基于任务和角色的分布式工作流安全模型

针对现有基于角色访问控制的缺陷和分布式工作流管理系统的特性,在传统的基于角色的访问控制模型中引入任务集(Tasks)、任务实例集(TaskInstances)和任务上下文(TaskContext)的概念,将传统的user role permission权限赋予结构修改为user role task permission权限赋予结构,建立了基于任务和角色的访问控制模型,给出了其形式化定义。该模型解决了传统的基于角色访问控制中的动态适应性差和最小权限约束假象的问题,用于分布式工作流管理系统,提高了安全性、实用性。