正确理解汽车自诊断系统

该文简要介绍了汽车电控系统检测设备的使用原理、汽车自我诊断系统的原理及特点,以及汽车自诊断系统对故障确认的值域判定法、时域判定法、功能判定法、逻辑判定法四种方法。重点介绍了汽车故障自诊断系统异常诊断产生的原因及其故障排除实例,最后介绍了依靠自诊断系统排除故障的有关技巧和注意事项。     

交通事件检测算法研究进展

自动事件检测系统利用检测算法来分析交通数据和快速检测事件的发生，以便于尽量减少事件所造成的不利影响．自20世纪60年代以来。人们开发了各种各样的公路交通事件检测算法，如：基于交通流理论、模式识别、统计理论和近年来发展起来的人工智能与模糊逻辑的检测算法等．文中总结评述了现有的各类算法。指出了改善算法性能的研究方向．     

基于多路地感线圈的交通流量检测系统研究

为提高基于地感线圈的交通流量检测系统的可靠性与准确性,利用多路地感线圈设计并实现一种能够检测逻辑复杂路况的交通流量检测系统。基于多路地感线圈的交通流量检测系统研究主要包括总体技术架构、硬件组成与软件设计流程。通过实地安装测试,结果表明:该系统能较精确地检测出逻辑复杂路况下小客车的运行方向以及交通流量等重要交通参数,检测准确率大于98%。该系统可应用于交通检测、路面监控、智能交通卡口系统以及停车场管理等领域。     

基于SAT的可逆线路检测集生成算法

可逆逻辑是量子计算的基本特征,也是日益突出的低能耗需求的一种解决方案。根据可逆电路的可控制性和可观测性,论文提出了一种基于逻辑可满足性的算法来自动产生单门失效错误的完备检测集。基于k-NOT门的可逆逻辑线路中的数据传输进行线性建模,用线性时态逻辑描述单门失效错误约束,运用SAT求解器寻求反例的方法自动生成可逆电路的错误检测集。实验结果显示,本方法能够有效的应用于不规则和复杂的基于k-NOT门的可逆逻辑线路,自动化程度高。     

时序逻辑及其表达能力综述

时序逻辑是研究状态随时间变化系统的逻辑特性，在软硬件验证中有着广泛应用，是模型检测的基础。基于对时间模型的不同描述以及为了处理更加复杂的计算特征，衍生出各种时序逻辑，具有不同的表达能力，正确理解其表达能力对于系统模型的形式化规约尤为重要。首先，介绍基于离散时间模型的线性时序逻辑LTL、计算树逻辑CTL和CTL^*，以及基于连续时间模型的区间时序逻辑ITL和投影时序逻辑PTL，对它们的表达能力及区别进行了详细阐述；然后，概述为了描述随机、实时、混成、开放系统中的复杂行为而提出的不同时序逻辑，指出它们的特点及适用范围；最后，对时序逻辑的未来研究方向进行展望。     

调压开关在车检测仪的研制

介绍了调压开关在车检测仪的研制原理，提出了一种新的逻辑检测方法，该方法有效地解决了在车检测的技术问题，并实现了调压开关车上检测车下检测有通用性。     

弹性薄层自破冰路面施工检测方法探讨

弹性薄层自破冰路面首次在渭武高速漳县段铺筑500m试验段,对于该新型路面结构目前尚无成熟的检测评价方法。基于弹性薄层自破冰路面特性,并兼顾其自破冰功能性,梳理了常规沥青路面的检测方法,确定了弹性自破冰路面抗滑性能、空隙率、平整度及厚度的检测方法。     

特种设备检测管理系统建模研究

通过UML工具分析了特种设备检测管理系统的功能需求，按NMVC模式，根据系统功能和业务流程抽象出了系统的对象类，建立了系统的检测记录录入和检测报告自动生成打印协同图，分析了系统的逻辑组件图．最后介绍了实现特种设备检测管理信息系统采用的技术和方法．     

通信协议的自稳定性及其验证方法

提出了通信协议自稳定性的两种验证方法。以ＴＣＰ／ＩＰ网络的滑动窗口协议为例，给出它的基于谓词逻辑形式描术这的两个文本，前者只是安全的，后者是安全的且是自稳定的。     

神经网络在公路工程质量检测中的应用

通过对神经网络的自学习、自组织能力的分析,结合公路工程质量检测的实际,提出了应用神经网络提高公路工程质量检测的精度和可靠度的方法。     

基于信息安全保障的网络入侵检测系统自防御技术研究

讨论了入侵检测系统的由来、概念和通用检测模型,以及信息安全保障的概念和其体系结构.分析了入侵检测系统的脆弱性和所面临的威胁,在信息安全保障的理论下提出了入侵检测系统的自防御原则和信息源的自防御技术途径.     

对逻辑斯蒂方程的考察

