顽强训练结硕果——记花溪民兵应急分队军训中的几件事

不久前,成都军区对贵阳市花溪巨(?)兵应急分队进行了连队列、步枪第一练习射击、班队列、单兵技术、步哨和干部手枪射击等6个科目的考核验收,(?)得了六个优秀的好成绩,贵阳军分区,朱勋耀政委在总结会上说:“取得这样好的成绩,是严格训练,忘我拼搏的结果”。     

一类包含m—增生算子紧扰动的算子方程的可解性

设X为一致凸的Banach空间,T:X(?)D(T)→X为m—增生的且强增生的算子,T_0:X→X为线性紧算子。C:X→X为全连续算子,应用Leray-Schauder度理论,研究了算子方程Tx-T_0x Cx=f,f∈X的可解性。     

悖论、准悖论的特征与反证法

<正>准悖论的定义:在用反证法证明命题的过程中,如果(与反证法假设相关地)出现A(?)这样的循环矛盾时,则称它为准悖论.l. 一类悖论(或准悖论)是由两个互相否定的条件,同时作用于一个集合而产生的.1.1 罗素悖论 请见莫绍揆,B_6证明论;王雨田主编《现代逻辑科学导引》上册,P253—254.     

关于由m序列构成的M序列的一些自相关函数的取值

本文讨论了由m序列叠加小项(?)_2,…,(?)_n构成的M序列的自相关函数的取值问题,得出了一些自相关函数值的一般性结论。     

φ-强拟增生算子零点的迭代逼近

设X为实一致光滑Banach空间,T:X→X为Lipschitzφ-强拟增生算子。设为[0,1]中数列满足(ⅰ);(ⅱ)令s=I-T,其中I:X→X为恒等算子。定义Ishikawa迭代序列:则强收敛于T的唯一零点。 一个相关的结果处理Lipschitzφ-半伪压缩算子的不动点的迭代逼近。     

关于半鞅向量随机积分的两个结果

首先利用半鞅Girsanov定理与闭图像定理证明了:若{Xn}是带滤基的完备概率空间(Ω,F,F,P)中的一列半鞅,其中滤基F=(Ft)t≥0满足通常条件,且{Xn}在关于P的Emery拓扑空间中收敛于X,则当概率测度Q相似文献   

空间查询语言中拓扑关系的定义

拓扑关系是一种重要的空间关系,被广泛应用于空间查询和空间分析中。因此定义一个完备、互斥且可以嵌入到空间查询语言中的命名拓扑关系集合有着非常重要的意义。当前,对拓扑关系集合的定义还不能描述那些由点、线或面等不同维几何对象构成的复杂空间对象之间的拓扑关系。针对目前拓扑关系研究的不足,引入了混合几何对象的概念,基于OpenGISSQL规范(OpenGISSimpleFeaturesSpecificationforSQL),定义了一个拓扑关系集合:{disjoint,touches,within,crosses,overlaps,contains,equal}。它扩充了OpenGISSQL规范中拓扑关系的定义和范畴,具有完备性和互斥性,为空间查询语言中的拓扑关系的定义提供了一个统一的框架。     

一种统一的拓扑关系判断模型

拓扑关系是地理信息系统领域中一种非常重要的空间关系。当前已经提出了多种模型来对空间对象间的拓扑关系进行判断,但是这些模型都不能判断那些由点、线、多边形任意组合而成的异构几何集合对象间的拓扑关系。针对当前拓扑关系研究的不足,引入了混合几何的概念和正规化准则,基于此空间对象模型和维扩展9交集模型,提出了一个拓扑关系判断模型—集成型维扩展9交集模型(IDE 9IM),它不但能够判断单一的点、线、面以及同构几何集合对象间的拓扑关系,而且还能从复杂空间对象的总体和局部两个方面对异构几何集合对象间的拓扑关系进行判断,可以作为一个判断任意几何对象间拓扑关系的统一模型。     

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的某个零点。     

漫话催泪弹

1989年6月3日,北京发生反革命暴乱中,一辆载有武器装备的解放军军车行至六部(?)时,被一些人拦阻围困,少数暴徒抢占军车,侮辱、谩骂解放军战士。为了避免部队武器装备被抢夺,公安干警和武警战士在劝说解释无效的危急情况下,迫不得已施放(?)催泪弹。结果,经过学生和群众的协助,把这辆军车及武器装备安全转移。对此,有极少数別有用心的人借题发挥,编造谣言。说什么“催泪弹不得了”啦,“中毒后能把眼睛搞瞎”啦,“眼珠烂掉无法治疗”啦,等等,(?)时间搞得人心慌慌。     

关于细鞍点与细焦点的一般变换

各种变换在平面多项式系统的定性研究中是非常重要的。通过对鞍点量和焦点量计算时常用的变换进行研究,得到了两类把细鞍点化为细焦点的一般变换,并利用其中的一类推导出了不含二次项的三次系统的鞍点量和可积条件。     

混合均衡问题和不动点问题的公共元的迭代算法

在Hilbert空间中,利用超梯度算法,用以逼近混合均衡问题的解集与半压缩映像不动点集的公共元,并且证明了该算法的收敛性。使用新的分析技巧证明了一个强收敛定理。     

