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

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

Due‐window assignment with unit processing‐time jobs

In due‐window assignment problems, jobs completed within a designated time interval are regarded as being on time, whereas early and tardy jobs are penalized. The objective is to determine the location and size of the due‐window, as well as the job schedule. We address a common due‐window assignment problem on parallel identical machines with unit processing time jobs. We show that the number of candidate values for the optimal due‐window starting time and for the optimal due‐window completion time are bounded by 2. We also prove that the starting time of the first job on each of the machines is either 0 or 1, thus introducing a fairly simple, constant‐time solution for the problem. © 2004 Wiley Periodicals, Inc. Naval Research Logistics, 2004     

Preservation of stochastic orders for random minima and maxima,with applications

It is shown, in this note, that the right spread order and the increasing convex order are both preserved under the taking of random maxima, and the total time on test transform order and the increasing concave order are preserved under the taking of random minima. Some inequalities and preservation properties in reliability and economics are given as applications. © 2003 Wiley Periodicals, Inc. Naval Research Logistics, 2004.     

模糊合成算子在作战方案综合评估的应用研究

在分布式交互仿真中,根据仿真结果对作战方案进行综合评估,运用模糊综合评判的方法进行评判,并着重对合成算子的选择进行分析,确定乘与有界算子M(·, )为比较适合对作战方案评估的算子.     

AES轮变换的代数正规型及其应用

每个布尔函数的代数正规型(ANF)是唯一的,对于研究布尔函数有重要意义.利用Mathematica软件得到了高级加密标准的轮变换(Sbox,ShiftRow和MixColumn的复合)的128个分量函数的代数正规型.每个分量函数都是32元布尔函数,其项数在448 ～ 545,平均为496,远远小于随机32元布尔函数的平均项数231.这表明AES轮变换与随机置换有巨大偏差.得到这些ANF的时间复杂度在一个2GHz的PC机上只用几分钟.该方法优于通过真值表得到ANF的经典算法——其得到128个分量函数的时间复杂度为0( 128×32 ×232)=0(244).作为应用,利用得到的ANF建立了一轮AES的一个方程系统,并用Cryptominisat 2.9.0进行求解.使用Guess-and-Determine的方法,利用一个已知明密对,可以在PC机上233h内得到全部128比特密钥.     

面向能耗有效高性能嵌入式微处理器的VLIW调度

为了降低功耗,目前能耗有效的嵌入式微处理器一般都采用分布式与层次化的寄存器文件结构。第一层的超小寄存器文件(TORF)的极小容量使得很多数据必须存放到第二层的通用寄存器文件(GRF)中,这给编译器带来了新的挑战。通过分析程序特征,提出了新的VLIW调度算法,通过在编译时对变量进行检测,在恰当的时机插入虚拟的copy操作并进行指令与通信调度,为对寄存器需求较大的全局变量与软流水变量构建了新的包含GRF的数据传输路由,将对TORF的压力转移到GRF中。实验结果表明,新的VLIW调度算法符合处理器的设计初衷。与不使用GRF相比,在程序性能只降低约8%的情况下,降低了约51%的寄存器访问能耗,43%的处理器能耗。最关键的是避免了程序员手工分配优化的难题。     

基于DCSP的编队武器兼容性约束协调

编队武器兼容性约束协调,是一个典型的求解分布式约束满足问题的过程。针对这一特点,建立了编队武器兼容性约束满足问题模型,提出了一种基于异步回溯的分布式约束满足算法。该算法运用异步回溯获得一个初始可行解,然后以作战效能最优为原则增添新的方案,并进行约束一致性检查,最终得到满意的编队武器运用方案。仿真验证了算法的可行性。     

基于PCB技术的延时线设计方法

为了设计大功率低损耗的延时线,提出了用多股窄印制线并行绕制替代单股印制线绕制、在某些特定位置将并绕的多股印制线交叉换位的多层PCB螺旋电感的设计方法,并用该电感和电容模拟电缆的分布参数电感和电容制作延时线。通过多股并绕交叉换位的方式可以增加电感的有效截面积,减小电感的涡流损耗,有效提高电感的品质因数。测试结果表明:该螺旋电感的品质因数在短波频段内有较大提高。利用该螺旋电感制作的200ns延时线在通1A电流50 W功率时,延时性能好、驻波比小、衰减量小,满足大功率低损耗的要求。     

基于AMESim的液压混合动力车辆建模仿真研究

在阐述并联式液压混合动力车辆的结构原理及液压系统参数设计的基础上,利用AMESim创建了整车模型。根据液压混合动力系统的工作特性,以改善车辆燃油的经济性为目标,提出了基于车辆扭矩需求的发动机和液压泵/马达扭矩控制策略。仿真结果表明:该混合动力系统能合理控制扭矩分配,实现不同工作模式的平顺切换,在满足车辆动力性能指标的前提下,有效地提高了燃油的经济性。     

新一代海军指挥信息系统体系架构

面向新一代海军指挥信息系统,结合海军指挥信息系统的使命,对海军指挥信息系统的发展现状及趋势进行了研究,分析了新一代海军指挥信息系统的发展需求,在此基础上提出了未来新一代海军指挥信息系统的建设构想,分析了系统的动态构建、人机一体以及平行指控等特点。