ACCA：“山姆大叔”的运输机新作

据美《空中打击》网站近日报道,由美国空军研究实验室（AFRL）和洛克希德-马丁公司联合研制的先进复合材料货运飞机（Advanced Composite Cargo Aircraft,ACCA）于不久前完成了首次验证飞行,标志着该机的研制进入了一个全新阶段。     

一种基于语义推理的多智能体协同功能设计框架

在功能设计知识本体表示模型的基础上,提出了一种基于语义推理的多智能体协同功能设计框架。该框架分为两个部分,其中,基于Multi-agent的通信协作平台将OWL本体嵌入到FIPAACL中以实现产品设计Agent之间的设计知识通信;基于本体的功能建模方法则将本体表示与本体推理结合以支持功能设计本体的存储与检索。最后,对该框架所包含的协同功能设计本体语义推理模型进行了分析与实现,以证明所建议框架的有效性。     

基于XML的安全协议形式化描述方法

针对安全协议的设计与分析复杂且容易出错的问题,文章为编写一个自动验证工具提出一种基于XML(eXtensible Markup Language)语言的时间相关安全协议形式化描述方法。该方法将安全协议用树状结构表示,用XML语言进行描述,为简化安全协议的形式化分析提供了帮助。     

一种基于组件的DEVS建模与仿真方法研究

针对当前DEVS建模仿真中存在的一些主要问题,将XML和组件技术开发方法引入到仿真系统开发中.提出了基于组件的DEVS建模仿真框架,可以很好地支持仿真模型组件从静态模型描述到动态模型的调用,支持模型组件的重用和组合.     

《正午12点》一部二战名片的影像与现实

在各种航空题材电影或空战类影片的经典榜单中,由美国拍摄于1949年的电影《正午12点》（或译为《晴空血战史》）几乎总能占有一席之地。问世60余年来,尽管不断有制作技术高超的空战类电影问世,但《正午12点》在影史上的地位却不可动摇,始终被奉为经典。     

美比混血的AR57卡宾枪

在2010年的国际射击展（SHOT SHOW 2010）上,一支外貌并不出众的卡宾枪吸引了众多媒体人的目光,而它就是美国阿玛莱特公司推出的一款最新个人防身武器：AR57卡宾枪。     

让国防情常驻心间——抚顺市望花区开展国防教育扫描

民兵综合训练基地大会议室的荧幕上正播放着当前国际国内形势的多媒体课件,企业员工一排排坐得笔直,他们时而深思,时而记着笔记……这是抚顺市望花区人武部政委姚中山同志正在为抚顺丰实有限责任公司的员工上国防教育课的现场。近年来,望花区根据本区的实际特点,创造性地开展丰富多彩、     

两种生物探测系统的结合

联合生物点源探测系统（JBPDS）具有生物战剂点源探测、采样和推定识别能力,并可提供样本作进一步的实验室分析。该系统使指挥员获取必要的信息,     

山西省盂县人武部着眼应对多种安全威胁扎实建好遂行多样化任务的民兵常备应急分队

山西省盂县民兵常备应急分队组建于2007年3月,配有野战移动多媒体信息化指挥系统、越野指挥车、装备运输车、生活保障车,以及防暴、防火、防汛、防震等各类器材千余件。民兵应急分队按照“集中居住营地化、人员管理连队化、装备配套专业化、教育训练经常化、指挥控制野战化、遂行任务多样化”的思路建设。     

大学英语分级教学模式下的学习策略培养

大学英语分级教学模式下对学生的学习策略培养非常重要。教师在整个教学过程当中,要研究和掌握学生的语言学习习得过程,研究其学习特点,认知风格,心理特征,加强对学生学习策略的培养和指导,帮助学生积极参与、探索、建构和使用学习策略,为学生掌握学习策略提供条件与平台,使学生自觉运用学习策略自我管理、自我调控、自我评估学习过程和学习效果,不断提高自主学习的能力。