基于本体的CADM建模方法研究

体系结构核心数据模型(CADM)作为体系结构建设的通用参考资源之一,对C4ISR系统的顶层设计具有重要意义.通过深入分析CADM的开发要求及其特性,提出了一种基于本体的建模方法.该方法的主要特点是:通过在领域原始信息与最终实体联系模型之间建立本体模型,作为自然语言描述信息与逻辑数据模型之间的过渡,实现前者到后者的合理转换.该方法在逻辑数据模型设计及C4ISR系统数据工程两方面均有所突破.     

某型机载雷达抗干扰效果评估软件实现

抗干扰效果评估软件系统是电子对抗试验环境系统的重要组成部分,是机载雷达抗干扰效果评估系统的核心,在靶场电子对抗试验环境建设中具有重要作用和地位.采用软件工程设计方法对该雷达抗干扰评估软件系统进行了概要设计,建立了评估软件系统的评估模型、模块结构、逻辑流程和主要人机界面,基于VB.net进行了抗干扰效果评估软件系统的初步设计与调试.     

扎实做好高校应届大学生预征入伍工作

今年5月,教育部和总参谋部联合召开了全国高校毕业生入伍预征工作会议,标志着大规模征集普通高等学校应届毕业生服义务兵役工作的启动.从普通高校大规模征集大学生人伍是一项全新的工作,起步晚、环节多、战线长,政策性强、社会关注度高,军地有关机构要高度重视,精心筹划,严密组织,狠抓落实,确保预征大学生入伍工作圆满完成.     

便携式逻辑分析仪硬件平台设计

针对现有逻辑分析仪制造成本高、不便携带以及应用场合受限的问题,设计了一种基于FPGA+STM32的便携式逻辑分析平台。该平台硬件成本低、易携带等指标满足大多数测试要求。其设计核心主要包括主控芯片、被测信号采样、触发控制、数据锁存、高速存储、串口通信、TFT液晶显示等电路,其功能实现主要依靠FPGA的硬件设计和STM32的软件控制。该平台最大可实现32通道、存储深度64 K、分析速率400 MSa/s的测试要求。通过该平台可以实现被测信号的采集、缓存、分析、显示等功能。     

梦在哪里

儿时,我的梦定格在电视荧幕上金水桥前那一个个整齐划一的方阵,那时的我立志要成为他们中的一员。少时,我的梦寄托于天边那与军装同色的那一抹湛蓝,我相信我的未来一定像它一样,浩瀚无垠。昨天,当"嫦娥"探月、"蛟龙"潜海,当"神州"飞天、"辽宁"远航,举国欢腾,距离梦想成真,越来越近。今天,我扎根军营,当强军梦一次次地呼唤着我前行,我隐约觉得,原来梦,一直在这里。清晨,我们将战机与太阳一同唤醒。路灯的掩映下,狭长的停机坪满是我们忙碌的身影。黄昏,我们等待着战机一架架从天边滑落,夕阳的余晖里,我     

满腔热忱 不遗余力

“必武强军是我作为第一书记的基本职责,也是我作为一个普通公民期盼祖国强大、人民幸福的情感所系!”湖北省钟祥市市委书记、市人武部党委第一书记马朝晖把武装工作融入地方经济社会发展大局进行思考统筹,把军人当亲人,把军属当家属,在全社会营造了关心支持武装工作的浓厚氛围。     

领导干部要自觉养成运用法治思维抓建设的习惯

法治思维是领导者在法治理念的基础上,运用法律规范、法律原则、法律精神和法律逻辑对所遇到或所要处理的问题进行分析、综合、判断、推理、形成结论或决定的思想认识活动与过程。它是一种以法为价值追求、以法为行为规范、以法为治理根本的思维模式,是自觉、主动和善于运用法治手段的前提。法治思维的养成不仅有赖于有法可依,更多地取决于法治理念、法治精神和法治环境的培育。部队领导干部只有牢固确立法治意识,自觉弘扬法治精神,把运用法治思维和法治方法抓建设作为一种自觉、一种修养、一种习惯、一种坚守,才能更好地促进依法治军、从严治军要求的落实。     

1902-1911年普通中小学堂图画课程改革述评

普通中小学堂图画课程是中国近代化的产物,从1902年＂壬寅学制＂在政策层面上确立了图画课程的地位开始一直到1911年,普通中小学堂图画课程进行了多次改革。这些改革开启了学校制度下中小学美术教育发展的进程,形成了重＂技＂的教育指导思想影响下的普通中小学堂图画课程,体现了浓厚的日本学校图画课程色彩,编纂了我国第一批普通中小学图画课程教科书。虽然受时代条件所限,这一时期课程实施效果不尽如人意,但却反映了近代中国美术教育学人在这一时期的艰难探索和追求。     

为民:党的建设科学化的实践逻辑起点

一个政党只有按照政党发展规律加强建设,才能实现自身奋斗目标。中国共产党顺应时代要求,坚持执政为民,在政治生活中按照执政党建设的规律逻辑推进党的各项工作,实现党的建设科学化,增强党在新的历史条件下的创造力凝聚力战斗力。     

一种新的数组逻辑结构猜想方法

许多编译优化技术都依赖于数组的逻辑结构,然而在实际的应用中,有相当多的数组是无结构的一维数组,从而妨碍了编译器的优化工作。提出了一种新的数组逻辑结构猜想算法,它能将无结构的一维数组自动变换成具有多维逻辑结构的数组,从而使编译器的优化工作成为可能。首先给出一个引理,指出猜想后的多维数组应满足的基本性质,然后基于该引理给出了猜想数组的逻辑结构应遵循的两条基本规则,最后基于这两条基本规则给出了猜想数组逻辑结构的算法。实验结果验证了所提出的数组逻辑结构猜想算法的有效性。