系统=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]为特例:     

函数方程f(x+y)=f(x)+f(y)的解

本文给出了函数方程f(x+y)=f(x)+f(y)的一般解;并给出了若干解为f(x)=cx的充要条件。     

具有正交(g,f)-因子分解的子图

设G是一个图 ,g (x)和f (x)是定义在V (G)上的整数值函数 ,且对任意的x∈V (G) ,设g (x)≤f (x) ,H是G的一个子图 ,F ={F1,F2 ,… ,Ft}是G的一个因子分解 ,如果对任意的 1≤i≤t,|E (H)∩E (Fi) |=1 ,则称F与H正交。闫桂英和潘教峰在文 [3]中提出如下猜想 :设G是一个 (mg+k,mf-k) -图 ,1≤k相似文献   

一类积分方程若干定理的NSA证明

本文利用NSA理论和方法研究系统X(t)=f(t) integral from n=o to t g(t,s,x(s))ds(1)和x(t)=f(t) integral from n=∞to t g(t,s,x(s)ds(2)解的有关问题.得到有关VOltterra积分方程的基本结果类似于常微分方程中的相应结果,在解决问题的技巧上是独特的.特别是用NSA方法对(2)式的处理比经典理论大为直观和简洁.     

周期生存的血红细胞模型的周期解

本文研究了如下周期生存的带有反馈控制的有时滞血红细胞模型dx(dtt)=-b(t)x(t)+β(t)e-x(t-τ(t))+c(t)u(t-δ(t)),dud(tt)=-η(t)u(t)+α(t)x(t-σ(t))的周期解的存在性,给出了正周期解存在的充分条件。     

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

本文引入带权的 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)}     

二阶中立型含逐段常滞量微分方程的伪概周期解的存在性

讨论下列中立型含逐段常滞量微分方程的伪概周期解d2dt2(x(t)+p(t)x(t-1))=qx(2[t+12])+g(t,x(t),x[t])采用不动点定理和构造伪概周期序列的方法,得到了此方程的伪概周期解的存在性,并推广了文献[5～8]中的有关结果。     

高维无穷时滞NFDE概周期解的存在性和稳定性

讨论高维的中立型泛函微分方程ddtx(t)-∫0-∞q(s)x(t+s)ds=A(t,x)x(t)+f(t,xt)的概周期解问题。利用Ch空间,矩阵测度和Krasnoselski不动点定理获得了其概周期解的存在性与惟一性定理。特别地,当q=0时给出了存在惟一且一致稳定概周期解的条件,推广了文献[1～5]的结果。     

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

