割序集模型中顺序失效符的推演规则

在割序集(CSS)模型中,为了将由动态故障树(DFT)转换得到的CSS初级形式整理为最小割序集(MCSS),提出了顺序失效符(SFS)的推演规则。该推演规则依据基本事件的发生顺序和顺序失效符建立,包含结合律、或分配律、与分配律、吸收律、CSP规则、WSP规则等。给出了各类规则的证明过程,并列举了现实中不存在的割序以及由推演规则推导得出的导出规则。SFS推演规则是CSS模型定性分析的进一步形式化描述,它不仅解决了自动获得动态系统最小割序集的问题,而且可在此基础上开展计算机辅助工具的设计工作。     

RAPOO 1865 能防水的入门级无线套装

百元级无线键鼠套装早已不是什么新鲜事,自从雷柏凭借1800率先将无线键鼠套装的价格拉到100元以下以来,又陆续推出了诸多类似价位的产品,雷柏1865就是最新的一款。它在之前1860的基础上更换了鼠标型号,和同类产品相比,它的键盘还是少有采用传统火山口结构和标准键程的触发方式,在一定程度上更符合传统台式机用户的手感习惯。     

A4TECH G11-570HX 内置锂电的无孔鼠标

G11—570HX是A4TECH基于幽灵隐擎开发的新品,它除了继续延续无孔设计的特色之外,还内置了锂电池,让用户不需要再更换电池,达到一劳永逸的效果。     

Windows8的最佳拍档 体验微软Wedge系列键鼠

正如戈登·摩尔为计算机性能定下摩尔定律,成为DIY配件领域的固定发展规律一样,微软及其硬件部门也是外设领域的规律缔造者。从文字系统DOS到视窗系统Windows,一再到新推出的Windows8,每当操作系统的体验方式大变革之时,都势必对外设产品产生重要影响。此时,微软硬件发布的产品往往会对行业起到指导作用,Wedge系列键鼠就为操控Windows8平板给予了明示。     

基于遥感技术的鄱阳湖面积库容估算

首先使用基于图像间逻辑运算的水体提取方法提取出鄱阳湖水体;然后将提取的水体转化为矢量格式并统计得到鄱阳湖面积;最后,将提取出的矢量水面节点处的高程值进行插值得到的水面高程图与DEM相减,得到水深图,再根据水深图和栅格大小便可得到鄱阳湖的库容。实验结果表明,本文方法可以很好地提取出鄱阳湖水体,对于鄱阳湖面积与库容的估算,估算的结果与其他学者的结果相比偏大11%左右。文中提出的利用TM影像和DEM对鄱阳湖面积和库容进行估算的方法,可作为水域动态监测的一个新思路。     

《网页设计与制作》教学中任务的设计

任务驱动式教学法在很多计算机相关的课程中已经成功应用,通过自身的教学经验,阐述任务驱动教学法在《网页设计与制作》教学中任务设计的重要性,并且联系实际案例分析在《网页设计与制作》这门课程中任务设计的原则。     

基于ADO.NET的数据库连接池技术的优化研究

在基于ADO.NET的数据库应用系统开发中,如何正确利用ADO.NET连接池技术,避免因客户端打开的SQLServer连接数过高时,数据库端形成性能瓶颈,是每位应用系统开发人员都非常关心的问题。本文从数据访问技术优化的角度对ADO.NET连接池技术进行研究,提出一种基于ADO.NET的数据库连接池技术的优化方案,从而提高应用系统的整体性能。     

Inventor Fusion标记菜单用户研究和设计改进

Inventor Fusion是Autodesk公司开发的新一代三维机械设计软件,为了提高软件使用者的工作效率,在该软件中引入了标记菜单的功能。由于标记菜单的局限性,当Inventor Fusion使用标记菜单来取代传统的线性菜单后,并没有按照原来设想的那样很大程度地提高使用者的工作效率。通过研究找出了影响用户使用效率的因素,并针对发现的问题提出了标记菜单设计改进的建议。     

基于硬件的定长移位高速浮动关键词匹配算法

针对浮动关键词匹配问题,提出了一种基于TCAM的定长移位匹配算法.该算法通过对移动步长的灵活控制有效降低了存储器的访问频率,提高了系统速率.通过分析空间复杂度,该算法与其它移位加速算法相比,在一定的范围之内对TCAM容量的需求也具有明显的优势.算法性能分析和仿真表明,该算法不仅可以实现任意长度模式的线速搜索,还可以使系统所能支持的模式集规模达到几万条.     

基于SVD的水电机组振动信号去噪方法研究

为提高故障诊断的准确性,必须对水电机组振动信号进行有效去噪。提出一种基于奇异值分解的水电机组振动信号去噪方法,该方法对水电机组采集振动信号构造Hankel矩阵,得出奇异值序列,利用二倍频率数法选取有效奇异值阶次,最后利用所选奇异值进行矩阵重构,逆推实现信号恢复。分别对构造的仿真信号与水电机组实际采集信号进行去噪处理,与效果显著的GHM多小波相邻系数去噪法进行对比,实验结果表明:基于SVD的水电机组振动信号去噪法具有较好的准确度,噪声去除更彻底,对有效特征能量保留更稳定,是一种稳定有效的去噪方法。