凸轮轮廓曲线在AutoCAD中的快速生成

基于AutoCAD在凸轮图解法设计中的成功应用,结合Excel强大的制表与计算功能,给出了一种Excel与AutoCAD相结合快速生成凸轮曲线的方法。

对一道高考物理试题解答的商榷

对一道高考力学题的两种解法提出商榷,并给出了图像解法.

递归Prolog程序的正确性证明

本文提出了一种称为Ｐｒｏ图的图形方法，并用该图形方法进行了递归Ｐｒｏｌｏｇ程序的正确性证明．文中包括Ｐｒｏ图的基本概念及生成规则，Ｐｒｏ图上各节点的关系，Ｐｒｏ图的激活过程，并给出了关于递归程序正确性证明的公理和定理．

城市地下道路视距验算及优化设计探讨

随着我国经济和社会的发展,地下道路在我国城市核心区得到了越来越多的应用。地下道路作为一个封闭的结构体,视距条件对其通行的安全、顺畅有较大影响。本文结合郑州107辅道快速化改造工程隧道段工程设计,采用横净距解析法和视距图解法进行地下道路视距验算,论述了优化道路线形设计、设置视距平台、合理交通管控等视距优化设计措施,验证了工程设计的可靠性和合理性,并为其它类似工程设计提供了有益的参考。

突水点立体图解法识别煤矿顶板突水水源

井巷突水点是局部复杂水文地质条件最真实、可靠的动态揭露和信息载体;当实际揭露水文地质条件与勘查结果差异较大或表现出不同于区域水文地质背景的异常特征时,有限的突水点是快速、可靠推断突水源和解释突水原因重要依据。突水点立体图解法实质为水文地质图解法。本文利用有限突水点的水平、垂直方向立体图解推测山西元堡煤矿顶板含水层富水标高、圈闭顶板富水区、识别突水含水层、揭示顶板意外突水原因。元堡煤矿顶板水突水源为井田北西单斜贮水构造山西组底部砾岩段和下石盒子组底部中~粗砂岩含水层水,与底板水及奥灰水无直接水力联系,具有可疏性;元堡煤矿顶板突水已经将富水标高由+1 170 m降至+1 140 m。立体图解法的优点是充分利用井巷突水信息,在来不及或避免大规模水文补勘或试验的条件下快速、可靠识别突水源。