【摘要】本发明公布了一种改进的基于符号执行的软件静态测试方法及工具，有如下步骤：1、第一阶段分析。其中包括：1.1)将被测代码输入测试工具中；1.2)根据C语言文法自定义一个关键词列表进行词法分析；1.3)根据C语言文法自定义函数结构模块及

【摘要】 本实用新型公开了一种铁路站间半自动闭塞信号传输系统，至少包括两台位于铁路沿线并相隔一定距离的闭塞机，即闭塞机A和闭塞机B，每台闭塞机都配有一台与之相连的传输设备，其中传输设备A通过闭塞外线与闭塞机A相连，闭塞外线一路经控制电路、区

【摘要】本实用新型是一种秸秆抽拉坐凳，其特征包括秸秆上面板、秸秆下面板、金属轨道槽、金属管、金属U型腿、可拆卸金属连接件以及蝴蝶翼螺丝，其中金属轨道槽和金属管放置于秸秆上面板和秸秆下面板之间，金属管贯穿于金属轨道槽中，将两边的秸秆上面板和秸

【摘要】本发明公开了一种基于视觉处理的盲道检测系统，包括双摄像机输入端、DSPARM双核处理器、视觉处理模块和输出接口，其中：双摄像机的镜头保持在同一平面且能以同一点为轴心进行水平和垂直两个方向的旋转，DSPARM双核处理器和双摄像机输入端

【摘要】本发明公开了一种印染企业高含盐染色废水零排放的方法，废水首先进入调节池均质，然后进入反应池，反应池内加入硫酸亚铁调节pH值并发生混凝反应，反应后出水进入沉淀池沉淀，沉淀池上清液经过电化学反应器处理，然后进入二级沉淀池去除浮渣和沉渣，

【摘要】本实用新型涉及一种新型数字电源开启关断电路，电容C1与电阻R1并联后一端接+12V，另一端与MCC40106引脚1和电阻R2相连，电阻R2的另一端接接地端，二极管D1的阴极与MCC40106引脚4相连，阳极接SHUT，电容C2阳极与