知识库更新的一种可编程实现的方法

讨论了知识库是有限子句集时的更新过程,给出了这种情况下知识库更新的一种可编程实现的方法.首先讨论了求极大协调子集的基本思想和方法,然后给出了求极大协调子集的完全过程和非完全过程,证明了它们的正确性;讨论了知识库更新的实现方法;最后和相关工作进行了比较.     

命题规则知识库更新的一种代数方法

知识库更新的一个重要主题就是寻找高效的实现方法,为此人们做了很多工作,但还没有很好地解决,代数方法具有良好的性质和实现方法,文中给出了基于规则知识库更新的代数方法．首先讨论了如何把知识库更新和协调性检查转化为代数问题．知识库中的规则用Petri网来表示,事实用Petri网的标识表示,这样把知识库更新和协调性检查转化为Petri网的可达性问题．在做了这个转化以后,协调性检查就变成了可达性问题,可达性的判断可以用代数的方法解决,同样,矛盾性检查也可以用代数方法实现,在此基础上,给出了基于规则命题知识库的更新方法,以及扩充逻辑程序知识库的更新方法,和相关的工作进行比较,所提出的方法更实用,效率更高。     

基于Agent的网构软件模型研究

以开放网络环境下的网构软件需求为切入点，基于软件Agent的原理、方法和技术，系统分析了基于面向对象方法学的经典软件结构模型及其支撑技术的限制，提出了一种开放协同软件模型来作为网构软件的基础模型．结合其关键支撑技术的研究，提出了基于移动Agent的协同程序设计技术、多模式交互机制及基于Agent中间件模型和面向体系结构的协同程序设计方法，并探讨其在主流软件技术中的应用，初步形成了一种适合于开放网络环境需求的技术框架体系，在此基础上，提出了一条建立基于Agent的网构软件模型的技术途径，即网构软件模型=开放协同模型＋环境驱动模型＋智能可信模型，从而为进一步的研究工作奠定了基础．     

面向互联网的信息处理

随着互联网海量信息的快速增长,由原来单一的以文本信息为主的信息处理发展成文本、语音、图像等多模态的信息处理．同时,用户的需求也从关键词搜索为主的信息获取向着基于语义理解的自动问答、辅助决策等智能交互的方向发展．本文从互联网服务信息处理特点以及用户需求变化出发,阐述了互联网信息处理面临的挑战和发展趋势．首先介绍了基于互联网的海量信息处理特点以及基本方法,然后分别阐述了互联网文本信息处理、语音信息处理、图像信息处理、位置信息处理的挑战以及发展趋势．最后介绍了如何对互联网的用户从属性、状态、兴趣3个维度进行建模,以满足用户个性化服务和商业分析的需要．     

面向非常规突发事件的区域物流配送网络体系设计

通过对非常规突发事件发生前后的区域物流配送网络形态及特征分析,揭示了面向应急状态的区域物流配送网络规划设计的要点。在此基础上,基于全过程管理的理念,提出应急物流配送网络体系设计由应急物流配送网络的规划、建设、运营管理三个阶段构成,并对各个阶段的工作内容及重点方法进行了分析。最后,以成都市为例,分析了成都市应急物流网络设计的关注要点,验证了体系设计方法的有效性。     

面向复杂产品系统创新的知识管理系统模型研究

复杂产品系统创新具有多主体知识联盟共同开发和制造,设计高密集性、产品复杂性、生产不确定性的特点.知识管理系统有利于复杂产品系统创新中知识的共享、利用和扩散.在知识管理系统模型研究成果的基础上,构建了基于过程导向的知识链与创新流相结合,以实现知识战略为目标,技术、文化、组织体系为支撑的知识管理系统.明确知识管理战略、把知识管理融入创新流程、创建知识共享文化和激励机制、运行并不断改进系统等策略有利于KMS的实施.     

面向三峡库区水环境监测的混合网络构建

