解放军理工大学学报杂志省级期刊

解放军理工大学学报 2010年第04期杂志 文档列表

基于线性预测外推的高分辨率雷达成像第381-385页

关键词: 合成孔径雷达；  线性预测外推；  快速傅里叶变换；  ar模型；  

基于模糊描述逻辑的模糊UML类图形式化第386-391页

关键词: 模糊uml；  类图；  模糊描述逻辑；  形式化；  

无线传感器网络的可靠性评估模型第392-396页

关键词: 无线传感器网络；  

正则表达式与有穷自动机等价性在Isabelle/HOL中的形式化第403-407页

关键词: 正则表达式；  有穷自动机；  形式化验证；  

一种提高检测效率的V-detector优化算法的设计第408-412页

关键词: 人工免疫系统；  阴性选择算法；  检测效率；  假设检验；  

分布式存储中文件分割的最优化模型第413-416页

关键词: 分布式存储；  存储节点可用性；  文件分割；  最优化分割；  

3D城市建模方法第417-422页

关键词: 3d城市建模；  城市过程建模；  基于物理的建模；  城市云计算；  

基于点线回路优化求解TSP的一个新算法第423-427页

关键词: 算法；  旅行商问题；  回路优化；  

基于快速有效值算法的逆变器三环控制策略第428-432页

关键词: 逆变器；  静差；  动态性能；  三闭环控制策略；  快速有效值算法；  

IT商业价值生成过程诊断第433-438页

关键词: 信息化；  it商业价值；  诊断体系；  可拓理论；  粗糙集；  

山地城市震后建筑物倒塌瓦砾阻塞量预测模型第439-444页

关键词: 山地城市；  倒塌瓦砾阻塞量；  预测模型；  

大型地下空间结构地震风险评估方法第445-450页

关键词: 地下结构；  弹塑性时程分析；  风险矩阵；  风险评估；  

500kV地下变电站基坑围护结构抗震影响因素第451-456页

关键词: 基坑围护结构；  抗震分析；  flac3d；  影响因素；  

三体船模型的阻力试验和数值预报第457-461页

关键词: 三体船；  剩余阻力；  兴波阻力；  细长体理论；  

两种典型形状装药的近场爆炸载荷研究第462-467页

关键词: 爆炸载荷；  爆炸冲击波；  球形装药；  圆柱形装药；  数值模拟；