Hilbert空间极大单调算子零点的逼近问题

设H为实Hilbert空间,C为H的非空闭凸子集,T:C→2H为极大单调算子,假设S(T)={X∈H:O∈Tx}≠Φ。求xk及ek满足设Pc:H→C为H到C上的最近点投影算子,定义证明了Hilbert空间中由上式产生的序列{xk}k≥0弱收敛于T的某个零点。     

美国海军21世纪战略概念分析（连载一）

本文介绍名为“21世纪海上力量”的美国海军21世纪战略概念,阐述其各要素的内涵、现状和未来,并对“21世纪海上力量”做一些粗浅的分析。     

运动矢径对AUV协同定位精度影响的仿真

针对在基于运动矢径的自主水下航行器(AUV)协同定位算法中运动矢径对定位精度的影响进行了仿真分析.利用扩展卡尔曼滤波设计了AUV协同定位算法,通过设定不同的运动矢径对该协同定位算法进行仿真,分析研究了运动矢径的变化对定位精度的影响.仿真结果表明,该定位算法受运动矢径的影响,增大运动矢径会使滤波误差波动变大,降低定位精度.     

基于．NET的装备保障辅助决策系统（ESADS）的设计与实现

介绍了一种基于.NET框架的异构数据库应用系统的集成方法,并设计开发了战时装备保障辅助决策系统。该方法利用XML的特点和.NET技术,将原有的应用系统数据源与系统分离,并能在各异构数据库之间快速交互数据,从而共享原有的装备管理信息,为战时装备保障决策提供数据资源。     

Web服务技术在装备管理信息系统中的应用

在研究W eb服务技术的基础上,利用.NET开发平台设计了装备管理系统中的器材库存管理系统,证明了W eb服务技术的可行性和有效性。     

鲁棒稳定控制器的参数化设计方法

基于特征结构配置参数化方法,讨论了一类匹配的不确定线性系统的鲁棒控制问题,目的是设计鲁棒稳定控制器,使不确定闭环线性系统的特征值始终位于复平面的左半平面中某扇形区域内.给出了该鲁棒稳定控制器存在的充分条件及其参数化表示,可进一步利用其自由度满足某些设计要求.给出的数值例子,表明了鲁棒稳定控制器参数化设计方法的有效性.     

军队生态营区评价指标体系构建

论述了军队生态营区的概念和建设目标,探讨了营区生态环境质量的评价方 法。针对现状,基于调研,建立了生态营区评价指标体系和评价模型,提出了具体的评估办 法。旨在通过对营区生态系统科学、客观、完整的评价,探讨营区生态系统结构、功能及其动 态变化,找出营区生态系统存在的问题,为做好营区规划和对现有生态环境受到损害的营区 进行恢复与重建,提供科学依据。     

教材管理信息系统的设计与实现

通过对教材管理工作实现目标与业务流程进行的分析和探讨,确定了教材管理信息系统的设计方案与数据组成,结合实例阐述了以Delphi7.0作为开发工具的系统实现过程。     

新民主主义革命时期党领导根据地经济建设的思想探析

纵观新民主主义革命时期的根据地创建,总结了不同时期和不同地方革命根据地经济建设的共同特点,探析了党在根据地时期经济建设的经验和对我国现阶段经济建设的启示。     

美国警察枪支使用法律制度及对我国的启示

美国警察使用枪支需遵循必要合理原则和生命威胁原则,符合法律和警局政策规定的条件和程序。我国可以借鉴美国警察枪支使用法律制度的优点,从强化对警察的保护、规定明确的用枪原则和详尽的用枪条件、健全警察用枪程序和相关支撑制度等方面,完善我国警察枪支使用法律制度。