基于属性文法的本体形式化描述方法及其应用

在分析本体概念和性质的基础上, 提出一种基于简单属性文法的本体形式化描述方法, 其中文法产生式描述本体内的各种逻辑关系, 为逻辑层推理奠定了基础, 通过属性求值规则实现本体的语义; 设计一种属性求值器的构造方法, 在此基础上实现基于语义的信息检索模型; 将基于XML (extensibleMarkupLanguage)的本体元数据模型作为属性求值器处理的对象, 提供相应的文档类型定义 (DTD: DocumentTypeDefinition)以指导XML文档的创建; 结合应用实例说明基于此方法的信息检索结果具有令人满意的精确度; 通过改变产生式、属性及属性求值规则可扩充此方法。

程序分片技术及应用

程序分片是一种分析和理解程序的技术.系统介绍了程序分片的概念、计算方法及分片工具、应用领域、研究现状和发展趋势等方面的问题.

集控站自动化监控系统构造模式的分析与设计

在分析集控站自身特点、功能要求及性能要求的基础上,对当前国内集控站自动化监控系统的构造模式进行了探讨,提出选用性能稳定、高度可靠的实时分布嵌入式操作系统QNX作为前置机系统的运行平台,以彻底解决操作系统的稳定性问题.

限定路径的数据流分析方法

介绍一种限定路径的数据流分析方法 ,该方法可使数据流分析效率得到明显的提高 ,并使分析结果更准确 .

带有指针的嵌套式语言的全程分析方法

对指针变量以及过程间的数据的分析是嵌套式语言全程分析的关键问题之一 .本文提出了一种对带有指针的嵌套式语言的全程分析方法 。

过程间的程序分片技术

程序分片在程序理解、调试、维护、测试和集成等许多领域都有广泛的应用.过程间的程序分片是分片技术的难点之一.在总结了现有的过程间分片技术基础之上,重点介绍了具有代表性的图形可达性算法.

带有指针的嵌套式语言全程数据流分析及程序分片系统

以PASCAL语言为模型,设计并实现了一个针对带有指针的嵌套式语言的全程数据流分析及程序分片系统,能够有效地处理程序中的指针,在程序测试、程序理解、程序调试、程序分片等领域都将有广泛的应用.

阈值走势及小波变换尺度对SPIHT编码性能影响的研究

对SPIHT算法进行了深入的研究,通过对大量实验结果的分析统计,从阈值变化生成编码量的走势及小波变换尺度变化时不同阈值生成编码量所占比重两方面对SPIHT编码性能的影响作了详细研究,并给出了仿真试验结果.

电站锅炉一次风粉在线监测系统的实现

本文研究开发了一种经济型锅炉一次风粉在线监测系统，提高了经济效益．

青少年在网络直播中的角色定位研究

随着网络传播手段的不断更新,网络直播这一新兴的网络社交方式应运而生。青少年作为网络直播的观众与主播,在参与网络直播的过程中,既受到积极影响,又受到消极影响。因此,青少年应正确对待网络直播,提高自身的能力与内涵。

老少边穷地区公共文化服务软治理路径建构研究

在国家治理现代化的大背景下,国家治理模式从“硬治理”向“软治理”变迁,公共文化具有的价值塑造、意识养成等“软”特性不断被纳入到国家治理体系之中。面对老少边穷地区公共文化服务软治理根基较弱、治理方式“水土不服”及内容供给缺位等现实困境,应从内容、主体、渠道等方面建构治理路径,内容上根植本土,服务上匹配供需,政府、群众多主体协同,不断完善市场机制,加强基础设施建设及媒介技术融合。