平面图四色问题的一个必要定理

本文从逻辑推理角度讨论了关于四色问题的一个必要性定理。     

数字合成波形发生器设计

以单片机为核心，对数字波形表各项进行比例换算和线性叠加的数字合成处理。采用定时器中断方式将处理结果经D／A口输出；并对输出信号进行放大、单到双极性变换和滤波处理，获得数字合成的波形信号．通过按键编辑任意波表，改变定时器参数和比例因子，达到任意波获取、波形频率和幅度数字调节目的．采用8住LED显示器动态刷新方式。显示波形类型、频率和幅度．     

Lightning activity on the central Tibetan Plateau and its response to convective available potential energy

Lightning flash activities on the central Tibetan Plateau have been studied by using the satellite-based Lightning Imaging Sensor(LIS)database from January 1998 to July 2002.The lightning activity shows a clear diurnal variation on the central Plateau.The peak lightning activity appears at about 17:00 which is 3 h earlier than that in Jingxhou,Hubei in the same latitude belt nearby,indicating that the lightning activity is a sensitive indicator of solar heating on the Plateau.The lightning discharge is weaker on the Plateau than Jingzhou.Hubei and other low-altitude continental regions because of the lower convective available potential energy(CAPE)on the Plateau.The CAPE on the Plateau is 12 times lower than that in Jingzhou,Hubei,and 20 times lower than that in the sea-level region,such as Guangzhou and Florida.However,the sensitivity of lightning activity to CAPE changes on the Plateau is up to 30 times more sensitive than other prominent low-altitude regions.     

利用GMS—5红外资料进行云的分类识别

利用GMS－5 3个红外通道（2个分裂窗区通道和1个水汽通道）的亮温资料，依据各种云不同的辐射特征对其进行分类，由此识别出积雨云（Cb）、浓积云（Cg）、卷云（Ci）、积云（Cu）、中云（Cm）、密云（Dense）等6种主要云类以及雾（Fog）和晴空区域。结合安徽寿县地面观测基准站1998年6、7月份的地面观测资料，对分类结果进行了检验，得到了较为令人满意的结果，准确率接近70％。     

PowerBuilder实现数据窗口多表更新技术

使用PowerScript中的函数update()进行编程设定，实现了PowerBuilder中一个数据窗口的多表更新，突破了PowerBuilder采用update()函数一次只能更新一个报表的局限．使PowerBuilder应用程序的更新报表技术更加灵活、完善．     

OCCL编译器中符号表的研究及设计

OCCL是笔者做的一个新型ANSIC编译器，文中介绍在前人的工作基础上，笔者用哈希表———层次独立对应法以及最迟分配初始化法对OCCL的符号表进行设计。最终结果使编译器的时间开销得到缩减，提高了性能。     

浅析太原市煤气抄表收费方式的转变

抄表收费是煤气公司销售煤气的重要环节，直接反映煤气供用双方的商品货币交换关系，寻求一种好的抄表收费方式，既可以大大方便用户，又可以提高煤气供用双方的结算效率。对太原市煤气的煤气抄表收费方式进行了总结。     

CDMA通信系统接收信号的统一表达式

针对同步与异步CDMA通信系统以及不同的信道模型,给出了连续接收信号的统一表达式。若对接收信号进行采样,也可得到离散接收信号的统一表达式。通过给出信道模型的统一表达式,可以很方便地利用此表达式来进行CDMA无线通信系统的各种复杂信道的参数辩识以及盲均衡设计。     

基于LonWorks的自动抄表系统

对小区抄表系统的现状进行了分析，给出了基于LonWorks技术的自动抄表系统模型，并对系统关键部分的软硬件设计作了介绍，本系统可实现小区自动抄表功能。     

智能化小区电网远程自动抄表系统设计

针对住宅小区智能化的特点，设计了基于CAN(Controller Area Network)总线的电网远程自动化抄表系统．介绍了该系统的总体结构、CAN节点控制器的硬件结构、网络接口硬件设计以及通信软件设计．该系统经开发与调试，使住宅小区的远程抄表、自动实时计量计费成为可能，同时该系统可方便地扩展为对水、气进行远程抄表．