位置：成果数据库 > 会议 > 会议详情页
Type System-A Formal Method & Formal Tool for Programming Languages
  • 所属机构名称：中国人民解放军第二炮兵工程大学
  • 会议名称：16th World Computer Congress 2000
  • 语言：英文
  • 成果类型：会议
  • 相关项目：信息防护关键技术研究
作者： Jian Hui|Lin Dong|Xie Xiren|
同会议论文项目
信息防护关键技术研究
期刊论文 199 会议论文 30 著作 3
同项目会议论文
利用信号转发器实施GPS对抗的性能分析
Adaptive Beamforming with Satellite Multiple Beam Antennas
信息战的系统运用研究
浅析登陆战役中常规导弹部队的作用
SatelliteInterference Location Based on RBF Neural Network Method
通信卫星干扰源定位与自适应调零一体化实现
Analysis of Short-wave Antenna Array Characteristics by Moment Method
指数化灰色预测模型在装备维修经费预测中的应用
基于定性仿真与功能推理的大型复杂电路系统故障诊断
对低截获概率雷达的电子战仿真初探
拖曳式诱饵的干扰效能数学建模与仿真
Study on pulsed radiation characteristics of doublet antenna loaded by lumped resistors with FDTD me
以兵力倍增系数为指标仿真评估C4ISR的相对作战效能
C4ISR体系对抗仿真与评估技术研究
C4ISR作战需求体系结构研究与设计
对联合作战C4ISR一体化建设的若干思考
C4ISR作战实验室设计研究
C4ISR作战需求体系结构研究
美陆军空间与导弹防御作战实验室部析
浅谈对我军作战实验室建设的总体构想
美陆军作战实验室分析研究
联合作战辅助计划系统研究
Multisensor Measurement Data Association and Its Performance Analysis
反辐射导弹作战效能及仿真研究
空间谱估计在通信卫星干扰源定位中的应用
基于区域分裂法和有限元法的电磁兼容分析
有限电导率下格林函数在近区传播损耗计算中的应用
多波束天线中的共轭梯度自适应波束形成
基于linux安全增强技术开发军用安全操作系统