基于TRBAC的分布式指挥系统访问控制建模

介绍和分析了2种主流访问控制技术——基于角色的访问控制及基于任务的访问控制。针对现有模型的不足,结合某分布式系统的复杂访问控制需求和处理特点,建立了基于任务—角色的访问控制TRBAC模型,阐述了模型对最小权限原则、权限分离原则、角色层次关系的支持。     

任意源组播访问控制仿真研究

研究了任意源组播模型中接收者加入组播组和组播源发送组播数据的流程,分析了在任意源组播应用中可能需要实施的访问控制类型。针对每一种访问控制类型,在组播协议中设计了具体的访问控制实现机制。在OPNET Modeler软件上根据实现机制进行进程及节点建模,并搭建仿真环境对机制的有效性进行了验证。     

扩展的角色访问控制模型在Struts结构下的应用

在分析基于角色的访问控制模型的基础上,根据系统特点,提出了一种扩展的角色访问控制模型。介绍了访问控制的概念及实现原理,分析了基于角色的访问控制模型;结合具体实例,详细描述了扩展的角色访问控制模型在Struts结构下的应用。实践证明,与传统的控制模型比较,扩展的角色访问模型与Struts结构的结合应用减小了系统授权管理的复杂性,实现了分散式管理,降低了管理开销,而且灵活地支持了现实的安全策略。     

基于信任值的P2P网络访问控制模型

对等网络（P2P）已成为一个非常受欢迎的信息交流的新模式。然而,P2P网络环境的分散的和匿名的特点使得对共享信息的控制变得更加困难,而这是无法通过传统的访问控制方法完成的。首先提出P2P网络环境中的访问控制需求,然后提出了一种基于信任值的P2P网络的访问控制模型。模型整合了信任和推荐模式、公平参与原则和访问控制模式,并将其应用于P2P文件共享系统。仿真分析表明,访问控制模型能够有效识别恶意节点,使P2P网络中合作节点具有较高的成功请求率。     

面向IMA的网络文件系统访问控制分析与设计

为了解决面向IMA的网络文件系统访问控制问题,分析了其中的访问控制,并提出一种访问控制的设计方案。采用网络文件锁,通过对文件的上锁和解锁,实现多个分区互斥访问远程文件;使用权限控制模块验证用户对文件的访问权限,用户通过验证后才能访问文件;日志文件记录整个访问远程文件的过程。给出了网络文件锁、权限控制和日志模块的工作原理。     

基于CPLD的TMS320C6727B外设重叠地址空间解析方法的研究与实现

针对TMS320C6727B扩展外设无法基于其硬件资源直接访问的问题，提出了一种重叠地址解析的外设扩展方法，可满足多个外设、外设多个寄存器或端口地址的访问控制。对外设地址空间构成解析、地址映射CPLD的逻辑控制、用户程序中外设寄存器或端口的访问控制等问题，进行了详细的研究分析，并给出了寄存器或端口逻辑控制和用户程序访问的实现方法。硬件平台测试验证了利用重叠地址解析实现外设访问控制方法的可行性。     

基于虚拟安全域的多级安全访问控制

虚拟化技术作为云计算的核心技术,相对于传统技术具有节约开销、易于管理、灵活制定等优势,成为业界应用的热点技术。文章研究了传统的BLP多级安全模型,并改进了该模型应用于虚拟化系统访问控制,结合虚拟安全域的概念,设计实现了虚拟化系统访问控制模型,主要结合分级分域原则对虚拟机之间的通信控制和虚拟机对虚拟磁盘的访问控制进行约束。     

一种适用于管理信息系统的访问控制策略

访问控制策略是管理信息系统安全的重要因素之一。RBAC用角色的概念把用户和权限联系起来,简化了访问控制策略的制定和实施,非常适合管理信息系统的授权管理。但它实现数据级的访问控制很难,因此文中提出了数据分片的思想,并给出了一个RBAC与数据分片相结合的访问控制策略。     

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

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

基于3层结构的新一代航管信息系统的设计与实现

采用3层结构理论对新一代航管信息系统进行了设计,并对系统研制中的关键技术,包括3层结构的物理实现、基于部件的应用开发、OLE、WindowsSocket、数据实时同步和访问控制等的实现方法进行了分析研究,最后给出了系统的应用实例。     

基于贝叶斯网络的航空公司飞行安全系统评价

开展航空公司的飞行安全系统评价是提高飞行安全运行水平的重要措施。在对国内外相关研究成果进行分析和比较的基础上,结合飞行安全评价中的不确定性特点,利用飞行安全评价指标体系,建立了基于贝叶斯网络的飞行安全系统评价模型。该模型能够有效地处理专家意见一致或不一致的情形,并对系统进行预测及诊断分析。通过对某航空公司飞行安全运行状况的实例评价,结果表明此方法是合理有效的。     

网格技术在高校资产协同管理系统中的应用

针对目前我国高等学校资产管理的水平及应用管理软件的开发现状,提出了一种基于网格技术的高校资产协同管理系统与模型。提出了以“协同管理,流程控制,绩效评价”为基本要求的软件开发目标。文章对实现这一系统相关问题、管理模型的建立、系统的结构与特点,特别是以网格服务为标志的新的分布式系统进行了探讨,同时对系统在高等院校的应用前景进行了展望。     

