基于抽象实现结构图的数据流方程切片方法

提出在PASCAL抽象实现结构图上,采用数据流方程算法实现程序切片的自动化.该方法将过程蓝图的抽象实现结构图引入静态过程内切片领域,实现了程序表示形式与程序切片处理形式的统一,避免了传统方法产生控制流图的需要,简化了切片处理过程,提高了切片处理效率,并直观地反映了切片后的程序变化.     

用ISD2500芯片实现的全自动语音介绍机

介绍了ISD2500系列语音录放芯片的功能特点,及利用ISD2500系列芯片及TX05D红外线反射开关设计的全自动语音介绍机的工作原理。     

双局扇双电源自动切换装置在煤矿安全生产中的应用

介绍了双局扇双电源自动切换装置在煤矿安全生产中的具体应用,阐述了实现局扇连续运转的根本途径,从而可以保证采掘工作面的安全生产。     

航空电子设备自动测试系统的研究与设计

设计一种利用计算机测控技术研制的航空电子自动测试系统,论述了系统的硬件和软件的组成结构,并对系统设计中的关键技术进行了讨论。     

神经网络在矿井胶带机火灾探测中的应用

综合考虑温度、温度变化率、一氧化碳浓度、一氧化碳浓度变化率为胶带机火灾探测系统的参数 ,采用三层前馈 BP神经网络对胶带输送机火灾探测进行研究 ,经过 81组数据样本训练得到合适的网络结构及网络参数 .仿真结果表明 :当隐层节点数为 1 0 ,动量因子为 0 .95时 ,训练时间最短 ,误差下降最快 ;对 PVC胶带机的火灾燃烧试验探测结果表明 ,当输出报警限取 0 .5时 ,经一定的时间延时后 ,运用该网络可在燃烧发生 35 0 s时进行报警 ,从而有效实现了矿井胶带输送机火灾的早期报警 ,并增强了系统的抗干扰能力及对环境的适应性能     

可执行代码级优化器生成框架

编译基础设施生成的编译器对与目标机特征相关的优化支持不足 ,同时嵌入式应用系统的发展要求高质量的目标代码 ,为此 ,提出一种可执行代码级优化器生成框架EOGF (executable optimizer generation framework) ,以及该框架的关键支撑技术。与现有的编译器生成工具相结合 ,如 GCC(GNU com piler collection) ,可以实现高质量编译器的快速开发 ,并可以方便地充分利用目标机特点进行相关优化 ,提高目标代码质量。实验结果证明 ,EOGF是一个简便、灵活且有效的可执行代码级优化器生成工具     

高效无人刨煤机工作面的开采技术研究

介绍了采用 PROMOS 自动控制系统的新型高效无人刨煤机工作面的设备配备与布置,基于刨煤面对“四机”和支架的四种基本操作、实施远程集中控制和全部自动化的特点,指出了与工作面条件相适应的正确的工艺方法。在刨煤过程中通过调斜装置控制刨头,避免刨头啃底或留底,应专设巡视员对全工作面的所有机电设备及煤层变化情况进行全面检查,发现问题及时通知操作员进行调整。实际应用表明,这一方法最高日产7200t,创造了我国薄煤层开采新水平。     

隧道监控系统中交通控制方案的自动触发

通过一个隧道监控系统的研发实例，对隧道监控系统给予介绍．当隧道出现紧急事件(报警事件)时，该隧道监控系统能对各种事件做出反应，不丢失任何重要数据和报警信息，并自动触发交通控制方案，让操作员能够第一时间发现和干预，尽可能预防交通事故的发生，并为事故的处理提供及时强有力的援助，为迅速恢复道路畅通提供保障．该系统运行稳定可靠，操作简单，达到了预期的效果．     

基于多个Markov信道的联合自动请求重发协议

讨论了三种在多个并行的Markov信道上进行实时数据传输时使用的选择重发式自动请求重发(SR-ARO)协议.构造了一个简单的多信道数据传输模型.以此为背景,在原有的独立多信道SR-ARQ(IMSR-ARQ)和循环联合SR-ARQ(RJSR-ARQ)的基础上,提出了针对Markov信道的交叉联合SR-ARQ(CJSR-ARQ)协议.并对这三种SR-ARQ协议的性能,主要是数据包的重发尝试次数和接收端的重排缓冲区占用情况,进行了理论分析和软件仿真.结果表明,在仿真中假定的信道条件下CJSR-ARQ可以在保持系统吞吐率不变的情况下,减小数据包重发的次数以及重发次数在不同数据包之间的差别,同时显著地减小了重排缓冲区的占用率.     

丘陵山区节水灌溉工程自动控制系统

介绍了以工业控制计算机、可编程控制器及ADAM智能模块等设备共同构成的计算机智能控制系统在丘陵山区节水灌溉工程中的应用．该项目已在江苏省宜兴市茗岭丘陵山区得到了实施。