“时序系统”专利关键词查询_检索下载_查询列表_检索列表_行业专利分布_钻瓜专利网

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

[发明专利]一种基于PVS的PPTLI定理证明的形式化验证方法-CN202210575903.7在审
发明人：赵亮;王祥坤;段振华;王小兵;田聪;张南 -专利权人：西安电子科技大学
申请日： 2022-05-25 - 公布日： 2022-09-20 - 主分类号： G06F8/75 文献下载
摘要：本发明涉及一种基于PVS的PPTLI定理证明的形式化验证方法，包括：S101：通过PVS构建得到PPTLI的基本时序类型和PPTLI的索引表达式类型，并根据PPTLI的索引表达式类型等价表示线性时序逻辑；S102：根据PPTLI的基本时序类型和PPTLI的索引表达式类型，通过PVS构建得到PPTLI定理证明系统；S103：将待证明的PPTLI时序性质表示为定理，利用PVS交互式证明命令使用PPTLI定理证明系统对待证明的PPTLI时序性质进行证明。本发明的方法借助于PPTLI这种表达能力强且综合统一的时序逻辑来描述和证明计算机系统预期的性质，能够弥补现有定理证明技术的不足，以保障系统的安全性和可靠性。
一种基于 pvs pptli 定理证明形式化验证方法

[发明专利]可进行编辑的控制流程演示器-CN201010269866.4无效
发明人：陆锐;陆健 -专利权人：陆健
申请日： 2010-08-29 - 公布日： 2011-07-13 - 主分类号： G09B23/18 文献下载
摘要：本发明涉及一种教学仪器，尤其涉及中学通用技术课程中关于控制系统工作流程教学的仪器。有电源电路、时序控制电路、编辑开关电路、编辑流程状态显示部分组成演示器工作电路，其特征在于：结构包含带有控制系统模型和带有工作部件工作时序流程表的面板，工作部件工作时序流程表与编辑开关、时序开关相结合，面板中时序流程表的表格安装有对应的显示时序开关工作状态的指示灯或者编辑开关工作状态的指示灯。本发明不仅能应用于控制工作系统的流程设置与流程教学，还能应用于交通路口红绿灯系统的流程教学，也能应用于交通规则培训的课程。
进行编辑控制流程演示

[实用新型]时序联动式直饮水净化系统-CN202021760158.6有效
发明人：廖振霜;胡晓洲;周西华 -专利权人：佛山尚之水净水科技有限公司
申请日： 2020-08-21 - 公布日： 2021-01-05 - 主分类号： C02F9/02 文献下载
摘要：本实用新型涉及一种净水系统，尤其是一种时序联动式直饮水净化系统，包括顺次连接的原水管、过滤单元和供水管，原水管设有进水阀和原水泵，供水管设有供水泵，还包括设置有启停时序逻辑的控制器，控制器分别与进水阀、原水泵以及供水泵通讯连接，控制器根据启动时序逻辑顺次开启进水阀、原水泵和供水泵，使水体分段流入，或根据关停时序逻辑顺次关闭供水泵、原水泵和进水阀，使水体分段截止。本实用新型预置启停时序逻辑，使净水系统各部件的开启或关停动作依照时序顺次执行，从而分步导通或截断管道中的水体，避免水锤效应对系统部件造成损坏，降低维护成本，提高使用寿命。
时序联动饮水净化系统

[发明专利]一种针对时序知识图谱的可视化分析系统和方法-CN202210724550.2在审
发明人：巫英才;刘玉亭;傅四维 -专利权人：浙江大学
申请日： 2022-06-23 - 公布日： 2022-10-11 - 主分类号： G06F16/36 文献下载
摘要：本发明公开一种针对时序知识图谱的可视化分析系统和方法，用户迭代式地选择时序知识图谱中感兴趣的实体、关系、时间点，系统依据用户选择自动生成故事线与点线图相结合的可视化图表，向用户展示图谱中相应实体与关系的拓扑结构及其时序变化本发明满足了时序知识图谱的可视化需求，能有效降低时序知识图谱的探索难度，同时增强用户对图谱中时序变化的感知，促进了时序知识图谱的研究与应用。
一种针对时序知识图谱可视化分析系统方法

[发明专利]时序数据对抗样本生成方法、系统、电子设备及存储介质-CN202110354068.X有效
发明人：先兴平;吴涛;许爱东;刘宴兵;吴渝;张宇南;王雪纯 -专利权人：重庆邮电大学;南方电网科学研究院有限责任公司
申请日： 2021-04-01 - 公布日： 2023-05-23 - 主分类号： G06Q10/04 文献下载
摘要：本发明属于时序数据处理领域，具体涉及一种时序数据对抗样本生成方法、系统、电子设备及存储介质；所述方法包括使用原始时序数据训练时序预测模型；采用随机梯度下降优化策略计算所述时序预测模型中损失函数的最大值；根据所述损失函数的最大值确定出对应的噪声；对所述原始时序数据叠加所述噪声生成全局扰动的时序数据对抗样本；本发明能在少量数据扰动的情况下明显降低模型准确性，对于工业系统的安全应用具有重要意义，并且具有广泛的适用性和迁移性
时序数据对抗样本生成方法系统电子设备存储介质

