贾宪三角形与二项式定理

通过介绍中算中奇妙的增乘开方算法及对中算开方术的研究,认为贾宪三角形是记录下增乘开方法求得各廉的结果,而该三角形就是完整的二项式定理。     

CAD 中的保形曲线拟合

本文描述了构造保形插值曲线的一个新方法,在相邻型值点之间构造三次参数曲线,所构造的曲线是局部的,保形的和Ｇ２连续的     

基于仿射原理的活塞环仿形数控加工系统

本文介绍一种新颖的活塞环非圆轮廓曲线仿形数控加工技术。利用该技术可实现用同一种凸轮加工多种具有不同压力分布曲线的活塞环。当凸轮或刀具磨损后可进行误差补偿加工,提高了机床的“柔性”和精度。同时利用智能决策和模糊控制技术解决抗干扰问题及增强系统的鲁棒性。     

最小实体要求及其可逆要求的分析

本文对 LMR 及 RR 应用于LMR 应用功能和补偿关系进行了分析,总结其分析步骤和表达动态公差图的3种形式。     

一类带有单调型算子紧扰动的半线性方程的可解性

在算子单调性和紧性假设下研究了半线性算子方程f∈Au-Tu+cu的可解性,其中A,T和C映一个自反Banach空间X的子集到它的对偶空间。所得结果扩展或改进了Guan最近的结果。     

带费用的校对问题的最优停止

本文用逼近的方法给出了校对问题中Poisson模型与二项模型的最优停止规则,并得出了二项模型中参数π具有先验分布β(a,b),a>0,b>0时报酬序列的结构。     

由新比旧好元件组成的指数寿命系统的特性研究

文中研究了由独立的新比旧好元件组成的指数寿命系统,证明了:(i)对单调系统,它本质上是由指数寿命的元件串联而成;(ii)对系统的寿命是元件寿命的情形,除了一个元件是指数的外,其余元件的寿命分布均在零处退化。     

Context 的非单调推理

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

数值许瓦尔兹－克力斯托夫变换与数值高斯－雅可比型积分

本文研究的主要内容是数值许瓦尔兹─克力斯托夫变换和它所涉及的数值奇异积分问题。利用牛顿─拉夫森迭代法导出了求解许瓦尔兹─克力斯托夫变换各个参数的数值过程。为了提高奇异积分精度,本文对数值高斯─雅可比型积分进行了研究,并用该积分方法对数值许瓦尔兹─克力斯托夫变换公式中出现的奇异积分进行了计算,取得良好结果。本文最后给出了示例,进行了验算。     

制导雷达组网反隐身探测效能评估

反隐身技术现已成为国土防空预警探测领域中的研究热点。为了评估制导雷达反隐身探测效能,依据隐身目标的电磁散射特性和制导雷达相关技术参数,引入了影响制导雷达组网反隐身探测效能的两个因子:雷达探测覆盖系数和保精度系数,基于上述因子建立了单基地制导雷达反隐身探测效能评估模型,推导出了衡量单基地制导雷达组网反隐身探测效能评估的数学表达式,通过仿真验证了该方法的合理性。该仿真结果为雷达组网探测隐身飞机目标提供了理论参考。