高阶拟线性椭圆型方程的非平凡解

设ΩR~n是有界区域。本文讨论高阶拟线性椭圆型方程的非平凡解。 sum from|α|≤m (-1)~(|α|)D~a(F_a(x,u,…,D~mu))=0,x∈Ω(1) 其中α=(α_1,α_2,…,α_n),F_α=F_D~a_u=D~αu=D~ou=u,|α|=0。当F_α满足条件(F_1)-(F_4)时,证明了在Sobolev空间W_0~m,p(Ω)内存在非平凡解。     

支持多媒体应用的CPU调度模型

多媒体应用的出现对操作系统调度模型提出了新的要求，许多多媒体系统中既有硬、软实时应用程序，又有传统的分时应用程序，希望在同一操作系统框架内得到支持。本文提出了支持上述功能的ＣＰＵ调度模型，并设计了两种算法来实现该模型：基于ＱｏＳ的ＣＰＵ带宽划分算法和双优先级调度算法。     

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

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

电磁场式头盔瞄准系统计算机提高实时性能问题

头盔瞄准系统是一种时分制的电磁场探测方法。在这种方法中有个非常关键的问题是实时性能问题。该文对控制电磁场的发射、接收以及实时滤波提出了一种独特的软件编排方法,这种方法已取得了较明显的效果;该文还探讨了从计算机硬件编排上进行改进的设想,以期获得更好的实时性能。     

一类二阶奇异Hamiltonian系统的非碰撞解

运用变分原理,拓扑度理论以及微局部分析技巧相结合的方法,作者讨论了一类二阶奇异Hamiltonian系统的时滞周期解之存在性。     

国外战区弹道导弹靶标

战区弹道导弹,即中近程弹道导弹的威胁日益严重,因而战区导弹防御系统的发展受到广泛重视。弹道导弹靶标是试验和验证战区导弹防御系统不可缺少的试验目标。文章介绍了国外弹道导弹靶标的开发途径,试验情况,靶标性能,靶标种类,发射方式,靶标的主要组成和关键设备。     

各向异性稳态渗流复级数解析分析法

提出一种求解二阶线性椭圆形偏微分方程过值问题的新型复级数展开法,并用于求解二维各向异性稳态渗流问题,首先得到了各向异性稳态渗流矩形域、圆形域一般解析解,而且给出数值算例。     

一类积分方程若干定理的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)式的处理比经典理论大为直观和简洁.     

多机实时通信系统及其程序自动生成器的设计

介绍了多机实时通信系统的设计方法,并在此基础上介绍了多机实时通信系统自动生成器的设计原理和方法。     

高角修正量的一种精确计算方法及有关讨论

本文简要地叙述了高角修正量产生的原因,给出了精确求取高角修正量的方法,然后以１５２ＪＬＰ全号装药为例,对高角修正量进行了精确计算,并对计算值与射表值不同进行了分析讨论。