机械制图课程考核方法的改革探讨

在市场经济背景下,职业学校传统的机械制图课程考核中存在一些弊端,比如考察面有限、实践性差、缺乏口头交流等。为此,有针对性地提出了更新观念、加大实践考核分值、考教分离、以答辩的形式进行考核等改革措施,希望通过这些措施来提高学生适应市场的能力。     

机械设计教学中学生应用与创新能力培养的探索与实践

根据当前机械设计课程教学目的和任务,针对课程教学中突出对学生"工程应用能力的培养,创新设计能力的培养"的教学方向。从教学过程的控制与要求及教学结果的验证几个方面进行了教学改革探索,为通过机械设计课程教学提高学生的应用与创新能力,提供了有益的尝试,并对具有应用实践性质的课程教学改革提供了借鉴。     

强化特色力创名牌——《中国机械工程》选题策划与组稿实践

回顾<中国机械工程>的定位思考,介绍<中国机械工程>为提高期刊内容质量在选题组稿上采取的措施及遵循的原则:强化特色内容,跟踪机械工程学科学术前沿,服务经济建设,专题讨论热点问题,创新性与工业应用性并重,长期跟踪重大课题,联合开办专栏.     

强力缓冲型档案纸张纤维素螯合与脱酸保护研究

本文论述的BDM保护液在中和纸张中酸的同时,在纸张中沉积微量沉淀,既能使纸张保持7—7.5之强力缓冲的中性,又能与纸张纤维素、半纤维素基环上的羟基与羰基形成稳定螯合物,通过测试其与传统碳酸氢镁溶液处理的纸张老化前后耐折度、抗张强度、撕裂度及白度的保持率,证明该螯合保护液能使纸张耐久保存。     

运用MATLAB仿真软件促进《机械控制工程基础》课程教学的改革与实践

"机械控制工程基础"是机械工程类学生一门重要的专业基础课。为了解决机械控制工程课程内容较抽象,理论性强,绘图量、计算量大的问题,引入了MATLAB仿真软件。提出了在传统教学模式上结合现代教学手段的一些改进措施,使教学与仿真实验紧密结合起来,大大促进了学生学习的主动性,同时还提高了学生的综合素质和解决实际工程问题的能力。     

An industrial application of symbolic model checking

Model checking techniques are recognized to provide reliable and copious results. Instead of examining a few cases only – as it is done in testing – model checking includes the whole state space in mathematical proofs of correctness. Yet, this completeness is seen as a drawback as the state explosion problem is hard to handle. In our industrial case study, we apply automated model checking techniques to an innovative elevator system, the TWIN by ThyssenKrupp. By means of abstraction and nondeterminism, we cope with runtime behaviour and achieve to efficiently prove our specification’s validity. The elevator’s safety requirements are exhaustively expressed in temporal logic along with real-world and algorithmic prerequisites, consistency properties, and fairness constraints. Beyond verifying system safety for an actual installation, our case study demonstrates the rewarding applicability of model checking at an industrial scale. CR subject classification  D.2.4; F.3.1; J.7 ; C.3     

加强高等几何作图教学的意义与探索

结合自己的实践与体会指出,加强高等几何作图教学,具有体现数学过程、提高学生素质、突出师范性等重要意义．     

Adaptive robust approximate constraint-following control for mechanical systems

We formulate control problems of mechanical systems as constraint following. The system contains uncertainty which is (possibly fast) time-varying. It is unknown but bounded. The bound is, however, unknown. The objective is to design control which renders approximate constraint following. Adaptive laws are constructed. The controls are then based on the adaptive parameters. We are able to demonstrate guaranteed system performance, regardless of the uncertainty.     

浅谈CAI在数学教学中的应用

在信息技术高度发达的时代,计算机辅助教学(CAI)使得一系列复杂、抽象的数学难题迎刃而解。文章主要就CAI在数学教学中的应用展开探索。     

低频力学弛豫谱仪的原理及其改进

力学弛豫引起内耗，内耗产生的内在因素是材料的结构特点和结构缺陷。通常的内耗仪，应为低频力学弛豫谱仪。文章对新研制成功的LMR——1型低频力学弛豫谱仪的原理、结构以及计算机控制软件作了概括介绍。