“逻辑约束”专利关键词查询_检索下载_查询列表_检索列表_行业专利分布_钻瓜专利网

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

[发明专利]气动列车的安全运行控制方法及系统-CN202310582801.2在审
发明人：靳延伟;代继龙;冯晓刚;朱晨;严业智;刘伟;李德坤 -专利权人：通号城市轨道交通技术有限公司
申请日： 2023-05-22 - 公布日： 2023-10-10 - 主分类号： B61L27/20 文献下载
摘要：本发明提供一种气动列车的安全运行控制方法及系统，方法包括：根据联锁控制的防护作用，确定气动列车系统的轨旁设备的联锁逻辑约束；根据所述联锁逻辑约束，控制所述气动列车系统中的气动列车的安全运行。本发明借鉴传统轨道交通的联锁控制的防护作用，对气动列车系统的轨旁设备如离心风机、各气体阀门的状态进行联锁逻辑约束，在采用CBTC模式时，该联锁逻辑约束可保证气动列车沿线路灵活、高效以及安全的运行。
气动列车安全运行控制方法系统

[发明专利]用于产生基于模型的系统控制参数的构架-CN200680014644.X有效
发明人： L·J·布拉克尼 -专利权人：卡明斯公司
申请日： 2006-03-01 - 公布日： 2009-11-11 - 主分类号： G05B13/02 文献下载
摘要：一种产生用于控制物理系统操作的控制参数的控制构架，包括一个或多个嵌入模型、目标逻辑、目标优化逻辑和解约束逻辑，嵌入模型各产生与物理系统的不同操作参数相对应的模型输出，所述操作参数取决于一个或多个物理系统的操作工况和/或和许多解参数，目标逻辑产生取决于所述许多模型输出和一个或多个系统性能目标值的标量性能量度，目标优化逻辑以最大程度地减小标量性能量度的方式来产生许多无约束解参数，并且解约束逻辑按照限制至少其中一个无约束解参数的操作范围的方式而从所述许多无约束解参数中确定所述许多解参数控制参数可对应于所述许多无约束解参数或所述许多解参数的其中一个。
用于产生基于模型系统控制参数构架

[发明专利]一种自动形式化验证智能合约业务属性的方法及系统-CN202310137263.6在审
发明人：孙海泳 -专利权人：成都链安科技有限公司
申请日： 2023-02-20 - 公布日： 2023-07-14 - 主分类号： G06F21/64 文献下载
摘要：本发明公开了一种自动形式化验证智能合约业务属性的方法及系统，涉及区块链技术领域，其技术方案要点是：生成智能合约源码抽象语法树；将智能合约源码抽象语法树转化成中间语言代码；依据中间语言代码构建相应的控制流图，并生成依赖关系表；将目标属性的时序逻辑属性转化为语义等价的状态可达逻辑属性；将状态可达逻辑属性作为每个函数约束的前置假设条件和后置验证条件；对逻辑公式中的函数约束进行状态可达逻辑属性的可满足性约束求解；对不满足状态可达逻辑属性的公有函数进行抽象行为验证。本发明解决了现有基于字节码等底层语言的符号执行虚拟机所构建的函数约束对符号求解器求解能力的限制问题，提高符号约束验证引擎的验证能力。
一种自动形式化验证智能合约业务属性方法系统

[发明专利]用于协作智能和约束计算的约束管理器-CN202080029070.3在审
发明人： Y·G·泰伯;T·特格曼;L·罗森鲍姆 -专利权人：微软技术许可有限责任公司
申请日： 2020-03-18 - 公布日： 2021-11-26 - 主分类号： G06F21/62 文献下载
摘要：本公开的实施例涉及用于根据可配置约束在受信方环境中监测和协调协作数据的使用和生成的技术。可以提供用户接口以使租户能够指定对其数据的使用和访问的所期望的计算和约束。约束管理器可以与受信方环境中的各种组件通信以实现约束。例如，可以向约束管理器发出执行诸如命令或函数调用的可执行逻辑单元的请求，约束管理器可以授予或拒绝许可。可以根据实现约束的一个或多个条件来授予许可，诸如需要利用受约束的可执行逻辑单元来替换特定可执行逻辑单元。当约束被应用时，模式、约束和/或属性元数据的任何组合可以与数据相关联。
用于协作智能约束计算管理器

