系统=h(y) =-f(x)h(y)-g(x)的极限环的唯一性

<正>本文应用文[1]的方法给出一个系统 x=h(y) y=-f(x)h(y)—g(x)的极限环唯一性定理,并对h(y)=e~a l~y-e_(a_2_y)h(y)＝e~(ay)Sina_(2)y h(y)=—ye~(ay)的情形给出了唯一性条件,所得结果包含了著名的张芷芬定理[2]为特例:     

一类三次系统的中心—焦点判定

预备知识定义设函数g(x)任C“,张算子29:C-一C‘,定义为 Z。(‘’‘·,一(毙)‘这样,““,(·,一(病(毙{,其余类推。关于张算子有如下三个结论:命题一若f(x)任C一,且f(x)=ah(x)(a为常数),则有Z盆(f)(x)=aZ菩(h)(x)(Vn任N)。命题2设f(x)、g(x)任C一,且f(o)=g(0)~o,f‘(0)=g‘(0)一1,那么,(1)Z‘(f)(o)=一Zf(g)(0);(2)若Z尝(f)(o)~o,1簇k成n一z,则Z盆(f)(o)-一ZP(g)(o)。命题3 Li色nard型方程!爷一y一万(于’几y-一g叹Xj其中;(二)一芡f(?)d?,f(。)一。,g(X)一 h一t,并设v3,vs,一vZn·;表示各阶焦J点量。,;么,(1)v3一z:(,)(。)一}澳{…     

一类随机差分方程的解序列的最优停止规则

设报酬序列{x_(?),(?),n≥0}满足随机差分方程x_(n+1)=x_n+a_n+b_nε_(n+1)(ε_1,ε_2,…为白噪声序列)。本文讨论了用有限情形{x_n,0≤n≤N}的Snell包逼近无限情形{x_n,n≥0)的Snell包的条件,得到了x_n=E(x_n|(?))((?)=σ{ε_0,ε_1,…,ε_n},ε_0=0)的Snell包r_n的分解形式和最优停时存在的条件。最后讨论了最优停止规则的迭代计算法,并得出了迭代过程在有限步停止的充分条件。     

近代汉语词尾“生”的功能及来源

<正>1 近代汉语词尾“生”,从现见文献上看,出现于唐代。例:(1)虽复改兴宁,亦复无聊生!(晋书．五行志)(2)看时未必相雹死,难时那许太难生。(唐人小说．游仙窟)(3)拟凿孤坟破,重教大雅生。(历代笑话集．谐噱录)     

ACM805呼吸机

控制部分呼吸模式:A/C、SIMV(f/2、f/4)、SIGH、SPONT吸入氧浓度O_2％:21％～100％连续可调呼吸比(1:E)1:1、2:3、1:2、1:3、1:4、2:1潮气量(VT/):100ml～1000ml呼吸频率(f):6次/分～60次/分呼气末正压(PEEP):0kPa～2kPa触发压力(Pt):-2kPa～+2kPa     

智慧岛

┌─────┬───────┐│巍 │泊t京新时模型 ││叮】‘V八 │i一需中晶拾黯 │└─────┴───────┘1.请说出左图是什么导弹发射架?2.以下各图是参加今年印度国际海军节的部分军舰,你能按图号说出它们都是哪国的军舰吗?(提示:这4艘舰分别是伊朗海军的“阿凡德”号巡逻舰、印度海军的“库萨”号护卫舰、摩洛哥海军的“艾哈马尼”号巡逻舰和马来西亚海军的“坦普斯马”号护卫舰)一一叁坦工垒茎2期奎麦签童:1.中国海军的HQ一61“红旗”导弹发射装置。2.约等于!202海里。3.(aZ 1)(bZ eZ)一2(a 1)(4h 3e) 49<0 (aZ l)(b…     

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

设H为实Hilbert空间,C为H的非空闭凸子集,T:C→2H为极大单调算子,假设S(T)={x∈H:0∈Tx}≠Φ。 xk∈H,βk>0,求 xk及ek满足( )　　xk+ek∈ xk+βkT( xk),‖ek‖≤ηk‖xk- xk‖, k≥0,其中,ηk≥0,supk>0ηk<1,βk≥β>0。设PC:H→C为H到C上的最近点投影算子,定义xk+1=PC( xk-ek),k≥0,证明了若T满足(S)型条件,则{xk}k≥0强收敛于T的某个零点。     

奇型偏微分方程的柯西问题

定解条件给在奇线上的偏微分方程的各种定解问题早已有研究^[1～4],多数作者使用了特殊函数作工具。本文用能量不等式组来解决一类奇型双曲型方程的柯西问题。 本文主要讨论如下问题解尚存在唯一性： Lu≡[(t^a/2?_t-λ₁(x,t)?_x)(t^a/2?_t-λ₂(x,t) ?_x)+a(x,t)?_t+b(x,t)?_x+c(x,t)]u(x,t)=f(x,t) (x,t)∈R×(0,T] u∣_t=0=φ(x),limt^a/2u_t=ψ(x) 这是一个二阶偏微分方程,当 α>0时,?_t²的系数当t=O 时变为零,因而这是一个初始值给在奇线上的柯西问题。我们假定： (A) α为常数,0<α<1;所涉及的都是实函数; (B) α(x,t),b(x,t),c(x,t),λ_j(x,t)(j=1,2)∈C¹([0,T],C²(R)),且上述函数的所有可能的导数都有界; (C) φ(x),ψ(x)∈C₀⁴(R)); （D）f(x,t)∈C((0,T],C₀²(R)),且sup{t^a/2(∣f∣+∣f_x∣+∣f_xx∣}＜+∞（Ⅱ） (E)存在常数δ＞0,使当（x,t)∈R×[0,T]时,有：∣λ₁(x,t)-λ₂(x,t)∣≥δ条件（Ⅱ）中关于实函数的假设不是必要的,作此假设仅为方便。本文主要得到：定理1：在（Ⅱ）的假设下,（Ⅰ）存在唯一弱解u,并 u∈C([0,T),H¹(R))∩C¹((0,T),L₂(R)).为证明该定理作了一系列准备,关键是证得引理1,引理2和引理6。     

利用函数的性质证明不等式

<正>本文利用函数的极值、单调性和凸性,证明了几个重要不等式.一、利用函数的极值证明不等式引理1:设m≤x≤M,则成立不等式-x~2-mx+(m+M)x≥0证明:当m=M时,(1)中等式显然成立.下设m相似文献   

美军"实验室"中的十八般陆战兵器(上)

面对未来作战的不确定性和高技术性,各国军队都在积极探索,试图超前寻找到适合各自军队的发展方向和预先绘画出相应的建设蓝图,也就是积极做好迎接新军事变革的军队转型工作。2004年10月15日,美军发布了《FCS"18+1+1"白皮书》。FCS即是Future Combat Systems的缩写,也就是所谓的未来作战系统。它是美国陆军未来部队的核心构件,主要包括地面独立传感器(UGS)、非线式发射系统(NLOS-S)、情报保障系统(IMS)/4级无人航空器(UAVS)(隶属于排、连、营和旅级的战斗单元)、3级地面无人车(SUGV)[含武装智能机器人(ARV)、小型地面无人车、多功能效用型后勤与装备车(MULE)]、8种有人驾驶地面车(以上共18个独立系统),网络(18+1),士兵(18+1+1)共20个分系统,是一种基于网络通信系统联接的、涵盖所有行动单元的"系统的系统"(SOS)。它通过网格技术可实现战场信息的实时感知和态势晓知,实现信息、火力与决策的一体化,实现全维作战行动的同步,满足了未来部队行动单元(UA)的需要。笔者在阅读日前美军发布的相关材料基础上,结合编译《白皮书》过程的体会,将美军未来作战系统十八般武器整理勾勒,初步展现出来,以飨广大读者。     

陆军战术导弹蓄电池维护与检测方案研究

根据自动化程度高、综合性能强、使用可靠的原则 ,提出了陆军战术导弹蓄电池维护与检测的系统方案 ,采用单片机控制系统实现了多型号蓄电池的自动维护与检测     

雷达抗干扰性能的测量研究

本文提出用得益矩阵对雷达抗干扰性能进行度量,对得益矩阵的建立及其在雷达抗干扰性能度量方面的应用进行了分析,并设计出一套自动测试系统,对雷达抗干扰改善因子进行测量。     

基于纠错编码理论的计算机故障诊断研究

故障诊断技术是提高计算机可靠性的措施之一,本文在研究检错和纠错编码理论的基础上,论述了用于计算机故障诊断的奇偶编码、纠一检二编码和纠字节错编码技术,并给出了总体逻辑设计框图。     

反坦克导弹的气动参数辨识

本文运用极大似然法进行激光驾束制导反坦克导弹气动参数的辨识。在辨识的迭代寻优过程中,采用变步长搜索提高辨识准度;在辨识算法的具体计算处理上,采用了模型分解法,大大减少了计算时间,保证了气动参数的辨识精度。同时给出辨识仿真验证结果.     

静态电磁场数值分析方法比较

从有限差分法、有限元法、边界元法和模拟电荷法这四种典型数值分析方法出发,简要介绍了静电场数值分析的原理。比较了各种算法与其适用范围的差异,并对其进展进行分析。最后,总结了目前静电电磁场数值分析方法研究中需要解决的问题。     

温度对梯恩梯感度的影响

本文用落锤法测得了温度对TNT炸药撞击感度的影响。实验表明,TNT的撞击感度随着温度的升高而增加,当温度为75℃时,其感度比钝感的黑索金高,因此在高温下使用TNT时应采取必要的安全措施。此外,本文还从理论上分析了温度对撞击感度的影响原因。     

机枪浮动技术研究

介绍了一种环形弹簧浮动机在大口径机枪上实现的可能性,说明了采用环形弹簧可以使大口径机枪获得浮动。建立了武器系统的动力学模型和目标函数,用优化设计的方法确定了环形弹簧的设计参数,并对某型高射机枪进行了动力分析。     

椭圆状裂纹应力强度因子确定及抽油杆疲劳寿命预测

借助实验数据和公式逼近得到了带有椭圆状裂纹,承受拉-拉载荷的抽油杆的应力强度因子。将此应力强度因子代入Paris公式,即可预测抽油杆的剩余疲劳寿命。计算表明,当抽油杆上初始裂纹尺寸α_0<1.90mm时,预测疲劳寿命与实验值可较好地吻合。     

四连杆机构连杆曲线的识别及机构反求

针对工程中查找四连杆机构连杆曲线图谱所存在的精度及效率问题,提出一种利用计算机图形学和数据库原理进行连杆曲线快速识别和查找的方法,此方法的核心是建立起曲线与机构的对应关系,用适当的数据结构表示它们,从而快速识别连杆曲线并建立相应的数据库,该方法还能迅速实现机构的反求。     

某型无线电引信炸高贮存可靠性研究

阐述了无线电引信炸高可靠度的估计方法,用某型无线电引信的射击试验数据计算出炸高可靠度,通过回归建立起炸高贮存可靠度数学模型,并利用数学模型对各贮存年限的炸高可靠度进行预测。