RESTlogic: Detecting Logic Vulnerabilities in Cloud REST APIs

logical testing model and resource lifecycle information,generate test cases and complete parameters,and alleviate inconsistency issues through parameter inference.Once again,we propose a method of analyzing test results using joint state codes and call stack information,which compensates for the shortcomings of traditional analysis methods.We will apply our method to testing REST services,including OpenStack,an open source cloud operating platform for experimental evaluation.We have found a series of inconsistencies,known vulnerabilities,and new unknown logical defects.

智能消除注塑制品缺陷的研究

研究了如何利用注塑专家的经验知识 ,采用基于规则的模糊逻辑推理 ,寻找无缺陷注塑过程参数的方法 ,尽量减少对操作者的专业知识的要求。首次将基于经验知识的模糊逻辑系统运用于注塑过程参数的自动设定 ,实现了初步的系统。实验结果表明该系统层次分明、结构简单、实用。

类BAN逻辑基本模型及缺陷

类 BA N逻辑是一种用于分析密码协议安全性的逻辑 .在分析了 BA N,A T,M B,G NY,SV O等类 BAN逻辑之后 ,指出这些逻辑的缺陷 ,包括若干新发现的缺陷 .首先把类 BA N的模型抽象出来 ,形成一个五元组模型 ,然后分析该模型的各个要素 ,并依据该模型对类 BA N逻辑的缺陷进行分类 ,最后指出进一步发展类

重合闸未充电引发保护不正确动作的分析

介绍了LFP-901B型超高压数字式线路快速保护装置的保护配置及重合闸的充电逻辑,分析了由该装置重合闸未充电引起的保护不正确动作,指出了该装置充电回路的缺陷及HHKK为0时造成的危害,针对充电回路存在的缺陷提出了建议及整改措施。

基于三摄像系统的苹果缺陷快速判别

水果缺陷识别一直是计算机视觉水果实时分级中的研究热点，文中提出一种基于三摄像系统的逻辑判别缺陷的新方法．首先利用三摄像系统获取苹果在三个连续不同位置的9幅图像，然后对图像进行去背景、滤噪等预处理操作，再对图像进行缺陷的分割并加以标记，接着根据分割标记后的可疑区个数，对苹果缺陷的有无进行逻辑判别，即当这9幅图像中只要有一幅图像被分割出两个以上的可疑区，则判断该苹果有缺陷．试验结果表明，缺陷识别精度达到89．4％，另外由于该方法避免了缺陷和果梗或果萼直接识别，处理速度和正确率都得到了很大的提高，能够满足在线5—10个／秒的检测速度要求．

基于模糊-粗糙集理论的神经网络模式识别方法

目的通过对数据进行约简提高模式识别中数据的有效性,以提高胶合板缺陷检测的准确率和在线的实时性.方法利用粗糙集理论在数据约简上的优势,提取出对模式识别决策结果影响最大的属性,约简掉对决策结果影响较小的属性.利用模糊逻辑在不确定性问题的能力,提高边缘属性在模式识别中的权重值.利用神经网络在模式识别中的有效性,将粗糙集算法、模糊逻辑、神经网络的人工智能算法有效相结合,提出一种基于模糊粗糙集神经网络的模式识别分类方法.结果结合胶合板缺陷检测,针对胶合板的13类缺陷的17个属性,提取出最有效的数据,约简了对决策影响最小的4个属性.结论基于模糊-粗糙集理论的神经网络模式识别算法提高了数据的有效性,增强了缺陷检测的准确度,提升了在线检测的实时性,取得了良好的研究结果.

《民法典》总则编部分条款的逻辑瑕疵及其修订建议(下)

逻辑规则、语言规则之所以能够作为评价《民法典》的基本规则,这是由法律与语言、逻辑之间具有内容与形式的关系所决定的:法律规范命题是以自然语言的形式表达出来的,自然语言是法律规范命题的外在表达形式,逻辑语言是法律规范命题的内在表达方式。法律概念外延间的逻辑关系、价值关系决定了法律规范命题的量词、连接词、道义规范词以及标点符号的不同形式,正是这些不同的量词、连接词、道义规范词以及标点符号才将不同法律概念连接成为不同的法律规则、法律原则,最终构成一个完整的法律规范体系。如果法律规范命题中出现了逻辑错误或语法错误,这说明该法律规范命题很可能没有正确反映法律自身的内在规律,因此运用语言规则、逻辑规则对法律规范命题进行分析评价的过程就是发现逻辑错误的过程,修正这些逻辑错误或语法错误能够提高立法质量。本文以“合规律-合规则”“无矛盾”“准确”和“简洁”为评价标准,对《民法典》总则编中存在的逻辑错误进行了系统的学理分析,并提出了相应的修改意见。

