检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

一种针对物联网智能系统的规则冲突检测方法

计算机研究与发展 2023年第3期60卷 592-605页

作者：杨波郭浩然冯俊辉李戈金芝北京林业大学信息学院北京100083 北方工业大学信息学院北京100144 国家林业和草原局林业智能信息处理工程技术研究中心(北京林业大学) 北京100083 北京大学计算机学院北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

物联网系统架构的核心是逻辑控制器,逻辑控制器中使用规则控制业务逻辑,减少物联网系统的开发、维护成本,提高物联网设备的灵活性.但随着物联网系统的规模扩大,规则间的关系变得复杂,从而可能产生规则冲突.为避免规则发生冲突,一些研究... 详细信息

物联网系统架构的核心是逻辑控制器,逻辑控制器中使用规则控制业务逻辑,减少物联网系统的开发、维护成本,提高物联网设备的灵活性.但随着物联网系统的规模扩大,规则间的关系变得复杂,从而可能产生规则冲突.为避免规则发生冲突,一些研究者提出了规则冲突检测方法.但是,以往的规则冲突检测方法还存在规则冲突类型分析不全面、检测结果准确性较低的问题.为此提出一种针对物联网系统控制逻辑的形式化规则冲突检测方法(formal rule conflict detection,FRCD).该方法首先形式化定义规则及规则冲突,其中将规则定义为控制主体、动作、触发条件、符号的组合;然后根据规则对系统的影响以及规则的结构特征,总结出7类规则冲突类型;最后设计规则冲突检测的算法,并介绍规则冲突检测的详细过程.在2个物联网系统上开展实验,与已有的3种典型的物联网规则冲突检测方法进行对比.这3种方法分别是基于用户、触发器、环境实体和作动器的冲突检测方法(user,triggers,environment entities,and actuators,UTEA)、基于Web语义的策略冲突检测方法(semantic Web-based policy interaction detection with rules,SPIDER)和半形式化的冲突检测方法(identifying requirements interactions using semiformal,IRIS).实验结果显示,FRCD规则冲突检测方法效果更好.

关键词：物联网智能系统规则冲突冲突检测规则形式化

在线全文

学校读者我要写书评

暂无评论

基于全局冲突解析的高速铁路时刻表调整模型

铁道学报 2023年第2期45卷 1-12页

作者：张俊叶玉玲扬州大学建筑科学与工程学院江苏扬州225127 同济大学交通运输工程学院上海201804 同济大学道路与交通工程教育部重点实验室上海201804

面对高速铁路日常运输过程中不可避免的非正常事件扰动,如何快速疏解列车运行冲突并即时生成时刻表调整方案是列车调度指挥的关键问题。在分析列车运行冲突产生机理的基础上,首先探讨各类冲突的适用疏解策略,并建立相应的状态更新方程... 详细信息

面对高速铁路日常运输过程中不可避免的非正常事件扰动,如何快速疏解列车运行冲突并即时生成时刻表调整方案是列车调度指挥的关键问题。在分析列车运行冲突产生机理的基础上,首先探讨各类冲突的适用疏解策略,并建立相应的状态更新方程和适用场景约束;其次结合冲突主导性和冲突优先级的内涵解析设计树状冲突疏解机制。以全局冲突解析为基础,构建时刻表调整的双目标规划模型,采用帕累托最优和纳什均衡相融合的算法进行求解,并结合典型区间中断工况进行实证研究。结果表明本文所构建的解析与求解融合模型能够充分利用运行冗余适时采取疏解策略,和实绩运行图相比,调整方案下的影响列车数降低33.3%,站车累积加权延误减少49.7%。

关键词：高速铁路冲突检测疏解策略解析建模时刻表优化

在线全文

学校读者我要写书评

暂无评论

跑道侵入与冲突检测的共形几何代数描述

航空学报 2022年第5期43卷 475-484页

作者：焦卫东王瑞冬姚军强庞艳丽中国民航大学天津市智能信号与图像处理重点实验室天津300300

提出一种基于共形几何代数(CGA)的跑道侵入与跑道冲突检测描述方法,以弥补欧氏空间中跑道侵入与冲突检测算法的计算结构复杂、语义不清晰及动态计算效率低等不足。首先,建立跑道保护区的共形几何代数描述,基于共形几何代数的外积运算,... 详细信息

提出一种基于共形几何代数(CGA)的跑道侵入与跑道冲突检测描述方法,以弥补欧氏空间中跑道侵入与冲突检测算法的计算结构复杂、语义不清晰及动态计算效率低等不足。首先,建立跑道保护区的共形几何代数描述,基于共形几何代数的外积运算,通过判断飞行器与跑道保护区(RPZ)各边界所在面的位置关系检测跑道侵入。然后,对飞行器保护区进行共形几何代数描述,基于共形几何代数的内积运算,通过判断飞行器保护区是否相交检测跑道冲突。最后,基于ADS-B数据,构造跑道侵入与冲突场景,利用卡尔曼滤波算法预测航迹,通过实验验证了所提方法的有效性:本文跑道侵入与冲突检测算法的运算速度比欧氏空间方法分别快1.5倍和2.2倍以上,可以更快速地准确检测跑道侵入与跑道冲突。

