“冲突图”专利关键词查询_检索下载_查询列表_检索列表_行业专利分布_钻瓜专利网

钻瓜专利网为您找到相关结果3605146个，建议您升级VIP下载更多相关专利

[发明专利]确定半导体装置的可着色性的方法和实施所述方法的系统-CN201611058998.6在审
发明人：郑众允;徐金厂;李宪信;李建毅;柯利升;杨稳儒 -专利权人：台湾积体电路制造股份有限公司
申请日： 2016-11-25 - 公布日： 2017-07-14 - 主分类号： H01L27/02 文献下载
摘要：本发明实施例揭示了一种确定半导体装置的可着色性的方法和实施所述方法的系统，所述方法包含迭代地分解冲突图以移除具有少于阈值数目的链路的链路的所有节点。所述方法还包含确定所述已分解的冲突图是否为简化图。所述方法还包含当所述已分解的冲突图并非简化图时使用专用处理装置分割所述已分解的冲突图。所述方法还包含当所述已分解的冲突图是简化图时基于用于图案化所述半导体装置的所述层的掩模的数目来确定所述已分解的冲突图是否可着色。所述方法还包含当所述已分解的冲突图不可着色时标记冲突。
确定半导体装置着色方法实施系统

[发明专利]一种交易重新排序方法、装置、设备及可读存储介质-CN202111483958.7在审
发明人：潘清雪;姜鹏;陈志明 -专利权人：中信银行股份有限公司
申请日： 2021-12-07 - 公布日： 2022-03-29 - 主分类号： G06F16/176 文献下载
摘要：本发明涉及网络技术领域，具体而言，涉及一种交易重新排序方法、装置、设备及可读存储介质，所述方法包括：获取交易的读写数据集合；将所述交易的读写数据集合发送到共识模块进行处理，得到所述读写数据集合中的冲突交易；根据所述冲突交易生成交易冲突图，将所述交易冲突图输入计算模块进行计算和识别，得到所述交易冲突图的交易冲突环，所述交易冲突图为所述冲突交易之间写集修改读集的关系图，所述交易冲突环为所述交易冲突图内的冲突循环；根据所述交易冲突环，重新确定交易的执行顺序。本发明减少Fabric在交易验证阶段因交易读写冲突而放弃的交易数量，提高交易并发数量，并且提前在交易排序阶段确认出被放弃的交易，节约网络资源。
一种交易重新排序方法装置设备可读存储介质

[发明专利]针对大规模应用程序的数据库死锁诊断方法及系统-CN202310271041.3在审
发明人：王肇国;仪传威;董致远;陈海波;臧斌宇 -专利权人：上海交通大学
申请日： 2023-03-17 - 公布日： 2023-06-06 - 主分类号： G06F9/52 文献下载
摘要：本发明提供了一种针对大规模应用程序的数据库死锁诊断方法及系统，包括：步骤S1：将待测应用程序的单元测试使用动态符号执行引擎运行，并收集执行记录；步骤S2：基于收集的执行记录构建事务级别冲突图，基于事务级别冲突图选择事务冲突环，分别根据事务冲突环构建相应的语句级别冲突图；基于语句级别冲突图提取语句冲突环；步骤S3：分别分析语句冲突环中所有冲突边是否可能产生锁冲突，当所有冲突边均可能产生锁冲突，则基于语句冲突环生成相应的死锁判定条件
针对大规模应用程序数据库死锁诊断方法系统

[发明专利]一种基于整数规划的运行图冲突解决方法-CN202211694932.1在审
发明人：刘亚东;任赟军;苏志恒 -专利权人：成都交控轨道科技有限公司
申请日： 2022-12-28 - 公布日： 2023-03-21 - 主分类号： G06Q10/0631 文献下载
摘要：本发明公开了一种基于整数规划的运行图冲突解决方法，计划运行图发生调整时，依照以下流程进行解决：判断调整图是否有冲突，如果没有冲突，进入正常运行流程；如果运行图有冲突，构建运行图冲突解决的数学模型；以对原计划图调整最小为目标求解模型；得到冲突解决后的运行图，然后进入正常运行流程；本方案运行图冲突解决方法，把运行图调整问题抽象为数学模型，通过对数学模型的求解得出最优解决方案。建模时添加运行图规则约束，保证了安全性，通过专业求解器求解，保证了高效性。
一种基于整数规划运行冲突解决方法