全球金融治理:演进动力、内在缺陷与变革逻辑

全球金融治理本质上是全球性公共产品,具有典型的非竞争性、非排他性、非分割性特征。其演进和变迁的动力源自私人金融力量的兴起及引发的金融风险以及大国权力格局的变化和重组。作为全球经济治理在国际金融领域的应用和体现,当前的全球金融治理存在着包容赤字、监管俘获、制度非中性、议题泛化、霸权治理、碎片化、集体行动困境、软行为约束等内在缺陷,这些构成了国际金融稳定、市场有效运行、世界经济包容性增长的实质性障碍。站在中国的立场,全球金融治理机制的变革应遵循时间、空间、思维、行为四个逻辑。

《民法典》总则编部分条款的逻辑瑕疵及其修订建议(上)

逻辑规则、语言规则之所以能够作为评价《民法典》的基本规则,这是由法律与语言、逻辑之间具有内容与形式的关系所决定的。法律规范命题是以自然语言的形式表达出来的,自然语言是法律规范命题的外在表达形式,逻辑语言是法律规范命题的内在表达方式。法律概念外延间的逻辑关系、价值关系决定了法律规范命题的量词、连接词、道义规范词以及标点符号的不同形式,正是这些不同的量词、连接词、道义规范词以及标点符号才将不同法律概念连接成为不同的法律规则、法律原则,最终构成一个完整的法律规范体系。如果法律规范命题中出现了逻辑错误或语法错误,这说明该法律规范命题很可能没有正确反映法律自身的内在规律。因此运用语言规则、逻辑规则对法律规范命题进行分析评价的过程就是发现逻辑错误的过程,修正这些逻辑错误或语法错误能够提高立法质量。本文以“合规律—合规则”“无矛盾”“准确”和“简洁”为评价标准,对《民法典》总则编中存在的逻辑错误进行了系统的学理分析,并提出了相应的修改意见。

PLC对手指橡胶皮套的次品检测控制

本文介绍PLC对中指胶皮套次品检测的控制,在PLC对中指胶皮套次品检测的控制中主要阐述对中指胶皮套次品检测的工艺要求,PLC的I/O口的分配,PLC的软件编程中应用块置位BSET(071)指令、移位寄存器SFT (010)指令完成对次品检测的控制,以及使用加减计数器仪表完成对合格产品的数量记录和显示.

新古典经济学需求理论的合理性与缺陷分析

新古典经济学需求理论的主要目的是解释消费者对商品组合如何实现最优选择的问题,包括单个消费者是如何在不同商品选择中实现最大化满足的,消费者的个体需求是如何形成市场集体需求的等。本文在研读相关原著的基础上认为,新古典经济学需求理论在解决这些理论难题时,必须具体分析该理论的历史功绩和内在逻辑缺陷。

电器电路故障问题的解决方法

用软件来解决故障问题,其目的是缩短系统的开发的时间和降低开发的成本,实现系统的可移植性和可操作性,提高学习和工作的效率.介绍了关键技术逻辑方程和事件方程的研究和处理,用此方法来解决电器电路的故障问题.

物业服务收费管理中的逻辑缺陷及其规制

物业服务收费领域存在的问题,影响着物业管理行业的健康发展。通过回顾物业服务收费管理制度的演变历程,研究了普通住宅物业服务收费管理制度安排中的逻辑缺陷,指出政府指导价难以在物业服务市场中发挥作用,包干制的制度设计中存在信息不对称的严重缺陷,这些问题最终会导致业主与企业合作关系的破裂。加强对市场主体行为的监管,建立物业管理信息的强制披露制度将有助于解决物业管理收费中的问题。

基于线阵CCD钢板表面缺陷在线检测系统的研究

为了全面科学地评估钢板表面质量,有效地控制生产流程,设计了一套智能无损检测系统来实现对钢板表面缺陷的在线检测。基于模块化设计思想,检测系统由新型LED光源、明暗域结合成像光学系统、高速高分辨率线阵CCD传感器件、FPGA嵌入式处理系统和友好的人机接口组成。检测钢板宽度最大为1800mm,运行速度不大于1.5ms,振动幅度小于1mm,要求所达到的横纵向检测分辨率为0.8mm×0.8mm,缺陷尺寸检测误差不大于1mm。系统对钢板表面的气泡、夹杂、结疤、划伤和压痕等主要缺陷进行无损检测,能够实现缺陷自动分类,对缺陷数据自动存档、屏幕显示、打印、存储和报警功能。样机系统在硬件和软件上易于升级,并可扩展到其他相关领域。