[发明专利]一种花卉种植智能灌溉系统-CN201811000885.X在审
发明人：不公告发明人 -专利权人：泰顺派友科技服务有限公司
申请日： 2018-08-30 - 公布日： 2020-03-10 - 主分类号： A01G25/16 文献下载
摘要：一种花卉种植智能灌溉系统，包括指令发送单元、FPGA时序逻辑单元和水雾控制装置。指令发送单元的电信号连接到FPGA时序逻辑单元的输入端，FPGA时序逻辑单元的输出端连接水雾控制装置。FPGA时序逻辑单元根据指令完成花卉喷水喷雾时序逻辑切换。
一种花卉种植智能灌溉系统

[发明专利]基于自然语言描述的异常时序指标生成系统与方法-CN202211500253.6在审
发明人：支凤麟;蔡晓华;杨光辉 -专利权人：上海天旦网络科技发展有限公司
申请日： 2022-11-28 - 公布日： 2023-04-25 - 主分类号： G06F16/21 文献下载
摘要：本发明提供了一种基于自然语言描述的异常时序指标生成方法及系统，包括：步骤S1：构建典型指标样本库；步骤S2：构建异常时序指标生成器，并利用典型指标样本库训练异常时序指标生成器，得到训练后的异常时序指标生成器；步骤S3：利用训练后的异常时序指标生成器基于自然语言描述生成异常时序指标。本发明通过将多个异常指标矩阵化，使得系统可以表达某一异常场景下多个指标的相关现象，使得数据模拟更为全面。
基于自然语言描述异常时序指标生成系统方法

[实用新型]一种时序控制系统-CN201320153614.4有效
发明人：雷海东 -专利权人：江汉大学
申请日： 2013-03-29 - 公布日： 2013-08-28 - 主分类号： H04L7/00 文献下载
摘要：本实用新型公开了一种时序控制系统，属于信号传输领域。所述系统包括：参考源、供电装置、以及用于在参考源作用下产生至少两路脉冲信号，并将至少两路脉冲信号输出至信号接受系统的单片机控制装置；单片机控制装置分别与参考源和供电装置电连接。本实用新型通过采用单片机同时输出多路脉冲信号，对信号接受系统进行时序控制，避免了每一路信号的时序控制都采用一个独立的时序控制电路，而造成的时序控制的精确度和稳定度无法保证。
一种时序控制系统

[发明专利]一种显示控制系统及控制方法、显示装置-CN201310528715.X有效
发明人：段欣;李学政 -专利权人：京东方科技集团股份有限公司;北京京东方多媒体科技有限公司
申请日： 2013-10-30 - 公布日： 2014-01-22 - 主分类号： G09G3/36 文献下载
摘要：本发明涉及显示技术领域，尤其涉及一种显示控制系统及控制方法、显示装置。显示控制系统包括多个源极驱动芯片、多个栅极驱动芯片、开机时序控制器和待机时序控制器；各所述源极驱动芯片分别与所述开机时序控制器和所述待机时序控制器连接；所述开机时序控制器与多个所述栅极驱动芯片串联；所述待机时序控制器也与多个所述栅极驱动芯片串联；还包括背光源驱动芯片；所述开机时序控制器和待机时序控制器均与所述背光源驱动芯片连接。本发明采用开机时序控制器和待机时序控制器两个时序控制器的设计，可实现显示装置在待机状态时的后台推送消息显示，解决现有显示装置在待机状态时只能实现后台推送信息的提示，而不能显示后台推送消息内容的问题。
一种显示控制系统控制方法显示装置

[发明专利]射频识别系统及信息处理方法-CN201810597447.X有效
发明人：中野善光 -专利权人：欧姆龙株式会社
申请日： 2018-06-11 - 公布日： 2022-10-11 - 主分类号： G06K7/10 文献下载
摘要：本发明涉及一种射频识别系统及信息处理方法。RFID系统在测定期间中，存储表示第一通信装置中的信号的接收水平的第一时序数据及表示第二通信装置中的信号的接收水平的第二时序数据。此系统在第一时序数据及第二时序数据中，在从测定期间的开始时刻起的各经过时间，确定从开始时刻起的经过时间所对应的第一通信装置中的接收水平与第二通信装置中的接收水平中较高的接收水平，且生成表示所确定的接收水平的第三时序数据系统使基于第一时序数据的图像(391)、基于第二时序数据的图像(392)及基于第三时序数据的图像(393)中的至少一个选择性地显示，或者使图像(391)、图像(392)及图像(393)同时显示。
射频识别系统信息处理方法