[发明专利]用于修改包含固定和自由布图实体的电路布图的布图修正引擎-CN200880019529.0无效
发明人： N·G·布萨;E·J·艾克霍恩;J·G·G·P·吉斯贝根范;J·P·F·维勒克恩斯 -专利权人：萨格昂泰克以色列有限公司
申请日： 2008-07-04 - 公布日： 2010-03-24 - 主分类号： G06F17/50 文献下载
摘要：本发明涉及用于修正包括具有固定和自由布图实体的电路布图(1)的布图修正引擎(18)。布图实体表示集成电路的至少一部分，每个布图实体包括至少一个布图元素。固定布图实体被约束于预定位置。布图修正引擎包括用于解决固定布图实体和自由布图实体间的冲突的冲突解决器。冲突解决器包括布图分析器(14)和冲突解决模块(16)。冲突解决模块产生固定布图元素组用于解决检测到的冲突。由于布图修正引擎将固定布图实体转换成固定布图元素组，布图修正引擎在修正电路布图时会遇到更少的冲突状况，从而缩短处理时间。
用于修改包含固定自由实体电路修正引擎

[发明专利]用于列车运行图的冲突显示的方法、装置和存储介质-CN202010762881.6有效
发明人：江越秀;黄伟 -专利权人：比亚迪股份有限公司
申请日： 2020-07-31 - 公布日： 2023-03-17 - 主分类号： B61L27/10 文献下载
摘要：本申请提供一种用于列车运行图的冲突显示的方法、装置和存储介质，该方法包括：获取对列车运行线进行冲突检查后得到的冲突项；在列车运行图上与所述冲突项对应的位置处，生成并显示冲突标记以及与所述冲突项相关联的冲突提示信息根据本申请实施例的用于列车运行图的冲突显示的方法、装置和存储介质直接将冲突项在列车运行图的相应位置处标记出来，并添加关于冲突项的提示信息，使得冲突项的显示更为直观，便于调度员迅速快捷地找到冲突项并确定是何种冲突项
用于列车运行冲突显示方法装置存储介质

[发明专利]基于冲突检测的区块链交易执行方法-CN202210718485.2在审
发明人：王行行;邓浩;丘志杰;陈虹;徐竟浩 -专利权人：北京链道科技有限公司
申请日： 2022-06-23 - 公布日： 2022-10-11 - 主分类号： G06Q20/38 文献下载
摘要：本发明公开了一种基于冲突检测的区块链交易执行方法，对于当前区块链节点中部署的所有智能合约，根据各个智能合约的实际情况将智能合约方法的冲突类型标记为静态冲突类型、动态冲突类型或全冲突类型，然后区块链节点对于当前所有待执行的交易，根据对应智能合约方法的冲突类型进行冲突检测，然后生成所有待执行交易的交易冲突图，根据交易冲突图调度执行交易。本发明中区块链节点在执行交易前获取每笔交易的冲突项，构造出交易冲突图，区块链节点据此调度执行交易，选取部分交易进行并发执行，在避免交易执行发生冲突的同时充分利用系统资源，从而提升区块链系统的性能。
基于冲突检测区块交易执行方法

[发明专利]异构网络中基于弦图着色的联合干扰对齐与资源分配方法-CN202110102281.1有效
发明人：刘伟;刘科;索宏泽;焦利彬 -专利权人：西安电子科技大学;中国电子科技集团公司第五十四研究所
申请日： 2021-01-26 - 公布日： 2022-10-21 - 主分类号： H04W72/08 文献下载
摘要：本发明提出了一种异构网络中基于弦图着色的联合干扰对齐与资源分配方法，旨在充分考虑网络中子信道资源的差异化需求，设计干扰对齐簇的选取及资源分配方案，提升用户满意率。实现步骤为：根据用户的子信道数目需求和资源冲突关系，构造冲突图；基于最大势搜索算法构造弦化冲突图；对每一个干扰对齐簇，构造转化冲突图；使用最大加权子图算法计算弦化冲突图以及转化冲突图的满意用户数，选取干扰对齐簇；使用最大势算法得到弦化冲突图的完美消除序列，并基于完美消除序列为每个链路分配子信道；本发明比现有技术的适用场景更广，复杂度更低，用户满意率更高。
网络基于着色联合干扰对齐资源分配方法

