摘要：详细介绍了一种帮助文件的生成和使用方法,RTF文件采用文字处理软件Word编辑;HLP文件采用高级程序设计语言Delphi自带的工具软件生成;最后介绍了在Delphi程序设计中如何调用此帮助文件。

摘要：OpenCoho是一个通过可达性分析及计算对集成电路设计进行形式化验证的软件工具。它可以验证由非线性常微分方程建模的电路系统的正确性。提出基于FPGA的验证算法硬件加速方法,探讨环形振荡器电路有效性验证,通过仿真说明该方法的可行性和意义。实验结果表明,利用该方法平均验证速度提高了约10倍。

摘要：本文主要介绍了基于ARM Cortex-A8的车牌识别系统。该系统采用BeagleBone Black开发板作为主控制器,罗技C170 USB网络摄像头作为图像采集设备,微雪7寸HDMI LCD触摸屏作为显示设备。开发板运行Debian操作系统,使用Qt作为集成开发环境,调用OpenCV以及Tesseract算法库。本文设计的软件进行基于灰度化、高斯滤波、Sobel边缘检测以及OTSU二值化的预处理,采用形态学方法实现车牌定位,利用水平投影和垂直投影方法,结合中国车牌先验知识完成字符分割,最后通过Tesseract OCR引擎完成字符识别。整个系统性能稳定,识别准确率高,适用于大多数车牌识别的场景。

摘要：FRP复合材料具有轻质、高强和耐腐蚀等特性,加固桥梁所需费用不高,效果可观。在加固PC梁时,由于FRP片材的应变很小,设计容许应变值只有0.01左右,这样造成预应力钢筋的应变也被限制,预应力筋的高强度由于应变的限制而不能发挥。同时,高强预应力钢筋没有明显的屈服点,实际上使名义屈服点以后的强度储备未能利用前,便由FRP片材拉断而破坏,降低了加固效率。

摘要：公路工程建设过程中,裸露基岩边坡如不及时采取防护措施极易造成水土流失、滑坡等灾害的发生。结合某三级公路,工程区总体属中低山剥蚀地貌,工程沿线大部分地段基岩裸漏。裸露基岩边坡防护工程的设计与施工,对施工现场高边坡防护、防排水措施等要点进行了论述,通过边坡生态护坡设计,达到施工质量安全双优目标。

摘要：针对钢制暖气片生产中焊缝焊接技术要求较高,劳动强度大,且不能保持生产稳定的问题,提出了开发成组焊缝自动焊缝机的设计思路,给出了自动焊缝机的工作原理,依据焊接的实际操作过程,建立相应的焊缝焊接数学模型,结合焊机精度要求给出了自变量步角确定的方法,为钢制暖气片自动焊机控制程序的开发提供了必要的技术准备。

摘要：针对模拟与混合信号(AMS)电路形式化建模逼真度低和描述不规范的问题,提出一种基于基尔霍夫电流定律节点分析的形式化建模方法。通过扩展计算树逻辑公式,在保留电路更多物理特性的前提下综合描述和验证AMS电路的离散事件和动态行为,保证性质验证的精确性和可信性。以环形振荡器为例,给出该方法的实现过程,并通过Coho工具对振荡器电路进行验证。实验结果表明该方法正确、有效。

摘要：云冈矿北部集中皮带机头驱动碉室断面大,结构复杂且处于断层破碎带内,施工时采用顶部导硐,先拱后墙上下分层光爆掘进,加长锚固绑筋锚喷联合支护方法,成功地进行了断层破碎带大断面硐室绑筋锚喷支护施工。

摘要：刀具路径干涉问题一直是数控加工中困扰我们的一个问题。特别是在模具加工中进行三维造型软件设计,经CAM软件进行后处理生成加工代码,传输到数控加工中心上进行加工时,干涉现象尤为突出。文章通过对数控加工中心中一个实际零件的加工所产生退刀路径干涉问题进行分析,仔细比对修改前后的代码,查看系统参数,观察实际走刀路径,找出了产生干涉的原因,并提出了解决该问题的办法。

摘要：梁体升降过程中一旦发生失衡现象,将会很容易导致质量和安全事故的发生。为此,研究一种高架桥梁施工中梁体升降液压平衡自动控制方法。该方法分为两部分:先是以控制速度为目标,设计一种控制器,通过依靠控制液压油缸速度来实现液压平衡;后为控制器设计一种控制算法,该算法为PID模糊控制算法。结果表明:与秦利民,王大江、张宇、王众等人以及张轲、金鑫、涂宝新等人提出的方法相比,利用所研究方法对梁体升降进行液压平衡控制后,梁体倾角最小(0.125°),说明本方法的控制效果最好,实现了梁体升降平衡。