procedure

佘志坤，北京航空航天大学数学学院教授、博士生导师。主要从事非线性混成系统安全性验证与稳定性分析的研究。Optimization、IEEE Transactions on Automatic Control等国际期刊和CAV、HSCC、AAAI等国际会议上发表学术论文70余篇，研究成果获得包含1位图灵奖获得者、3位自动推理杰出贡献奖获得者、12位院士、20余位ACM/IEEE会士在内的国内外学者的正面评价与引用

佘志坤，北京航空航天大学数学学院教授、博士生导师。主要从事非线性混成系统安全性验证与稳定性分析的研究。Optimization、IEEE Transactions on Automatic Control等国际期刊和CAV、HSCC、AAAI等国际会议上发表学术论文70余篇，研究成果获得包含1位图灵奖获得者、3位自动推理杰出贡献奖获得者、12位院士、20余位ACM/IEEE会士在内的国内外学者的正面评价与引用

rpc服务器不可用的意思是指远程过程调用协议不可用，对于需要使用远程服务的用户，比如远程打印等，禁止后就会出现rpc服务器错误的提示；其解决办法：1、按“win+R”键打开“运行”，输入“services.msc”；2、在“服务列表”中找到“Remote Procedure Call Locator”服务；4、将“RPC Loader”服务启动类型改为“自动”即可。 本教程操作环境：windows7系统、Dell G3电脑。 RPC服务器不可用即远程过程调用协议不可用

蜗轮蜗轮蜗杆升降机作为一种功能部件已被广泛(extensive)应用于各行各业。例如：机械行业的传动装置、数控执行装置；冶金（内容:从矿石中提取金属或金属化合物)行业的轧辊（gǔn)运动装置、炼钢厂钢包（解释:钢水包用于炼钢厂进行浇注作业)提升和翻转装置以及人所不能及的场所的运动传递（transmission)装置；铁路车辆行业的车辆举升架，大型柔性(Flexible)夹紧、转位工装、焊接机器人等；建筑行业的举升装置、大型门窗自动或遥控开启装置；水利等行业用闸（zhá)门的开启装置、雷达及太阳能遥感装置；医疗器械、升降舞台及汽车制造业的举升装置；以及航空航天、国防军事的传动装置等等。事实（Fact)上，蜗轮蜗轮蜗杆升降机几乎可以在任何需要实现机械位移传动的地方使用