非完整相对运动动力学系统的非等时变分方程和积分不变量

首先给出非完整相对运动动力学系统的非等时变分方程,然后研究它们的解,并证明在一定条件下可利用第一积分来得到非等时变分方程的特解.最后利用正则方程和变分方程证明,可由第一积分直接构造系统的积分不变量.     

Al_（0．3）Ga_（0．7）As／GaAs超晶格在高能高温注入下的晶格损伤

用卢瑟福背散射／沟道技术研究了ＩＭｅＶＳｉ￣＋衬底加温注入Ａｌ_（０．３）Ｇａ_（０．７）Ａｓ／ＧａＡｓ超晶格和作为比较的ＧａＡｓ晶体后晶格的损伤积累与注入剂量的关系。实验结果表明，在注入剂量比较小的情况下，两种晶体都只有很轻微的损伤；动态退火过程的存在抑制了晶格损伤的积累。但在较高的注入剂量下，在几乎无损伤的表面下两种晶体中都形成了损伤埋层，且ＧａＡｓ中损伤峰处的损伤程度和损伤峰的宽度都大于Ａｌ_（０．３）Ｇａ_（０．７）Ａｓ／ＧａＡｓ超晶格中的情形，根据级联碰撞理论分析了晶体中的损伤积累过程，并从化学键相对强度差异的角度定性地解释了ＧａＡｓ和Ａｌ_（０．３）Ｇａ_（０．７）Ａｓ／ＧａＡｓ超晶格实验结果的不同。     

一般动力学系统在相空间的Noether定理及其逆定理

根据一般动力学系统在相空间的作用积分在无穷小群变换下的变换性质,分别建立起完整和非完整非保守系统的Noether定理和逆定理.由给出的例子表明,在相空间中可以呈现出动力学系统新的对称性.     

非完整可控力学系统的非等时变分方程和积分不变量

给出了非完整可控力学系统的非等时变分方程，并研究了它们的解．证明了在一定条件下可利用第一积分得到非等时变分方程的特解．利用正则方程的变分方程证明了由第一积分可直接构造系统的积分不变量．     

高阶非完整非保守系统的广义Noether定理

应用万有D＇Alembert微分变分原理研究了高阶非完整非保守力学系统的守恒定律 得到了高阶非完整非保守力学系统的广义Noether定理。     

四轮式移动机器人非完整运动控制

针对四轮式机器人做非完整运动时系统的非完整性的问题,将四轮式机器人运动规划转化为非线性控制系统的优化问题。提出了对优化变量进行浮点数编码的改进遗传算法,使系统控制精度得到改善。同时将改进的遗传算法采用最优个体保留策略,设计交叉参数和自适应变异参数,确保算法具有良好的收敛性。通过数字仿真实验,证明了该方法的对四轮式机器人非完整运动规划问题具有可操作性。     

非完整相对运动动力学系统的打击问题

本文研究了非完整相对运动动力学系统的打击问题。所得到的打击运动方程不仅可以求运动,而且还可以求解广义约束反力的打击冲量。     

非惯性系中受一阶非线性非完整约束的拉格朗日方程式

本文引入广义惯性力,广义约束力,拉格朗日不定乘子等概念,直接从非惯性系中推导出受非线性非完整约束质点系统的拉格朗日方程式,并推广之保守系统。     

变质量非完整系统的等时变分方程和积分不变量

给出了变质量非完整系统的等时变分方程,研究了它们的解,并证明在一定条件下可利用第一积分来得到等时变分方程的特解;利用正则方程和变分方程,证明可由第一积分直接构造系统的积分不变量。     

Ras家族癌基因的统计分析

本文对１９９３年ＩＲＬ Ｐｒｅｓｓ基因库中的Ｒａｓ家族的８９个癌基因序进行了统计分析，计算了编码密码子的使用频率和氨基酸的相对使用丰度；非编码区中内含子的碱基使用及保守位点，并与有关文献作了比较。     

关于单模可微平顶函数λ_P的唯一性