可靠性系统工程的理论与技术框架

简要回顾了可靠性系统工程的形成过程,以产品故障为核心,阐述了可靠性系统工程的概念与定义,把认识产品故障发生规律和故障表现规律作为可靠性系统工程基础理论,把故障预防技术、故障控制技术和故障修复技术作为可靠性系统工程的基础技术,把基础技术的集成作为可靠性系统工程的应用技术,从而初步建立了可靠性系统工程的理论与技术框架,细化了可靠性系统工程的学科内涵。可靠性系统工程作为初现的新学科,虽然尚未达到严格定义与清晰表达的完善状态,但是我们完全有信心期待其作为一种新的方法论,帮助工程设计人员更好地完成工程系统的设计。     

多学科设计优化在非常规布局飞机总体设计中的应用

以飞翼布局飞机总体设计为例,展示如何将多学科设计优化(MDO)方法有效地应用于非常规布局飞机总体设计.基于二级优化方法,提出一种飞机总体MDO实施流程.该流程包括系统级优化、子系统级优化(或评估)和多学科模型生成器3个部分.系统级优化的任务是优化全局设计变量,使系统目标最优.子系统级优化涉及的学科包括气动、隐身、结构、...     

小型飞机先进综合座舱电子系统架构研究

以Garmin1000系统为例,从系统功能、基本架构、容错策略和通用性方面分析了小型飞机先进综合座舱电子系统架构的设计特点。先进综合座舱电子系统架构包括了设备级和系统级两个层面,在设备级阐述了航电设备集成化的发展趋势,在系统级采用了不同的容错策略,保证系统规模最小化时容错能力达到最大化。同时,网络应用增强了系统架构的通用性,支持多种系统规模的扩展。     

基于知识的涡轮叶片精铸模具智能设计系统框架

针对涡轮叶片精铸模具设计过程中存在的设计周期过长、专家知识重用率不高、智能化程度不高等问题、提出将知识工程引入涡轮叶片精铸模具设计领域,构建基于知识的精铸模具智能化设计系统,在此基础上.重点研究了智能设计系统中相关关键技术.应用结果表明,该系统能有效地对专家知识进行继承利用,提高模具设计效率和质量.     

满足适航要求的嵌入式操作系统测试方法

以被定义为DO-178C Level A级软件的自主版权嵌入式实时操作系统为应用模型，提出了一种基于DO-178C标准的嵌入式实时操作系统的测试方法。提出的测试模式解决了操作系统内核在目标机中难以测试的问题，同时对操作系统在目标机环境进行测试的一些具体问题给出了解决方案。方法既适合现阶段国军标对软件测试提出的要求，又保证了嵌入式操作系统软件测试活动与适航要求的符合性。     

基于 FPGA的终端一体化 1553B总线协议测试系统

MIL-STD-1553B(以下简称“1553B”)总线在飞机的航电系统中作用重要。为了摆脱对国外 1553B协议芯片的依赖,研究设计了 1款基于 FPGA的终端一体化 1553B总线协议测试系统。系统采用模块化的设计方法,使用 Verilog语言进行代码编写,设计实现了 4路 1553B总线,每路实现了 BC、RT、BM终端一体化,完整地实现了 1553B协议的功能,并且实现了 10种类型的故障注入。通过上位机测试对该系统进行了板级验证,测试结果表明:本设计实现了预期功能,相对于功能单一的 1553B协议芯片,该系统极大提高了应用场景的灵活性和可靠性。     

航天测控中心系统自主可控建设的研究与思考

着眼于我国航天测控中心系统信息安全的形势要求,对系统软硬件平台自主可控技术的应用现状进行了分析,指出了当前存在的一些安全隐患问题。立足于航天测控中心系统当前发展实际,结合信息安全方面的特殊要求,从加强自主可控的顶层设计、抓好测试验证、分层推广应用等方面提出了系统自主可控建设的思路。针对自主可控建设的长期性和复杂性,从技术继承与发展、技术引进与对外合作、系统升级与安全平稳过渡等三个方面,探讨了在自主可控建设的进程中应该处理好的几个关系问题。对于当前我国航天测控中心面临的自主可控建设有一定的借鉴意义。     

A novel approach of testability modeling and analysis for PHM systems based on failure evolution mechanism

Prognostics and health management (PHM) significantly improves system availability and reliability, and reduces the cost of system operations. Design for testability (DFT) developed concurrently with system design is an important way to improve PHM capability. Testability modeling and analysis are the foundation of DFT. This paper proposes a novel approach of testability modeling and analysis based on failure evolution mechanisms. At the component level, the fault progression-related information of each unit under test (UUT) in a system is obtained by means of failure modes, evolution mechanisms, effects and criticality analysis (FMEMECA), and then the failure-symptom dependency can be generated. At the system level, the dynamic attributes of UUTs are assigned by using the bond graph methodology, and then the symptom-test dependency can be obtained by means of the functional flow method. Based on the failure-symptom and symptom-test dependencies, testability analysis for PHM systems can be realized. A shunt motor is used to verify the application of the approach proposed in this paper. Experimental results show that this approach is able to be applied to testability modeling and analysis for PHM systems very well, and the analysis results can provide a guide for engineers to design for testability in order to improve PHM performance.