关键词：共形几何代数外积跑道侵入内积冲突检测

直觉的逻辑性:冲突检测和个体差异的作用机制

在线全文

学校读者我要写书评

暂无评论

心理科学 2024年第1期47卷 52-60页

作者：王允宏罗俊龙上海师范大学心理学院上海200234

逻辑直觉模型认为个体有逻辑和启发式两类直觉。冲突检测是检验逻辑直觉存在的重要方法。当个体做出逻辑反应时,说明逻辑直觉在发挥作用并能检测到自身和启发式直觉的冲突。近年来,研究者将认知能力作为个体差异的主要测量变量,发现认... 详细信息

逻辑直觉模型认为个体有逻辑和启发式两类直觉。冲突检测是检验逻辑直觉存在的重要方法。当个体做出逻辑反应时,说明逻辑直觉在发挥作用并能检测到自身和启发式直觉的冲突。近年来,研究者将认知能力作为个体差异的主要测量变量,发现认知能力能够正向预测逻辑直觉的运用。然而,基于逻辑直觉的研究存在理论建构不够丰富等问题。未来应当从明确逻辑直觉操作性定义和改进实验范式出发,进一步提出可供实证研究检验的假设,为逻辑直觉的运用和发展提供更为坚实的理论支持。

关键词：逻辑直觉启发式直觉冲突检测个体差异认知能力

在线全文

学校读者我要写书评

暂无评论

RegLang监管合约规则冲突检测方法

计算机工程 2023年第5期49卷 12-21,28页

作者：高健博张家硕李青山陈钟北京大学计算机学院北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871 博雅正链(北京)科技有限公司北京100037

RegLang是一种面向监管规则设计的智能合约编程语言,旨在支撑监管规则数字化与合约化,已在金融等领域取得初步应用。然而,在实际应用中,金融监管领域的“适用冲突”“多轨规制”等规则冲突问题可能对区块链金融应用造成严重影响,在增加... 详细信息

RegLang是一种面向监管规则设计的智能合约编程语言,旨在支撑监管规则数字化与合约化,已在金融等领域取得初步应用。然而,在实际应用中,金融监管领域的“适用冲突”“多轨规制”等规则冲突问题可能对区块链金融应用造成严重影响,在增加从业机构合规成本的同时,对监管合约的有效性带来挑战。针对上述问题,提出监管合约变量类型依赖分析方法与基于依赖图的变量类型传播分析方法,推断监管合约中所有变量的可能类型,并根据可满足性模理论求解器支持的符号类型实现监管合约中变量、语句和规则的符号化。基于符号分析的规则冲突检测方法,将监管规则冲突问题转换为可满足性问题,从而检测监管合约中规则的自冲突、完全冲突和局部冲突,并针对多个监管规则间完全冲突检测中的状态空间爆炸问题提出子集划分算法进行优化。实验结果表明,RegLang监管合约规则冲突检测方法可以有效检测各类监管规则冲突,在对代码行数为300行的监管规则进行冲突检测时,自冲突、完全冲突和局部冲突的平均检测耗时分别为1234.9 ms、1977.8 ms和2364.5 ms,在实际应用中是可接受的,能够为实现监管规则数字化提供有效保障。

关键词： RegLang监管合约智能合约冲突检测符号分析区块链监管科技

一种面向联盟链Hyperledger Fabric的并发冲突事务优化方法

在线全文

学校读者我要写书评

暂无评论

计算机研究与发展 2023年

作者：吴海博刘辉孙毅李俊中国科学院计算机网络信息中心山东省区块链金融重点实验室中国科学院计算技术研究所中国科学院大学

随着区块链技术应用的普及，联盟链Hyperledger Fabric已成为知名区块链开源平台，并得到广泛关注.然而Fabric仍受困于并发事务间冲突问题，冲突发生时会引发大量无效交易上链，导致吞吐量下降，阻碍其发展.对于该问题，现有面向块内冲... 详细信息

随着区块链技术应用的普及，联盟链Hyperledger Fabric已成为知名区块链开源平台，并得到广泛关注.然而Fabric仍受困于并发事务间冲突问题，冲突发生时会引发大量无效交易上链，导致吞吐量下降，阻碍其发展.对于该问题，现有面向块内冲突的方案缺乏高效的冲突检测和避免方法，同时现有研究往往忽略块间冲突对吞吐量的不利影响.提出了一种Fabric的优化方案Fabric-HT（fabric with high throughput），从区块内和区块间2方面入手，有效降低事务间并发冲突，提高系统吞吐量.针对区块内事务冲突，提出了一种事务调度机制，根据块内冲突事务集定义了一种高效数据结构——依赖关系链，识别具有“危险结构”的事务并提前中止，合理调度事务和消除冲突；针对区块间事务冲突，将冲突事务检测提前至排序节点完成，建立以“推送-匹配”为核心的冲突事务早期避免机制.在多场景下开展大量实验，结果表明Fabric-HT在吞吐量、事务中止率、事务平均执行时间、无效事务空间占用率等方面，均优于对比方案.吞吐量最高可达Fabric的9.51倍，是最新优化方案FabricSharp的1.18倍；空间利用率上相比FabricSharp提升了14%.此外，Fabric-HT也表现出较好的鲁棒性和抗攻击能力.

