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

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

[发明专利]一种基于模型转换的状态机模型时序性质验证系统-CN201910605386.1有效
发明人：黄滟鸿;史建琦;张继;郭欣;施健 -专利权人：华东师范大学;上海丰蕾信息科技有限公司
申请日： 2019-07-05 - 公布日： 2021-05-04 - 主分类号： G06F11/36 文献下载
摘要：本申请公开了一种基于模型转换的状态机模型时序性质验证系统，包括：模型解析模块，用于解析SCADE文本模型，得到语法树实例；符号表容器模块，用于装载语法树实例，得到符号表实例；模型转换模块，用于根据模型转换规则将符号表实例转换为NuSMV模型；模型检查模块，用于根据LTL公式及CTL公式验证NuSMV模型的时序性质。通过解析高安全性的应用程序开发环境SCADE文本模型，将SCADE文本模型转换为NuSMV模型，根据LTL公式及CTL公式验证NuSMV模型的时序性质，从而实现验证SCADE文本模型的时序性质，突破了SCADE模型性质验证的这个限制，进一步提高软件系统的安全性与可靠性。通过为SCADE形式化验证引入能够描述时序相关安全需求的时序规范，从而能够验证模型的时序性质。
一种基于模型转换状态机时序性质验证系统

[发明专利]一种基于模型转换的状态机模型时序性质验证方法-CN201910606311.5有效
发明人：黄滟鸿;史建琦;张继;郭欣;施健 -专利权人：华东师范大学;上海丰蕾信息科技有限公司
申请日： 2019-07-05 - 公布日： 2021-05-04 - 主分类号： G06F11/36 文献下载
摘要：本申请公开了一种基于模型转换的状态机模型时序性质验证方法，包括：模型解析步骤，解析SCADE文本模型，得到语法树实例；符号表容器步骤，装载语法树实例，得到符号表实例；模型转换步骤，根据模型转换规则将符号表实例转换为NuSMV模型；模型检查步骤，根据LTL公式及CTL公式验证NuSMV模型的时序性质。通过解析高安全性的应用程序开发环境SCADE文本模型，将SCADE文本模型转换为NuSMV模型，根据LTL公式及CTL公式验证NuSMV模型的时序性质，从而实现验证SCADE文本模型的时序性质，突破了SCADE模型性质验证的这个限制，进一步提高软件系统的安全性与可靠性。通过为SCADE形式化验证引入能够描述时序相关安全需求的时序规范，从而能够验证模型的时序性质。
一种基于模型转换状态机时序性质验证方法

[发明专利]一种时序展开弹速控制装置-CN202010076514.0有效
发明人：张永励;杨波;袁梦笛;王鹏;李智明;白风科;吴永忠;余磊;党明利;王怡然;司忍辉;龙元丰;张敏;南广智;武文斌;娄江;方莉 -专利权人：西安现代控制技术研究所
申请日： 2020-01-23 - 公布日： 2020-10-30 - 主分类号： F42B15/01 文献下载
摘要：本发明公开了一种时序展开弹速控制装置，通过采用火工驱动的时序展开机构，通过时序展开机构与阻力承载机构的配合实现了时序展开并且提高了展开的同步性，同时，通过增加双销锁紧机构实现对阻力承载机构的限位，简化了弹速控制装置的结构，使弹速控制装置具有操作方便、可靠性高等特点。
一种时序展开控制装置

[发明专利]时序同步方法、装置、设备及存储介质-CN202310773078.6在审
发明人：唐青成;林志敏 -专利权人：中元汇吉生物技术股份有限公司
申请日： 2023-06-27 - 公布日： 2023-09-29 - 主分类号： H01J49/00 文献下载
摘要：本发明涉及离子质谱技术领域，尤其涉及一种时序同步方法、装置、设备及存储介质，该方法包括：在接收到开始扫描指令时，获取扫描所需的扫描参数；根据扫描参数获得扫描片段参数表，并根据扫描片段参数表确定各扫描片段对应的扫描时间和采集时间；基于扫描时间对目标离子进行扫描，并同时基于采集时间对目标离子进行采集，以使扫描时序与采集时序同步。由于本发明是以扫描片段为单位，根据各扫描片段对应的扫描时间和采集时间分别进行扫描和采集，相比于现有的扫描时序和采集时序同步性较差，本发明提升了扫描时序与采集时序的同步性，进而提升了系统的稳定性。
时序同步方法装置设备存储介质

