程西军
- 作品数：13 被引量：26H指数：3
- 供职机构：中国人民解放军海军工程大学电子工程学院计算机工程系更多>>
- 相关领域：自动化与计算机技术电子电信交通运输工程更多>>
- 动态计算圆弧并面积算法的证明
- 给出了动态计算圆弧并面积算法的一个正确性证明。从逻辑上严格证明了对平面上任意个圆所覆盖的面积都存在一个划分，划分所得各区域内部不存在空区、各区域之间不存在重叠，从而论证了圆弧并面积计算算法是正确的。
- 程西军黄志军
- 关键词：计算机数学
- 电子装备数字电路板自动检测仪设计被引量：3
- 2009年
- 针对某电子装备数字电路板设计自动检测仪,采用单片机+FPGA的技术方案,包括信号发生、信号采集、与上位机的USB通信以及连接被测板的接插件四大模块。对不同测试对象输入输出间的差异具有柔性适应能力,无须手工配线,操作简单。由上位PC机驱动运行,测试过程自动化程度高,可在1min内完成单板故障检测。
- 程西军陈娟娟姚旺生
- 关键词：数字电路板FPGACPLD
- 职责分离在信息系统中的实现被引量：1
- 2006年
- 在信息系统中,进行合理的访问控制才可实现职责分离原则。在RBAC模型的基础上,深入探讨了互斥权限、互斥用户和互斥角色在分配关系上的各种约束。提出设置分配监管员对系统管理员的分配操作进行审计,避免系统管理员随意分配权限、角色,从而更有效地实现职责分离原则。
- 陈娟娟程西军
- 关键词：访问控制互斥
- 基于角色的差异主体协同访问控制模型被引量：2
- 2009年
- 针对协同访问控制协作、同步、差异的特点,区分访问主体、访问权限的单一性与复合性,对权限进行阈值扩充,在RBAC基础之上,形式化描述了基于角色的差异主体协同访问控制模型。该模型是t-安全的,具有匿名性,在一定程度上避免协同主体相互串通。
- 陈娟娟程西军汪利虎
- 关键词：访问控制角色访问控制
- 数字电路板研仿中的电参数对比方法
- 在引进的几型装备中，许多电路板采用了数字逻辑电路设计方法。由于维修保障的需要，对这些电路板进行了研仿工作。本文介绍一个数字电路板的逻辑参数测试方法。利用多路逻辑信号发生器和高速逻辑信号采样器，测量研仿电路板和原装电路板的...
- 姚旺生程西军陈维义
- 关键词：数字电路
- 文献传递
- Object Web及其在DSECMS中的应用
- 开发分布式系统需要为不同种类的用户提供不同的用户接口，并解决跨越网络环境实现远程数据和服务的访问问题，分布式系统所固有的复杂性使得它的开发、升级与维护难度较大。随着Internet／Intranet／Extranet的普...
- 程西军
- 文献传递
- 电路模板检测仪在快速抢修中的应用
- 提高电子装备的抢修速度对舰艇的战时保障有重要意义。利用电路模板检测仪,将现场抢修工作中的开机检查或者运行检查转移到检测仪上完成,可以大大加快抢修速度,提高抢修效率。
- 姚旺生程西军付学志谭斌
- 文献传递
- 支持动态角色切换的RBAC模型被引量：5
- 2008年
- 动态角色切换是信息系统依据用户属性改变而部分或整体改变用户-角色指派的一种自动授权机制。将动态角色切换引入到RBAC96模型,论述了动态角色切换的各种形态、不同切换间的相互关系及模型实现。基于动态角色切换,系统可以自动处理触发角色切换条件而引起的用户-角色指派变更问题,整个过程无须人工参与,减轻了系统管理员的工作负担,提高了授权管理的效率与安全性。
- 陈娟娟程西军
- 网络应急防御中基于遗传算法的高效端口扫描方法
- 2010年
- 蠕虫病毒、拒绝服务攻击等安全问题对网络防御构成了很大挑战。在网络带宽急剧下降的情况下,网络应急防御所用端口扫描方法的效率成为一个引人关注的问题。将遗传算法用于端口的应急扫描,提出了三种端口应急扫描策略,设计了端口应急扫描算法。仿真结果表明,该方法能够有效解决传统穷举扫描法面临带宽不足时出现的效率问题。
- 程西军陈娟娟
- 关键词：端口扫描遗传算法
- 一种改进的基于量化权限的门限访问控制方案被引量：1
- 2008年
- 在一些特殊领域,部分权限同时具备质的属性与量的属性。对基于量化权限的门限访问控制方案进行了改进与扩展,解决了权限概念引入权限量后导致的访问控制系统权限及角色数量巨大、管理负荷沉重以及不适应权限量动态演化的问题。改进后的模型在时空效率、表达能力方面显著提高。
- 程西军陈娟娟
- 关键词：角色访问控制