等高线数据质量自动检查方法研究

等高线数据是基础地理信息的重要组成部分,其质量关系到基础地理信息应用的准确性和可靠性。本文从等高线的特点出发,分析归纳了等高线数据缺陷的主要表现形式,对其中几个常见的数据质量问题进行了详细分析,研究了相关的自动检查算法,算法已应用在矢量地图数据质量检查软件MapCheck中,经过大规模生产实际应用验证,本文研究的等高线自动检查算法查得准、效率高、无误报,大大减轻了作业员的劳动强度,提高了等高线数据的质量。

胶合板缺陷模糊神经网络检测算法

讨论了模糊逻辑和神经网络的工作原理,笔者在神经网络中引入模糊逻辑算法,将模糊逻辑处理不精确不完备信息的能力和神经网络的自适应自学习能力相结合,提出一种模糊神经网络算法,构建出模糊神经网络分类器,并且以胶合板缺陷检测为应用背景,对其分类的实时性、准确率等指标进行了验证,得到了分类精度93 33%,和训练次数5856次的良好性能.实验结果表明:在引入模糊逻辑算法后,基于模糊逻辑的神经网络分类器在模式分类精度和实时性等方面性能指标都得到了提高.

基于QCA可编程逻辑阵列单元的元胞缺陷研究

介绍了一种量子元胞自动机(QCA)可编程逻辑阵列结构,该结构可用于实现量子元胞自动机大规模可编程逻辑电路,采用QCADesigner仿真软件研究了元胞缺失、移位缺陷和未对准缺陷对可编程逻辑阵列单元逻辑功能的影响。得出了特定结构下,每个元胞移位缺陷和未对准缺陷的最大错位距离,以及导线模式中存在特定位置的8个可缺失元胞。这为缺陷单元的应用提供了一个具体的参数标准,提高了PLA阵列的单元利用率。

基于门节点分级选择的CMOL电路单元快速容错映射

针对存在缺陷CMOL电路的单元容错映射问题,提出了一种分级选择电路门节点的容错映射方法.首先通过拓扑排序求出电路门的逻辑级;然后采用级间隔的方式进行选择,并对有缺陷连接的门节点进行惩罚,提高其被选择配置的概率.实验结果表明,与已有算法相比,该方法平均选择配置的门节点总数明显减少,在纳米二极管常开缺陷密度为40%、牺牲0.18%线长的情况下,CPU平均运行时间减少了30.68%.

逻辑缺陷与法治进路:引援调节费规则的自洽性研究

自洽性是衡量一项规则完善与否的基本标尺。中国足协出台的引援调节费规则是具有本土特色的职业足球俱乐部财务问题行业自律规则,尚存文本内外部矛盾、技术设计与应然效力失洽、公开制度不能满足权力制衡需要的逻辑缺陷,主要根源于"立法"技术、决策者认知和协会内部管理机制3个维度的缺憾。引援调节费规则自洽性的完善需要践行法治进路:通过推进中国足协内部管理中的权力制衡提升规则的程序正义,消解文本逻辑矛盾,填补漏洞以应对技术设计与应然效力之间的逻辑失洽,合理确定支出区间标准以避免其与配额规则之间掣肘,夯筑正当性根基并加强中国足协与税务机关的合作以实现税法的治理承接,最终弥合其与过度引援监管需求之间的张力。嚆矢于中国职业足球行业自律改革的引援调节费规则,其逻辑缺陷、问题根源均具有突出的代表性,是故,其自洽性提升的路径探索对于职业足球发展问题治理法治化的本土实践具有启示意义。

逻辑分析在电子显微镜故障分析中的应用

电子显微镜是一台集多种学科于一体的现代大型、精密的高科技设备。随着使用时间的加长，故障率会不断增加。由于电子显微镜结构复杂，技术先进，给用户单位自己维修带来了很大困难，必须要有一种正确的分析方法，以便能准确而快速地判断出故障的原因。本文通过对ＪＸＡ－７３３ 电子探针的一个有代表性的故障分析实例来详细地介绍如何根据设备所表现出来的故障现象，使用逻辑分析方法，从设备的整体组成框图出发，通过适当的测试和逻辑分析判断，把故障范围从整体缩小到局部区域，然后再从该区域通过测试分析来判断故障产生于某一部分，最后再从该部分中找出具体的故障原因。这样从整体到部分再到具体的逻辑分析方法，很容易快速而正确地找到故障。文中还介绍了为快速分析判断故障。