关键词：并发冲突区块链 Hyperledger Fabric 事务调度冲突检测

基于查询频率的混合事务分析处理数据同步优化

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

华东师范大学学报（自然科学版） 2022年第5期 26-35页

作者：唐永金孙家博蔡鹏华东师范大学数据科学与工程学院上海200062

混合事务分析处理(Hybrid Transaction Analytical Processing, HTAP)系统需要同时支持事务处理和查询分析两种工作负载.为了消除这两种负载之间的干扰, HTAP系统会为这两种负载指定不同的数据副本,分别处理OLTP (Online Transaction Pr... 详细信息

混合事务分析处理(Hybrid Transaction Analytical Processing, HTAP)系统需要同时支持事务处理和查询分析两种工作负载.为了消除这两种负载之间的干扰, HTAP系统会为这两种负载指定不同的数据副本,分别处理OLTP (Online Transaction Processing)和OLAP (Online Analytical Processing)请求,并基于日志回放进行副本之间的数据同步. HTAP系统致力于同步OLTP数据到OLAP端以提供更新鲜的数据查询服务,日志的发送与回放速度是影响数据新鲜度的关键因素.本文在基于表分组的日志并行回放方法的基础上,针对HTAP负载特点,提出基于OLAP端查询频率的日志发送与回放方法.在保障数据一致性的前提下,本文所提出的方法提升了高频查询表日志的处理优先级,最终实现高效的日志发送、日志回放以及针对性的高频查询表数据优先展示,保证了HTAP系统数据的新鲜度.

关键词：混合事务分析处理数据新鲜度日志回放冲突检测

在线全文

学校读者我要写书评

暂无评论

多视图军事需求模型要素关系冲突检测研究

中国电子科学研究院学报 2022年第3期17卷 297-304页

作者：冯济舟吴亮董世友中国电子科技集团公司第三十八研究所安徽合肥230088

由于系统工程设计的专业性,及其表达形式的多样性,致使系统工程设计冲突检测一直成为设计工程的难点。文中以多视图军事需求模型作为系统工程设计表达的标准框架,对其用于系统工程设计描述的视角作为研究对象,对系统工程设计表现形式进... 详细信息

由于系统工程设计的专业性,及其表达形式的多样性,致使系统工程设计冲突检测一直成为设计工程的难点。文中以多视图军事需求模型作为系统工程设计表达的标准框架,对其用于系统工程设计描述的视角作为研究对象,对系统工程设计表现形式进行分析,根据目前流行的系统工程设计表达工具特性,进行抽象并归类,总结并建立了四种基本系统工程设计冲突模型,并通过图论方法和矩阵方法进行模型的物理形式和逻辑形式表示,提出针对性的启发式算法和D-S证据推断方法,实现了系统工程设计冲突的自动检测,并结合应用案例,验证方法的有效性和正确性。通过此自动检测方法,不仅可以对需求内容实现无遗漏检查,而且大大提高了冲突检测效率,将完成时间由人工的时、分级缩短至计算机的秒、毫秒级。

关键词：系统工程设计多样性标准框架冲突检测

在线全文

学校读者我要写书评

暂无评论

推理与偏差:从传统逻辑到逻辑直觉的推进

应用心理学 2023年第5期29卷 441-453页

作者：杨建勇胡竹菁聂丹丹朱德彪江西师范大学心理学院南昌330022

近来研究发现双加工理论中基于分析性思维的逻辑或概率加工也可以进行快速的直觉加工,引发了一种叫做“逻辑直觉”的提议。不同范式(冲突检测、双指导语、喜好范式、随机反应)下的实证研究对逻辑直觉存在的稳定性提供了支持。逻辑直觉... 详细信息

近来研究发现双加工理论中基于分析性思维的逻辑或概率加工也可以进行快速的直觉加工,引发了一种叫做“逻辑直觉”的提议。不同范式(冲突检测、双指导语、喜好范式、随机反应)下的实证研究对逻辑直觉存在的稳定性提供了支持。逻辑直觉具有自动性和内隐性两个核心特点。虽然逻辑直觉对于偏差解释、理论革新和人类理性的讨论都有重要影响,但逻辑直觉的研究目前还处于起步阶段,仍有许多不足之处需要更多的研究者去探索。

关键词：逻辑直觉双加工冲突检测双指导语喜好范式