样本属性重要度的支持向量机方法

支持向量机(SVM)是一种新的机器学习方法,已经广泛应用于模式识别和函数估计等问题中.针对现有的加权支持向量机(WSVM)和模糊支持向量机(FSVM)只考虑样本重要性而没有考虑属性重要性对分类结果的影响的缺陷,提出了基于样本属性重要度的支持向量机方法,该方法首先利用信息论中的信息增益技术计算各个样本特征属性对分类属性的重要度,然后对所有样本的同一特征属性的值分别用对应的属性重要度进行加权,最后所得数据集用于训练和测试SVM.数值实验的结果表明,该方法提高了分类器的分类精度.     

基于顺序图的Web组合服务属性验证

为了更好地理解和分析Web组合服务的过程及其相关属性,针对个体服务的WSDL文档和服务组合规约BPEL,提出了基于UML的Web组合服务建模和验证方法.从服务的WSDL中提取消息、操作等基本元素,用类图构建静态模型,以便考虑Web组合服务数据相关属性;用顺序图对业务流程构建动态模型,以形象易理解的方式刻画组合服务的行为...     

实际伽利略搜救信号参数估计的Cramer-Rao界

考虑调制不对称度和信息位宽的不确定度,研究了实际伽利略搜救信号信息位宽、到达频率(FOA)、到达时间(TOA)估计的Cramer-Rao界(CRB).推导了伽利略搜救信号Fisher信息矩阵中各元素的计算表达式,利用单位冲激函数的性质和Parseval定理,将单位冲激函数的平方和转换到频域进行计算,得到了信息位宽、FOA和TOA估计的CRB的解析结果.数值分析和Monte Carlo仿真结果表明,CRB具有有效性,可以用于评估上述参数估计算法的性能.     

利用STEP/XML的CAD/CAPP信息交换与共享模型及实现

针对异构系统之间难以解决的产品数据交换与共享问题,深入研究了制造信息资源共享、STEP AP203/AP214文件到AP224文件的转换规则等关键技术。采用STEP标准作为CAD系统的信息输出,提出了通过STEP中性文件转换器把CAD系统输出AP203/AP214文件转换成AP224文件,CAPP系统通过AP224中性文件来获取零件的几何和工艺信息的方法。利用STEPAP28所制定的转换规则,将STEP文件转换为相应的XML中性文件,建立XML schema库,以实现制造信息的数据交换和共享。     

基于网络环境下的信息资源整合模式探析

分析了网络用户信息环境下的变化和用户信息需求的变化,在此基础之上提出了图书馆门户的5种服务模式以及为实现这些服务图书馆门户系统应当具有的功能构成。     

信息熵的理解与验证

笔者在对信息熵原出处含义进行解读和对热力学熵原理进行理解的基础上,修正了信息量无限增加的理论解释.通过对计算机数据库中数据检索速度的测试,推导出速度公式,计算出每比特信息熵所需要的能量,发现实际数值与理论数值存在较大差异,得出布里渊的信息熵能量是信源与信道表面之间的熵变而非信源本身的熵变.     

清华大学交叉信息研究院与量子信息中心揭牌典礼举行

2011年1月15日,清华大学交叉信息研究院和量子信息中心揭牌典礼隆重举行。清华大学校长顾秉林院士和交叉信息研究院院长姚期智院士共同为交叉信息研究院和量子信息中心揭牌。清华大学党委常务副书记陈旭主持仪式,国家自然科学基金委副主任孙家广院士以及教育部科技司副司长雷朝滋出席揭牌典礼并致辞。     

PLC程序测试与验证的研究进展

可编程逻辑控制器(PLC)是一种在工业领域应用非常广泛的控制装置。随着PLC程序的规模和复杂性不断增加,PLC程序测试与验证已成为一个具有挑战性的问题。该文分析了PLC程序测试与验证的困难。从验证与测试两个方面,分别介绍了该问题的研究现状。对于每一个方法,分别论述了其基本思路、优势与不足。最后,根据当前研究的现状,展望了PLC程序测试与验证技术未来的发展。综合分析来看,PLC程序测试与验证的现有方法都存在比较明显的局限性,有待深入研究。未来可能的新方向包括结构化测试以及不同测试方法的融合等。     

基于Retinex理论的JPEG压缩方法研究

现有JPEG压缩标准推荐的色度与亮度量化表,是通过对自然光照下图像色彩数据的统计和实验获得的,不具备偏色校正功能.为此以Retinex理论为基本计算框架,探究并提出一种新的具有色彩恒常性的JPEG压缩方法.该方法通过构建合适的DC系数矩阵来迭代计算DCT系数的局部空间均值,由此估计出照度分量;然后,对照度分量影响信息和边界方向信息进行综合计算来调整亮度量化表,以达到同时实现偏色校正和图像压缩的效果.实验结果表明,与现有的JPEG方法相比,该方法在保持同等压缩比的情况下,具有更好的偏色校正效果.