静磁场Dirichlet问题

本文以单调算子理论为基础,应用文献［１］中得到的静磁场Ｂ－Ｈ的几个不等式证明了静磁场Ｄｉｒｉｃｈｌｅｔ问题广义解的存在与唯一性,并证明了静磁场Ｄｉｒｉｃｈｌｅｔ问题相应泛函的极小值的存在性,得出主要结论如定理３．１和定理３．２。     

关于稳定 p 型 Banach 空间中有界 Borel测度的一个定理

本文推广了Ｅ．Ｄｅｔｔｗｅｉｌｅｒ［１］关于ｐ型Ｂａｎａｃｈ空间的结论,得到了在稳定ｐ型Ｂａｎａｃｈ空间上,有界Ｂｏｒｅｌ测度为某个无穷可分ｐ稳定测度的Ｌｅｖｙ测度的一个充分条件。     

Context 的非单调推理

基于文［１］定义的ｃｏｎｔｅｘｔ逻辑ＣＬ,本文分别引入限制理论和缺省理论到ｃｏｎ－ｔｅｘｔ推理中,给出有关的定义和定理。     

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

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

广义直观Fuzzy集

本文给出了广义直观Ｆｕｚｚｙ集的概念,讨论了基本运算及其性质,拓广了文献［１］与［２］的结果。     

三维静磁场Robin问题的变分原理

利用非线性单调算子理论证明了由作者在另一篇论文中给出的三维静磁场Robin问题的变分原理     

三维静磁场Lipschitz区域上Robin问题广义解的存在与唯一性

近年来,电磁场边值问题的数值解法取得了飞速的发展．由于电磁场边值问题是一类非线性偏微分方程,研究解的存在性、唯一性具有较大的困难．前人已讨论了B-H间的几个基本不等式,并由之证明了三雏静磁场带零边值问题广义解的存在与唯一性,作者也曾利用给出的B-H间的不等式证明了三维静磁场Neumann问题和二维时变场第一边值初值问题广义解的存在与唯一性．由于在一般区域讨论存在困难,作者利用Sobolev空间理论及单调算子理论证明了三雏静磁场Lipschitz区域上Robin问题广义解的存在与唯一性．     

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

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

取值于p型Banach 空间随机变量列的收敛性

本文将Ｗ．Ｆ．Ｓｔｏｕｔ［１］关于实值随机变量列的收敛性的一些结果,推广到了ｐ型Ｂａｎａｃｈ空间值情形上,得到了刻划ｐ型Ｂａｎａｃｈ空间的二个充分必要条件及二个必要条件     

火炮射表数据处理程序及使用说明

在文献［１－４］的基础上,给出火炮射表数据处理用ＴｒｕｅＢＡＳＩＣＣｏｍｐｉｌｅｒ实现的程序清单和与之相关的使用说明。并介绍该程序的组成、设计特点、主要变量和使用注意事项,以及数据文件的命名法。另外还详细讨论了程序故障诊断及维护问题。     

语义树方法及其可靠性和完备性

Ａｎｄｒｅｗｓ在《ＡｎＩｎｔｒｏｄｕｃｔｉｏｎｔｏＭａｔｈｅｍａｔｉｃａｌＬｏｇｉｃａｎｄＴｙｐｅＴｈｅｏｒｙ：ＴｏＴｒｕｔｈＴｈｒｏｕｇｈＰｒｏｏｆ》一书中给出的语义树方法是一种能直接适用于句子集的反驳方法,但其中关于语义树方法的可靠性和完备性定理（３２０１）及其证明是错误的。本文通过例子指出并纠正了这一错误,同时对修正后的可靠性和完备性定理给出了详细的证明。     

开弧段外Laplace方程单层位势解法探讨

由Laplace方程Dirichlet问题产生的第一类积分方程的核具有对数奇异性,并 且积分方程的解在开弧段端点处具有r-1/2的奇异性。为了克服奇异积分计算的困难,将这 种对数奇异性分离出来使用解析积分,其余部分使用数值积分。并用单层位势方法得到该 问题解的近似表达式。     

分段函数在分界点求导的一种简单的方法

介绍了用多项式根的性质与导数极限定理求分段函数在分界点的导数的简单方法。从而拓广了用导数定义求分界点导数的传统方法     

Loeb 空间上的拟鞅提升及分解定理

本文通过非标准随机分析方法得到了标准拟鞅提升定理,并构造了非标准拟鞅的分解定理,然后再通过下推方法得到了标准拟鞅的一个分解定理。     

高斯定理及安培环路定理的严格证明

在电磁学中,库仑定律和比奥—萨伐尔定律是基本定律,而高斯定理和安培环路定理实用性更强,应用更方便。在一般教科书中,这两个定理(律)的推导都是先取特例,然后再推广到一般情况。本文用数学方法从库仑定律和比奥—萨伐尔定律直接导出这两个定律。     

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

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

关于半鞅的可料表示性

利用鞅空间H1的泛函表示定理、泛函分析中的Hahn-Banach定理、半鞅向量随机积分的Girsanov定理,获得了半鞅可料表示性的特征。由于使用的是半鞅的向量随机积分,它推广了经典的结论。     

Nonparametric bayesian lifetime data analysis using dirichlet process lognormal mixture model

We propose a nonparametric Bayesian lifetime data analysis method using the Dirichlet process mixture model with a lognormal kernel. A simulation‐based algorithm that implements the Gibbs sampling is developed to fit the Dirichlet process lognormal mixture (DPLNM) model using rightly censored failure time data. Five examples are used to illustrate the proposed method, and the DPLNM model is compared to the Dirichlet process Weibull mixture (DPWM) model. Results indicate that the DPLNM model is capable of estimating different lifetime distributions. The DPLNM model outperforms the DPWM model in all the examples, and the DPLNM model shows promising potential to be applied to analyze failure time data when an appropriate parametric model for the data cannot be specified. © 2013 Wiley Periodicals, Inc. Naval Research Logistics, 2013     

装甲车辆视界测定试验方法

针对装甲车辆视界测定试验中存在的问题,分析了视界概念的内涵和外延,澄清了视界测定试验中的模糊认识。对于正确理解视界的含义、合理选择试验方法、严格控制试验条件和视界综合评价提出了科学的建议。