[发明专利]一种基于有向无环图的智能合约冲突检测方法-CN202110184446.4在审
发明人：郑志明;邱望洁;袁波;庞景方;吴发国;朱红;周冬旭;许洪华;朱正谊;姚铭艺;王文帝 -专利权人：北京航空航天大学;国网江苏省电力有限公司南京供电分公司
申请日： 2021-02-10 - 公布日： 2021-05-25 - 主分类号： G06Q40/04 文献下载
摘要：本发明公开了一种基于有向无环图的智能合约冲突检测方法，包括以下步骤：S1、背书节点提取交易模拟执行结果的读写集；S2、根据读写集更新智能合约冲突关系图，并进行冲突检测，生成有向无环图的冲突关系映射表；S3、在完成交易验证并将交易添加到链上后，对智能合约冲突关系图以及冲突关系映射表进行更新。本发明的有益效果在于，提供一种区块链智能合约的冲突检测方法，能够使交易中的智能合约在背书阶段进行冲突检测，提前判断无效交易，避免无效交易进入排序、验证阶段。本发明使用有向无环图进行智能合约的冲突检测，可极大地减少系统资源的消耗，能够有效地提高区块链系统的交易吞吐率并减少系统资源开销。
一种基于无环图智能合约冲突检测方法

[发明专利]基于图染色法的RFID多读写器防冲突方法-CN200810032490.8有效
发明人：王俊宇;刘丹;魏鹏;周晓方;闵昊 -专利权人：复旦大学
申请日： 2008-01-10 - 公布日： 2008-07-09 - 主分类号： G06K7/00 文献下载
摘要：本发明公开了一种基于图染色算法的射频识别(RFID)多读写器防冲突方法，通过执行图染色算法为每个RFID读写器分配合适的频率(信道)和时间(时隙)，使得存在频率冲突的读写器之间，使用不同信道工作，以避免频率冲突；同时，使得存在标签冲突的读写器之间在不同的时隙阅读标签，以避免标签冲突。本发明通过结合频分和时分的基于图染色法的多读写器防冲突方法，可以在使用较少的信道和时隙资源的情况下有效地避免多读写器之间的冲突(包括标签冲突和频率冲突)，使得读写器的平均识别速度得到提高。
基于染色 rfid 读写冲突方法

[发明专利]超级账本中的交易排序方法、装置和计算机设备-CN202011049551.9在审
发明人：向舜 -专利权人：卓尔智联（武汉）研究院有限公司
申请日： 2020-09-29 - 公布日： 2021-01-29 - 主分类号： G06F21/64 文献下载
摘要：所述方法包括：构建区块链中同一时刻发起的交易集合对应的交易冲突图；交易冲突图中的每一节点代表一个交易；通过求有向图强连通分量的算法对交易冲突图进行分解，得到对应的强连通图集；根据强连通图集标记交易集合中每个交易出现的总次数；将代表总次数最多的交易的节点从交易冲突图中移除，并更新每个交易出现的总次数，直到交易冲突图中不存在强连通图，得到无冲突交易图；基于无冲突交易图中每个节点的方向，通过超级账本的排序节点确定无冲突交易图中有效交易的执行顺序
超级账本中的交易排序方法装置计算机设备

