辽宁男排跳发球技术分析

跳发球是现代排球比赛中一项攻击力很强的发球技术,为当今世界强队所广泛采用.采用高速摄影法和影片解析法,对在1997~1998年和1998~1999年全国排球联赛中两次获得最佳发球奖的李铁鸣的跳发球技术进行运动学分析,旨在揭示其技术的运动学特征,探讨影响动作效果的有关因素,为今后的教学和训练提供参考.     

RATTI“R362/S”倍捻机导丝机构往复动程的分析

本文对“R362/S”倍捻机卷绕头往复导丝机构行程缩短原理进行了分析和数值计算,得出了导丝动程缩短规律。通过分析指出了一些在设计上值得我们借鉴的优点,并提出了某些改进的设想。     

MkdV方程族的换位表示及其相应的Liouville完全可积系统

本文给出了ＭｋｄＶ方程族的换位表示及一个有限维对合系，并讨论了Ｂａｒｇｍａｎｎ约束和Ｃ．Ｎｅｕｍａｎｎ约束及其相应的定态ＭｋｄＶ系统。最后，我们得到ＭＫｄＶ方程族的对合解。     

高低杠“屈体腾越转体180°再握”动作的运动学分析

本文采用固定高速摄影及影片数字化研究方法，对山西体操运动员郭佳在１９９０年新创的屈体腾越转体１８０°再握动作进行运动学分析，得出各技术环节的运动学数据，找到其动作的运动学特征，为我国体操教练员和运动员提供参考。     

约束数据库中的函数依赖公理系统与设计理论

约束数据模型作为一种新的数据模型正受到广泛关注。为了约束数据库的应用，需要研究它的设计。为此本文对约束数据库中的函数依赖给出定义，并提出函数依赖的公理系统，证明了它的有效性和完备性；在此基础上完成了约束数据库设计的核心工作：把约束关系模式分解为3NF或BCNF的算法。     

模式语义链元建模及其应用

大粒度的模型转换是模型驱动软件开发场景下的重要技术需求，仅通过定义通用模型转换语言不足以满足这一需求，其中一个原因是通用模型转换语言工作在特定建模语言的元模型层次而非一般设计意图层次上．文中提出一种模式语义链(PSL)元建模方法．通过重型扩展统一建模语言(UML)元模型以直接形式化描述可表达一般设计意图的模式，并应用UML动作语义和元模型继承实现模式自动生成及转换．该方法为实现一船设计意图层次上的大粒度模型转换提供了有效支持．     

运动学涡度及其测量方法

运动学涡度是从流体力学引入到地质学当中的,主要应用于应变非共轴程度的确定。自然界中的剪切变形通常是纯剪切和简单剪切2个端元复合作用的结果,称为一般剪切,利用运动学涡度(WK)可以定量分析两者间的相对大小。文章介绍了涡度的具体测量方法,即张裂脉中纤维法、旋转残斑法、石英C轴组构与主应变比值的方法、石英C轴组构与斜列颗粒形态的方法等。     

基于坐标变换的具有可操舵轮的移动机器人运动学建模

为了提高移动机器人的灵活性和机动性,人们提出了最大限度地利用普通常规轮的运动自由度来实现移动机器人的平面自由运动。当移动机器人具有n(n≥2)个可操舵驱动轮时,它可以实现平面上的自由运动,即它具有3个自由度。针对轮式移动机器人的运动学建模问题,基于坐标变换法,提出了一种解决具有可操舵轮的移动机器人运动学建模的通用方法,建立了在满足理想运动约束条件下的运动学模型,并以具有2个可操舵驱动轮的3自由度移动机器人为例,给出了运动学仿真结果。     

基于F-B函数的牛顿法解一般约束优化规划问题

文章给出了一个解决一般约束最优化问题的含调节参数型的牛顿算法.算法有两个重要特征,首先,算法借助Lagrange函数和NcP中的F-B函数,通过构造等价于点条件的线性方程组采处理一般约束优化问题,其次,利用F-B函数的光滑性质,定义了调节参数,从而弱化了K-T点条件.文章在适当的条件下,证明了该算法具有全局收敛性.数值实验表明算法有效.     

空间机构的位置分析

本文以“基本方向”确定空间机构中各构件的位置,并基于“基本方向”之间的关系以及机构的环路封闭条件,建立了机构位置分析的数学模型。将优化技术和求解非线性方程组迭代技术结合起来,提高了解决问题的可靠性及效率。