核素分布的漂亮三角形

在氘氚结团为坐标的核素图中,边长11核素的核素分布最大三角形的3顶点为361818Ar180,1365838Ce7820,1967838Pt1184,3边为坐标S38,差K18和参量2S-H=36.最大三角形由4个边长10个坐标单位的小三角形组成,还可由3个6×6核素的菱形组成,3个菱形内部的3个4×4核素组合共有36核素1144830Cd6618,1275232Te7220,1305432Xe7622;中心区有2个最小三角形,其3顶点分别为偶偶核素,奇A核素1195031Sn6919,1255231Te7321,1275332I7421.     

基于组织机构图的改进RBAC模型

针对电子政务工作流系统的特点,在基本RBAC模型的基础上,引入了组织机构图和额外授权的概念,提出了改进的RBAC模型,并给出模型各要素的形式化描述．模型根据组织机构图划分出原子权限,借助拓扑集合完成角色的设置．在实现用户-角色和角色-权限的指派过程中,考虑了角色的继承,并给出模型实现过程中应该注意的原则．模型具有实现快捷和管理方便的特点,可以加快工作流管理系统的开发进程．并通过开发的办公自动化系统实例加以证明．     

电子海图平台下的航线自动设计方法

为优化舰船计划航线设计,提出了一种基于电子海图的自动设计方法.通过追踪安全等深线和处理障碍区,得到可航渡区域.在可航渡区域内,进行路径的可航渡性测试,自动搜索一条安全的最短计划航线,并根据障碍区的动态变化,实时调整和优化航线.实验结果表明,与传统的手工作业方法相比,该方法在效率、经济性、可靠性等方面都具有明显的优势.     

基于博弈论的开放环境下场景规约监控语义

在开放环境中,环境和系统本身行为的改变可能使得软件系统的实现不再满足原来规约,从而最终导致软件失效的发生.运行时监控是一种轻量级的形式化动态验证技术,已成为开放环境下检测软件失效的基本手段.针对基于场景的规约属性序列图,从博弈论的角度定义其多值监控语义:满足、无限可控、系统有限可控、系统紧急可控、环境有限可控、环境紧急可控和违例.通过多值监控语义的定义,监控器能够根据当前轨迹尽可能早地检测到系统失效或异常,并提供足够信息为失效的预防和恢复服务.实例研究表明了属性序列图多值监控语义的实用价值,并显示了其广泛的应用前景.     

中子输运理论在中子测井数值模拟中的应用及校正图版制作

讨论了中子输运理论在中子测井数值模拟中的应用，用国际通用的核数据库和中子输运离散纵标程序ＤＯＴ４．２对不同岩性、几何尺寸和地质环境条件（如岩层化度等）的模型井进行了响应曲线的数值模拟计算，从而实现了中子测井的正演计算，同时根据计算结果制作了不同测井环境条件下的理论校正图版，结果令人满意，研究结果测井工作有一定的参考价值。     

正交分析研究油漆用有机膨润土制备新工艺

本文在阐述有机膨润土结构的基础上,利用正交试验方法探讨其制备工艺,得到了制取油漆用有机膨润土的好配合。     

聚丙烯脒盐酸盐电极及钯的富集和测定

热解石墨作为基底电极,经予处理极化,浸渍聚丙烯腈,并经多步反应制成聚丙烯脒盐酸盐电极。此种修饰电极本身为非电活性的,用于钯的测定,有比较高的灵敏度,在10~(-6)—10~(-5)Mpd~(2+)浓度范围内,峰电流与浓度有良好的线性关系,可作为工作曲线。     

工序质量控制图经济设计中的一种算法

首先建立控制图经济设计中费用损失函数模型,然后利用蒙特卡罗统计试验法找出损失函数最小化的一组解.这种解法利用了计算机运算速度快,调整参数方便和自动产生随机数的优点,克服了经典解法中只能随初始条件而局部寻优的缺陷.     

用最大树方法对设备布置方式的分析

本文利用最大树方法对设备布置方式进行了分析,对现行教材中的方法作了改进,并用实例作了说明。     

多级变速传动系统转速图在CAD中的参数表示法

本文对金属切削机床的多级变速传动系统转速图在CAD中的参数化表达形式进行了初步探讨,并通过对变速传动系统中传动组的基本要素分析,提出了转速图的参数化表达模式——变速传动式的概念。运用这个概念,在许多情况下,变速传动式可以代替转速图,即不必给出转速图就可以根据变速传动式进行变速传动系统的分析、计算和方案比较。