[发明专利]一种机械臂运动学形式化分析方法-CN201510233901.X有效
发明人：施智平;关永;吴爱轩;李黎明;李晓娟;王瑞;邵振洲;张倩颖;吴敏华 -专利权人：首都师范大学
申请日： 2015-05-08 - 公布日： 2015-07-15 - 主分类号： B25J19/00 文献下载
摘要：本发明涉及一种机械臂运动学形式化分析方法，包括如下步骤：步骤一，确定机械臂机构的结构参数；步骤二，用高阶逻辑语言建立机械臂机构运动学逻辑模型；步骤三，用逻辑公式描述需要验证的运动学约束或属性；步骤四，将机械臂机构运动学逻辑模型和需要验证的运动学约束或属性组成一个逻辑命题；步骤五，利用逻辑推理引擎证明所述逻辑命题是否成立，成立表明所述模型满足所述的约束或者具备所述的属性，否则，不成立表明所述模型不满足所述的约束或者不具备所述的属性。
一种机械运动学形式化分析方法

[发明专利]基于Storm的可变逻辑的通用数据处理系统及方法-CN201410268239.7有效
发明人：范小朋;赵东辉;沈慧;须成忠 -专利权人：深圳先进技术研究院
申请日： 2014-06-16 - 公布日： 2018-01-05 - 主分类号： G06F17/30 文献下载
摘要：本发明提供一种基于Storm的可变逻辑的通用数据处理系统，包括异构数据源标准化服务器用于对异构数据进行多维度标准化处理；流式拓扑结构由多个GSpout、GBolts、以及约束和逻辑系统组成，并通过数据流连接起来，其中约束和逻辑系统中约束和处理逻辑封装在逻辑配置文件中；Zookeeper；监听模块用于将逻辑配置文件中的更新动态发送给Zookeeper进行同步；Web端界面用于监控Zookeeper，以及更新逻辑配置文件本发明一旦业务逻辑需要修改，只需简单修改配置文件，系统会按照修改的逻辑运行，无需业务暂停而去修改代码和重新打包发布新的流计算任务。
基于 storm 可变逻辑通用数据处理系统方法

[发明专利]可编程逻辑器件配置以及可编程逻辑器件-CN202210896739.X有效
发明人：张树强;夏冰冰;石拓 -专利权人：北京一径科技有限公司
申请日： 2022-07-28 - 公布日： 2022-11-15 - 主分类号： G01S7/48 文献下载
摘要：本申请公开了可编程逻辑器件配置以及可编程逻辑器件，可以应用于激光雷达技术领域。该配置的方法包括：获取针对可编程逻辑器件的代码；获取针对可编程逻辑器件的约束信息，约束信息指示可编程逻辑器件中的一锁定区域，锁定区域中用于输出一信号的寄存器和缓冲器连接；基于代码并根据约束信息，确定可编程逻辑器件的第一配置信息；基于第一配置信息，配置可编程逻辑器件。本申请实现了不同版本的可编程逻辑器件对激光雷达的控制的一致性，简化了逻辑锁定操作，同时提高了可靠性。
可编程逻辑器件配置以及

[发明专利]仿真逻辑系统设计的方法、电子设备和存储介质-CN202211507778.2在审
发明人：邢永旭 -专利权人：芯华章科技（北京）有限公司
申请日： 2022-11-25 - 公布日： 2023-03-17 - 主分类号： G06F30/327 文献下载
摘要：本申请提供一种仿真逻辑系统设计的方法、电子设备和存储介质。所述方法包括：获取所述逻辑系统设计的描述和预设仿真资源的描述；根据所述逻辑系统设计的描述和所述预设仿真资源的描述编译所述逻辑系统设计，以确定仿真所述逻辑系统设计的资源的约束条件，所述约束条件指示分配所述预设仿真资源以仿真所述逻辑系统设计的方式；确定当前可用仿真资源；根据所述当前可用仿真资源和所述约束条件，确定使用所述当前可用仿真资源仿真所述逻辑系统设计的分配方式；以及根据所述分配方式分配所述当前可用仿真资源以仿真所述逻辑系统设计。
仿真逻辑系统设计方法电子设备存储介质

