椭圆一个性质的应用

本文从“曲线与其曲率圆的位置关系”［１］得到启发;对［１］做了推广并利用［１］的结论解释几何先学中“费马原理”表述［４］的不严密性。     

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

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

劳动法问题解答（一）

劳动法问题解答（一）彭心国［编者按］《中华人民共和国劳动法》己于今年１月７日起正式施行。这是我国社会经济和政治生活中的一件大事。国家劳动部为贯彻《劳动法》,又先后制定发布了１７个与《劳动法》配套的行政规章。《劳动法》及其配套规章的颁布实施,对保护广大...     

政策动态

国防科工委８－９月发布的规范性文件 １、《国防科工委委属高等学校财务管理暂行规定》（科工财［２０００］４３３号） ２、《国防科工委对外新闻宣传报道工作暂行规定》（科工办［２０００］ ４７０号） ３、《武器装备科研生产许可证管理暂行办法实施细则》（科工法［２０００］４８０号） ４、《民用部门军品配套科研生产许可证管理实施细则》（科工法［２０００］４８１号） ５、《关于切实加强国防科技工业保密工作的若干意见》（科工办［２０００］５０８号） ６、《关于各军工集团公司不得对国防军工专项资金提取管理费的通知》（…     

PTL 证明器的实现技术

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

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

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

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

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

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

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

显色剂BPHPS的性能及其与铜显色反应的研究

研究了显色剂ＢＰＨＰＳ［５－（３,５－二溴－２－吡啶基）－１－（２－羟基－５－磺苯基）－３（２－羟基苯基）甲］的性能及其与铜的显色反应。用掩蔽方法可提高反应体系的选择性。采用ＢＰＨＰＳ测定了铜矿中的铜,结果较满意。     

一类复三次样条的保凸条件

本文研究了一类定义在实轴区间上亏数为１的复三次样条的保凸条件,推广了文［２］Ｃ￣２连续的实三次多项式样条的相应结果。     

连续情形的窃贼问题

讨论了连续时间上的窃贼问题。Ｊｔ是［０,ｔ］上窃贼作案的次数,｛Ｊｔ｝ｔ≥０是Ｐｏｉｓ－ｓｏｎ过程;收获过程与风险过程都是独立同分布的时间序列。利用弱无穷小算子,我们找出了最优停时规则。     

广义直观Fuzzy集

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

更新择业观 [后方]天地宽──军转干部择业意向过于集中的思考

更新择业观［后方］天地宽──军转干部择业意向过于集中的思考马巨泽笔者在与一些待安置军转干部的交谈中,发现他们的择业君向均集中于党政机关和金融等“热门”单位。择业意向集中的原因,主要是以下心态所致。（１）从政做官心理较重,重职位。有的受“官贵民贱”等封...     

基于输出协方差配置的车辆振动控制系统设计

通过对车辆振动系统的振动特性分析,确定出系统反馈控制的设计目标。基于对［１］中状态协方差配置控制理论的推广,文中给出了控制器设计的具体方法,并举例说明该设计方法具有直接有效的特点     

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

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

无摩擦的空气轴承技术对超精密加工机床进给驱动系统的控制需…

加工过程中随着对精密度和加工环境的要求的不断提高,越来越需要在机床的结构和控制器原理这两者之间进行特殊的组合。近年来,为了补偿进给驱动系统的直接导轨的摩擦造成的影响,人们发明了大量的控制决策,例如［１］－［３］。他们虽然提供了各式各样的功能强大的非线性的机构,但通常又使用相当复杂的计算机算法来耗费系统资源。借助于先进的空气静压轴承技术（ＦＶＭ－空气－轴承）摩擦可以被彻底消除,因而直线导轨也就不存在     

俄罗斯S-400防空导弹系统

１　系统概况俄罗斯Ｓ－４００防空导弹系统过去一直是个谜,国外作了不少猜想。据称Ｓ－４００系统是俄罗斯国土防空中的第四代半防空导弹系统,系统发现和摧毁目标的最大距离达４００ｋｍ,因而起名为Ｓ－４００。其对外的名称为“凯旋”（Триумф）。１９９９年简氏防务周刊（ＪＤＷ）两次报道公开了其大概的面貌［１～２］。俄罗斯《军事检阅》１９９９年３／４月期进一步报道了其试验情况［３］,１９９９年８月莫斯科航展展出了其部分设备。Ｓ－４００防空导弹系统的用途为杀伤距离小于４００ｋｍ的现代的和未来的空袭目标,包括…     

二维余散余弦变换的快速递归分解算法

本文讨论了二维离散余弦变换（ＤＣＴ）的快速计算。借助于下标分解,我们将一个Ｎ１×Ｎ２点二维ＤＣＴ分解为四个Ｎ１／２×Ｎ２／２点二维ＤＣＴ,从而导出了二维ＤＣＴ的一种快速递归分解算法。对Ｎ１×Ｎ２点二维实ＤＣＴ的计算,其算术复杂性为Ｏ（Ｎ１Ｎ２ｌｏｇ２Ｎ１Ｎ２）。与文［６］提供的混合算法类同,乘法量比行列算法减少约２５％。     

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

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

关于(1,f)-奇——复盖图

设ｆ是定义在图Ｇ的顶点集Ｖ（Ｇ）的顶点集Ｖ（Ｇ）上的一个奇数整函数。图Ｇ的一个（１,ｆ）－奇－因子是Ｇ的一个支搅揶图Ｆ使对任意的Ｘ∈Ｖ（Ｇ）有ｄｐ（ｘ）∈∪「１,３,ｆ（ｘ）」。图Ｇ是一个（１,ｆ）－奇－复盖图是对Ｇ的任一边ｅ,Ｇ都有一个（ｆ）－奇－因子含ｅ。本文给出Ｇ是（１,ｆ）－奇－复盖图的一个充要条件。