西尼地平的飞行时间质谱裂解规律

利用台式飞行时间质谱的中分辨本领,报道了西尼地平的电子轰击质谱的裂解规律,对裂解途径进行了完全的指认.质谱中发现低丰度的分子离子峰的精确质量为m/z492.190 4(计算值:492.189 7).质谱检测到5个较强碎片离子峰(＞12%)可以作为鉴定西尼地平的特征峰.其中3个对应于不含4-硝基苯基的离子:m/z 370(100%),254(42%)和196(17%).另外两个m/z 117(21%)和115(12%)来自酯基的裂解碎片离子.此外,位于m/z375(2%)和331(2%)的低丰度碎片峰也很重要,它们来自含有4-硝基苯基的离子.这一结果对西尼地平的快速鉴定和药理研究提供了重要的实验依据.     

关于递归算法时间复杂度分析的探讨

通过递归实例,介绍了递归算法时间复杂度的一类分析方法.说明了在分析问题时递归思想的作用,但在问题实现时最好采用非递归算法.     

核磁共振中分子间多量子相干CRAZED序列参数的优化

对检测分子间多量子相干信号的CRAZED脉冲序列的最佳射频脉冲翻转角及延迟时间进行了探讨，通过综合运用偶极场理论和积算符公式，得到不同相干阶数下CRAZED序列的相对信号强度与射频脉冲翻转角及延迟时间之间关系的表达式。并利用计算机模拟对延迟时间进行优化，所得结果由实验加以验证．实验结果表明，理论得到的信噪比和量佳延迟时间的关系与实验结果吻合得较好．因此，所得出的理论方法可用于指导实验参数的优化选择。     

一类约束满足问题及其算法

针对具有解析约束形式、同一变量多赋值的约束满足问题,提出了一种新的约束满足问题定义·通过一种特殊约束满足问题的研究提出一套建立在这个定义基础之上的概念和三种算法:整数规划法、不等式组法和直接求解不定方程法,详细研究了其中的第三种算法,并给出了最坏情况下的时间复杂度,从而能够比较清晰地描述一类约束满足问题的一般分析过程,揭示了约束满足问题同经典的整数规划、数论和整数环论的联系·     

输入具有饱和非线性的离散系统闭环稳定性

基于矩阵范数和离散时间系统李雅普诺夫定理，给出了控制输入具有饱和非线性特性的状态反馈控制系统的闭环渐近稳定性判据，并用算例验证了基本原理的正确性。     

盘式电流变传动机构的动态模型研究

电流变流体是一种智能软物质，圆盘式电流变传动机构是电流变技术的主要应用领域，利用时间序列模型，对电流变传动机构的动态模型进行理论和实验研究，提出用时间序列模型和功率谱密度，来确定实际系统的动态参数，测试和控制过程采用NI虚拟仪器构建的系统自动进行，这是一个通用的动力学实验平台。     

平面布朗运动首中带形之分布

首中时是近代马氏过程的一个重要概念．作为强马氏过程的布朗运动，其首中某集的时间或位置的分布对于研究质点运动以及位势论中的Didchlet问题与平衡问题都有重要意义．球面的首中与末遇分布在六几年就已解决，1981年白苏华等在文献[1]给出了平面布朗运动首中椭圆的分布，本文用类似方法求出平面布朗运动首中带形之分布。     

陕西省人均粮食与人均耕地变化研究

对陕西省人均粮食及人均耕地变化进行了时空差异分析,结果表明:(1)近50余年的绝大多数年份为人均粮食占有量的递增期,且不同时段的增幅不同;粮食增长率大于人口增长率的时期,对应人均粮食的增长时期;(2)1978—1998年绝大多数地、市人均粮食递增,且地域差异明显;(3)近50多年来全省耕地面积总体逐年递减,近10年来减少之势加剧;同期人口数量的持续增长,造成人均耕地面积急剧减少.相关回归分析显示:各地、市人均粮食绝对增量与其相对增量之间呈正相关,人均粮食增加量占粮食增量的份额整体偏低;提高粮食生产水平及控制人口是增加全省人均粮食占有量的重要途径.     

瞬时冲力历时数据的处理及程序实现

提出了一种对碰撞过程冲力采样数据进行处理的方法及处理程序,通过对实验数据的分析,给出了从数据文本中搜索有效冲力数据的途径.该方法结合冲力瞬态数字测量仪和普通计算机系统,可用于广泛的力学测量研究中.     

具有门限共享解签密的数字签密方案

基于离散对数问题提出一个具有门限共享解签密的数字签密方案，该方案是Jung等提出的签密方案和Shamir门限方案的结合。在该方案中，发送者利用其秘密密钥产生消息签名的密文并送给特定的接收组，接收组中的n个接收者中任意t个可以对签密的消息解签密，而t-1个或更少的接收者不能对签密的消息解签密。该方案与Hsu和Wu提出的具有门限共享验证的认证加密方案相比，签名加密效率更高，可以检测恶意的接收组成员。