[发明专利]基于信号自动拉取的在线逻辑分析仪的实施方法-CN202011609667.3有效
发明人：杨海钢 -专利权人：中国科学院空天信息创新研究院
申请日： 2020-12-28 - 公布日： 2023-01-13 - 主分类号： G01R31/3177 文献下载
摘要：一种基于信号自动拉取的在线逻辑分析仪的实施方法，包括以下步骤：打开逻辑分析仪，读入综合后的网表文件；所述逻辑分析仪自动统计所述网表文件中的所有内部信号；用户选择一条或多条网表的内部信号；所述逻辑分析仪自动为每一条内部信号添加一个网表端口，并将端口连接至对应的内部信号；用户为选中的某几条或全部信号设置端口约束，所述逻辑分析仪自动产生端口约束语句；所述逻辑分析仪自动产生新的网表文件和端口约束文件，并告知用户新的网表文件和端口约束文件所在的磁盘路径；用户找到新的网表文件和端口约束文件后，运行布局布线生成码流，将码流下载至开发板；用户通过示波器捕获和抓取芯片的实时信号。
基于信号自动在线逻辑分析实施方法

[发明专利]一种基于概率软逻辑模型的实体解析方法-CN201911235517.8在审
发明人：韩伟红;宫云宝;陈雷霆;曹厚华;蒋振韬 -专利权人：电子科技大学广东电子信息工程研究院
申请日： 2019-12-05 - 公布日： 2020-04-10 - 主分类号： G06F40/295 文献下载
摘要：本发明属于实体解析技术领域，具体涉及一种基于概率软逻辑模型的实体解析方法，包括以下步骤：a、将实体解析中的实体属性、实体关系以及本体约束分别进行逻辑谓词表示；b、分别基于实体属性、实体关系以及本体约束构建实体解析过程中的一阶逻辑规则；c、结合步骤a中声明的逻辑谓词与步骤b中构建的逻辑规则设置一个关于实体解析的概率软逻辑模型；d、对概率软逻辑模型进行权重学习；e、使用推理算法对概率软逻辑模型进行计算，通过实体解析概率值。与现有技术相比，本发明通过进行谓词逻辑表示，提出基于实体属性相似度、实体关系、本体约束的逻辑规则构建，实现了概率软逻辑模型的实体解析过程，有效地提高了实体解析的准确率与执行效率。
一种基于概率逻辑模型实体解析方法

[发明专利]用于逻辑系统设计的仿真的方法、电子设备和存储介质-CN202310601280.0在审
发明人：袁宸;刘军;余胜蛟;齐正华 -专利权人：芯华章科技（厦门）有限公司
申请日： 2023-05-25 - 公布日： 2023-10-20 - 主分类号： G06F30/33 文献下载
摘要：本申请提供一种用于逻辑系统设计的仿真的方法、电子设备和存储介质，方法包括：获取用于逻辑系统设计的仿真的约束条件，所述约束条件包括由多个原始变量构成的多个表达式；根据所述约束条件确定所述约束条件的命题骨架，其中，所述多个表达式分别用多个布尔变量替代；求解满足所述命题骨架的所述多个布尔变量的值的多个组合；以及基于所述多个组合分别求解满足所述约束条件的多个原始变量的值，采用本方法能够满足目前的用于逻辑系统设计的仿真的约束条件的求解需求
用于逻辑系统设计仿真方法电子设备存储介质

