分布式RBAC在社保系统中的应用与研究

基于角色访问控制(RBAC)是实现访问控制的最有效技术，文中探讨了分布式数据库系统下的基于角色访问控制实现机制，并用于大连市机关事业社会保险系统。给出了分布环境下角色、权限的分布管理及域间访问的实现方式，提出了一个新型属性证书。在本分布式系统中，按照业务的实际情况进行了扩充和修改，从安全及可用性上给出了具体的解决方案。     

航炮后座力的分析与计算

本文以航炮射击试验中常采用的航炮-板簧系统为对象,提出计算后座力的简易方法。基本观点是以航炮射击时的膛压为外载荷,建立航炮-板簧系统的有限元模型,将后座力作为内力响应来看,从而可用SAP5程序作模态分析并计算内力响应。用FFT对响应作谱分析,根据各阶模态在响应中的贡献,对航炮支承结构影响后座力的因素作出分析与评价。所求得的结果与实验结果十分相近。所提出‘的计算方案可用于飞机结构与航炮系统的后座力分析与计算。     

四色定理论证

用离散数学之图论证明"四色猜想",巧妙而深层次地应用数学归纳法和换色法,解决了肯泊(A.Kempe)百多年前提出"不可避免构形集"中的一个地域有五个邻域的情况的所谓"可约性"问题,同时指出了1890年希伍德(P.Heawood)举出的25阶反例(当时,他以此说明"四色猜想"不成立,而"五色定理"成立)与本文中的一种可换色(即"可约性")的典型实例类同,进而简捷而理想地证明了"四色猜想"是成立的,使"四色定理"得到科学的论证。     

α（Al）—Mg2Ge 伪二元共晶凝固与组织特点

利用热分析和定向凝固等手段研究了Ａｌ－Ｍｇ－Ｇｅ系中α（Ａｌ）－Ｍｇ２Ｇｅ的晶共凝固特征。实验表明：在Ａｌ－Ｍｇ－Ｇｅ系中，具有最小凝固温度区间的两相共晶点不处于具有严格化学配比的Ａｌ－Ｍｇ２Ｇｅ线上，而是偏向富Ｍｇ一侧。     

空中交通管理系统安全绩效评估模型研究

客观准确的安全绩效评估,可以反映出空中交通管制系统运行的安全状况,并识别出安全管理存在的薄弱环节.从管制员、空中交通管制设备、环境、管理四方面找出影响系统安全运行的过程性指标,将过程性指标与结果性指标相结合构建空中交通管制系统安全绩效评估指标体系;在模糊物元分析法的基础上,对隶属度函数的确定方法进行改进,建立基于改进的模糊物元分析法的空中交通管制系统安全绩效评估模型;利用该模型对某空中交通管制单位的安全绩效进行评估,评估结果能够反映出该单位的安全状况,并指出应当改进的环节.结果表明:本模型可以对空中交通管制系统的安全绩效作出综合评判,并可以对空中交通管制系统的安全性进行量化描述.     

发展中的工艺检测技术

随着微计算机的扩大应用,工业企业的生产面貌将要发生巨大的变化,生产自动化的程度将越来越高。生产过程中的信息采集、传递、处理技术就显得越来越重要了,工艺检测技术将会得到迅速发展,在现代化工厂里将会发挥出巨大的作用,在社会上将要充分展示出它的巨大影响。     

LED灯光系统在波音天空内饰中的应用及其维护

以波音737—800-％机为例介绍TLED灯光系统线路布局、LED灯组件工作原理以及如何通过ACP面板实现舱位分区,模拟自然色彩等控制功能,对该系统的维修工作提出了排故建议。     

四色定理论证的关键

一百多年来对"四色问题"的研究长期不得其解的关键在于:肯泊(A.Kempe)当年提出的"不可避免构形集"中一个国家(地域)具有五个邻国(邻域)的所谓"可约性"问题得不到解决。"《四色定理》论证"用数学归纳法,而"平面图的点着色方法"未用数学归纳法,两种方式论证"四色问题"都涉及到"一个(待着色)顶点有五个邻接顶点,已着有4种颜色,要将这4种颜色设法变成3种,把腾出来的1种颜色给该顶点着色。"———这就是四色定理论证的关键。再根据换色原理,用巧妙而深层次地换色办法,对这个关键进行更深刻地论述,其换(着)色最多六步就可以完成,进而更充实和完善了前述两文。