一种时间相关安全协议的自动验证工具

设计并实现了一个时间相关安全协议的自动验证工具。工具以一种时间相关安全协议逻辑TCPL为基础,以XML语言为描述方式,采用构造分层逻辑树的方法,完成了对安全协议目标的自动验证。实现结果表明,该工具简化了安全协议的证明过程,提高了效率,具有较好的实用性。     

机床精度检验方法讲座——第七讲 机床精度检验的一般条件

为了正确地评定机床的精度,除应了解一般机床精度检验方法外,还应明瞭进行精度检验时的各种条件和要求,这样才能正确检验并得到可信的测量结果。本讲将对这些问题逐一加以说明。 一、机床精度检验前的安装 不论机床在进行机床精度检验之前或是用户厂安装机床时,都需要利用水平仪等工具和垫铁来调整机床,使机床准确地安装在基础(或试验台)上,以保证机床检验和使用时的安装状态与装配时基准相同。 当机床在加工装配过程中,如机床基础件是在正确安装的情况下加工各工作面(如导轨面)的,置于床身上的其它部件(如滑板)也是在此情况下配做达到其精…     

设备基础预留螺栓孔设计对质量的影响

本文叙述设备基础中预留螺栓孔的细部设计，与设备底座、安装工艺、螺栓孔灌注材料密切相关，希望引起重视。因设计不当，降低设备基础刚度；或使地脚螺栓不能起到有效联接作用，形成孤岛效应，已成为设备基础质量的首要问题。     

金属切削机床基础工程对地基预压加固的质量不容忽视

1引言 金属切削机床基础的设计,按现行动力机器基础设计规范(GB50040-96)要求,一般对精密重型机床的基础建造在可压缩性土层上时,采用预压加固地基措施.目前我国引进的先进金属切削机床,加工精度达2μm,单机重均在1000kN以上,最大单机重已达5200kN,所以基础的倾斜与变形对该类精密重型机床的加工精度有很大影响,设计中均要求对设备基础建设完成后,在机床安装前进行预压,以使地基产生预沉量而固结.     

穴位埋线治疗顽固性面瘫的临床观察

目的观察穴位埋线治疗顽固性面瘫的临床疗效。方法对54例顽固性面瘫患者分成2组,治疗组27例穴位埋线疗法,对照组27例用常规针刺方法。结果观察组总有效率为92.56%,治愈率为55.56%,对照组总有效率为66.67%,治愈率为25.92%,差异有非常显著性意义(P<0.001)。结论患侧穴位埋线治疗顽固性面瘫有较好的疗效,临床值得推广。     

第五讲 平行度的检验

GB 1183-80“形状和位置公差术语及定义”中指出,在给定方向上的平行度公差带的定义是给定一方向时,公差带是距离为公差值t,且平行于基准平面(或直线、轴线)的两平行面之间的区域(见图1α);当给定相互垂直的两个方向时,是正截面尺寸为公差值t1×t2;且平行于基准轴线的四棱柱面的区域(见图1b)。 上述定义在机床精度检验中并不完全合适。因机床的平行度检验还包括直线运动和平面(线)之间的平行度,检验方法就应根据机床的特点选择一种能保证机床加工精度且测量又简单直接的方法。 由于上述情况,所以,我们在检验平行度时,一定要根据各类机床的…     

机床精度检验方法讲座——第六讲 垂直度、等距度、同轴度的检验方法

在机床精度检验中,垂直度的检验主要包括:部件的直线运动、机床工夹具定位平面和直线(轴线,回转中心线、两平面交线)相互间的垂直度。此外,等距度和同轴度(在精度标准中过去一般称同心度)的检验,也是不可缺少的检验项目。故在本讲中与垂直度一起介绍一下。 一、垂直度的检验方法 1.概念 垂直度的检验,基本上也就是平行度的检验,其不同的地方是被检面(或直线)垂直于基准面(或直线)。在 GB 1183-80标准中,指出了在给定方向上的公差带定义是:“当给定一定方向时,公差带是距离为公差值t,且垂直于基准平面(或直线、轴线)的两平行平面(或直线)之…