[发明专利]基于图神经网络的多源时序数据故障诊断方法和介质-CN202011637583.0有效
发明人：綦科;李文康 -专利权人：广州大学
申请日： 2020-12-31 - 公布日： 2023-06-09 - 主分类号： G06F16/2458 文献下载
摘要：本发明公开了基于图神经网络的多源时序数据故障诊断方法和介质，针对于故障检测的系统，获取历史多源时序数据；并且对多源时序历史数据进行数据预处理得到训练样本，通过训练样本对图神经网络模型进行训练，得到故障诊断模型；针对于要检测故障的系统，获取多源时序实时数据，并且进行数据预处理后输入到故障诊断模型，通过故障诊断模型输出系统的故障诊断结果。本发明采用图神经网络模型建立故障诊断模型，基于系统中获取到的多源时序数据进行故障诊断，多源时序数据具有两个维度特征，分别是时间维度的时序特征和多源数据相关性特征，本发明能够较佳的融合多源数据的相关性特征和时间维度的时序特征
基于神经网络时序数据故障诊断方法介质

[发明专利]一种时序数据管理平台-CN201910772337.7有效
发明人：李晓波 -专利权人：北京远舢智能科技有限公司
申请日： 2019-08-21 - 公布日： 2022-09-13 - 主分类号： G06F16/22 文献下载
摘要：本发明提供了一种时序数据管理平台，包括数据管理子系统和用户子系统，所述数据管理子系统用于对时序数据进行管理，所述用户子系统用于用户对数据管理子系统进行访问。本发明将数据管理和用户访问有机结合，实现了时序数据的有效管理和用户对数据的访问。
一种时序数据管理平台

[发明专利]一种园区综合能源系统优化配置方法-CN202110635079.5有效
发明人：李妍;王球;陈昌铭;王青山;王鑫;李泽森;张群;诸晓骏;王琼;黄亦昕;林振智;杨莉 -专利权人：国网江苏省电力有限公司经济技术研究院;浙江大学
申请日： 2021-06-08 - 公布日： 2022-07-26 - 主分类号： G06F30/20 文献下载
摘要：本发明公开了一种园区综合能源系统优化配置方法，包括：构建园区综合能源系统的建设时序集合；基于所建立的建设时序集合，采用最优建设时序方法和云储能机制，构建园区综合能源系统双层优化配置模型；基于KKT条件和大M法，对所述园区综合能源系统双层优化配置模型求解，获取园区综合能源系统的最优配置方案。
一种综合能源系统优化配置方法

[发明专利]一种多路点火时序测试方法、系统及计算机设备-CN202110152648.0在审
发明人：邱帆;刘成强;张军波;刘莹;琚俊梅;程石;汪星星;高雪梅;魏茹珺 -专利权人：湖北三江航天红峰控制有限公司
申请日： 2021-02-04 - 公布日： 2021-06-08 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种多路点火时序测试方法、系统及计算机设备，该方法包括：主线程响应于用户的测试指令，将测试标志置为表征测试状态的第一标识，并创建测试线程；测试线程打开系统的对外接口并将线程标志置为启动线程的第二标识，创建接收线程；接收线程实时监测对外接口，拉取对外接口获取的数据并进行解析以判断时序状态是否发生变化，并将发生变化的时序状态变化帧放入全局变量；测试线程获取时序状态变化帧，查找发生变化的时序信息，发送更新界面信号给主线程；主线程对显示界面中的表示信息进行更新；本发明采用“分层架构+多线程”技术，可运行在龙芯处理器的中标麒麟操作系统上，实现点火时序测试系统从硬件、操作系统到软件的自主可控。
一种点火时序测试方法系统计算机设备

[发明专利]一种超低频次同步振荡在线监测系统-CN202110194538.0在审
发明人：谢江;许懿;朱晟毅;黄飞;戴健;周文;张友强;李杰;魏甦;欧林;李筱天;曾治强 -专利权人：国网重庆市电力公司电力科学研究院;国家电网有限公司;国网重庆市电力公司
申请日： 2021-02-20 - 公布日： 2021-06-18 - 主分类号： G01R31/00 文献下载
摘要：本发明公开了一种超低频次同步振荡在线监测系统，涉及电力系统动态监测领域，所述在线监测系统包括远方主站、网关和调度系统，且远方主站的组数设有多组，所述远方主站包括PMU量测模型、时间断面数据模块、时序实时库和时序历史库，所述调度系统包括处理模块、计算模块、全网WAWS信息访问接口、全网PMU量测模型、全网时间断面数据模块、全网时序实时库和全网时序历史库，所述PMU量测模型通过网关与全网PMU量测模型连接，所述时间断面数据模块通过网关与全网时间断面数据模块连接，所述时序实时库和时序历史库均通过网关与映射模块连接，本发明辅助调度运行人员全面直观地反映电网运行潜在振荡风险、振荡定位及处置，提高电网运行安全性。
一种频次同步振荡在线监测系统