图灵四级安全操作系统隐蔽通道分析研究

对图灵四级安全操作系统隐蔽通道进行了分析研究，提出了新的隐蔽通道分析方法——增强改进型语义信息流法。该方法具有工作量小、源代码级分析、能排除伪结果、帮助对隐蔽通道进行后续处理等优点。采用该方法对图灵四级安全操作系统隐蔽通道进行了标识，对隐蔽通道带宽进行了计算，并根据不同的安全策略对隐蔽通道进行了适当的处理。其分析结果达到了相关国家标准中第4级安全操作系统的规定。     

基于混沌理论的再热汽温神经网络模型

在利用混沌理论揭示火电机组再热汽温混沌动力学特性的基础上，构建了再热汽温神经网络预测模型。该模型利用混沌特性处理输入样本并确定神经网络的结构，用神经网络映射混沌相空间的相点演化的非线性关系，采用改进型遗传算法对神经网络模型进行参数辨识。仿真结果表明：该模型精度较高，收敛速度快，为实际生产过程中再热汽温的预测提供了一种新的思路和方法。     

泰国空军购买美国AN／TPS-77防空雷达

泰国空军从洛克希德吗丁公司购买了一部AN／TPS-77防空雷达，用于建设泰国的国家空中防御系统，新雷达将于2009年投入使用。AN／TPS-77雷达是L波段AN／FPS-117远程三坐标防空雷达的改进型，具有一定的机动性和30分钟的快速部署能力。目前有20多个国家拥有26部该型雷达。     

卓越非凡画质中端数码单反相机

索尼公司近月正式推出面向广大摄影爱好者的中端机型α700。这款中端数码单反相机，卓越非凡的画质是最大优势，为此，索尼开发了众多核心部件和先进技术。α700配备1220万像素Exmor CMOS影像传感器以及改进型Bionz影像处理器。     

鲁棒稳定的改进型Smith预估补偿器

如果Smith预估补偿器的预估模型和被控过程的模型不完全匹配，闭环控制系统稳定性不理想。本文采用可变死区范围的非线性方法改进基本的Smith预估补偿器，使得闭环系统关于模型不匹配的稳定鲁棒性令人满意。     

新版苏-35“新”在哪里

在第八届莫斯科航展上，“改头换面”的新版苏-35战斗机可谓格外抢眼，说其抢眼，倒不是说其乍眼的沙漠迷彩涂装，而是说这是苏-27家族的最新改进型，号称“终极侧卫”。更不可思议的是，航展上的新版苏-35不仅全副武装，而且去掉了雷达罩、配上了舷梯任由参观者尽情欣赏飞机的里里外外，看来俄罗斯是满怀诚心要把新版苏-35的“新”展现出来。那么新版苏-35到底“新”在哪里呢？[编者按]     

浅析俄罗斯“黑鹰”主战坦克

“黑鹰”出现 “黑鹰”主战坦克是T-80UM坦克的进一步改进型。为了避免对T-90坦克的外销造成冲击，俄罗斯直到1997年9月的鄂木斯克武器装备展上才公开展示“黑鹰”主战坦克。     

“现代”改Vs“金刚”改

2007年3月5日，日本新一代“宙斯盾”导弹驱逐舰“爱宕”级开始正式服役。该型舰是日本大名鼎鼎的“金刚”级“宙斯盾”导弹驱逐舰的最新改进型，属于日本新一代主力战舰。[编者按]     

基于改进型相关法的单相自适应重合闸新判据

分析了超、特高压输电线路发生单相瞬时性及永久性接地故障时断开相电压的形成机理，指出瞬时性单相接地故障时断开相计算电压与两健全相电压和沿线变化规律的相似程度远大于永久性接地故障时的相似程度，并在此基础上，提出利用改进型相关法的故障性质识别新判据。该判据综合考虑了断开相计算电压与两健全相电压和的幅值与相位的相似性，使瞬时性故障时的相关系数大于永久性故障时的相关系数。该判据实现简单，高阻接地时仍具有较高灵敏度，且受线路长度、负荷电流及故障距离的影响很小，适用 于不带并联电抗器的超、特高压输电线路。大量仿真实验验证了所得结论的正确性。