含有p-Laplacian算子的非齐次边值问题正解的存在性

研究非齐次边界条件下,含有p-Laplacian算子的微分方程的可解性,在Banach空间中应用Krasnoselskii不动点定理,得到了边值问题正解存在性结果。     

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

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

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

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

对军事学研究生教育转型的思考

军事学研究生教育改革要调整发展战略重心,把培养"应用型"人才作为研究生教育发展的重点。文章提出,军事学研究生教育由培养"学术型"人才为主向培养"应用型"人才为主转变,应科学制定军事学研究生培养目标、改革教学制度、加强导师队伍建设、实施开放式办学。     

基于人眼视觉机理的红外图像边缘提取

在描叙了On型感受野特性的基础上,结合Bubble函数和负高斯-拉普拉斯二阶微分函数,给出了实用的On型感受野数学模型;探索性地描叙了人眼微动产生中央凹区信息精细处理、周边区域保持适度警觉的机理,据此提出了大尺度On型感受野与小尺度Off型感受野相结合的人眼微动精细处理模型,并利用该模型对红外图像进行了边缘提取,显示出对弱小目标处理的快速性和精确性.     

军情快递

俄罗斯开始在里海地区举行大规模军事演习 8月1日消息:俄罗斯8月1日开始在里海地区举行大规模军事演习,总共有60多艘军舰和10000多名军人参加演习。参加的部队包括海陆空三个军种。俄罗斯还将在演习中投入约30架战机和直升机,里海舰队共派出4000名水兵。     

文化现象与外语教学

语言体现文化,文化蕴于语言之中.研究文化与语言的关系,把语言中的种种文化观象,应用于外语教学,可加深学生对语言的理解,提高外语教学效果.     

反馈系统强镇定的区间算法

反馈系统强镇定不改变受控系统的传递零点 ,而受控系统的传递零点影响反馈系统跟踪参考信号和扰动抑制等能力 ;反馈系统可否强镇定还与两个受控系统是否可同时镇定有密切关系 .给出了判定和计算受控系统强镇定的一种新的算法———区间算法 .这种算法是一种大范围求解方法 ,能同时求出受控系统的全部零点 .     

走近信息时代的作战指挥

作战指挥,是军队潜在战斗力向现实战斗力有效转化、战斗能量高效聚合和精确释放的“协调、助推器”,是影响战争进程,决定战争成败胜负的关键性因素。随着信息技术在指挥领域的广泛应用和指挥自动化手段的快速发展。指挥手段与人脑之间产生了某种“思维联动”,原有的指挥体制、指挥样式、指挥方式方法等正在“信息化”大潮的冲刷下发生蜕变和质迁。未来信息化战场上的指挥模式将呈现“扁平细胞状。联合互动式,网络一体型”等特点。     

世界先进预警机一览

预警机是攻防兼备的重要武器装备。先进机载电子设备,使之拥有卓越的搜索、警戒、指挥能力,成为名符其实的空中指挥中心,在现代战争中发挥着不可低估的重要作用。几乎可以说,当今,世界上不论哪个地区形势紧张,哪个地区有战事发生,预警机便出现在哪里。