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

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

基于灰色时序的完整性规范技术

计算机系统的完整性安全策略模型与规范问题,是计算机安全研究中最重要的课题之一。已有的研究结果离实际应用还相差太远,例如Ｃｌａｒｋ－Ｗｉｌｓｏｎ完整性模型只是提出了一个框架。本文呈现了我们构造的形式化灰色时序安全策略规范语言（ＧＴＳＬ）。ＧＴＳＬ的理论基础是灰色系统理论和时序规范语言ＬＯ－ＴＯＳ理论。由于它在完整性规范能力、完整性验证过程的构造与表示、责任分离合理性测试等一系列技术方面的完善与创新,使得ＧＴＳＬ成为真正能够实际使用的完整性安全策略规范语言。     

基于CTL模型和任务绩效的驾驶舱动态功能分配方法

飞机驾驶舱系统自动化水平提高的关键在于实现飞行任务的动态分配。为了提高动态功能分配的可靠性,提出用于实时估算飞行员脑力负荷的认知任务负荷(Cognitive Task Load,CTL)模型,将模型估算的飞行员脑力负荷与飞行任务绩效的测量结果相结合作为飞行任务动态功能分配的综合触发信息,飞机驾驶舱系统将综合触发信息经过模糊推理输出飞行任务自动化等级,实现飞机驾驶舱功能的动态分配。最后,通过试验验证了所提出方法的有效性。     

基于角色的仿真动态建模研究

提出的基于角色的仿真建模方法,详细论述了该方法的建模过程与步骤,阐述了利用角色来达成建模的本质。典型仿真应用表明,该方法在建立仿真动态模型方面是有效可行的,且其具有良好的通用性、封装性、异步并发性及多分辨率特性,能够很好地解决日益复杂的仿真动态模型的建模问题。     

利用软件仿真的方法研究信号完整性问题

通过软件仿真的方法研究了信号完整性问题中的信号反射。以实例的形式给出了一种利用仿真估计电路临界频率的方法。在设计开发的早期,利用软件仿真可以得到非常有价值的信息。     

材料性能对固体发动机结构完整性的影响

基于描述粘弹性材料特性的Burgers模型的本构关系以及基于该本构关系下的有限元方法 ,根据温度载荷和内压载荷的特点 ,分别建立了分析某固体发动机材料性能参数对结构完整性影响的有限元模型。应用MSC/NAS TRAN结构分析软件 ,详细分析了在温度和内压载荷作用下固体发动机材料性能参数对结构完整性的影响。在温度载荷的作用下 ,主要影响结构完整性的是推进剂的泊松比与热膨胀系数 ;在内压载荷作用下 ,主要影响结构完整性的是包覆层和推进剂的泊松比以及推进剂的初始模量。所得的结论可为固体发动机的生产设计提供参考     

固体推进剂装药结构完整性分析的研究进展

装药结构完整性分析已成为制约固体火箭发动机研制水平的瓶颈问题之一,基于粘弹性力学理论,综述归纳了固体推进剂装药结构完整性分析的研究现状,重点介绍了药形结构、材料性能、载荷形式和老化贮存4个因素对推进剂结构完整性的影响,分别指出各个因素在固体推进剂结构完整性研究中取得的成就、存在的问题以及未来的发展方向,以期为后续药柱及...     

基于角色优化模型的装备采购项目组织流程设计

在装备采购项目组织流程设计中引入角色网络理论,构建装备采购项目组织流程设计的角色优化模型,从流程人员设计、工序设计和反馈设计等3个方面阐述角色优化模型用于流程设计的推导过程,并将该方法应用到某装备采购项目组织流程设计实践中。通过流程设计前后的对比分析,该模型能够有效进行装备采购项目组织流程设计,有着较强的推广和应用价值。     

基于Agent的多无人机任务分配模型

分析了多无人机任务分配经典模型中存在的局限性,建立了基于Agent协商的多无人机任务分配模型。构建了无人机编队中资源管理和任务管理等两种Agent角色,并给出了相应的角色模型及其形式化模型描述,分别设计了相应的资源管理策略和任务管理策略。建立了两种角色之间任务分配协商协议,该协议既有效地保证了个体Agent的自主性,又最大限度地发挥了多Agent之间的合作性。实验表明,该模型能够有效地实现对分布式任务的合理分配。     

考虑NEPE推进剂力学性能拉压不对称性的装药结构完整性分析