[发明专利]目标设备的控制方法及装置、存储介质、电子装置-CN202011296503.X在审
发明人：李佩珍 -专利权人：青岛海尔科技有限公司;海尔智家股份有限公司
申请日： 2020-11-18 - 公布日： 2021-02-26 - 主分类号： H04L12/28 文献下载
摘要：本发明提供了一种目标设备的控制方法及装置、存储介质、电子装置，上述方法包括：根据获取的目标设备的逻辑约束条件生成逻辑约束模型，其中，逻辑约束条件与目标设备一一对应，逻辑约束条件用于指示目标设备的执行第一控制指令的条件；接收第一目标对象触发的第一控制指令，其中，第一控制指令用于控制目标区域内一个目标设备的运行状态，或第一控制指令用于控制多个目标设备联动的运行状态；在第一控制指令满足逻辑约束模型的情况下，指示目标设备响应第一控制指令
目标设备控制方法装置存储介质电子

[发明专利]一种扫描链诊断向量生成方法和装置及扫描链诊断方法-CN200810106261.6有效
发明人：王飞;胡瑜;李晓维 -专利权人：中国科学院计算技术研究所
申请日： 2008-05-09 - 公布日： 2008-10-15 - 主分类号： G01R31/3185 文献下载
摘要：所述诊断向量生成方法，包括如下步骤：确定扫描链的故障类型；根据扫描链的故障类型设定约束条件；在约束条件下，使扫描单元的逻辑状态通过组合逻辑形成的路径传播到的输出或伪输出数目最大，生成扫描链诊断向量。所述诊断向量生成装置，包括如下部件：故障类型判别单元，用于判别扫描链的故障类型；约束条件单元，用于根据故障类型设定约束条件；诊断向量生成单元，用于在所述约束条件下，使扫描单元的逻辑状态通过组合逻辑形成的路径传播到的原始输出或伪输出数目最大本发明能够有效地容忍组合逻辑中的故障，且不会给电路带来硬件开销。
一种扫描诊断向量生成方法装置

[发明专利]自动系统中多路手动优先介入的起停电控调试装置-CN201710144713.9在审
发明人：廖无限;肖强晖;文定都;胡正国;任于涵;易椠椠;戴启;廖晓宇;肖雅文;张健;湛政 -专利权人：湖南工业大学
申请日： 2017-03-13 - 公布日： 2017-05-17 - 主分类号： G05B19/042 文献下载
摘要：本发明公开了一种自动系统中多路手动优先介入的起停电控调试装置，包括一个以上相同的输入光隔离模块、一个手动起动约束模块、一个手动停止约束模块、一个以上相同的控制逻辑模块和一个以上相同的输出光隔离模块，输入光隔离模块分别与手动起动约束模块和手动停止约束模块连接外，还与对应的控制逻辑模块连接，控制逻辑模块分别与手动起动约束模块和手动停止约束模块连接外，还与对应的输出光隔离模块连接；本发明设计简单、结构合理、构建方便，解决了不同自动系统控制逻辑电平转换问题，不但能够克服现有的自动系统中起停电控调试装置通用性不强的缺陷
自动系统中多路手动优先介入停电调试装置

[发明专利]一种采掘生产计划编制时空约束模型构建方法-CN201910331234.7有效
发明人：赵卫东;彭偲;薛庆军;卢新明;张冰冰;王聪;王树强 -专利权人：山东科技大学
申请日： 2019-04-24 - 公布日： 2020-08-04 - 主分类号： G06F30/20 文献下载
摘要：本发明公开了一种采掘生产计划编制时空约束模型建模方法，具体涉及采掘生产计划编制领域。该方法以地下矿山采掘生产的WBS为基础，分析了采掘生产工程项目及工序的逻辑关系，研究构建了采掘生产工程项目的时空约束逻辑模型，包括采掘工程项目空间约束模型PSCM和时序约束模型PTCM；根据工程项目的施工方法和工艺流程要求，研究构建了采掘工程项目工序的时序约束逻辑模型PWTCM。该模型通过深入分析矿山采掘生产设计方案和工艺流程的技术要求，采用NPT和空间拓扑排序等技术，提出了形式化描述采掘生产时空约束关系的逻辑模型，为采掘生产计划编制提供了前提条件，为采掘生产任务自动分解和自动排序奠定了理论和技术基础
一种采掘生产计划编制时空约束模型构建方法