NUM-1060 Ⅱ CNC系统自动回零程序设计

本文介绍了采用NUM-1060ⅡCNC系统，在设计制造CX600数控车铣加工中心过程中，通过E变量判断回零状态，调用Part功能子程序，完成自动回零的方法。该方法切实可行，已用于生产实际。     

论Ada对DOD国防系统软件开发标准的适应性

Ada语言与DOD-STD-2167A是美国国防部(DOD)在软件方面最重要的两个标准,对它们之间的一致性与适应性进行研究是很有必要也很有意义的。这项研究的关键是研究Ada程序结构与DOD-STD-2167A静态结构的适应性。为此,本文首先详细分析了DOD-STD-2167A的静态结构,然后研究了Ada程序结构对这种静态结构的对应问题,指出了对应中存在的问题,在此基础上引入了库单元的概念。本文最后讨论了与DOD-STD-2167A相适应的Ada软件开发策略。     

数控车床长度补偿功能的使用研究

数控车床上坐标指令（G92、G54～G59）与刀具长度补偿功能（Txxyy,调用xx号刀具和yy号刀补）不能同时使用,当调用后者时,前者指定的工件原点自动失去作用,与数控铣床上两者的使用方法不同.数控车床的对刀方法有其特殊性.本文介绍数控车床上对刀操作,长度补偿值的设置方法,说明长度补偿与编程坐标系原点的关系,长度补偿功能的使用技巧.     

基于宏程序的外球面粗精加工

目前,小内存的数控机床仍然是我国机床的主流,使加工程序变得简洁,对实际加工有着很重要的意义.宏程序的应用可以大大简化编程,本文通过实例介绍了数控铣削加工外球面的宏程序.     

CROMEMCO LISP符号微分程序系统

本文说明了符号微分程序系统的一些特征、功能、设计思想和程序设计技术。 该系统是使用人工智能专用语言LISP写成的,并且已经在CROMEMCO系统Ⅲ微型计算机上正确地运行。文中还给出了在该机器上求出的一些复杂函数的符号微分实例。     

中国探月工程

"嫦娥4号"于2019年1月3日成功实现人类航天器首次在月球背面软着陆,"玉兔2号"月球车率先在月背刻上了中国足迹。至今,国际月球探测活动共实施126次,期间出现两个探月高潮。20世纪50—70年代,美苏两个航天大国之间的竞争引起第一轮探月高潮。20世纪末至今,各航天国家意识到月球探测的战略意义,纷纷提出月球探测计划并积极实施,月球成为各国争先探测的热点,掀起第二轮探月热潮。中国自2004年首次绕月探测工程立项实施以来,共开展了"嫦娥1号""嫦娥2号""嫦娥3号""嫦娥4号"及再入返回飞行试验共5次月球探测任务,实现"五战五捷",在空间技术、空间科学与应用、国际合作等方面取得了非凡成就,积累了丰富的经验,后续将继续开展以无人月球科研站为主的月球探测活动。     

关于计算机2000年问题的探讨

计算机２０００年问题已引起人们的普遍关注,必须在进入２０００年前予以妥善解决。对其可采用修改应用程序、更换系统软件、更换硬件设备等多种办法进行处理。在应用程序的修改中采用变形的日期移位法是对大多数办公系统容易实现且又行之有效的办法。     

一种模块级可降级重组双机系统的系统管理程序实现方法

分析了模块级可降级重组双机系统的有效组态数,并与双机系统级备份进行了比较。分析结果表明,随着冗余级别的降低,系统的可靠性有所改善,但系统的有效组态数将大大增加,这将导致系统管理程序的复杂化。文章介绍了该系统管理程序的设计准则,并对其中几个有特点的子程序作了简要说明。     

航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

计算机辅助设计航空器目视盘旋进近程序

说明了运用计算机技术解决飞行程序设计的问题,特别是运用几何数学中三角形三个顶点计算三角形面积,其面积值的符号与三个顶点的顺序密切相关的原理,成功地解决了航空器目视盘旋进近保护区的确定问题。