您的位置： 专家智库 > >

第二炮兵工程学院计算机系

作品数：56 被引量：278H指数：6
相关作者：赵宗涛虞蕾罗眉苏立国余宁更多>>
相关机构：国防科学技术大学计算机学院陕西师范大学计算机科学学院清华大学信息科学技术学院计算机科学与技术系更多>>
发文基金：国家自然科学基金国家高技术研究发展计划中国博士后科学基金更多>>
相关领域：自动化与计算机技术电子电信航空宇航科学技术理学更多>>

合作机构

文献类型

  • 47篇期刊文章
  • 9篇会议论文

领域

  • 50篇自动化与计算...
  • 4篇电子电信
  • 3篇航空宇航科学...
  • 2篇理学
  • 1篇天文地球
  • 1篇医药卫生
  • 1篇一般工业技术
  • 1篇军事
  • 1篇兵器科学与技...

主题

  • 7篇网络
  • 6篇图像
  • 6篇计算机
  • 5篇访问控制
  • 5篇PSL
  • 4篇体系结构
  • 4篇网格
  • 4篇SIMD计算...
  • 3篇形式化
  • 3篇立方体
  • 3篇矩阵
  • 3篇MPP
  • 2篇动态口令
  • 2篇形式化验证
  • 2篇身份认证
  • 2篇神经网
  • 2篇神经网络
  • 2篇数据副本
  • 2篇数据库
  • 2篇图像并行

机构

  • 56篇第二炮兵工程...
  • 7篇国防科学技术...
  • 5篇西安微电子技...
  • 4篇西北大学
  • 4篇陕西师范大学
  • 3篇清华大学
  • 3篇陕西科技大学
  • 2篇延安大学
  • 2篇西京学院
  • 1篇西安交通大学
  • 1篇西北工业大学
  • 1篇西安电子科技...
  • 1篇西安工业大学
  • 1篇西安美术学院
  • 1篇中国石油天然...
  • 1篇成都军区联勤...
  • 1篇北京大学口腔...

作者

  • 16篇曹耀钦
  • 15篇赵宗涛
  • 10篇李俊山
  • 6篇宋建社
  • 6篇虞蕾
  • 5篇沈绪榜
  • 4篇苏立国
  • 4篇王小明
  • 3篇慕晓冬
  • 3篇李竹林
  • 3篇林闯
  • 3篇封富君
  • 3篇余宁
  • 3篇李光明
  • 3篇李新社
  • 3篇孙睿
  • 2篇李建军
  • 2篇赵霜
  • 2篇李敏
  • 2篇罗眉

传媒

  • 6篇计算机工程
  • 4篇计算机应用研...
  • 4篇小型微型计算...
  • 4篇2006年中...
  • 3篇电子学报
  • 3篇软件学报
  • 3篇微计算机信息
  • 3篇电光与控制
  • 3篇计算机技术与...
  • 2篇计算机应用与...
  • 2篇微机发展
  • 2篇计算机工程与...
  • 2篇全国第五次程...
  • 1篇电子与信息学...
  • 1篇微计算机应用
  • 1篇模式识别与人...
  • 1篇西北大学学报...
  • 1篇西安交通大学...
  • 1篇计算机工程与...
  • 1篇系统仿真学报

年份

  • 1篇2012
  • 4篇2011
  • 9篇2010
  • 5篇2009
  • 5篇2008
  • 7篇2007
  • 8篇2006
  • 4篇2005
  • 3篇2004
  • 3篇2003
  • 3篇2002
  • 3篇2001
  • 1篇2000
