一类平面系统极限环的存在唯一性

讨论了平面系统ｘ＝－６＋δｘ＋ψ（ｘ）「ａ＋ｂｈ（ｘ）」,ｙ＝ｘ＾２ｎ０－１（ｎ∈Ｎ）的极限环存在性,唯一性与不存在性。     

一类三次系统的极限环存在唯一性研究

研究了一类平面三次系统ｘ＝－ｙ＋δｘ＋ａｘ＾３＋ｂｙ＾３ ｙ＝ｘ的极限环的存在唯一性,完整地讨论了参数空间,在全平面得到了无环和极限环存在的参数区域,证明了只含一个奇点的极限环的唯一性。     

一类平面微分系统的定性分析

本文利用微分方程对称法、形式级数和旋转向量场理论,对平面微分系统ｄｘ／ｄｔ＝－ｙ＋δｘ＋ａｘｙ＋ｂｘ＾２Ｆ（ｘ）,ｄｙ／ｄｔ＝Ｇ（ｘ）进行了全面分析,得出了较完整的定性分析结果。     

求极限的常用方法及常见错误分析

“极限”概念是高等数学的基本概念,极限的方法是研究变量的一种基本方法,同时它是高等数学研究问题的根本方法,是学习微积分的基础,因此必须予以重视。本文通过例题分析归纳出几种常用的求极限方法及常见错误,以供教学参考。 一、求极限的常用方法 １ 直接用定义证明极限 例１ 证明ｌｉｍＸ２＝４ 分析：因ｆ（ｘ）－４＝ｘ２－４＝ｘ＋２ｘ－２,由于讨论当ｘ→２时,函数的极限,故只需考虑ｘ在２邻近的情况。不妨设０＜Ｘ—２＜１,即 １＜Ｘ＜３,且ｘ≠２,可估出Ｘ＋２＜５。对于任给正数ε,为使ｘ２－４＝ｘ＋２ｘ－２＜５ｘ…     

Hilbert 空间中半线性随机发展方程的 Mild 解的一个存在性定理

讨论如下的Ｈｉｌｂｅｒｔ空间中半线性随机发展方程的Ｃａｕｃｈｙ问题：ｄｙ（ｔ）＝［Ａｙ（ｔ）＋ｆ（ｔ,ｙ（ｔ））］ｄｔ＋Ｇ（ｔ,ｙ（ｔ））ｄＷ（ｔ）;ｙ（０）＝ｙ０．｛在并不要求系数ｆ、Ｇ满足Ｌｉｐｓｃｈｉｔｚ条件的情况下,对上述Ｃａｕｃｈｙ问题的Ｍｉｌｄ解建立了一个局部存在性定理．     

泛函微分方程x’（t）＝a（t）f（x（μ（x（t））））的解的性态

本文研究偏差变元依赖状态自身的泛函微分方程ｘ’（ｔ）＝ａ（ｔ）ｆ（ｘ（μ（ｘ（ｔ））））（１）的解的渐近性态。进一步推广或部分推广Ｄｕｎｋｅｌ［１］、Ｅｄｅｒ［２］、Ｗａｎｇ［３］、吴汉忠［４．５］及作者［６～８］等人的工作。文中使用了一些新方法,也得到了一些新结果。     

巨型机中软硬结合的函数计算方案

本文分别讨论了巨型机中计算ｙ／ｘ、ｙ／、ａｘ、ｌｏｇａｘ、ｘｙ等函数的算法设计及其误差分析。     

“欧洲联合环“计划中用的S波段大功率相移环形器的研制

试验观察了刺梨体细胞和花粉母细胞中的染色体数目，结果相同，２ｎ＝２ｘ＝１４，ｘ＝７，与蔷薇属其他二倍体种一致。     

一种小波变换域中最优门限的取法

在信号小波变换编码中,一般对高频小波系数ｘ先作阈值处理,即对给定的门限Ｔ＞０;若｜ｘ｜≤Ｔ,则令ｘ＝０。在本文中,从理论上给出了一种最优门限Ｔｏｐｔ,Ｔｏｐｔ使得重构误差信号的平均能量达到最小。     

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

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

一种新显色剂BPHPS的合成及其离解常数的测定

研究了新显色剂５－（３,５－二溴－２－吡啶基）－１－（２－羟基－５－磺苯基）－３（２－羟基苯基）甲Ｚａｎ（ＢＰＨＰＳ）的合成,且用分光光度法测定了其离解常数为ｐＫａ２＝５．１８;ｐＫａ３＝１２．９０。     