[发明专利]一种运行图冲突检查处理方法及装置-CN201710617985.6在审
发明人：杜恒;张强 -专利权人：交控科技股份有限公司
申请日： 2017-07-26 - 公布日： 2017-12-26 - 主分类号： G06Q10/06 文献下载
摘要：本发明实施例公开了一种运行图冲突检查处理方法及装置，方法包括获取运行图中所有的列车信息运行点，并按照不同车站对所有的列车信息运行点进行分类，得到各车站对应的列车信息运行点；获取当前车站的所有冲突检查项目，根据当前车站的列车信息运行点，对所有冲突检查项目进行预处理，得到预处理结果；根据所述预处理结果，依次对当前车站的各冲突检查项目进行冲突检查。本发明实施例通过对所有的列车信息运行点按照车站进行分类，以车站为单位对该车站的所有冲突检查项目进行预处理，节省了预处理时间，通过一次遍历完成所有冲突检查项目的冲突检查，实现运行图的冲突检查功能，极大地提高了运行图冲突检查效率
一种运行冲突检查处理方法装置

[发明专利]一种验证自动触发进路冲突的方法及装置-CN202210376426.1有效
发明人：蔡璇;刘树杰;马永恒 -专利权人：卡斯柯信号（北京）有限公司
申请日： 2022-04-12 - 公布日： 2022-07-22 - 主分类号： B61L27/60 文献下载
摘要：本发明公开了一种验证自动触发进路冲突的方法及装置，涉及地铁自动触发进路冲突技术领域，优化了验证自动触发进路冲突的方法，提高验证效率和准确率。本发明的主要技术方案为：在测试环境中配置列车自动监控系统的指定开放接口；根据所述指定开放接口，导入自动触发进路冲突列表，所述自动触发进路冲突列表中包含有多条自动触发进路冲突测试用例，每条所述测试用例包含有自动触发进路冲突点位和所述进路冲突点位关联的冲突进路；根据所述测试用例，创建适配运行图；根据所述运行图，模拟增加列车运行以进行进路冲突测试；根据所述进路冲突测试对应的测试结果，输出验证自动触发进路冲突对应的验证结果。
一种验证自动触发进路冲突方法装置

[发明专利]一种面向“三线”冲突的分析和评价方法-CN201711397601.0在审
发明人：刘耀林;张琰;张扬;王好峰;刘以 -专利权人：武汉大学
申请日： 2017-12-21 - 公布日： 2018-03-30 - 主分类号： G06Q50/26 文献下载
摘要：本发明涉及一种面向“三线”冲突的分析和评价方法，属于土地利用规划领域。本发明提供的“三线”冲突诊断分析评价方法首先从土地利用总体规划、城市总体规划和环境保护规划中提取生态红线、耕地保护线和城市扩展边界线，并采用空间叠加分析方法得到“三线”冲突图斑，然后对“三线”冲突图斑的数量与结构、形态与格局以及驱动因子进行分析，最后对“三线”冲突图斑的生态用地适宜性、耕地适宜性和建设用地适宜性进行评价，求得“三线”冲突图斑的最佳适宜类。该方法既是一套诊断、分析、评价“三线”冲突的方法体系，也是分析、解决“三线”冲突的科学流程，其结果能够为解决“三线”冲突、实现国土空间统一规划提供依据。
一种面向三线冲突分析评价方法

[发明专利]一种基于有向图的代码仓库代码块级别冲突排序分组方法-CN202210726119.1在审
发明人：张卫丰;张传忠;周国强;张迎周;王子元 -专利权人：南京邮电大学
申请日： 2022-06-24 - 公布日： 2022-09-23 - 主分类号： G06F8/41 文献下载
摘要：一种基于有向图的代码仓库代码块级别冲突排序分组方法，首先提取出发生冲突的文件列表、冲突文件内部的方法名称以及冲突代码片段的信息进行保存；然后对不同分支上的冲突文件内部的所有方法构造出依赖关系图；其次对比依赖关系图中的节点，将不同分支上构造出的依赖关系图进行合并；接着遍历依赖关系图，将节点携带的文件全路径名、方法名称、方法开始和结束的行号与保存对比，将符合条件的冲突文件全路径名、方法名称按照节点序号从大到小进行保存；最后将处在同一个依赖关系图中的冲突方法分入到同一分组本方法能够有效地针对当前代码仓库存在的代码块级别进行排序，同时对代码块级别的冲突进行有效的分组从而帮助开发人员有序的解决冲突。
一种基于代码仓库级别冲突排序分组方法

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
下一页»
尾页
共 100000 条