一类切换线性广义系统的稳定性

提出了一种新的切换系统即广义切换系统．应用共同Lyapunov函数方法研究切换线性广义系统的稳定性，给出了切换广义系统在任意切换律下都稳定的充分条件．以及构造一类共同Lyapunov函数的方法．最后的数值例子说明了方法的可行性．  

本体集成研究综述

本体集成(ontology integration)的目的是使异质的本体互操作,目前是本体研究的一个热点.本体集成首先发现实体间关系,生成本体映射,然后根据应用目的基于映射进行处理,最终达成本体对齐或者本体合并的目标.本文介绍了本体集成中的概念,给出本体集成的一般工程化方法.对国内外较具代表性的本体集成工具进行比较分析,讨论了现存的问题,指出了未来的研究方向.  

一种结合DFT和FFT的实用傅里叶变换算法

以2为基(即N=2^m)的FFT算法在N不等于2的幂2^m时，需要用补0的方法将x(n)延长为2^m，这种补0的方法对于某些对图像直接在频域进行的处理会产生影响。本文给出当图像大小N为偶数但不为2的幂时的不需补0的结合DFT和FFT的实用傅里叶变换算法。实验结果表明对于常用的图像存储格式，该算法速度接近FFT，并且不会对图像频谱进行的直接处理带来负面影响，在图像处理方面和快速傅里叶变换相比具有一定的优势。  

基于Web本体语言OWL的知识表示

知识表示的方法论研究是知识管理系统研究中重要的问题，提出将Web本体语言OWL应用到知识表示中。为此，从OwL语言的表示能力，针对不同用户群的分层，可操作性，可扩充性等方面进行了简要地分析。然后，以高校教育资源的知识表示为例，说明了OWL的知识表示过程。基于OWL的知识表示是一种表达能力较强，语法独立，可扩充的，适用于分布式系统的知识表示方法。  

浅析“云安全”技术

随着云计算的发展,云安全技术成为网络时代信息安全的最新体现。主要介绍了＂云安全＂的七大技术核心,分析云安全3.0体系的解决方案,探讨云安全系统建立的难点,并对云安全在国内外的应用现状进行比较。  

基于时间序列相似性聚类的应用研究综述

在综合分析近年来时间序列数据挖掘相关文献的基础上从时间序列分割、相似性度量、时间序列聚类等方面对时间序列数据挖掘进行了综述,简要分析了基于时间序列相似性聚类的研究现状,对比较流行的算法进行了比较分析,对当前一些未解决的问题进行了简要介绍,并在此基础上对未来的发展趋势进行了展望,为研究者了解最新的基于时间序列相似性聚类研究动态、新技术及发展趋势提供了参考.  

基于优先级服务的排队系统模型的计算机模拟研究

基于TCP／IP协议的拥塞问题、Internet QoS分析都需考虑优先级服务的排队系统。讨论了服务规则为服从优先级服务的模拟模型，分别在串并联混合情形下建立四类模拟模型，最后给出模拟实例。  

0-1背包问题的两种扩展形式及其解法*

0-1背包问题是经典的NP-HARD组合优化问题之一，由于其难解性，该问题在信息密码学和数论研究中具有极其重要的应用。首先对01背包问题及其解法进行了分析，然后提出01背包问题的两种扩展形式，并给出了基于动态规划和贪心算法的两种有效算法来解决这两类问题。实验结果验证了所提出方法的有效性。  

卟啉传感器检测挥发性有机化合物的研究进展

卟啉与金属卟啉具有优良的气敏性能,是检测挥发性有机化合物(VOCs)的理想敏感材料。卟啉与金属卟啉传感器已成功地应用于VOCs的检测。基于不同类型传感器的传感原理,对目前国内外用于VOCs检测的几类卟啉传感器的研究进展进行了分类介绍,并对卟啉传感器在VOCs检测领域的研究方向和发展前景做了展望。  

具有脉冲作用的切换线性广义系统的稳定性

本文引入一类新的系统模型—具有脉冲作用的切换线性广义系统. 应用驻留时间(Dwell time)方法和平均驻留时间(Average dwell time)方法研究其稳定性问题, 并给出系统指数稳定性的充分条件. 证明了当平均驻留时间足够大且重设律是允许的, 那么系统是指数稳定的. 利用广义系统的受限等价性质, 具体给出允许的重设律的设计方法. 数值例子说明本文方法的有效性.