PTL 证明器的实现技术

基于文［１０］中的理论,我们用Ｔｕｒｂｏ─ｐｒｏｌｏｇ编程,在３８６微机上成功地实现了命题时态逻辑定理的证明器。该证明器在处理ｎｅｘｔ幂次、归纳、归结、◇（ｘ∧ｙ）、ｕｎｔｉｌ　等方面,均有独到之处。这些方面,克服了以往工作的不足。证明器界面友好、速度快、能力强。     

文摘

文摘９６０１８通过综合建模及硬件试验进行高费效比武器系统开发＝ＣｏｓｔＥｆｅｃｔｉｖｅＷｅａｐｏｎＳｙｓｔｅｍＤｅｖｅｌｏｐｍｅｎｔＴｈｒｏｕｇｈＩｎｔｅｇｒａｔｅｄＭｏｄｅｌｉｎｇａｎｄＨａｒｄｗａｒｅＴｅｓｔｉｎｇ〔会、英〕／ＪｏｈｎｓｏｎＬ．Ｈ...     

先验信息下的改进主成分估计

对于线性模型Ｙ＝ＸＣ＋ε,Ｅ（ε）＝０,Ｃｏｖ（ε,ε）＝σ２Ｉ,在先验信息（Ｅ（Ｃ）＝０,Ｃｏｖ（Ｃ,Ｃ）＝σ２０Ｉ）下,本文给出主成分个数的一种更合理取法,并提出了一种改进的主成分估计。文中证明了该估计是可容许估计,且在“平均”均方误差意义下,优于最小二乘估计,亦优于主成分估计     

工程机械与地面最大附着力计算方法

本文从工程机械与地面间的相互作用过程,推导出工程机械与地面间的最大附着力的通用表达式：Ｆｍ＝（１－Ｋτ）·Ｇ·μ＋Ｋτ·Ｇ·ｔｇφ＋Ｓτ·Ａ·Ｃ;地面所能提供的最大附着力表达式：Ｆｇ＝Ｇ·ｔｇφ＋Ａ·Ｃ。并指出履带式工程机械的最大附着力近似等于地面所能提供的最大附着力,而轮式工程机械最大附着力的计算必须用公式Ｆｗｍ＝Ｆμ＋Ｆτ来计算。     

强非线性系统响应的研究

讨论了如下形式ｕ＋２εηｕ＋ｕ＋ｕε＝２εｈｃｏｓ（ｔ）的强 ｄｕｆｆｉｎｇ系统,式中ｕ上方的圆点表示对时间ｔ的导数,η为系统阻尼系,ε不要求是一个小量。对系统进行了变换,用多尺度法求得了系统的二次近似解,分析了稳定性。     

离散Hartley变换的一种快速递归算法

一些实际应用表明,对实序列数据处理Ｈａｒｔｌｅｙ变换比富反变换更有效更经济。本文首先从代数角度出发,给出离散Ｈａｒｔｌｅｙ变换（ＤＨＴ）系列阵的一种块分解式,籍此导出计算Ｎ＝２＾ｔ点实序列ＤＨＴ的一种快速递归算法,其算术复杂性为Ｍ＝１／２Ｎｌｏｇ２Ｎ＋Ｏ（Ｎ）个实乘和Ａ＝１１／２Ｎｌｏｇ２Ｎ＋Ｏ（Ｎ）个实加。显然该递归算法属目前复杂性最低的一类算法。     

固定形式的变结构控制对应的趋近律

对固定形式的变结构控制对应的趋近律进行了研究,分别推导出用全部状态构成的控制、用部分状态构成的控制以及形式为u＝ueq＋ud的控制所对应的趋近律．     

拟带宽 Toeplitz 系统的秩 1 修正算法

本文以带宽Ｔｏｅｐｌｉｔｚ系统的快速并行解法为基础,通过建立秩１的修正格式讨论了拟带宽Ｔｏｅｐｌｉｔｚ系统的一种快速并行算法,其串行运算量为９ｎｈ＋Ｏ（ｈ）．设ｐ为处理机台数,当ｐ≤ｎ时,并行运算量为　;当ｐ＝３ｎ时,运算量为２ｈ￣２ｌｏｇ２ｎ＋Ｏ（１）,其中ｈ表示拟带宽宽度。     

含非线性半群的微分包含

研究了形如X＇（t）∈-Ax（t）＋F（t,x（t））,0≤t≤T,X（0）＝x0的微分包含解的存在的局部性和整体性的结果,并在某种条件下研究了解的稳定性。