混合扰动下从闭轨族分支空间周期解

目的判断三维系统从闭轨分支空间周期解。方法利用中心流形定理并结合平面系统的分支理论。结果得到了两个判断一般三维系统从闭轨分支空间周期解的定理。结论推广了已有的平面系统的结果。     

超声波在液压缸活塞位移测量中的应用

根据超声波测距原理，设计了超声波测量液压缸位移系统，提出了超声波在液压油中波速的简化公式，并给出了超声波的度越时间的补偿方法，及探头本身固定误差的补偿方法。对其它测试系统也有一定的参考价值。     

机车乘务员空间作业域判定方法的研究

从人体的生理结构出发 ,通过对人体的基本结构及其运动自由度的分析 ,建立了人体运动方程 ,并用B样条曲面完成了人体曲面模型的构造 ,同时运用三维仿真的方法对机车乘务员的空间作业域及定向操作进行了深入的探讨和研究 .     

BCI-代数与BCK-代数的粘合(Ⅱ)

在“BCI-代数与BCK-代数的粘合(I)”一文中构造了BCI-代数范畴中一种自然的方法，使得任一BCI-代数与BCK-代数能以此法粘合．先前许多作者定义的粘合是这种构造的特殊情况．这里说明这种构造保留两个代数的许多性质，并导出同构的粘合．更进一步说明了这种构造的自然性．     

关于有限群同构类的猜想

文[1]论证n阶群同构类的个数在1000以内的存在性.本文推广到2000,即设f(n)为n阶群同构类的个数,证明等式f(n)=k,(1k2000)中n的存在性.进而得到一个猜想:当有限群同构类的个数为有限数时,都是可以证明等式f(n)=k中的n的存在性.     

满秩Petri网可达性判定算法的设计与实现

通过对Petri网可达性的分析,给出满秩Petrl网可达性算法及其实现过程,在VC＋＋平台上对算法进行验算,并对算法运行结果进行可达性讨论;该算法为满秩Petri网可达性的判定提供了一种快速有效的求解方法．     

agent信息交流基础

多agent系统中,agent之间存在一定形式的信息交流,达是agent相互沟通,相互理解与相互合作的基础,指出agent实现信息交流所需的一些基本条件,提出了意识类信息空间及其同构等的重要概念,还以感觉空间为例给出了一种数学表述形式,强调指出后天信息交互对agent智能形成的重要性及其用于实现agent智能的合理性,提出信息互动及信息互动律等观点。     

聚乙烯醇水凝胶与人关节软骨摩擦特性比较

利用自行研制的振子式摩擦仪测定了聚乙烯醇水凝胶自摩擦副、人关节软骨/聚乙烯醇水凝胶摩擦副的摩擦因数,并根据其Stribeck曲线对其摩擦润滑机理进行初步探讨.实验结果表明,在透明质酸润滑条件下,聚乙烯醇水凝胶与人关节软骨具有相似的摩擦学特性,且聚乙烯醇水凝胶自摩擦副的摩擦因数略小于聚乙烯醇水凝胶/人软骨的摩擦因数,由其Stribeck曲线初步判定其润滑机制为液膜润滑.     

基于GSPN的导弹多层级测试性需求建模与指标评估

针对目前导弹测试性需求建模尚未成熟, 开展测试性需求分析难度较高的问题, 提出一种基于广义随机Petri网(generalized stochastic Petri net, GSPN)的测试性需求建模方法。在分析导弹结构的基础上对导弹测试性需求问题进行了建模, 给出导弹两级GSPN模型, 深入分析其导弹系统的故障检测及维修过程。根据GSPN模型同构于嵌入马尔可夫链(embedded Markov chain, EMC), 以实存状态集和消失状态集表征库所变迁, 采用同构法对测试性指标进行求解。将多层级GSPN模型分解化简, 减少状态空间数量的求解。对导弹的GSPN模型进行定性和定量分析, 求解不同层级测试性指标最后通过仿真计算, 与系统要求可用度误差不超过0.7%, 验证了多层GSPN模型的可行性和分析结果的可信性。     

一类新的矩阵乘积

引入一种新的矩阵乘法运算,并证明在新的乘法下全体n×n矩阵构成矩阵环,且该矩阵环与通常定义下的矩阵环是同构的.