机电一体化系统功能原理求解

建立了机电一体化系统功能原理解的接口特征模型,提出了基于接口特征匹配的机电一体化系统功能原理求解典型进程、机电单元功能原理求解与接口匹配并行策略.开发了一个支持电脑刺绣机、多功能缝纫机等机电产品功能原理求解的计算机辅助系统,进行了实例验证.     

计算机组成原理实验改革探索

本文在改革计算机组成原理实验从验证到主动设计方面,进行了一定的探索。将EDA技术引入到实验中,由学生在EDA平台MAX-PLUSII上,根据计算机组成原理设计功能部件,将设计结果下载到PLD器件中,最后验证逻辑设计的正确性。     

LCD定标器芯片设计的FPGA验证方案研究

介绍了LCD定标器的总体结构和工作原理,以及应用Xilinx公司的Virtex-Ⅱ系列FPGA进行LCD定标器芯片功能验证的方案．该方案使LCD定标器芯片和其他外部模块组成一个完整的工作系统,能对芯片的预期功能进行全面系统的验证,从而尽早地发现前期设计中存在的问题,以便及时修改RTL级代码来确保芯片的设计功能完全正确,达到预期设计目标．验证结果表明,提出的方案正确可行,良好地完成了验证定标器设计功能的任务．     

数字集成电路中触发器应用

结合触发器的特点，对基本RS触发器以及D触发器工作过程进行分析，并从实验的角度验证两类触发器的功能和原理。     

轮式移动机器人控制电路设计

介绍了轮式移动机器人实际试验中的主要电路原理以及各主要部件的工作原理,并调试了电机、传感器、数字罗盘等。通过试验,验证了轮式移动机器人规划的可行性,成功实现避障功能,并准确到达目标点。     

基于Matlab仿真的自动控制原理教学改革研究

阐述了Matlab的功能与特点,对Matlab仿真技术在自动控制原理课程教学中的应用进行了探讨,并通过具体的教学实例说明了该教学方法在教学效果和教学效率上的优势,验证了Matlab软件对自动控制原理传统教学改革的促进作用。     

基于CheckMate的混合系统建模和验证

形式验证是混合系统中的重要研究方向,Checkmate是基于MATLAB/Simulink和Stateflow工具箱开发的一种混合系统建模、仿真和形式验证工具。文章首先介绍了混合系统形式验证的概念和验证过程,从用户的角度介绍了CheckMate的每个自定义模块的设置及其功能原理,通过一个三维线性混合系统的例子,说明了使用CheckMate进行建模、仿真以及验证的方法,最后指出了CheckMate验证工具的局限性。     

新型混合动力车用电动离合器执行机构的设计

分析了用于定轴式混合动力车变速器的电控电动膜片弹簧离合器执行机构的功能需求,提出了将双向超越离合器应用于离合器执行机构的设计,用于同时实现正向高效驱动和反向锁止功能;描述了新型离合器执行机构的基本工作原理和样机的具体机械结构,详细分析了所用单锲块式双向超越离合器实现反向锁止以及正向高效驱动功能的原理;最后通过试验验证了所述新型执行机构的可行性,并分析了样机存在的不足以及改进途径.     

煤矿三量及损失量管理信息系统的设计与实现

详细介绍了煤矿三量和损失量管理信息系统功能的设计原理.通过验证,实现了煤矿三量及损失量管理工作规范化、自动化和高效化,提高了办公效率,在煤矿具有很大推广价值.     

新型连杆式婴儿床的机构设计与仿真分析

基于现有婴儿床功能单一的现状,设计了一种新型连杆式多功能婴儿床。本文先介绍了婴儿床的功能原理,然后根据机构学相关理论对婴儿床进行了运动学分析,并运用数学分析软件MATLAB进行运动学仿真分析,验证该新型机构的可行性和可靠性性。     

函数列广义积分的极限定理及其应用

考虑函数列在广义积分下的极限问题,运用函数列的极限理论,在函数列一致有界和内闭一致收敛条件下,给出黎曼可积函数列积分的极限定理结果;在函数列广义积分一致收敛条件下,给出广义积分下函数列积分的极限定理结果,以及广义积分下的函数列积分的控制收敛定理.     

Clifford分析中调和函数推广的Liouville定理

主要研究取值于泛Clifford代数C(Vn,n)上的调和函数的推广的Liouville定理,利用一些引理和正则函数的推广的Liouville定理,证明并得到了高维空间中调和函数的推广的Liouville定理.     

广义映射与广义半同胚映射

在一般拓扑空间中引入了广义不定映射、广义准半开映射、广义准半闭映射和广义半同胚映射的概念,给出了这些映射的基本性质及它们之间的关系,并建立了广义半同胚定理．     

广义向量平衡问题的存在性定理

主要研究了广义向量平衡问题,得到了一个广义Nash平衡点存在性定理和相关的一些结果.     

平面上一阶椭圆型方程组的广义Riemann-Hilbert问题

讨论一阶椭圆型方程组的广义Riemann-Hilbert问题,利用广义解析函数和奇异积分理论以及不动点原理,证明在适当的假设下,此边值问题可解.     

关于循环矩阵的几个性质的推广

利用范德蒙矩阵对循环矩阵的一个定理给出了推广,并得到了广义循环矩阵的几个性质．     

广义拟右交错BCI—代数及其结构

本文引入广义拟右交错BCI-代数的概念,讨论了它的基本性质。利用LX并代数的概念,证明了结构定理:拟交错BCK-代数、广义结合BCI-代数以及任意拟交错BCK-代数与任意纯广义结合BCI-代数的LX并代数都是广义拟右交错的BCI-代数;反之,广义拟右交错BCI-代数或者是拟交错BCK-代数,或者是广义结合BCI-代数或者是拟交错BCK-代数与纯广义结合BCI-代数的LX并代数。从而解决了该类代数的结构问题。     

局部FC-一致空间内的联立广义矢量拟平衡问题组(英文)

在局部FC-一致空间内引入和研究了某些新的广义矢量拟平衡问题组和联立广义矢量拟平衡问题组.应用KKM型定理和作者在局部FC-一致空间得到的Himmelberg型不动点定理,首先在局部FC-一致空间内对两族集值映象证明了一个新的重合点定理.作为应用,在局部FC-一致空间内得到了广义矢量拟平衡问题组和联立广义矢量拟平衡问题组的解的某些新的存在性定理.这些结果推广了文献中某些已知结果.     

关于广义倒易定理

将Ｂｅｔｔｉ倒易定理推广有不同本构关系的两变形，提出了非耦联系统的广义倒易定理。当两变形体的体积力、边界力和边界位移都相同时，该定理成为耦联系统的广义倒易定理。当非耦联系统两变形体的本构关系相同且为线弹性时，该定理即成为Ｂｅｔｔｉ倒易定理。同时给出了两个广义倒易定理在弹性力学中的应用。     

Stolz定理的证明和推广

给出了Stolz定理的理论证明及推广定理，并举例说明了推广的Stolz公式的应用。