单缸柴油机机油路故障三例

一台广济R175型柴油机,因烧连杆瓦,对机油路方面的零部件彻底检查了一遍,该更换的更换,该修理的修理.但是,起动后,机油指示剂升起无力.重新停机检查,没有发现异常故障.再次起动,故障仍旧,最后用打气筒从机油管打出一小团塑料纸.故障排除.原来机手在油标尺周围包绕着塑料纸以防掉进齿轮箱内,结果塑料纸掉进齿轮箱内,被机油路吸进.     

拆卸轴承外圈十法

农用运输车的滚动轴承损坏后,毁坏的保持架、滚动体、内圈拆除易如反掌.而外圈凹陷在机件的某个特殊部位(以小四轮拖拉机、三轮农用运输车的半轴套管外端的轴承为例)拆卸颇为困难.在机修过程中,笔者总结以下几种方法,跟大家共同探讨.     

一种面向服务构件的高可信组装技术的研究

服务构件的组装和验证是基于构件的软件工程的核心.为确保服务构件组装的高可靠性,引入了马丁洛夫类型理论来形式化地描述构件接口的功能性和非功能语义信息,使之在进行组装时,可利用其接口所携带的语义并根据推理规则在验证工具Coq中推导其正确性和可信性.其次,提出基于类型理论的组装验证模型并结合实例进行分析.最后,介绍了文中的可视化开发平台的原型系统,其具有界面友好、功能操作简单等特点.通过马丁洛夫类型理论的方法组合的构件系统表现出高可靠性.     

一种面向服务构件的高可信组装技术的研究

服务构件的组装和验证是基于构件的软件工程的核心。为确保服务构件组装的高可靠性,引入了马丁洛夫类型理论来形式化地描述构件接口的功能性和非功能语义信息,使之在进行组装时,可利用其接口所携带的语义并根据推理规则在验证工具Coq中推导其正确性和可信性。其次,提出基于类型理论的组装验证模型并结合实例进行分析。最后,介绍了文中的可视化开发平台的原型系统,其具有界面友好、功能操作简单等特点。通过马丁洛夫类型理论的方法组合的构件系统表现出高可靠性。