Atmstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴涵,且
,则XZ→YZ为F所逻辑蕴涵。这条推理规则称作【 】。
试计算检验孔用光滑极限量规的通规和止规的极限尺寸。已知量规公差T1=4μm,通规公差带中心至工件最大实体尺寸的距离Z1=6μm。
A.正在使用的文件不能被删除
B.微型计算机的字长不一定为8的整数倍
C.系统文件与具体硬件的逻辑功能无关
D.Windows 95/98/2000为32位的操作系统
E.源程序只有经过编译才能被计算机执行
A.起重机械,是指用于垂直升降或者垂直升降并水平移动重物的机电设备,其范围规定为额定起重量大于或者等于0.5t的升降机
B.起重机械包括额定起重量大于或者等于1t,且提升高度大于或者等于2m的起重机和承重形式固定的电动葫芦
C.客运索道,是指动力驱动,利用柔性绳索牵引箱体等运载工具运送人员的机电设备,包括客运架空索道、客运缆车、客运拖牵索道等
D.大型游乐设施,是指用于经营目的,承载乘客游乐的设施,其范围规定为设计最大运行线速度大于或者等于5m/s,或者运行高度距地面高于或者等于2m的载人大型游乐设