对信息流控制机制的一点注记——关于可变级机制语义的探讨

本文讨论对可变安全性级的基于执行的信息流控制机制的语义修改     

使用直接模拟法研究选择快中子屏蔽参数

使用蒙特卡罗直接模拟法模拟了300keV氘束流T（d,n）4He中子源发出的中子在球壳屏蔽体介质铁中的输运规律。分析了不同介质厚度的铁对中子的反射性质和吸收性质,这些解释和分析对快中子球壳屏蔽参数的选取具有重要价值。     

槽形内域中的数值许瓦尔兹──克力斯托夫保角变换

针对数值计瓦尔兹─克力斯托夫保角变换过程中出现的数值奇异性,根据复平面上槽形内域边界的特点,分别导出了左右对称槽形内域和左右非对称槽形内域的保角变换公式,并给出保角变换过程和确定数值保角变换公式参数的迭代方法。最后,对二个具有典型特点的复杂边界进行数值保角变换计算,求得各自的变换参数和流势线网格。     

拟共形映照和 Hölder 连续性

设 f 是 R" 中的域 D 到有界的 M-QED 域上的 K-拟共形映照,0<α≤(KM)^1/1-n在本文中作者证明了f∈Lip_α(?D)的充要条件是 f∈ Lip_α(D)。     

用蒙特卡罗方法计算快中子屏蔽体的厚度

文中使用蒙特卡罗方法,模拟了３００ｋｅＶ氘束流Ｔ（ｄ,ｎ）４Ｈｅ中子源发出的中子在球壳屏蔽体介质铁中的输运规律;对计算结果进行解释和分析,得出将中子能量从１４ＭｅＶ慢化到１ＭｅＶ以下所需的最佳屏蔽厚度。所得结果与国际上同类屏蔽体所取参数相一致,具有一定的应用参考价值。     

多传感器数据融合算法综述

数据融合就是利用多传感器的协合效应来提高系统效率,它是现代Ｃ３Ｉ作战系统的关键技术之一．阐述了多传感器数据融合的特点、分布检测、空间、属性融合、态势评估和威胁估计算法,并同时介绍一些关键课题．