数学问题的机械化方法一般表现为机械化程序,而具有确定性、预见性、普适性和具体性的特点。数学机械化又是创造性思维和非创造性思维活动的统一。数学机械化思想来源于中国古算,并从笛卡尔著作中找到根据,其产生和发展主要经历了从笛卡尔、莱布尼兹等数学家和哲学家的思想奠基,到希尔伯特定理证明机械化思想从理论上的明确提出,再到定理的机器证明等几个重要的发阶段。吴文俊机械化定理的创立,为数学的机械化奠定了坚实的基础,并使数学研究的面貌改观。但数学机械化的道路漫长而艰难 ...
傅海伦
core
本发明提供一种可见光相机焦平面快速对准方法及装置,主要解决了现有技术进行焦平面对准时效率低、精度差的问题。该可见光相机焦平面快速对准装置包括相机和与相机连接的被测镜头,还包括平行光发射机构、分光棱镜和反射棱镜,其为航空、航天各类相机焦平面对接过程提供精度保证及提高此过程装配效率,尤其是大批量产品的生产研制任务 ...
陈卫宁 +5 more
core
Development of Helical Drill Point Grinders
介绍了几种自行研制开发的螺旋面钻尖刃磨机床。这些刃磨机结构简单 ,成本低 ,操作容易。在这些刃磨机上所刃磨出的螺旋面钻尖与普通钻头钻尖相比可实现自动定心功能 ...
杨旭磊, 邹平
core
Automatic transmitting and positioning aluminum profile drilling machine and method
本发明公开一种自动输送定位的铝型材钻孔机及钻孔方法,钻孔机包括底座、升降平台、输送机构、夹紧机构和钻孔机构,底座顶部设置升降平台,输送机构和夹紧机构并列设于升降平台上,钻孔机构设于底座一侧;按照铝型材的输送方向,输送机构、夹紧机构和钻孔机构依次连接。钻孔方法是先通过升降平台调整各机构的高度,然后启动输送机构,将铝型材的待打孔端送至钻孔机构上,接着通过夹紧机构夹紧铝型材,最后通过钻孔机构对铝型材端部进行钻孔。本铝型材钻孔机结构简单,使用方便,可代替传统的人工操作,实现自动钻孔,其工作效率高,安全系数也高 ...
沙亚红 +4 more
core
[Assistance and breakthrough of digitalization and intelligent digitalization in implant restoration of edentulous jaws]. [PDF]
Sa Y, Cai Y, Sun Y, Zhao M, Xia S.
europepmc +1 more source
[Current applications and future perspectives of automation technologies and devices in oral diagnosis and treatment]. [PDF]
Zhang X, Cao H, Zhou Y.
europepmc +1 more source
[Application and research progress of mandibular distraction osteogenesis in craniofacial microsomia]. [PDF]
Li L, Zhang Z.
europepmc +1 more source
[The application of surgical robots in head and neck tumors]. [PDF]
Huang X +23 more
europepmc +1 more source
[Surgical treatment of Meniere's disease]. [PDF]
Kong W +11 more
europepmc +1 more source
[<i>In vivo</i> study of posterior cruciate ligament reconstruction augmented by a novel elastic internal tension-relieving augmentation tape in Diannan miniature pigs]. [PDF]
Shi Z +6 more
europepmc +1 more source