定解条件给在奇线上的偏微分方程的各种定解问题早已有研究^[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。     

对q(x)≠const荷载梁内力图的讨论

绘制剪力图和弯矩图,就是根据弯矩、剪力和荷载集度之间的关系,通过某些特定截面上的弯矩、剪力描绘出弯矩、剪力沿梁的长度变化规律的图形。常见的教材中只讨论了当梁上没有分布荷载(q(x)=O)时和梁上作用有均布荷     

ep散射中极小x区域的量子饱和现象

利用建立在超杨-米尔斯理论基础上的胶子量子态饱和模型及Peterson璨夸克碎裂函数,在色玻璃凝聚理论框架下研究了ep（electron proton）深度非弹性散射中的D-介子产生。计算发现：在LHeC（Large Hadron-electronCollider）能量下,小Q2区域会出现极小Bjorken-x区域的璨介子产生截面不依赖于x变化的现象。就LHeC能量下D-介子产生截面随横向动量变化的实验现象给出了理论预言,理论结果将被即将运行的LHeC实验检验。     

微分方程的有界性与概周期解的存在性

本文考虑高维非自治概周期系统ｄｘｄｔ＝ｆ（ｔ,ｘ）,利用对ｘ的分量分组构造Ｌｉａｐｕｎｏｖ函数的方法讨论了其概周期解的存在性。所得结果去掉了文献中系统存在有界解的假设,得到了比较明显的改进。     

IEEE802.1x协议中EAP-TLS认证协议的安全性分析与改进

基于IEEE802.1x协议的体系结构,分析了EAP-TIS认证协议的安全性,详细阐述了EAP-TIS认证协议遭受中间人攻击的过程和原因,并提出了相应的改进方案.通过对Disassociate帧和EAP-Success消息进行加密和数字签名来保证消息的保密性和真实性,从而解决了客户端无法对Disassociate帧和E...     

基于多雷达组网IMM-GMPHDF的机动多目标检测跟踪

高斯混合概率假设密度滤波(GMPHDF)有牢固的理论基础,是解决高斯条件下跟踪强杂波环境中目标数未知的多目标问题的有效方法。但当目标发生机动时,就难以跟踪到目标,因此,在GMPHDF中引入交互多模型(IMM)算法,对继续存在目标的运动模型进行建模,根据计算的模型概率融合各模型滤波器估计得到的继续存在目标概率假设密度,解决了运动模型机动问题。仿真实验表明,IMM-GMPHDF能实时跟踪到强机动超音速多目标,在多雷达组网系统中跟踪强机动超音速多目标精度(OSPA距离均方根误差)能达到70 m,满足了工程使用要求。     

弯矩作用下热塑性复合材料悬臂梁弹塑性分析

基于Timoshenko梁理论和Tsai-Hill屈服准则,建立了自由端弯曲载荷作用下悬臂梁弹塑性问题分析的数学模型,并得到了梁应力和位移的精确解.通过与相关文献和有限元计算结果进行对比,验证了该方法的正确性,并在此基础上,进一步分析了纤维方向角、弯矩、跨高比以及纤维体积分数对梁弹塑性应力和位移的影响规律.相关成果可为...     

Nonlinear one-parametric linear programming and t-norm transportation problems

Previous methods for solving the nonlinear one-parametric linear programming problem min {c(t)^Tx |Ax = b, x ≥ 0} for t ? [α,β] were based on the simplex method using a considerably extended tableau. The proposed method avoids such an extension. A finite sequence of feasible bases (B^k | k = 1, 2, …, r) optimal in [t^k, t^k+1] for k = 1, 2, …,^r with α = t¹ < t² < … < t^r+1 = β is determined using the zeroes of a set of nonlinear functions. Computational experience is discussed in the special case of t-norm transportation problems.     

强磁场环境模拟系统线圈支架设计及力学仿真

强电磁冲击环境的核心执行机构是线圈,除保障强磁环境发生线圈的电磁特性外,还须确保线圈支架具有充足的机械特性。在完成对线圈磁电设计的基础上,根据线圈的三维结构图、材料配置、质量分布、各零部件之间连接方式以及线圈固定方式等,建立线圈支架结构整体系统有限元计算模型,对线圈支架系统进行静力、稳定性数值计算分析,并校核联接件强度,为线圈支架结构提供参考依据。对实用大型强磁冲击系统所用线圈整体的力学结构进行设计分析,应用背景较新,且仿真计算过程严格按照实际搭建尺寸进行,具有高度的一致性,为后续搭建强磁环境发生装置提供坚实基础。     

The estimation of P(x < Y) for distributions useful in life testing

In this paper the reliability function K = P(X < Y) has been estimated when X and Y follow gamma, exponential or bivariate exponential distributions. The paper is partly expository.     

军事数据融合概念方法研究

现代战争中,要保持信息优势,必须建立适合新环境的指挥控制信息系统。但是信息超载,信息的不完整和不确定等情况对信息系统的设计提出了新的挑战。结合当前信息融合框架和实践的经验,提出了数据建模和管理的五维结构:空间(x,y,z),时间(t)和可能的世界(w),基于系统的目标和准确的需求分析,提出了一个军事信息系统设计的框架。用数据分析、数据融合方法和推理技术来完成数据的获取和资源的管理,提出增加具有优化能力的智能组件实现系统的学习能力,提高系统的性能。