论逻辑真理的范围

通过考察两大类逻辑系统:实在论逻辑系统和反实在论的逻辑系统,发现Henkin的方法能够给出这些系统的完全性证明.用这种方法可以构造出包含所有系统逻辑真理的集合,而这个集合就是逻辑真理的范围.所以完全性是一个划分逻辑真理和非逻辑真理的标准.     

钢桶螺纹盖机器人旋紧控制系统

为了解决人工操作或机械半自动化旋紧钢桶螺纹盖所带来的弊端,提出采用工业机械臂对其进行自动旋紧。运 用EtherCAT总线技术,通过CoDeSys开发软件,设计开发了一种机器人旋紧控制系统,使得机器人可以对钢桶螺纹盖进 行自动抓取、定位和旋紧,完成相应的工序。该设计实现了钢桶螺纹盖旋紧的自动化生产,提高了生产效率和加工质量。     

数的定义:戴德金与弗雷格

本文主要考察戴德金和弗雷格对自然数概念所作的划时代的工作.借助这些工作,自然数概念由"直观上清晰明了的"转变为"逻辑上严格精密的".虽然他们以不同的方式给出了自然数的定义,但可以证明它们在数学上是等价的.在哲学上,两位思想家却存在着一些差别.虽然戴德金同意弗雷格将数看作客观独立的对象,但他拒绝将数还原为类或概念的外延的还原主义立场.戴德金反对将数还原为任何已知的对象,而视其为心灵创造的新事物,他同时坚持任何满足算术公理的事物都可看作数的代表.     

机械专业“3+1+X”本硕博贯通培养模式一体化课程建设探索

该文针对目前国内高校机械专业工科人才培养面临的突出问题,以国家重大战略需求为导向,以机械专业内涵建设为突破口,深化机械学科与其他学科交叉融合,基于科研驱动与人才培养相结合的理念,探索了机械类专业“3+1+X”本硕博贯通培养模式。并针对本硕博“4+3+3”各阶段培养的机械学科研究方向和本科专业知识不适应、课程或教学内容重复、培训环节或课程衔接在一定程度上不合理、知识广度和深度不足等问题,结合机械专业特点和学科优势,兼顾理论课程、实验课程、实践基地培训、国际化交流、保障体系建设等环节,优化教学和科研力量,构建了跨学科和纵向递进的机械专业本硕博综合一体化课程的实施路径,为贯通型人才培养模式的改革提供有益探索。     

2019年中国就业形势观察

就业既是经济的"晴雨表",又是民生的"温度计"。行至年终,全年新增就业指标已提前达标。在外部不稳定不确定因素较多、经济下行压力加大形势下,就业缘何能够稳稳扎牢中国经济"底盘",成为当前经济运行的突出亮点?转型升级潜力大,稳就业有动力位于成都市双流区的通威太阳能(成都)有限公司生产车间内,一支支机械臂有序挥舞,一辆辆智能无人车往来穿梭,十几条全封闭太阳能电池片自动化生产线正高速运转。     

中职学校公差与配合课程教学心得

公差与配合课程是职业院校机械类专业的重要基础课程之一。同时,这门课程的学习质量对学生学习机械制图、机械基础机械制造等课程都会有一定的影响。所以学好这门课程对职业院校机械类专业的学生来说至关重要。本文结合作者的教学体会,就中职学校公差与配合课程教学方法及效果进行分析探讨。     

机械基础创新实验教学体系研究

机械基础系列课程在培养机械类专业学生工程实践能力和创新设计能力等方面起着十分重要的作用.文章讨论了机械基础创新实验教学体系的基本内容:创新实验教学思想观念、创新实验教学目标、创新实验教学内容、创新实验教学方法与手段、创新实验教学评价和创新实验教学管理等六个方面.旨在创建以创新实验教学思想为指导,以机械分析与综合为基础,以机构运动方案设计为主线,以提高机械类学生的分析能力、综合能力和创新设计能力为目标的实验教学新体系.     

约定论或结构实在论

一直以来,彭加勒被视为约定主义者,然而,这一观念有理由受到质疑。因为,通过进一步研究可以看到,除“约定主义”之外,彭加勒科学哲学中还包含有“关系实在论”、“多元主义”、“整体论”及“马赫主义”等丰富的思想。因此用“结构实在论”来概括彭加勒的科学哲学比用“约定主义”或“经验约定论”更合适。     

提高工科大学生综合素质培养的思考——以沈阳农业大学机械创新设计大赛为例

大学生机械创新设计大赛是全国理工科大学生四大竞赛之一,对提高工科大学生综合素质具有重要意义。通过整个赛事活动,培养了工科大学生的创造性思维、创新能力、艰苦创业精神、团结协作精神,提高了工科大学生对所学知识的综合运用能力和实际动手能力。然而,机械创新设计大赛毕竟起步较晚,各院校的实际条件也存在较大差异。特别是农业院校里的工科专业,由于缺乏必要的硬件条件,宣传不利,重视程度不够,整个赛事活动暴露出许多问题。所以,只有很好地解决这些问题,才能真正提高机械创新设计大赛在工科大学生综合素质培养中的作用。     

智能机器人机械图自动理解的研究

本文论述了智能机器人的机械图理解,这一理解过程包括机械图三维模型的建立,利用了人理解三视图的知识和三视图之间的对应关系,从组合体的三视图中提取出具有三维信息的基元体,并由基元体形成组合体的三维结构;零件图的理解和装配图的理解,整个系统采用了类似于专家系统的结构,对系统的改进可以实现加工机器人以及装配机器人的目标理解功能。