使用Visual Basic语言，通过计算机对逻辑斯蒂方程进行考察，清楚的展示了它们的自相似分形结构，以及混沌区内出现的密集线和窗口内的有限周期。     

电控喷射系统的故障诊断和机理分析

本文以应用性为准则，系统论述了电控喷射系统的检测方法、检测程序、维修要点、自诊系统利用和故障分析等问题。     

自平衡测桩法的适用性讨论

自平衡测桩法是高承载力条件下较为有效的桩基极限荷载检测手段之一。自平衡测桩法的荷载箱形式主要分为等截面荷载箱和变截面荷载箱两种,本文从这两种形式的工作机理加以论述,并就自平衡测桩法的适用性进行讨论,自平衡测桩法如同其他桩基础极限荷载检测方法一样,有一定的局限性,因此必须在使用中认真研究桩基的承载力学特性,提高检测准确性,为桥梁桩基础的检测提供理论基础。     

基于UIO的摆式列车倾摆控制系统执行机构的故障检测

提出了一种利用未知输入观测吕（ＵＩＯ）对摆式列车倾摆控制系统执行机构进行故障检测的方法。该方法是干扰解耦原理的一个应用,通过一个全阶未知输入观测器使残差对未知输入不敏感,而对故障敏感,通过一个简单阈值逻辑来检测故障,通过计算机仿真证明了该方法的有效性。     

新型BCD加法器及其可逆逻辑实现

可逆逻辑是最近几年迅速发展起来的新兴研究领域,由于它在传递信息时能减少能量损耗而引起各方面越来越多的关注.该文设计了一种新型的4×4可逆逻辑门—NC门,该门能够独立实现可逆BCD溢出检测逻辑电路.同时,借助作者曾经设计的4×4可逆加法电路—ZS门,设计出一种新型可逆BCD加法电路.设计的电路与以往的相比,无论是在门的数...     

中国古代有没有逻辑--从普遍性与特殊性的角度看

在20世纪,"中国有没有逻辑"始终是逻辑学界争论不休的一个问题,有学者给以肯定的回答,有学者给以否定的回答.同样是以西方的逻辑作为普遍者,既可能导致中国古代无逻辑的虚无主义态度,也可能导致比附法在中国古代逻辑史研究中的泛滥.对"中国古代有没有逻辑"这个问题的回答,既应当注意到逻辑的普遍性也不能忽视逻辑的特殊性.忽视或取消逻辑的普遍性,会带来对不同民族、不同文化之间事实存在的交流进行解释的困难;忽视逻辑的特殊性,则一方面可能导致中国古代没有逻辑的结论,另一方面可能导致比附法的研究模式.中国古代也有关于逻辑的理论,但其系统性及其表现形式并不与西方逻辑学完全一致.     

城市信号主干道网络交通事件检测

本文论述了用向量机（SVM）技术检测城市主干道交通事件的发展应用。用来自固定检测器和浮动车的数据作为输入向量,经过以下五个步骤完成事件检测：采用ARFIMA模型处理交通输入数据,用SVM训练原始数据,运用模糊逻辑训SVM样本,融合从固定检测器和浮动车获取的数据,推断路段及路网状态。     

N-乙酰-L-半胱氨酸通过AMPK/mTOR途径激活保护性自噬降低青蒿琥酯诱导的胰腺癌细胞死亡

目的 使用活性氧(ROS)清除剂N-乙酰-L-半胱氨酸(NAC)探究青蒿琥酯（ART）对胰腺癌（PC）的抑制作用及机制。方法 ART干预3种PC细胞系CFPAC-1、Capan-2及BxPC3,通过CCK8法检测细胞活性;Transwell法检测细胞迁移能力;Western blotting检测迁移相关蛋白E钙黏蛋白（E-cadherin）、N钙黏蛋白（N-cadherin）及波形蛋白（Vimentin）的表达;ROS探针DCFH-DA检测胞内ROS;用LC3细胞免疫荧光检测胞内自噬小体的形成;加入NAC或自噬抑制剂3-MA后,再通过CCK8法检测细胞活性,Western blotting检测p-AMPK/AMPK、p-mTOR/mTOR、p62及LC3Ⅱ/Ⅰ的表达。结果 ART以时间、剂量依赖的方式抑制CFPAC-1、Capan-2的生长。200μmol/L ART处理CFPAC-1、Capan-2细胞48 h后,E-cadherin表达显著上调,N-cadherin及Vimentin显著下调,细胞迁移能力降低;ART上调胞内ROS水平,促进细胞自噬小体形成;NAC可逆转ART对CF...     

大直径桩基承载力自平衡法试验研究

由于某工程试桩直径大,试验场地有限,承载力确定困难,在比较常用桩基承载力检测方法后,确定采用自平衡法。阐述了自平衡试桩法试验原理和试验过程,通过试验得到了桩基竖向承载力、桩侧摩阻力和桩端阻力,可为同类地形、地质条件下大直径桩基的设计施工和检测提供参考。