公共文化服务平台

基于无线传感器网络的森林火灾监测预警系统被引量：72: 2006年; 无线传感器网络是信息科学的一个新研究领域,提出了一种基于无线传感器网络的森林火灾监测预警技术的系统框架及其实现方案,重点讨论了森林火灾预测预报模型、无线传感器网络节点的部署及拓扑形成机制、传感器网络节点与火险精确定位方法、无线通信协议等关键问题.; 李光辉赵军王智; 关键词：无线传感器网络森林火灾远程监测无线通信

木材无损检测中的应力波传播建模和仿真被引量：11: 2009年; 基于应力波的木材无损检测技术中,应力波在木材中的传播规律对无损检测的效果具有重要的影响。根据机械波传播理论,对应力波在木材中的传播进行了研究。分析了应力波传播的微分方程,并给出在圆柱极坐标下的模型。引入Kelvin-Christoffel张量,得到应力波在木材中传播的微分方程模型。分析了模型参数,给出在各个对称面中的方程表示。分别对纵波和横波进行了分析,以云杉和松木为应用实例对应力波的传播进行了仿真。; 冯海林李光辉; 关键词：无损检测木材应力波

基于拓扑结构分析的等价性验证方法: 随着集成电路设计规模的日益增大,组合验证已成为时序电路的形式化等价性验证的重要手段。为了验证较大规模的电路,通常需要将随机模拟、自动测试生成、二叉判决图、布尔可满足性等多种推理引擎相结合。本文提出了一种基于电路拓扑结构分...; 李光辉冯冬芹曾松伟; 关键词：组合电路等价性验证布尔可满足性; 文献传递

渗透理论在森林火灾模拟系统中的仿真研究被引量：3: 2009年; 为了研究林火行为对林火决策的重要性和林火的时空特性,主要利用渗透理论建立森林火灾的蔓延模型,通过该模型来模拟森林火灾的动向,仿真森林树木的分布情况和林火蔓延情况。仿真实验结果表明,提出的模型初步反映了森林火灾随林木分布密度不同而呈现不同蔓延情况的规律。同时,对风速、风向、地形等其他因素对火灾蔓延的影响进行了分析,并简单介绍了森林火灾蔓延的改进模型。; 夏其表李光辉尹建新; 关键词：森林保护学林火蔓延仿真模型

基于3D的县级森林防火系统关键技术研究被引量：16: 2008年; 该文基于县级森林防火的需求,从森林防火指挥需要出发,以森林资源多源数据(遥感图像、GPS数据、地形图、DEM数据、地面调查数据和防火资源数据等)为基础,充分考虑森林资源空间性、多元性、多态性的特点,解决了森林防火本底数据中属性数据和空间数据一体化管理问题,实现了将RS、GPS、GIS和3D4种技术有机结合的森林防火指挥的管理模式。对森林防火系统的技术构架进行了分析,对系统设计中的若干关键技术问题进行分析并提出了解决方案;以MapX、OpenGL、VC为开发工具,设计并开发了一个县级森林防火系统。; 徐爱俊郑文达方陆明唐丽华; 关键词：森林防火数据融合

应力波在木材中的三维传播模型: 在使用应力波对木材进行无损检测时,应力波在木材中的传播规律对无损检测的效果具有重要的影响.参考固体中的机械波传播理论,研究了应力波在木材这种各向异性介质中的传播过程。分析了应力波传播的控制方程,给出在圆柱极坐标下的微分方...; 冯海林李光辉; 关键词：无损检测木材波传播; 文献传递

Test Generation with Unspecified Variable Assignments: 2007年; ATPG for very large scale integrated circuit designs is an important problem in industry. With the advent of SOC designs, testing and verification of the core-based designs become a challenging problem. This paper presents an algebraic test generation algorithm with unspecified variable assignments. Given a stuck at fault of the circuit with unspecified signals, the proposed algorithm uses a new encoding scheme for unspecified variable assignments, and solves the Boolean satisfiability formula representing the Boolean difference to obtain a test pattern. Experimental results demonstrate the efficiency and feasibility of the proposed algorithm.; 李光辉冯冬芹; 关键词：FORMAL VERIFICATION BOOLEAN SATISFIABILITY ASSIGNMENTS

基于存储元素映射的层次化等价性检验方法: 2009年; 为了提高验证效率和处理大规模电路的能力,提出了一种基于存储元素映射的层次化等价性检验方法,该方法将功能性和非功能性的映射方法相结合,提高了存储元素匹配的准确性和完备性.针对一款RSICCPU设计完成了两组等价性验证实验,结果表明此方法具有很强的实用性.; 李光辉曾松伟邵明; 关键词：集成电路等价性检验

基于PDA的森林资源数据采集系统的设计与实现被引量：12: 2009年; 为了实现森林资源数据采集的全程无纸化作业,提高数据采集效率,研究开发了基于个人数字处理助理(PDA)的森林资源数据采集系统。从系统开发平台与开发工具的选择、系统架构与功能、实现的关键技术等方面进行了详细的介绍;重点研究了客户端与服务器之间的无线网络模式下数据传输的交互技术;完成了系统服务器端、客户端的软件开发,并在最后调试运行了整个系统。; 曾松伟李光辉胡海根唐建锋; 关键词：森林经理学嵌入式地理信息系统森林资源全球定位系统

基于渗透理论的林火蔓延模型研究被引量：3: 2008年; 森林是生态系统的重要组成部分,是人类生存和可持续发展的宝贵资源。一旦发生森林火灾,将给森林生态系统和人类生命财产带来重大损失。通过分析渗透理论的思想,提出了基于二维渗透网格的森林火灾蔓延模型和相应的仿真算法,用来模拟森林树木的分布情况以及林火蔓延过程。理论分析与仿真实验结果表明,当网格单元处于开状态的概率接近0.6时,存在最大渗透簇。提出的模型较好地反映了森林分布密度对于火灾蔓延的影响规律,能对森林防火演练、火灾扑救、灾后损失评估以及森林资源管理起到一定的指导作用。与以往同类算法相比,提出的仿真算法降低了时间复杂度,算法效率有较大提高。; 李光辉夏其表李洪; 关键词：林火蔓延仿真模型算法复杂度

渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心　互联网出版许可证　新出网证(渝)字10号

国家自然科学基金(60674072)