湖北省城镇垃圾处理政策研究

在对垃圾处理现状进行系统的调查研究的基础上,作者提出了湖北省城镇垃圾处理的合理改革与相应措施．     

数字测控系统电磁兼容性设计技术

从模块化的角度,系统、全面地探讨了数字测控系统电磁干扰的来源及机理,并依据所建立的干扰模型和设计不等式,给出了丰富的设计对策。     

改革实践教学模式、培养学生综合能力──增设给水排水专业质量检测实习的体会

对给排水专业在优化专业教学体系,深化专科教学模式及教学内容改革中,实施的四次大型综合性实践教学,进行了认真总结．经过改变随课跟进的实验教学旧模式,在教学计划中增设了“水质指标综合测试与水质评价”实习内容使分散的教学实验得以“水质监测与评价”为骨架,有机穿插在实践教学中,为专科学校培养复合应用型人才,进行了有益的探索与实践,并获得较好效果．     

Drawings of graphs on surfaces with few crossings

We give drawings of a complete graphK _n withO(n ⁴ log² g/g) many crossings on an orientable or nonorientable surface of genusg 2. We use these drawings ofK _n and give a polynomial-time algorithm for drawing any graph withn vertices andm edges withO(m ² log² g/g) many crossings on an orientable or nonorientable surface of genusg 2. Moreover, we derive lower bounds on the crossing number of any graph on a surface of genusg 0. The number of crossings in the drawings produced by our algorithm are within a multiplicative factor ofO(log² g) from the lower bound (and hence from the optimal) for any graph withm 8n andn ²/m g m/64.The research of the third and the fourth authors was partially supported by Grant No. 2/1138/94 of the Slovak Academy of Sciences and by EC Cooperative action IC1000 Algorithms for Future Technologies (Project ALTEC). A preliminary version of this paper was presented at WG93 and published in Lecture Notes in Computer Science, Vol. 790, 1993, pp. 388–396.     

表达式的覆盖、分解与划分

本文把简单表达式（项和原子）视为语言Ｌ的Ｈｅｒｂｒａｎｄ域或Ｈｅｒｂｒａｎｄ基中的集合．作者提出覆盖表达式的概念,得到２个表达式之间覆盖关系的判别准则．对多个表达式,作者提出表达式的分解概念及相应的分解算法,在此基础上,本文给出卫个表达式覆盖多个表达式的等价条件．根据集合的划分公式,得到划分表达式的方法．最后定义１个变换把合取式转换为简单表达式,从而方便地把简单表达式的结果推广到合取式．本文是作者提出的一种标记逻辑程序的过程语义的理论基础．     

一种信息泄漏的新方式及其应对策略

文章基于验证和解决信息设备内存储器存在的信息安全泄漏隐患,提出了内存储器信息泄漏概念并对内存储器存在信息泄漏的原因做了介绍。实测发现现有内存储器存在信息泄漏状况,基于此,该文提出了基于公共信息网和文件型恶意代码窃取的内存储器信息泄漏方式并完成了实测过程,文章结论对于信息安全保密领域的内存储器信息泄漏隐患防护具有重要意义,尤其适用于安全隔离和信息交换等信息系统领域,具有较广泛的应用前景和重大的社会意义。     

试论刑事诉讼中电子证据的审查

文章根据电子证据容易灭失、被篡改,并与科学技术密切关联的特性,认为电子证据在刑事诉讼中审查存在一定的困难,进而提出在电子证据审查的过程中,应当结合电子证据的特性和有关法律规定进行,同时要及时制定相应的证据规定予以规范。     

基于工业以太网的嵌入式视频监控系统设计

根据煤矿工业电视视频监控系统的特殊需求,开发了一种基于工业以太网的嵌入式视频监控系统。该系统以基于Linux操作系统的嵌入式视频服务器为核心部件,前端摄像机采集的现场图像经嵌入式视频服务器进行AD转换和MPEG4编码压缩等处理后,通过嵌入式TCP/IP模块发送到工业以太网,最终以Web形式发布在监控终端浏览器上。该系统还可以通过监控界面远程控制云台、摄像机光圈和焦距等。实际应用验证了该系统的便捷性和可靠性。     

煤楼运输自动化控制系统的应用

根据某煤矿的现状,提出了利用自动化控制系统对煤楼运输系统进行改造的方案;介绍了煤楼运输自动化控制系统的选型原则,给出了系统的组成、主要配置及其在某矿煤楼运输系统中的应用。实际应用表明,该煤楼运输自动化控制系统实时性好、可靠性高、故障率低,提高了生产效率,保障了安全生产。     

矿用变频器功率器件选型及其驱动保护设计

分析了煤矿井下设备对变频器功率器件IGBT的需求和在IGBT选型时需要考虑的电气参数,介绍了基于2SD315模块的IGBT驱动保护电路的设计。实际应用表明,采用文中介绍的方法选用的IGBT和设计的驱动保护电路后,变频器运行稳定,IGBT驱动有效,保护完善。