为研究NEPE推进剂拉压不对称性对其装药结构完整性的影响,构建了考虑拉压不对称性的推进剂含损伤非线性本构模型,提出一种考虑拉压不对称性的装药结构完整性评估方法,并对轴向和横向联合过载作用下NEPE推进剂药柱进行了结构完整性分析。结果表明：在轴向和横向联合过载作用下,NEPE推进剂药柱处于拉压共存状态,且药柱的拉伸和压缩区域与推进剂本构模型无关;推进剂的拉压不对称性对其力学响应有一定的影响,考虑拉压不对称性的最大等效应变为1.54,介于分别由拉伸本构计算得到的应变0.193和压缩本构计算得到的应变0.100之间。考虑拉压不对称性的安全系数为5.68,大于未考虑时的安全系数1.73和4.98,传统的结构完整性评估方法较为保守。     

我国科研诚信与作风建设之传统道德文化审视

鉴于科研诚信问题产生的主要原因是\"功利观\"冲击下的传统\"义利观\"偏离和体制机制不完善,通过阐述科研诚信与作风问题之溯源,分析了科研诚信与作风之\"人格诚信\"建设,研究了科研诚信与作风之\"制度诚信\"建设,力图从我国优秀传统道德文化中探寻科研诚信与作风建设的对治之策。研究认为,要在汲取中国传统道德文化精华,促进科研人员完善\"人格诚信\"的同时,以褒扬诚信、激励守信、惩戒失信为重点,进一步完善相关制度体系和运行机制,强化\"制度诚信\"建设,实现我国科研诚信与作风建设的\"人格诚信\"和\"制度诚信\"双轮驱动。     

无人机技术中国专利分布情况及其专利情报运用

无人机技术是近年兴起的一项涵盖领域宽、技术难度高、战场和市场应用前景均十分广阔的前沿技术.文章分析了1986年-2012年份期间在中国申请的、其专利名称、权利要求和摘要中包含有“无人机”、“无人驾驶飞机”或者“无人驾驶飞行器”等关键词的专利检索结果分布情况.文章对如何在国防科研中积极有效地运用专利情报以及加强科研过程中的保密工作提出了建议.     

幼儿角色游戏中教师指导身份研究

在幼儿园角色游戏活动的指导中,教师主要表现出三种身份:一为教育者身份,二为教育者与游戏者揉合的身份,三为游戏者身份。教师在观念上认可并向往游戏者身份,在行为上却彰显教育者身份而忽视游戏者身份。为了使教师在角色游戏中更好实现游戏者身份的指导,需要确立游戏者身份规范。     

面向作战任务的作战系统冲突检测与消解研究

以作战任务为中心,动态集成作战系统是当前军事领域研究的新课题,从多个作战任务的时间冲突和作战系统状态能力有限性出发,研究作战系统在执行作战任务过程中存在冲突的问题,给出冲突规则的形式化描述,提出了冲突检测与消解的算法,最后通过实例对算法进行了验证。     

末段多层反导作战的任务分解

任务分解是末段多层反导任务规划的基础和前提。为有效提高任务的执行效率,界定了作战任务分解的基本概念,改进了任务分解的方法,提出了任务分解的基本原则,建立了作战任务属性数据表,明确了子任务的结构关系、优先顺序和资源需求。任务分解进一步明晰和细化了反导作战任务,可降低决策的复杂性,提高作战资源的利用效率。     

C2组织结构设计:平台-任务关系设计

以联合作战战役为例建立作战平台和任务模型,对C 2(Comm and and Con tro l)组织结构设计中平台-任务关系设计问题分析了传统多维动态列表规划算法(M u ltid im ens iona l D ynam ic L ist Schedu ling,M DLS)在解决作战平台资源调度(平台-任务分配)问题的不足,提出了在平台-任务分配过程中采用任务选择平台组、平台选择任务以及两者选择冲突消除改进的M DLS算法,以解决M DLS算法的不足,并对不同方法的结果进行了比较。     

教师角色转变：社会学的解读与思考

研究者对当代教师扮演的角色给予了颇为多样的区分、归类和总结,但是对于教师所应扮演的角色的社会原因并未做过更深层次的解读与思考。本文认为人们对教师角色“是何”有了认识,对其“为何”也应做理论上的思考,并对其“应何”做深入的研究。     

联合作战规划中资源调度算法研究

以联合作战为例建立任务和作战平台资源模型,通过多维动态列表规划算法(M u ltid im ens iona l D ynam ic L istSchedu ling,M DLS)进行任务-平台分配,对平台选择提出了两种不同的优先权计算方法,通过对案例求解比较了不同方法的结果。     

基于改进蛙跳算法的多无人机协同任务分配研究

针对多无人机协同任务分配问题,提出了一种基于Levy飞行的改进随机蛙跳算法用于解决多无人机的协同任务预分配问题,通过引入动态跳跃步长、Levy飞行因子和族群认知因子有效改进了算法的搜索性能,提高了搜索效率。针对多无人机协同执行任务时可能遭遇的突发任务,通过引入市场拍卖机制提高了算法的计算收敛效率。通过仿真算例分析,验证了改进的随机蛙跳算法解决多无人机协同任务分配问题的有效性。