基于小波和支持向量数据描述的故障智能诊断

提出一种基于小波特征提取和支持向量数据描述的故障智能诊断方法,通过提取实测信号经小波分解后各频带重构信号的能量作为特征,进行支持向量数据描述分类器的训练和分类.通过对滚动轴承故障智能诊断实例表明,该方法可以有效提取信号的故障特征,改进支持向量数据描述在故障诊断中精确度.     

基于SIP多模式智能测控平台设计

针对传统测控网络难以满足现代制造业多源数据、复杂数据格式的问题,设计了基于SIP的智能测控平台,建立基于SIP的智能测控网络结构,并对其智能接入、自我描述能力的数据传输、存在告知、异步事件通告、在线设备控制等功能进行规划.实践证明,该智能测控平台较传统的测控网络拥有更完善的功能和更优秀的性能.     

基于Flex的Cairngorm框架实现餐饮管理系统

这篇文章提出使用Cairngorm框架来构建Flex应用的方法,讨论基于Cairngorm框架实现餐饮管理系统的实例。     

XML逻辑建模研究

XML是互联网未来发展的关键技术之一,其应用越来越普遍。当前对XML的建模主要是物理层面,没有上升到更加高级的逻辑和概念层次,我们需要一种统一的建模方法对XML数据进行高层建模。本文介绍了当前XML逻辑建模和概念建模的几种方法和工具,为XML建模研究提供一定的思路。     

ORACLE数据库的备份方法和策略

在当今信息化的时代里,数据库安全是管理系统正常运行的重要保障,数据库备份几乎是任何计算机信息系统中必要的组成部分,笔者阐述了ORACLE数据库备份的方法和策略,从而提高数据库的恢复效率,缩短数据库的恢复时间,降低维修成本.     

BL_Δ~*系统的完备性

研究了BL*系统和BR0-代数.首先在BL*系统的基础上添加了一元逻辑连接词Δ,得到BL*系统的一种模式扩张BL*Δ系统,随后提出了ΔBR0-代数的概念,其次研究了ΔBR0-代数中的Δ-滤子及其性质,最后证明了BLΔ*系统的完备性,给出了BLΔ*系统的广义演绎定理.     

安全协议的自动分析技术

安全协议的形式化研究成为一个热点领域,出现了很多的形式化和逻辑的研究方法.本文对于安全协议方法和技术做了介绍和总结.     

说一种历史逻辑

孟子尊为亚圣,后人没有不知晓的。而与孟子同时代的大学问家邹衍就鲜为人知了。还有苏秦,幸好他有勾连六国、合纵拒秦的事迹才让后人记起,不然也会默默无闻的。可今人哪里知道,当时吃得开的偏偏是邹衍、苏秦之辈,孟子却是备受冷落。当时诸侯割据,战争频仍,一些学问人便游说诸侯,争相兜售自己的学说,以图济世救民。最