共 56 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于着色Petri网的GEO-RBAC策略验证
GEO-RBAC是一种能够处理空间信息的访问控制策略,其角色按照粒度分为角色模式和角色实例,按照维数分为空间角色和非空间角色。基于实例的角色分配与传统RBAC策略类似。使用着色Petri网对GEO-RBAC中基于模式的角...
封富君林闯李俊山
关键词：着色PETRI网访问控制角色分配可达性分析
文献传递
一种基于蒙特卡洛法的巡航弹航迹规划建模与软件实现方法被引量：2
2010年
蒙特卡洛法MC(Monte Carlo)是一种重要的概率计算方法。航迹规划是一个非结构化优化过程,是一种难以用一组数学模型来描述一条航迹的规划方法。其难点是力求快速准确,以提高应急反应能力,此是生存与制胜的关键所在。研究了利用MC法设计突破火力单元等障碍物的算法,该算法首先是将规划分成若干较为细小的事件,而后通过用随机数进行统计实验,最后归纳出是否是概率有效的,以决定取舍。MC法有效地实现了在约束条件下的航迹优化设计,速度可比常规方法提高22%。用UML语言进行了软件建模实现,包括类图、时序图等静态模型和动态模型。所给出航迹规划软件平台经应用效果良好,不但规范了航迹规划工程,而且缩短了开发时间。
李刚虞蕾赵宗涛
关键词：航迹规划大地方位角UML
一种基于Weibull分布的库存控制策略
2009年
在分析大量库存信息的基础上,提出一种基于Weibull分布的库存控制策略.主要包括随机量库存率η(t)的定义及数学模型与表达其性质的定理,指出η(t)的分布规律为Weibull分布的概率密度函数,其变化的物理意义与库存实际情况相符;同时定义了任务、任务区段H(t),并以此作为约束条件得到控制库存率η(t)的策略:备件订购应在任务执行前越近越好,以控制η(t)分布尽快上升;任务执行时间区段越窄越好,以使η(t)值尽快下降.经实验应用,这些策略是有效的,它能为库存控制决策提供科学依据,使库存率降到最小范围.
赵国际孟晓红李竹林赵宗涛
关键词：库存论统计分析WEIBULL分布
基于能量分簇的传感器网络路由机制被引量：2
2008年
无线传感器路由协议采用分簇方式对网络的扩展特别有效,当簇首以多跳方式进行向汇聚点通信时,靠近汇聚点的簇首由于转发外层簇首信息造成能量消耗过快,导致网络分割。本文采用能量消耗平衡化的方法来解决此问题,它的核心是能量损耗快的簇以减小簇面积来降低本簇传感器能量消耗,从而促使网络传感器节点能量消耗的平衡性,以至网络存活时间得到最大的保障。通过试验结果验证,该路由机制有效的平衡了簇首能量的消耗,并显著的延长了网络存活时间。
孙睿曹耀钦
关键词：无线传感器网络路由机制能量消耗多跳通信
图象理解SIMD计算机的设计技术被引量：2
2002年
本文结合 L S MPP嵌入式计算机图象匹配算法的设计与编程实践 ,对面向图象理解应用的 SIMD计算机减少存储类指令及其执行周期、控制寄存器的数量需求、基地址控制寄存器内容的保护、缓冲器的有关设计及图象阵列数据类型的设立等设计问题进行了分析和讨论 ,提出的一些设计思想对于面向图象理解的类似
李俊山李莉沈绪榜焦康
关键词：图象理解SIMD计算机并行计算图象匹配
面向LS SIMD的目标代码优化方法
LS SIMD是一种嵌入式共享存储器型大规模并行处理机.本文就LS SIMD并行编译器中目标代码优化技术进行了深入的研究.针对LS SIMD的数据通信机制与存储结构,给出了变量引用信息及寄存器状态空间的表示,寄存器分配的...
王晖陈丹王毓政
关键词：并行编译器寄存器分配流水线
文献传递
一种机器人未知环境下动态目标跟踪交互多模滤波算法被引量：2
2010年
为了解决机器人同时定位、地图构建和目标跟踪问题,提出了一种基于交互多模滤波(interacting multiple model filter,IMM)的方法.该方法将机器人状态、目标状态和环境特征状态作为整体来构成系统状态向量并利用全关联扩展式卡尔曼滤波算法对系统状态进行估计,由此随着迭代估计的进行,系统各对象状态之间将产生足够的相关性,这种相关性能够正确反映各对象状态估计间的依赖关系,因此提高了目标跟踪的准确性.该方法进一步和传统的IMM滤波算法相结合,从而解决了目标运动模式未知性问题,IMM方法的采用使系统在完成目标追踪的同时还能对其运动模态进行估计,进而提高了该算法对于机动目标的跟踪能力.仿真实验验证了该方法对机器人和目标的运动轨迹以及目标运动模态进行估计的准确性和有效性.
伍明孙继银
关键词：地图构建目标跟踪移动机器人
基于GO法的航空电子设备可靠性评估被引量：5
2009年
针对传统电子设备在可靠性评估中存在精度和效率较低问题,提出一种基于GO法的可靠性评估方法。该方法引入状态累积概率,建立考虑共有信号处理的GO模型,给出某航空电子设备监测模块基于GO法的可靠性评估实例。与传统Monte-carlo方法进行比较,结果证明该方法更简单、直观,具有更高的计算精度、仿真效率,且更容易解决复杂多态、时序问题。
尹宗润慕晓冬
关键词：GO法电子设备可靠性
PSL的有界模型检验被引量：2
2009年
基于SAT的有界模型检验被视为是基于OBDD的符号化模型检验技术的重要补充,是并行反应式系统的一种有效验证方法.然而,直至现在,有界模型检验已验证的属性逻辑还十分有限.PSL是一种用于描述并行系统的属性规约语言(IEEE-1850),包括线性时序逻辑FL和分支时序逻辑OBE两部分.通过模型检验可验证系统的PSL属性,本文提出了PSL的有界模型检验方法及其算法框架.首先,定义PSL逻辑的有界语义,而后,将有界语义进一步简化为SAT,分别将PSL性质规约公式和系统M的状态迁移关系转换为SAT命题公式,最后验证上述两个SAT命题公式合取式的可满足性,这样就将时序逻辑PSL的存在模型检验转化为一个命题公式的可满足性问题,并用一个队列控制电路实例具体解释算法执行过程.
虞蕾赵宗涛
基于Windows CE的故障信息在线采集系统被引量：2
2010年
为实现复杂现场环境下电子设备诊断问题,针对目标平台定制了WinCE内核和BootLoader,设计基于WinCE的故障诊断数据采集系统,实现故障信息的在线采集、存储、汇总和通信功能,并为嵌入式专家系统的远程诊断模型提供借鉴。
徐飞贾君君姚红革董莹
关键词：WINDOWSCE数据采集串口通讯专家系统
全选 清除 导出
共6页<123456>
聚类工具0