摘要：为了提高可满足性求解器的效率,提出了一种利用电路可观无关性的方法.以带可观无关条件的CNF理论为基础,通过在可观无关条件计算时不使用变量排序,减少可观无关条件丢失.通过不对只出现在可观无关条件中的变量赋值,保证电路的控制唯一性.理论分析和实验结果表明,用该方法实现的可满足性求解器的搜索空间小、速度快.

摘要：给出均值pwm的原理及方法,以此为基础提出使用空间宽度调制来设计正弦光栅的方法。分析结果表明:该正弦光栅对各种谐波均有良好的抑制效果,使得采用均值pwm的正弦光栅所投射的条纹对比度要比Ronchi光栅的高。

摘要：应用(5,3)整数小波变换和稀疏矩阵的游程编码方法,为空间太阳望远镜卫星(SST)中的图像压缩单元(DCU)构建了一种高效高速的FPGA运算模块,使DCU压缩2048×1024大小太阳图像的时间由原先中德联合设计的32秒减为0.23秒,压缩速度提高了两个数量级,各项技术指标均满足SST科学任务需求,为今后扩展功能及航天高精度遥感技术发展提供了宝贵的经验和技术储备。

摘要：为实现前混合水射流超细煤粒粉碎装置的自动控制,提高煤粒粉碎效率和产品质量,设计了前混合水射流超细煤粒粉碎装置的组态监控系统。利用Wincc组态软件和STEP7可编程控制软件,实现生产过程的可视化和自动控制,操作者可以通过该系统实时掌握整个生产过程,从而提高控制质量和精度。实验表明,系统设计合理,控制精度高,满足工业生产的要求,具有实用价值。

摘要：针对现有的电磁调速式电牵引采煤机存在低速性能不稳定及控制电路过于复杂等问题,提出了一种基于P89C51RD2单片机的脉宽调制(PWM)调速,采用软件PID控制算法,实现了速度、电流双闭环控制,使得采煤机在调速范围内能稳定可靠运行,通过在软件中使截割电机电流参与运算的方式,实现了采煤机恒功率运行。

摘要：以深施型液态施肥机为依托,采用单片机作为核心处理器,以电磁比例调节阀为执行部件,设计了深施型液态变量施肥控制系统。设计了与硬件配套的上位机软件,用于采集数据与发送命令。喷肥针施肥量控制误差台架试验结果表明,该系统可实现深施型液态变量施肥,施肥误差不超过0.5 mL/次,满足液态变量施肥作业要求。

摘要：针对煤粒粉碎比较粗糙,粉碎程度不均匀的现状,采用当前较先进的ZMD31050信号调理器,AT89S51单片机以及MAX202串口电平转换器实现前混合水射流超细粉碎煤粒压力自动控制装置的电路设计,将量化误差降低到0.002%,有效控制了高压水节流阀的开启,解决了因高压储料罐压力不稳而使煤粒粉碎细度不足的难题。

摘要：针对网格环境下井下实时通信系统的任务调度问题,提出井下实时通信系统的架构,并应用反馈控制理论对该多输入多输出系统进行状态空间建模,分析该系统模型的稳定性、稳态增益、稳定时间和最大偏移量4个特性。基于该模型设计的井下实时通信系统的动态自适应反馈控制器,能够使该系统的控制输出和控制输入进行自适应调节,同时,提出一种适合该系统模型的任务调度算法。模拟实验结果表明,在CPU平均利用率和任务平均丢失率这2个系统指标上,该任务调度算法优于现有任务调度算法。

摘要：文章根据我国媒矿自然条件差,井下开采比重大,矿坑分布不均,位置地势偏差大等特点,在传统的煤矿监控系统网络结构的基础之上,引入分步式理念进行数据微处理模块的网络布局,并将传感器技术、分布式技术、ZigBee技术与GPRS技术有效地结合在一起,设计一种新型的分布式煤矿监控系统无线网络拓朴结构,为煤矿安全监控系统提供新的解决方案。

摘要：为了提高地方煤炭工业局的管理水平,满足现代信息化的需求,在调查研究了当前信息系统开发技术发展与应用状况的基础上,文章提出了一种基于B/S模式的地方煤炭工业局管理信息系统的设计方案,确定了系统的模型、结构和功能,并阐述了系统实现中使用的WebGIS、CAD文件的上传、Web图形统计和安全机制等关键技术。系统成功应用于七台河市煤炭工业局,提高了其办公效率、管理水平和决策能力。