线阵CCD图像减影技术实现抛射物体轨迹实时检测

为对抛射物体的运动进行分析 ,克服使用高速录像并逐帧分析像片图像的方法需要较长的后期分析时间 ,不便于对结果进行自动快速分析的缺点 ,论文基于抛射物体的运动学规律 ,通过在抛射曲线上的两个固定点的高度和跨越时间的检测 ,获得了抛射物的初始角度和初始速度。对高度和时间的检测 ,采用了线阵电荷耦合器件 (CCD)为图像传感器进行摄像并采用图像减影的方法识别抛射物体。在对系统进行静态标定的基础上 ,在抛射架上进行了抛射实验检测。用该文提供的方法和用录像检测方法对不同条件下的初始发射角和初速度进行检测 ,二者数据符合得很好     

两阶具角点奇性椭圆问题的Mortar有限元方法的Cascadic解法

证明了具有角点奇性两阶椭圆问题的Mortar P1元的存在唯一性和收敛性，给出了离散问题的Cascadic解法的收敛性。     

核密度估计的中偏差

在一些正则性条件下，使用Gaer-Ellis定理和尾概率估计的某些技巧，得到了核密度估计在点态和一致范数下的两个中偏差定理。     

实用性Cu—Al—Mn—Zn单向形状记忆合金的研究

通过恰当的成分设计，研制出一种具有高强度、高塑性、同时又有较好的单向形状记忆效应的Cu-Al-Mn-Zn合金。通过加入适量的Zn来稳定马氏体使其As点高于300℃。这种合金的硬度达取HRC23以上，强度达250MPa以上，塑性达7％以上，其形状恢复率达70％以上。用此合金制造常温下工作的联结件，具有生产方法简单，成本低廉，性能稳定的特点。     

符号函数矩了判别法在水盐相图计算机成图中的应用——Ⅱ.复杂三元水盐体系的W1—W2和m1—m2及X1—X2相图

作者以复杂的三元体系Li^ ,K^ //SO4^2--H2O在298.15K和101kPa时的W1－W2，m1-m2和X1－X2相图为例，用符号函数矩阵判别法（SFM法），对相图中各曲线的稳定区间及无变度点的稳定性进行了判别，所得结果均与实验事实相的吻合，从而解决了此类相图的预测和计算机成图过程中的相关问题。     

细胞周期调控因子的研究进展

细胞周期调控是细胞周期在不同时相的调控点受到调节因子的调控，其中有二个调控点最重要，G1／S期，G2／M期，已有二类细胞周期调控因子被发现，分别是细胞周期蛋白依赖性激酶CDK（cell dependent kinase)和细胞周期蛋白（cyclin)，它们之间的相互作用调控细胞周期的进程。     

基于不同约束条件的动态时间错位理论及应用

在两种不同模式的匹配过程中 ,研究了基于不同约束条件的动态时间错位理论及应用。分别采用始终点约束、不同的局部连续约束 ( Itkura约束、Sakoe- Chiba约束 )、不同的全局约束( Itkura约束、Sakoe- Chiba约束 )条件对间歇反应过程中两批次轨迹进行合理匹配 ,并使两轨迹基于动态时间错位理论获取其间的最短标准总体距离 ,在此基础上搜寻最优匹配路径 ,使两种持续时间不等的轨迹达到模式一致。应用聚合反应中的数据轨迹 ,表明此方法的实施过程和有效性。     

0行列式的定义

补充定义 0阶行列式的值 ,从而完善行列式的有关理论并简化行列式的计算与证明     

市场创新与我国产业结构的调整

市场创新促使新的产业部门形成并使产业结构发生变化。面临我国产业结构调整中的新问题 ,我们应从市场创新出发 ,制定相应的对策 ,主要包括 :以市场为导向配置资源 ;适应需求结构变化 ;发展高新技术产业和改造传统产业以及寻找国际市场新的创新点 ,参与国际产业循环。     

非线性4n阶常微分方程的非线性三点边值问题解的存在性

利用“上下解”的方法，讨论了非线性4n阶常微分方程y^(4n)=f(t,y,y′，…，y^(4n-1)满足条件g2i(y^2i)(a),y^(2i 1)(a))=0 i=0,1,…，2n-3 g4n-4(y^4n-4(a),y^(4n-3)(a),y^(4n-2)(a),y^(4n-1)(a))=0 g4n-3(y(b),6′(b),…，y^(4n-6)(b))=0 g4n-2(y^4n-5)(b),y^(4n-4)(b))=0 g4n-1(y^4n-3)(b),y^(4n-2)(b))=0 g2i 1(y^2i 1)(c),y^(2i 2(c))=0 i=0,1,…，2n-4 g4n-5(y^(4n-5(c),y^(4n-4)(c),…,y^(4n-1)c(c))=0 的非线性三点边值问题解的存在性.