一种基于扩展不完全Kripke结构的三值逻辑模型检测方法

多值模型检测是解决形式化验证中状态爆炸问题的一种重要方法,三值模型检测是多值模型检测的基础,其中如何检验不确定状态的真值是一难点。针对不确定状态检验,提出了一种模型检测方法,首先对不完全Kripke结构PKS进行了扩展,然后在扩展后的模型上给出了检测不确定状态真值的方法,最后给出了基于扩展不完全Kripke结构的三值逻辑模型检测算法。与已有的三值逻辑模型检测算法相比,该算法降低了算法复杂度,完善了对于不确定或不一致信息的处理,从而增强了三值逻辑模型检测的实用性。     

运用SPIN对开放授权协议OAuth 2.0的分析与验证

OAuth 2.0协议是一种开放授权协议,主要用于解决用户账号关联与资源共享问题。但是,其弱安全性导致各网络公司海量用户信息泄露,且OAuth 2.0传输数据采用的https通道效率低下,成为黑客攻击对象。提出采用http通道传输OAuth 2.0协议数据,基于Promale语言及Dolev-Yao攻击者模型对OAuth 2.0协议建模,运用SPIN进行模型检测。形式化分析结果表明,采用公钥加密体系对OAuth 2.0协议进行加密不安全。上述建模方法对类似的授权协议形式化分析有重要借鉴意义。     

音频、视频设备剩余电压检测技术研究

分析两种剩余电压测试方法—剩余电压测试仪法和数字存储示波器法的优、缺点,详细分析数字存储示波器法的输入阻抗、示波器供电电源、测试设备计量溯源等问题,并对最大剩余电压测量结果的不确定度进行分析评定,尽量减小各不确定度分量,以保证最高剩余电压的检测结果准确可靠。     

基于粗糙集的网络入侵检测模型

面对当前愈发重要的信息安全形势,入侵检测系统作为保护计算机网络安全的关键技术,长期以来都是当前网络安全领域内的研究热点。入侵检测也被看作是计算机防火墙后的第二道安全闸门,能够在不影响网络使用性能的前提下对网络安全进行监督,对网络系统的安全性提供保障。粗糙集作为一种新的处理模糊性和不确定性信息的数学工具,并且不依靠先验信息即可进行处理。因此为了克服入侵检测系统在先验知识较少情况下效果不理想的问题,将粗糙集引入入侵检测方法中来,提出基于粗糙集理论的入侵检测模型,利用粗糙集去除冗余信息,提高系统工作效率和产生入侵规则。在KDD Cup99数据集上的实验结果表明,该模型在查中率和查错率上都能取得较好的效果。     

车易拍CEO杨雪剑:让普通人的生活更安适

温婉、文青、激情、果敢、严谨,许多相互矛盾的标签同时出现在杨雪剑的身上,却并不让人感到突兀。这个大胆的创业者,娇柔的外表下有着一幅坚韧并动力十足的内核,在一个钢筋铁骨的行业里创造出了国内规模最大、交易最活跃的二手车在线交易平台。事业:热爱与机遇每当有人问起,杨雪剑都会坦陈她不喜欢汽车。但不热爱汽车,不代表杨雪剑不热爱车易拍的汽车事业。她的愿望,是中国人的有车生活,变得和有手机的生活一样容易。     

基于CCD技术的外观纸病检测系统

设计了CCD在线外观纸病检测系统,介绍了该系统的硬件组成情况和系统的工作原理、技术指标和软件设计,重点阐述了外观纸病检测系统中CCD技术的优势。     

植物激素传感器研究现状与进展

植物激素对植物生长发育具有重要作用,其准确、原位、在线测定,成为植物生理学研究的重要组成部分,亦是植物激素生理作用机制研究的基础。植物激素传感器通过转换特定植物激素的种类和浓度为可测量的光、电等信号,使植物激素的定性和定量测定简单、快捷,为植物激素生理学研究提供了基础。为了构建灵敏度更高、检测更快速、使用更方便的传感器,研究者们对各种可行的植物激素传感方法进行了详细研究。该文重点评述了近十年来植物激素传感器方面的研究,介绍目前植物激素传感器研究的最新进展。     

elmos推出应用于交流市电的热释电传感器解决方案

艾尔默斯公司(elmos)推出基于热释电人体感应传感器的芯片E931.98,该方案的应用可以保护继电器触点、延长其使用寿命,同时有效地减少和消除交流电网在负载继电器开、关过程中产生电弧以及谐波。当热释电探头检测到人体移动以后,把检测到的信号传给E931.98进行分析和处理,然后根据设定的工作条件来控制所连接的负     

TMS320C6678的LPI雷达信号检测模型设计

本文围绕低截获概率雷达信号处理的特点和实时性的要求,设计了基于FPGA和DSP传统组合模式的LPI雷达信号检测处理平台。在一款基于Keystone构架的多核DSP处理板上,创新性地运用并行关联流水线体系结构和多层任务调度分配信号处理机制,构建了针对LPI雷达信号从预处理到检测结果输出的一整套信号处理模型。经过仿真实验验证,该信号处理模型适合在低信噪比条件下对LPI雷达信号进行检测,且系统资源分配合理占用逻辑资源少,具有实时检测LPI雷达信号的潜力。     

基于改进亚像素边缘提取的一种异性纤维检测方法

为了提高异性纤维检测的时效、精确性,降低误检率,论文提出一种基于改进的亚像素边缘检测技术上的异性纤维检测方法,首先以多结构元素的改进的形态学算子对采集的图像进行像素级边缘提取,然后利用三邻域的非极大值抑制方法抑制初步提取时膨胀的边缘以及去除误检测的小范围棉花边缘,最后使用基于Zernike矩的亚像素边缘检测方法进行亚像素级细化检测。通过实验验证,文中的方法对各种常见噪声都具有抗噪滤噪能力强、计算速度快等优点,能够快速准确地识别高速棉流中的异性纤维,满足生产中异性纤维拣出的性能需求。