针对三峡库区分布广,面积大的特殊应用背景,提出了一种新的适合三峡库区水环境监测网络构建的组网策略——"一网多PAN(Personal Area Network),一PAN多簇",构建了一个包含WSN、GPRS和Internet的三层混合网络模型,并采用"告警上报,点播访问"的数据访问流程实现了监测网络数据传输。实验表明:该混合网络可以满足三峡库区水环境监测的应用需求;同时,"告警上报,点播访问"的数据传输流程可以有效降低节点能量消耗,延长网络生存周期。     

面向三峡库区水环境监测的分区多跳LEACH算法

针对无线传感器网络节点能量受限的问题,结合三峡库区水环境的具体应用环境,提出一种基于LEACH算法的改进型无线传感器网络节能路由算法——LEACH—PM。该算法将整个网络划分为若干个区域,各个分区内按轮进行建立分簇和传输数据。在簇建立阶段,考虑了节点的剩余能量;在数据传输阶段,采用单跳与多跳相结合的方式以降低网络的能耗。应用MATLAB对LEACH-PM算法与已有的LEACH算法进行仿真比较。实验结果显示,LEACH—M算法能更好平衡网络节点能耗,降低簇头节点能耗,延长整个网络的生存期。     

超标量通信:一种面向分布式应用的运行时优化技术

并发在分布式应用中是一项实质性的需求,然而现有方法均十分复杂且容易出错.文中提出一种全新的并发途径——超标量通信,这种方法通过用语言级虚拟机SSVM在运行时自动分析应用程序,以发现潜在的并发机会;然后通过调度通信任务和计算任务,实现并发执行.超标量通信技术的构思受到了微处理器中的超标量技术的启发,然而硬件的超标量算法在许多方面都不适用于软件.SSVM是一种对运行时系统的扩展,它不需要修改现有的语言、编译器和字节码,因此具有很好的向下兼容性.超标量通信技术有可能开拓一个全新的领域,其特征是针对网络程序的动态优化.     

面向工业互联网的异构时间敏感数据流协同传输机制设计

工业互联网需要实现IT (information technology)和OT (operation technology)的融合,现场级工业网络的构建是真正实现从OT到IT产线数据无缝接入、从IT到OT实现产线智能运维的关键.对于OT来说,工业系统中的数据具有高度的时间敏感特性,感知数据和控制指令在时间上的确定性传输...     

一种面向下垫面不均一的森林碳通量监测方法

特定时刻内通量塔观测结果只能代表其上风向下垫面贡献区域的CO2通量值,当下垫面不均一时,通量塔观测结果是不能真实反映观测区域实际碳通量的.如何将通量观测塔的空间代表性进行有效的由点到面的扩展,亟需一种能够对观测区域采取多点同步精确观测的可行方法.完全的利用现有的无线传感器网络(WSN)技术虽然具有实时多点同步观测的优势,但精度不能满足通量观测的要求.本研究将利用通量塔观测数据对无线传感器接收数据进行校正,通过校正后数据计算观测区域内的通量值,力求解决下垫面不均一时通量塔观测结果不具代表性的问题.根据涡度相关技术和FSAM模型(fux-source area model),采用仿真数据分析方法,研究结果表明通过通量塔观测数据对WSN进行校正能够提高WSN观测精度;利用WSN多点同步监测的优势能够很好地解决下垫面不均一情景下通量塔观测结果不具代表性的问题.WSN结合通量塔进行陆地生态系统碳通量观测上具有很大的应用前景.     

资源约束下的活动网络时差算法及实现技术

提出一种特定的修正两阶段调度算法计算资源约束下活动的总时差和自由时差。第一阶段为正向调度过程,获得基准调度计划并确定各活动在优先关系和资源约束都可行条件下的最早时间参数;第二阶段基于第一阶段获得的时间参数,采用逆向混合调度生成策略,计算出每个活动在满足两个约束条件下的最晚时间参数,然后基于最晚时间参数和最早时间参数计算出资源约束下活动的两种时差。在得到计算公式后,基于面向对象的程序设计技术,开发了Visual C++代码实现所提出的算法,并采用一个实例说明了算法的求解过程。研究结果表明,本文算法是有效的,可用面向对象技术实现。