论文部分内容阅读
哥德尔(Godel)定理的发现
【机 构】
：
东南大学
【出 处】
：
中国计算机学会理论计算机科学91学术年会
【发表日期】
：
1991年期
其他文献
数控液压伺服系统是将数控技术和液压伺服控制技术相结合的新型控制系统。文章给出这种控制系统的组成和工作原理。对实验装置中三通阀差动液压缸组成的液压伺服系统进行了理
该文扼要阐述了磨粒流挤压抛光技术的工作机理。根据磨粒流专机与液压机“共性”，该公司开发出一种依靠外力作动的“双向联锁磨粒流挤压抛光装置”。该文对这一实用新型装置的
本公司根据自身的条件,应用激光技术对花网制作进行了研究和开发,将激光雕刻技术与印花分色软件及控制技术结合起来,取得了成功.数控印花激光制网机米用激光直接“雕刻”花网
吹泡泡,你一定玩过.不过,吹出漫天飞舞、散发着神秘蓝色荧光的泡泡,你肯定没有尝试过.现在,你可以从网上购买一瓶能吹出荧光泡泡的液体啦.这些泡泡的荧光之源则是紫外线.
该文介绍在一种ＮＭＣ系统中实施快速定位控制的优化，提出了在该系统中实现步进电机最佳升降速控制的方法，还分析在软件优化设计中的几个重要问题。
该文简要介绍了应用数控坐标磨床加工高精度圆柱凸轮的方法研究和程序编制。应用反转原理把圆柱凸轮的复杂空间曲线简化为平面曲线。建立坐标磨床与数控转台（以下简称Y轴和A轴
这辆折叠自行车由德国制造,折叠后体积仅0.05立方米(50 x 40 x 25厘米),重约6~8千克,可以轻松地塞进普通拉杆箱,称得上是世界上最小的折叠车。它的速度可以达到25千米/时。