高强混凝土高温作用后的力学性能研究

通过对高温后高强混凝土力学性能的试验研究,探讨了高强混凝土的抗压强度、抗拉强度和抗折强度在不同温度下的变化规律,分析了温度对高强混凝土力学性能的影响机理、爆裂现象、爆裂机理,最后,对进一步的研究进行了展望。     

Development of mechanical engineering curricula at the University of Minho

The implementation of the Bologna protocol in the European Union has set new goals for the whole higher education system as: (a) a quality assessment for university courses; (b) a framework for the exchange of students and academics; and (c) an opportunity for changing the teaching/learning procedures and methodologies. Within the context, the mechanical engineering curricula at the University of Minho have been comprehensively formulated in order to meet these and future challenges and expectations. The whole process has been based upon various cornerstones: the legal framework for the higher education system; the introduction of new learning methodologies and an accurate survey and understanding of the existing strong and week points of the previous experience. For this purpose, a comprehensive evaluation has been carried out with former students and a detailed map has been formulated regarding their professional careers and experiences. Furthermore, a discussion has been carried out in order to define the mission of the graduate in mechanical engineering. In brief, such mission may be referred by his ability to participate in the wealth creation through technology based innovation. Within this context, the curriculum has been structured in order to meet such goals. In addition to strong foundations in physics and mathematics, new subjects are introduced into the curriculum. The whole education is based upon project development which stimulates the students' initiative, responsibility and their ability to integrate knowledge. Throughout the curriculum, students are enrolled into research projects developed in the department and it is expected that a few selected projects may be taken into a quasi industrial stage.     

Bibliographically coupled patents: Their temporal pattern and combined relevance

Bibliographically coupled patents reveal a temporal pattern associated with their ages (how long ago they have been issued) and spans (their distance in time). The coupling strength of the aged or long-spanned patent pairs may be inherently limited, especially for fields that reveal patent and reference expansions. This study proposes a simple measure, combined relevance (CR), to counter such impact. Unlike traditional measures, CR provides more balanced treatment to short- and long-spanned but favors more aged patents pairs. A fixed CR threshold may be more safely applied with a reduced possibility of erroneously removing patent pairs that are truly related. For observing long-term knowledge dissemination or tracing overall development trajectory, CR may be an alternative.     

竞技陀螺旋转体系的力学分析与技战术运用

运用文献研究、观察、专家咨询、逻辑分析等方法,以竞技陀螺比赛攻守过程中处于旋转体系下陀螺的受力情况为研究对象,对处于旋转体系下的陀螺攻守过程进行力学分析,并以此为基础对竞技陀螺攻守技战术运用进行探讨。结果表明：1）利用陀螺旋转体系的回动效应,运动员训练可有意识地旋放出活陀螺和流动陀螺。根据两个旋转体系的碰撞效应,守方运动员可借助对旋放区陀螺旋放落点的控制实现防守的战术意图,而攻方运动员则可以借助进攻力量、攻击部位、旋转性质的变化调整进攻技法。2）守方选手加强陀螺旋转的稳定性和旋放区前缘、后缘、左缘、右缘、中央等五个区域的落点以及活陀螺、流动陀螺、死陀螺各种旋放技术的训练,从旋转稳定性、落点意识、不同陀螺的旋放技术等方面提高防守能力;攻方运动员可掌握重击打法、轻钓打法两种进攻技术,控制己方陀螺旋转性质,进攻对手陀螺不同部位等进攻技巧,并提高进攻的准确性和稳定性及战术素养。     

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

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

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

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

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

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

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

本文论述的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