[发明专利]基于胶囊网络的智能电网时间序列异常检测方法及系统-CN202210540141.7有效
发明人：王堃;徐悦;陈志刚;张立中;郑晨;谭源 -专利权人：中南大学;国网宁夏电力有限公司信息通信公司
申请日： 2022-05-18 - 公布日： 2023-04-28 - 主分类号： G06F18/213 文献下载
摘要：本公开实施例中提供了一种基于胶囊网络的智能电网时间序列异常检测方法及系统，属于数据识别技术领域，具体包括：步骤1，采集目标电网的运维数据集输入胶囊网络的特征提取层，得到所述运维数据集对应的时序特征集；步骤2，将所述时序特征集封装成含有低层特征的多个时序子胶囊，并使用squash函数压缩；步骤3，根据权重矩阵计算全部所述时序子胶囊与每个时序父胶囊的关系，然后根据动态路由协议来更新所述时序父胶囊的权重；步骤4，根据全部所述时序父胶囊生成目标胶囊并进行重构，生成检测结果。通过本公开的方案，提高了检测效率、精准度、适应性和实时性。
基于胶囊网络智能电网时间序列异常检测方法系统

[发明专利]用于驱动发光器件显示器的方法和系统-CN201210152425.5有效
发明人： A.内森;R.G.查吉 -专利权人：伊格尼斯创新有限公司
申请日： 2006-06-08 - 公布日： 2012-09-12 - 主分类号： G09G3/32 文献下载
摘要：该系统提供了增加显示器的准确性的时序表。该系统可以提供时序表，通过时序表可以在一组行中连贯地实现工作周期。该系统可以提供时序表，通过时序表老化系数被用于多个帧。
用于驱动发光器件显示器方法系统

[发明专利]用于驱动发光器件显示器的方法和系统-CN200680026953.9有效
发明人： A·内森;R·G·查吉 -专利权人：伊格尼斯创新有限公司
申请日： 2006-06-08 - 公布日： 2008-07-23 - 主分类号： G09G3/20 文献下载
摘要：该系统提供了增加显示器的准确性的时序表。该系统可以提供时序表，通过时序表可以在一组行中连贯地实现工作周期。该系统可以提供时序表，通过时序表老化系数被用于多个帧。
用于驱动发光器件显示器方法系统

[发明专利]时序文件的分类方法和分类系统-CN201510232775.6在审
发明人：杨铭;夏迎炬;孙健;侯翠琴 -专利权人：富士通株式会社
申请日： 2015-05-08 - 公布日： 2016-12-07 - 主分类号： G06F17/30 文献下载
摘要：本发明公开了一种时序文件的分类方法和分类系统。根据本发明的一个方面，时序文件的分类方法包括：从多个时序文件中提取时序特征；根据所提取的时序特征计算每个时序文件的状态统计向量，其中所述状态统计向量中的元素反映了相应时序文件的状态统计结果；利用所述多个时序文件的状态统计向量构建特征矩阵；以及根据所述特征矩阵对所述多个时序文件进行分类。由此，可以利用状态统计信息对时序文件进行分类，从而确保了分类结果的可靠性，并能够简化计算复杂度，从而实现快速且准确的分类。
时序文件分类方法系统

[发明专利]画面调整系统及调整方法-CN200810083469.0有效
发明人：郭承岳;游孟达;张毓唐 -专利权人：环隆电气股份有限公司
申请日： 2008-03-07 - 公布日： 2009-09-09 - 主分类号： G09G3/36 文献下载
摘要：一种画面调整系统及调整方法，其中该系统包括一显示模块、一时序控制器及一时序转换器。时序控制器连接于显示模块，输出一影像数据到显示模块，以及输出一时序控制命令，其中该时序控制命令包括有一垂直同步信号、一水平同步信号及一像素致能信号。同时，时序转换器连接于时序控制器与显示模块之间，接收时序控制命令，并且调整时序控制命令中像素致能信号的致能周期，以输出一可适性时序控制命令到显示模块，用以控制显示模块显示影像数据所对应的输出画面于显示模块居中的位置
画面调整系统方法

[发明专利]一种时序NDVI数据序列的优化方法-CN201810128406.6有效
发明人：李晶;杨震;闫萧萧 -专利权人：中国矿业大学(北京)
申请日： 2018-02-08 - 公布日： 2020-09-08 - 主分类号： G06F16/215 文献下载
摘要：本发明提供一种时序NDVI数据序列的优化方法，该方法包括如下步骤：获取初始的第一时序NDVI数据序列；在限制条件下，采用最佳坡度系数截取法BISE对所述第一时序NDVI数据序列进行优化，得到第二时序NDVI数据序列；采用小波变换法对所述第二时序NDVI数据序列进行优化，得到目标时序NDVI数据序列。采用本发明所述的方法优化初始的时序NDVI数据序列，能有效的去除初始的时序NDVI数据序列中的噪声数据，同时保持了时序NDVI数据的真实性，使得时序NDVI数据能够更为准确的体现被监测目标的真实变化信息
一种时序 ndvi 数据序列优化方法

