基于一种树型方法的自动推理

根据表方法建立了一种树型证明方法,在机器实现方面比表方法优越,而且还可以证明这一方法是可靠的和完备的.以PROLOG语言为背景,实现了由此方法而建立的命题逻辑中命题演绎的自动推理.     

食品罐头内真空度的无损检测

至少有十种方法可用来检测食品罐头内的真空度。本文特别介绍一种扫频式电磁场声电检测法。这种方法的原理如下;扫频式电磁场作用于罐头的罐盖而使之振动,振动的音响由一个电探头所检测。研究已经表明,罐盖的振动的自然频率与罐内的真空度有关,自然频率随真空度的升高而增加。本文论述这种方法和装置的详细结果。     

渐开线齿轮变位系数封闭图及其微机绘制

本文研究了影响变位齿轮传动质量的各种因素及其数学模型，提出在微机上绘制 任意齿数组合及用不同齿廓参数的齿条型刀具加工的渐开线圆柱齿轮变位系数封闭图。     

一类振动系统的数学模型

本文建立了一类振动系统的数学模型m(t)(d~2x)/dt~2+(a+(dm(t))/dt)dx/dt+bx=m(t)g其系数a+dm(t)/dt是不连续的;并进一步求出了方程的解,建立了计算过渡时间的公式。     

一种基于Petri网表示的自动规划方法和算法

本文提出一种利用Petri网进行机器人装配规划的方法。文章主要讨论装配问题的Petri网表示问题并给出了基于该表示方法的规划算法,这个规划算法也可以应用于其它规划问题。     

Auto CAD图形软件的编程环境

本文详细介绍了用 BASIC.FORTRAN 和 dBASEⅢ编写 Auto CAD 绘图程序的方法,并给出了实际例子.文中给出的方法采用子程序方式建立 Auto CAD 的绘图命令集,用户可以用高级语言或 dBASEⅢ描述绘图命令子程序集,供主程序调用.执行带有绘图命令调用的程序之后即可生成 Auto CAD 可以执行的绘图文件.利用这些方法可以为 Auto CAD 图形软件建立方便、实用的编程环境.     

模糊数学在新安江模型参数自动优选中的应用

本文对新安江模型参数及模拟误差作了一系列变换,在现有目标函数分析的基础上,用模糊数学的概念设定了模糊目标函数.同时,本文还用Powell无约束方法对模型中敏感的参数作了自动优选,结果唯一性很好,初值影响很小.     

氪化法测量微量磨损的定度试验初探

放射线同位素~(85)Kr 使用安全,获取方便。作者研究用此试验测定10~(-5)g 以下的微磨损量。从实验和理论上分析、比较了放射性衰变量和磨损量的定度关系曲线。提出两类曲线仅与氪化时间、吸收系数与扩散系数有关。氪化时间可以控制。吸收系数与材料类型有关。扩散系数与材料状态及表面处理有关。若通过大量实验,求得上述两者的关系,氪化法是可以测定微磨损量的。     

重型货车轮胎接地压力分布实测

目前路面力学大部分相关研究都把轮胎接地压力简化为圆形均匀分布,这与实际有很大的差别.轮胎接地压力分布随着轮胎的胎压、负荷、花纹甚至使用年限的不同而有很大不同,且呈明显的非均匀分布.为此利用自主开发的轮胎接地压力测试仪,进行了重型货车不同花纹轮胎在不同轮胎胎压和不同负荷作用下的接地压力分布测量.     

建筑工程施工阶段的测量监理要点探讨

介绍了监理工程师在施工测量中的工作要点，即方格网的建立、施工测量、高层建筑的测量控制及建筑变形测量，是对测量监理工作的一次深入探讨。