文化之花繁似锦

正今年8月,一场视觉盛宴在七师一二六团的戈壁母亲广场拉开了帷幕。为庆祝兵团成立60周年,兵团摄影家协会、国际摄影学会兵团分会、七师宣传部、七师文联和一二六团联合举办了七师首届摄影文化艺术节,艺术节历时10天,接待参观人员达到3万余人(次),产生了广泛的社会影响。在此次摄影文化艺术节上,一群来自一二六团周边的乌苏市石桥乡梧桐村的维吾尔族、哈萨克族、蒙古族群众的作品特别引人注目,他们不是专业的摄影家,     

信息化战争研究——不容被忽视的三个“不等式”

目前,信息化战争研究及军队信息化建设已经列入我军现代化的重要议事日程,大量的理论和实践问题亟待解决,特别是在信息化战争研究方面。笔者认为,“信息战不等于信息化战争、战争信息化不等于战争‘文明化’、强调技术因素不等于忽视人的因素”这三个方面尤为值得关注,因为它们是研究信息化战争的前提和根本。信息化战争≠信息战信息化战争和信息战是两种不同的称谓,反映着两种不同的事物,是两个有本质区别的概念。信息化战争是战争形态,信息战则是作战形式,不可将战争形态与作战形式相混淆,信息化战争并不等于信息战。信息化战争是信息时代…     

几种易燃液体燃烧烟尘微观形貌特征研究

利用透射电子显微镜对几种易燃液体燃烧烟尘的微观形貌进行了研究,发现微观上易燃液体燃烧烟尘为分散的凝团,凝团形态为链状、簇状和絮状,在高倍率下观察发现,凝团是由直径几十纳米的准球形基本组成颗粒互相链接而成的。采烟高度和时间对烟尘形貌特征的辨别没有产生显著影响。     

现代化进程中中国政治形态的必由之路——读《科学发展中政治和谐研究》感言

中国是一个发展中国家,在向社会主义现代化迈进的历程中,必须在科学发展观的指导下,积极、稳步、有序地推进政治、经济、文化和社会的全面协调发展,才能实现在本世纪中叶,把我国建设成为一个社会主义现代化强国的既定目标。但在政治、经济、文化和社会整体推进、科学发展过程中,作为国家上层建筑的政治以何种形态出现、发挥何种作     

2012欧洲设计奖开始接受报名

欧洲设计奖是综合性的年度设计大奖,其奖项包括平面设计、插画、数码设计等。该奖由15个欧洲著名的视觉传达设计媒体参与主办,评委来自这些媒体的专职设计编辑和评论家,     

试论空军民兵工作调整改革

2011年全国民兵工作会议研究部署了当前和今后一个时期民兵工作调整改革任务,指明了民兵建设转型发展的方向.空军民兵工作调整改革是全国民兵工作调整改革的重要组成部分,要针对计划经济条件下和机械化战争形态下形成的民兵工作思想观念、制度机制、方法手段等已难以适应市场经济深入发展和战争形态不断演变的情况,抓住新一轮民兵工作调整改革这个重大契机,着眼有效履行使命任务,大力加强空军民兵建设. 树立全新观念,科学定位职能任务.搞好空军民兵工作调整改革,必须围绕适应信息时代和信息化战争形态要求创新建设发展观念,正确把握空军民兵职能任务.     

美军官兵跳槽多

2002年,一本名为《用刀喝汤》的书因准确预测美军将在伊拉『克和阿富汗战场面临新兴游击战争形态而备受关注,该书作者是时任美国陆军中校约翰·纳格尔。2005年,他又参与编写了《反恐作战指南》,有效提高了美军应对游击战的能力。这样一名经验丰富、具有影响力的年轻军官,本应顺利升任陆军上校。但2008年,约翰·纳格尔选择了退役,受邀成为华盛顿一家大型智库公司——“新美国安全中心”的首席执行官,主要为奥巴马政府决策提供咨询。实际上,这些年像纳格尔这样离开军队的精英并非少数。     

基于形态滤波的漏磁信号基线漂移在线处理

为了实现快速漏磁检测,采用形态滤波的方法对漏磁信号的基线漂移进行在线处理．首先,运用Maragos类型形态滤波器,选择平面结构元素作为最佳形态滤波形式,并通过实验得到最佳结构元素选取标准;然后,利用该滤波器和小波分解的方法分别对仿真信号和采集到的漏磁信号进行基线漂移的处理．结果表明：形态滤波的方法能够实时准确地实现基线漂移的去除．     

机载平台野外立体场景弱小变化目标检测

提出了一种针对机载序列图像的野外立体场景弱小变化目标检测新方法。为了补偿平台运动,提出了一种级联图像配准模式,即首先通过生物视觉方法对待检图像进行快速粗配准,然后通过不变系数最小二乘匹配进行精配准;为了补偿图像间的灰度变化,提出了直方图一致性变换方法,该方法不仅可以处理线性灰度变化而且可以处理非线性灰度变化;为了弱化场景立体效应影响,提出分子区的方法,即通过将图像划分为若干子区,各对应子区独立求解仿射参数,使得待检图像不同位置子区可以对应不同几何变换参数。光电吊舱真实图像变化检测实验,证明了文章方法的正确性和有效性。     

基于分离逻辑的程序分析技术

分离逻辑是John C Reynolds和Peter O’Hearn于2000年提出的基于Hoare逻辑分析程序中动态分配内存和指针别名的逻辑理论。首先回顾了分离逻辑系统的理论框架,然后讨论了分离逻辑在程序分析领域中符号执行、形态分析和并发程序分析验证这些领域中的应用成果,最后介绍了分离逻辑在程序分析技术中当前主要的研究方向。