[发明专利]动态TDD环境下确定PUSCH时序的方法-CN201210361439.8无效
发明人：吴起;赵铮;李迎阳 -专利权人：北京三星通信技术研究有限公司;三星电子株式会社
申请日： 2012-09-25 - 公布日： 2013-10-30 - 主分类号： H04L5/14 文献下载
摘要：本发明提供了一种动态TDD环境下确定PUSCH时序的方法，本方法优先选用第一TDD配置的PUSCH时序作为切换过程中的PUSCH时序；如果第一TDD配置的PUSCH时序无法正常工作，则选用第二TDD配置的PUSCH时序作为切换过程中的PUSCH时序；如果第一TDD配置和第二TDD配置的PUSCH均时序无法正常工作，则重新映射PUSCH时序。本发明还提供了另外几种动态TDD环境下确定PUSCH时序的方法。应用本发明能够解决动态TDD环境下，当TDD配置切换时PUSCH时序无法正常工作的问题，从而在TDD配置切换过程中保证PUSCH资源分配和重传的连续性。
动态 tdd 环境确定 pusch 时序方法

[发明专利]时序数据处理模型训练方法、装置、设备及存储介质-CN202211134992.8在审
发明人：滕竹;李鑫 -专利权人：中国农业银行股份有限公司
申请日： 2022-09-19 - 公布日： 2022-11-25 - 主分类号： G06N3/08 文献下载
摘要：本申请提供一种时序数据处理模型训练方法、装置、设备及存储介质，通过读取时序数据训练样本，并提取时序数据训练样本的目标时序特征，其中，时序数据训练样本内包括至少两条业务记录，目标时序特征表征时序数据训练样本内的业务记录在目标时间维度上的分布；基于时序数据训练样本的目标时序特征，得到对应的训练截止信息，训练截止信息用于表征使用时序数据训练样本训练模型时，模型的收敛条件；基于训练截止信息，利用时序数据训练样本对初始神经网络模型进行训练，得到目标神经网络模型，目标神经网络模型用于基于时序数据预测业务结果。提高训练效率，缩短训练时长，实现处理模型的快速建模，进而提高基于时序数据进行业务预测的时效性。
时序数据处理模型训练方法装置设备存储介质

[发明专利]退役动力电池的放电测试系统及其方法-CN202310863617.5有效
发明人：李斌;司马忠志;廖志刚;谢万程;赖微栋 -专利权人：赣州吉锐新能源科技股份有限公司
申请日： 2023-07-14 - 公布日： 2023-09-29 - 主分类号： G01R31/367 文献下载
摘要：其首先将多个预定时间点的电压值、电流值和温度值分别排列为电压时序输入向量、电流时序输入向量和温度时序输入向量，接着，将所述电压时序输入向量和所述电流时序输入向量分别通过时序特征提取器以得到电压时序特征向量和电流时序特征向量并计算两个特征向量之间的按位置点除以得到内阻时序特征向量，然后，将所述温度时序输入向量通过序列编码器以得到温度时序特征向量，最后，将融合所述内阻时序特征向量和所述温度时序特征向量得到的分类特征向量通过分类器以得到用于表示退役动力电池归属于各个问题标签的概率值的分类结果这样，可以提高放电测试的准确性和精度。
退役动力电池放电测试系统及其方法

[发明专利]服务器时序异常监测方法、系统、终端及存储介质-CN202110998466.5有效
发明人：杨铖钰 -专利权人：苏州浪潮智能科技有限公司
申请日： 2021-08-27 - 公布日： 2023-08-15 - 主分类号： G06F11/22 文献下载
摘要：本发明提供一种服务器时序异常监测方法、系统、终端及存储介质，包括：采集服务器的时序信号和时序相关电压值；对时序信号和时序相关电压值增加时间戳；将带有时间戳的时序信号与时序相关电压值作为实际信号，将实际信号与预先存储的标准信号进行一致性比对，若不一致则生成所述时序信号的报错日志。本发明通过对服务器时序实时信号进行转换，并通过对信号进行分析对比完成对数据的初步监控，从而提供可视化的debug问题定位方式，提高工作效率。
服务器时序异常监测方法系统终端存储介质

[发明专利]频率产生装置-CN201510023449.4在审
发明人：张正贤;林士闻;朱庆华 -专利权人：致茂电子（苏州）有限公司
申请日： 2015-01-16 - 公布日： 2016-08-10 - 主分类号： H03L7/081 文献下载
摘要：本发明公开一种频率产生装置，包含第一时序延迟模块、多工模组与第二时序延迟模块，其中多工模组电性连接至第一时序延迟模块，第二时序延迟模块电性连接至多工模组，第一时序延迟模块依据参考频率信号产生关联于参考频率信号的多个延迟频率信号，多工模组依据频率产生信号，输出延迟频率信号中的第一延迟频率信号与第二延迟频率信号，第二时序延迟模块依据第一延迟频率信号、第二延迟频率信号与频率产生信号，产生输出频率信号。
频率产生装置

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