讨论了单模动力系统中,可微平顶函数及任何MSS序列P,存在某一依赖于该序列的特征参数具有唯一性。得出了梯形函数在区间(0, 0.382 9…)上对应于序列P的特征参数的唯一性及序列P大于周期三的特征参数的唯一性,从而在梯形函数的特殊情况下,单模可微平顶函数lP具有的唯一性。     

库存动力系统研究

文章将企业库存理论与动力系统结合起来 ,揭示了二者间的内在联系 ,建立了库存动力系统的概念和相关理论。系统研究了一、二阶库存动力系统的特点、建模与控制。结合实例对一阶系统进行了预测与调制。具有理论和实际意义     

Moore机表示的系统迭代设计动态CTL模型检验的不变性研究(英文)

模型检验是系统级设计中验证可信计算系统安全性性质的有效方法。动态模型检验是模型随设计过程而变化的模型检验,动态模型检验过程中遇到的最严重问题之一是模型变化所带来的重复检验代价太高。因此,寻找不变性以避免重复检验显得尤为重要。不变性是一种贯穿系列模型检验而保值为真的性质。该文构建动态模型检验的形式化框架,进而提出基于Moore机描述的流控制系统迭代设计过程的不变性理论,该系统是一种嵌入式控制系统,在可信通信中用以处理数据转换,最后展示了若干非平凡CTL性质在迭代过程中的可保持性。     

离散系统动态载荷识别的时域方法

本文提出了一个离散系统动态载荷识别的时域方法。将动载荷识别问题完全归结为求解Voterra第一类积分方程的正解问题,进而获得了比例阻尼系统和一般粘性阻尼系统动态载荷的识别计算模式。最后采用数值逼近解法进行的仿真实例说明,方法是有效的。     

环保产业发展动力体系的构成与应用

运用产业经济学和发展经济学理论 ,结合实证资料 ,研究环保产业发展动力体系的构成 ,认为环保产业发展动力体系由需求动力、制度动力、供给动力、技术动力、市场化动力五部分构成。在此基础上 ,论证了要促进环保产业的发展 ,应该重点解决的是将环保产业潜在的需求转化为现实的需求、加快环保产业市场化的步伐 ;切实为环保产业发展提供有效的制度动力等三个基本问题。     

Boussinesq方程组的行波解研究

运用动力系统定性理论,提出一种分析非线性系统解的方法.并以Boussinesq方程为例,避免了求解的繁琐过程,得到解的几何特性.分析结果表明,在一定参数条件下,Boussinesq方程的相图中存在孤波、扭结波以及周期波.     

大数据时代高校思想政治教育的“变”与“不变”

大数据时代的高校思想政治教育与传统高校思想政治教育既有一定的区别又有紧密的联系。大数据时代,高校思想政治教育要把握好"变"与"不变"的关系,就应该结合大数据时代的新情况,在坚持指导思想、根本任务、根本目的、主要原则不变的前提下,通过思想政治教育理念、教育素养、教育方法、主体结构的变化来实现思想政治教育目标。大数据时代高校思想政治教育的"变"与"不变"是辩证统一的关系,"变"是"不变"的实践智慧,"不变"是"变"的本质彰显,"变"与"不变"辩证统一于高校思想政治教育发展之中。     

基于多层神经网络的非线性系统预测

针对一类非线性动态系统,提出了一种新的基于多层神经网络的自适应预测器,并对基于神经网络的预测机理进行了分析。该预测器由两个同构的多层神经网络实现,其中一个称为学习网络(LN),另一个称为预测网络(PN)。彷真结果表明,速种基于多层神经网络的预测嚣对于恒定参数的非线性系统是有效的,从而为解决非线性系统预测问题提供了一条可行的途径。     

建筑功能模式恒定性研究

文章以一种后先锋的理论为基调，论述了建筑创新的困难性，指出建筑创新必须突破建筑功能模式的恒定性，并根据建筑功能模式恒定性的特点和性质，提出改变这种模式恒定性的渠道和方法，以克服建筑创新中的困难。