一种基于耦合的三维拓扑结构表示方法

基于一定的空间划分 ,提出了一种基于耦合的三维拓扑结构表示方法。这种三维拓扑结构基于耦合 (orientedface ,arc)定义了四种基本的拓扑关系。基于这些基本的拓扑关系 ,讨论了四种重要的拓扑查询的实现算法 ,从而证明了这种拓扑结构的价值 :不依赖几何嵌入 ,快速推导出各种拓扑关系 ,尤其是与体对象相关的三维拓扑关系     

规则空间下基于MRFC-Vicsek模型的集群控制

针对规则空间下集群运动问题,开展了基于多区域模糊控制(MRFC)-Vicsek模型的集群控制方法的研究.考虑到仿生集群在运动时的行为准则,首先建立了包括避碰层、一致层、内聚层、连通层在内的多区域Vicsek模型.其次,通过模糊规则将不同区域个体数量和集群拥挤程度转化为对中心个体的影响权重,再结合规则空间内边界对个体的影...     

奇型抛物问题的有限元误差估计

本文引入带权的 Sobolev 空间,讨论了奇型线性问题:(?)((?)u)/((?)t)-1/x~(?)(x~aa(x)u′)′=f(t,x) (x,t)∈1×J(?)/((?)x)u(t,0)=u(t,1)=0 t∈Ju(0,x)=φ(x) x∈I式中 I=(0,1),J=[0,T],0<α<3的有限元方法,并在适当条件下,给出了最佳估计:‖u_(?)-u‖_(0,2,a)≤ch~2{‖φ‖_(2,2,a)+[integral 0 to t (‖u‖~2_(2,2,a)+‖u_(?)‖~2_(2,2,a)dt]~(1/2)}‖u_(?)-u‖_(1,2,a)≤ch~2{‖φ‖_(2,2,a)+[integral 0 to t (‖u‖~2_(2,2,a)+‖u_(?)‖~2_(2,2,a)dt]~(1/2)}     

复杂系统脆弱性综合分析方法

为全面识别复杂系统中的脆弱点,科学评价其脆弱性,针对纯拓扑脆弱性分析方法的不足,在考虑非拓扑因素条件下,提出一种结合复杂网络技术和效能评估技术的复杂系统脆弱性综合分析方法,从拓扑结构和非拓扑因素两方面全面分析复杂系统的脆弱性。以复杂网络的中心性指标为基础,通过广义指标法进行拓扑脆弱性分析;借鉴概率风险评价理论,从易攻性和易坏性两个方面对非拓扑脆弱性进行评价;通过对两者结果的综合得到总的脆弱性分析结果。示例结果表明:拓扑和非拓扑分析的结果有交集但又有所区别,两者密切相关且互为补充,并能共同筛选出复杂系统中的关键环节。较之纯粹的拓扑结构分析,综合分析得到的结果更为全面。     

基于遗传算法的整周模糊度OTF解算

建立了一种基于简单遗传算法的改进模糊度搜索方法。首先采用一组约束方程求解模糊度浮点数解 ,然后UDUT 和LDLT 分解对整周模糊度进行整数高斯变换以降低各整周模糊度之间的相关性 ,最后利用遗传算法进行整周模糊度搜索。在种群个体较少的情况下 ,为了避免早熟使搜索陷入局部最优 ,提出两种变异算子 ,保持个体的多样性。仿真结果表明改进后的算法能够实时动态解算整周模糊度 ,且较使用简单遗传算法具有更快的搜索速度和鲁棒性。     

度量空间的非标准特性(Ⅱ)

本文在文《度重空间的非标准特性（Ⅰ）》的基础上,用非标准分析方法刻划了度量空间上的全有界映射与紧映射的许多特性,并给出了一个赋范线性空间的维数有限的非标准特征。最后,在赋范线性空间中,通过弱拓扑性质的非标准刻划,简洁地证明了Ｅｂｅｒｌｅｉｎ－Ⅲ定理。     

树形挠性多体系统的 Kane 动力学方程 ——一种面向计算机的建模方法

本文针对具有树形结构的空间挠性多体系统,建立了Kane 动力学模型。挠性多体系统由任意数目的挠性体或刚体组成,假定铰链点之间具有三自由度相对转动和平动,选取相对平动速度和转动角速度,以及模态坐标的导数为系统的广义速度,建立了系统的最小维数运动方程,所得结果便于计算机自动生成和进行数值仿真。     

海军诸兵种综合战术训练仿真系统构建研究

如何构建诸军兵种综合战术训练仿真系统,是当前全军训练仿真领域内的研究热点。基于HLA技术框架及分层式RTI,搭建了海军诸兵种综合战术训练仿真系统的体系结构。并采用面向对象的建模与仿真方法,提出了系统公共参考FOM模型的设计思路,定义了实体类、交互类及路径空间,有效规范并减少了系统间网络传输的数据流量。最后,给出了系统仿真实现的流程图和一个仿真实例。实践证明,使用HLA仿真框架实现的海军诸兵种综合战术训练仿真系统能够满足当前海军战术训练的需求。