基于PVS的UML类图和序列图的一致性检验

针对UML类图和序列图的一致性问题,在充分考虑了类继承关系、关联关系、类方法的可见性以及类方法的前、后置条件等因素对一致性影响的基础上,给出了判定类图和序列图一致性的必要条件和PVS元理论,提出了一种基于定理证明器PVS的一致性检验方法.在检验UML模型一致性时,把一致性检验问题转化为逻辑定理证明问题.实践表明,该方法对于提高UML模型的可信度,减少系统实现阶段的错误起到了一定作用.     

从复杂性的观点看学习型组织

传统的直线制组织管理模式的思想基础是机械还原论，不能适应时代发展的要求。学习型组织是针对19世纪、20世纪组织管理的弊端，全球经济的新环境与组织管理的新要求而提出的，是更具人性的复杂性组织。学习型组织重在强调思雏方式的变革，提升系统思雏的能力，从机械观走向系统观。从简单性思维走向复杂性思雏。     

柔性空间机械臂的模糊控制及抑振最优控制

讨论了载体位置不受控、姿态受控的情况下,漂浮基柔性空间机械臂系统的轨迹跟踪和振动抑制问题。对系统进行输入输出反馈线性化,并采用奇异摄动理论,得到了慢变子系统和快变子系统。然后,设计了两种时间尺度的模糊逻辑控制器,以控制柔性空间机械臂的载体姿态和机械臂关节铰协调地来完成各自在关节空间的期望运动。慢变子系统用模糊控制来进行轨迹跟踪,而快变子系统用最优线性二次型控制来主动抑制柔性杆的振动。系统仿真结果说明了控制器的可靠性和有效性。     

数字化功能样机的多学科设计优化与仿真

高效精密化、智能集成化、虚拟数字化是现代产品设计的发展方向。提出了一种将多学科设计优化方法融于产品的数字化设计过程，智能集成化设计复杂产品数字化功能样机的多学科综合设计模式。针对汽车实例，构建了多学科自动化设计优化平台，给出了集成优化分析流程，实现了多性能集成全分析与优化仿真，基于整车虚拟测试，验证了该模式的有效可行性。     

机械磨细对新疆和田地区火山岩粉活性影响试验

为了提高新疆和田地区火山岩粉的活性,拓宽其在混凝土工程中的应用,借鉴目前常用的机械磨细的球磨方法,使粉体材料更加细化,并改善其颗粒分布。对4种细度的火山岩粉,采用勃氏法测试其比表面积,激光粒度法分析其颗粒级配及分布,多龄期胶砂强度指数法去验证掺加该火山岩粉后的胶凝体系宏观力学性能变化,最后用SEM及EDS观察分析微观形貌及产物,揭示微观变化与宏观强度,即火山灰活性提升的关系。试验结果表明:机械磨细的方法可以有效地改善火山岩粉的颗粒分布,比表面积每增加80 m²/kg左右则小于50%通过率颗粒粒径减小0.6~0.8 μm;掺火山岩粉胶凝体系随龄期的延长,宏观上其抗折强度和抗压强度均有持续的提高,而且抗折强度增加速率更快,但强度增加随火山岩粉变细而增长的幅度放缓。根据宏观力学性能的变化及SEM及EDS的微观观察分析,得出结论:机械磨细可提高火山岩粉活性的主要原因为颗粒变细的“微集料”填充作用,以及其参与水泥基体系水化反应能力的提升。     

计算机UG软件在《机械基础》课上的应用

中等职业教育以技能为主,在专业课中用计算机软件做为辅助教学,能达到事半功倍的效果,本文就把计算机三维制作软件UG应用到机械基础的专业课教学中来,让学生能够亲手制作机械的零、部件,并做装配,使抽象、枯燥的专业课变得有滋有味。     

浅谈机械设备对沥青混凝土路面施工质量的影响

主要从施工生产设备的选型,对沥青混合料施工质量的影响、以及各种设备的性能参数的选择对提高沥青混合料路面施工质量的诸多要素分析,总结以合理的机械设备选用,提高施工质量的方法。     

港口机械设备管理与物资管理的新方向

本文介绍天津港第五港埠有限公司设备管理现状,同时分析港口机械设备管理和物资管理,使物资管理与成本控制有效联系在一起,在此基础上提出了设备了设备管理发展的新趋势。     

法兰螺栓联接机器人

螺栓联接机器人是为了实施无人状态下法兰螺栓联接而设计的。它主要包括机械结构设计,控制系统硬件电路以及软件程序设计。机器人结构主要包括抱管卡爪、螺栓库、螺母库、外框架等几部分,共有5个自由度,其中螺栓螺母库周向运动同步：控制系统采用单片机控制舵机及步进电机,采用程序定时控制其各部分动作,     

驰骋在零件轧制的高效时代

轴类零件轧制技术是一种机器轴类零件成形新工艺、新技术,它与传统的锻造、切削等方法比较．生产效率高、节能节材、产品质量好。该技术已在汽车。拖拉机、摩托车、发动机等的轴类零件以及球磨钢球、轴承钢球、锚杆上得到推广应用。目前我国的高效零件轧制技术已具有国际先进水平,有些方面还处于国际领先地位。北京科技大学机械工程学院零件轧制研究中心副主任张康生研究员致力于这项研究多年,在轧制理论、工艺技术、模具设计与制造等方面都取得丰硕成果。