一类pq2阶群的自同构群

得到了如下定理:设p,q是奇素数,且q相似文献   

单生过程首中时的各阶矩

给出了单生过程首中时多项式阶矩和指数阶矩的显式表达，讨论了4个判别准则的概率意义，并得到了单生过程指数遍历的一个显式判别准则．     

面向传值进程的一阶模态逻辑的可判定性与模型检测

对于面向传值进程的Hennessy-Milner逻辑的一阶扩充HML(FO), 给出了基于带赋值的符号迁移图的语义解释. 证明了HML(FO)的子逻辑HML(FO²)是满足性可判定的, 并且讨论了判定的复杂性. 最后给出传值进程关于HML(FO²)的模型检测的可判定性结果.     

一类四阶两点边值问题多个正解的存在性

通过研究四阶Lidstone边值问题多个正解的存在性,利用Krasnose'skii不动点理论及相应线性问题Green函数性质的研究,可得到多个正解存在性的结果     

临界分数对学生心理健康的影响

文章通过调查实验，阐述了临界分数对学生心理健康的影响，建议教师尽量少给学生临界分数。     

高导数引力理论宇宙动力学方程

利用高导数引力理论研究宇宙的演化。在Friedmann宇宙模型中，由高导数场方程导出宇宙动力学方程。此方程为宇宙标度因子关于时间的三阶非线性微分方程，并由能量-动量守恒及物态方程导出能量密度和宇宙标度因子的关系，最后比较了高导数引力理论动力学方程和标准动力学方程。     

用方向导数分析JC法的误差

用一次二阶矩法求工程结构的可靠度会产生误差 ,这误差产生的原因是将极限状态函数在验算点处的泰勒级数仅取线性部分来近似 ,本文用二阶方向导数分析这误差对工程的影响 .     

基于DSP的心电监护仪的设计

介绍了一个以DSP芯片为核心的心电监护系统。该系统实现了DSP代替PC，系统体积小，并具有较大容量的存储能力，而且采用了混沌的分析方法——分数维值(FD)对信号进行了分析。     

线性调频信号的调频斜率估计方法

提出了一种基于分数阶傅里叶变换（fractional fourier transform,FRFT)估计线性调频信号（lmear FM,LFM)的参数的方法。该方法通过计算LFM的PRFT，然后用匹配滤波的方法确定LFM在时频域内正交投影位置，从而得到LFM的调频斜率。     

大系统优化的动态规划递阶算法改进

引入1个拉格朗日乘子，将动态规划的最优性原则与大系统控制论中的分解协调的递阶算法结合起来，并考虑各子系统间的顺序直接作用，提出1种以二次型为性能指标的离散线性系统优化算法，并导出各子系统的递推公式。