基于静态分析技术的源代码安全检测模型*

介绍了当前主流的静态代码分析技术,在分析讨论其优缺点的基础上提出了一种新的静态代码检测模型。该模型结合了当前成熟的静态分析技术,并借鉴了编译器中数据流和控制流分析的思想,获取上下文关联的数据信息,从而更加准确地分析代码中存在的安全问题。     

基于GIS和HydraN的复杂河网地区泵闸电排联合配水优化调度模型研究

基于HydraN软件对常德冲柳地区复杂河网进行稳态和非稳态两种模式下的河网概化及河流动态进行了模拟,并在此基础上建立了该区域的泵站、电排及闸门等水工构筑物的联合配水优化调度及防洪决策支持系统。结合当地防洪经验和条件提出了该区域不同雨水情条件下的优化调度方案。研究表明,该防洪决策支持系统可对各水工构筑物进行准确直接调控,因而对长江中下游复杂河网地区的防洪减灾及水资源和能源的优化利用具有较明显的实际应用效果和社会经济效益。     

洞庭湖区月降雨序列的混沌特性识别及预测研究

基于相空间重构思想,采用最大Laypunov指数法确定洞庭湖区岳阳水文站30 a的月降雨序列具有明显的混沌特性。应用混沌径向基函数神经网络预测月降雨量,预测精度远远低于时间序列分解模型,并表现出高度的无规律性。定量分析了噪声对混沌预测精度的影响,表明监测误差是影响混沌预测精度的一个重要因素,提高数据精度是提高混沌预测精度的一个有效方法。     

“宜工”装载机再次大批挺进大西北

2004年6月21日,三九宜工生化股份有限公司在青海省公路养护机械设备采购招标活动中中标的侣台ZL20C和9台ZL40F装载机全部顺利发机。 据了解,这是三九宜工公司继2000年在甘肃省梯田建设项目中标23     

分布式监控系统在热处理工艺上的应用

介绍热处理分布式监控系统的实施方案。详细阐述了系统的结构配置，软件思路。系统已投入实际运行。     

LnO2-δ-ZrO2(Ln=Ce,Tb,Pr)储氧材料的制备与结构

迄今为止,国际普遍使用的储氧材料主要是以具萤石四方结构CeO2-δ-ZrO2为基体掺杂Y2O3的固溶氧化物.为进一步提高储氧材料的储氧、催化、高温稳定性和抗老化性能,本研究采用 "超声膜扩散"法制备了(LnO2-δ)x-(ZrO2)1-x ( Ln = Ce,Pr,Tb)储氧材料.通过热重(TG)、微分扫描热分析(DSC)和XRD对其固溶过程和结构特征进行了研究.结果表明,(PrO2-δ)x-(ZrO2)1-x和(TbO2-δ)x-(ZrO2)1-x显示出具有(CeO2-δ)x-(ZrO2)1-x同样晶体结构,较后者更稳定的固溶体组织,为进行储氧催化等性能的研究提供了基础.     

基于季节调整的洞庭湖水环境承载力影响分析

为了更好地反映水环境状况与人类生活的关系,提出以新的水环境承载力计算公式作为衡量指标,并分析了水环境承载力的不确定性。利用季节调整方法处理水环境承载力,并以洞庭湖七里山监测站2000~2005年单月水质监测值为研究对象,分析洞庭湖水质变化的趋势性、周期性、随机性及预测结果的不确定性因素影响。结果表明：季节调整方法应用于水环境承载力分析具有准确性和有效性。      

基于状态机的SDRAM控制器的设计与实现

现代计算机的基本框架仍是以冯·诺伊曼结构为基础,以中央控制单元和存储指令/数据的存储器之间的通信为支撑的。同步动态随机存储器(即SDRAM)与静态RAM相比具有容量大,成本低的优势;与传统异步DRAM相比其速度更快,所以得到了越来越广泛的应用。因此以简化主机对SDRAM访问为主要任务的SDRAM控制器的设计就变得更加重要。论文提出了一种基于状态机的SDRAM控制器的设计思路与实现,并通过了FPGA验证,完全达到系统的功能和速度要求。     

EPP并行通信接口同步设计

针对异步器件在工程实践中难以控制时序,并且EDA工具所给予的支持也不如同步器件等特点,提出了一种以状态机为控制核心的同步化EPP并行通信接口的设计思路,使EPP协议的操作时序更加清晰、易于控制,电路更加稳定、可靠。此设计思路也可以推广到PS/2和ECP等并行接口的同步化设计。     

燃煤耦合污泥燃烧技术研究与工程实践

燃煤耦合污泥燃烧具有减量化、无害化、资源化、清洁高效和处置彻底等特点,是一种投资小、建设周期短、运行成本低、能源综合利用效率高的污泥处置方法。通过锅炉着火性能、锅炉燃烧稳定性、锅炉燃烧效率、锅炉受热面磨损、制粉系统、锅炉烟气污染物排放指标以及粉煤灰品质等方面的研究分析,燃煤耦合污泥燃烧在技术上是可行的。经工程实践验证,具有重要的工程推广价值。