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

首页在售求购查询申请展会资讯专利榜企服商城升级VIP

立即登录免费注册

在售专利
求购专利
查询专利
新闻资讯
技术展会
招商加盟
专利榜

本网专利代理业务由天津创信方达专利代理事务所(普通合伙)承接机构代码：12247 本网专利代理业务由天津创信方达专利代理事务所(普通合伙)承接机构代码：12247 本网专利代理业务由天津创信方达专利代理事务所(普通合伙)承接机构代码：12247

本网专利代理业务由天津创信方达专利代理事务所(普通合伙)承接机构代码：12247 本网专利代理业务由天津创信方达专利代理事务所(普通合伙)承接机构代码：12247 本网专利代理业务由天津创信方达专利代理事务所(普通合伙)承接机构代码：12247

专利名称

专利名称
专利号码
专利分类
申请人
公布日期

农业化学；冶金建筑机械工程区域搜索

主分类

B 作业；运输

C 化学；冶金

D 纺织；造纸

E 固定建筑物

F 机械工程、照明、加热

专利下载VIP

公布日期

2023-10-24 公布专利

2023-10-20 公布专利

2023-10-17 公布专利

2023-10-13 公布专利

2023-10-10 公布专利

2023-10-03 公布专利

2023-09-29 公布专利

2023-09-26 公布专利

2023-09-22 公布专利

2023-09-19 公布专利

专利权人

国家电网公司

华为技术有限公司

中兴通讯股份有限公司

三星电子株式会社

中国石油化工股份有限公司

鸿海精密工业股份有限公司

松下电器产业株式会社

上海交通大学

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

[发明专利]一种并行级联结构的系统形式低密度码的构造方法-CN200710023594.8无效
发明人：徐鹰;卫国 -专利权人：中国科学技术大学
申请日： 2007-06-08 - 公布日： 2007-11-21 - 主分类号： H03M13/27 文献下载
摘要：本发明并行级联结构的系统形式低密度码的构造方法，特征是根据交换矩阵H₁′与初始矩阵H₁之间的列重相关性设计一个相关性最小的交织器；利用该交织器将两个系统形式低密度码的编码器并行级联起来作为编码器；利用该设计的交织器和对应的解交织器将两个系统形式低密度码的解码器串联起来作为解码器；即构造出编码复杂度低而性能较好的并行级联结构的系统形式低密度码。本发明方法中设计的交织器为编码序列引入了更多的校验关系，因此性能比系统形式低密度码有较大的提升；同时由于并行级联操作不会破坏用于级联的系统形式矩阵的结构特点，所构造出的并行级联结构的系统形式低密度码最大程度上保留了系统形式低密度码结构简单
一种并行级联结构系统形式密度构造方法

[发明专利]各种形式无线通信系统间服务品质映像-CN200910253862.4有效
发明人：泰瑞莎·琼安·亨克勒;费堤·欧兹鲁特 -专利权人：美商内数位科技公司
申请日： 2003-10-07 - 公布日： 2010-06-09 - 主分类号： H04W28/24 文献下载
摘要：本发明是提供一种方法及系统，借以映像各种形式无线通信系统间的服务品质(QoS)要件，这种映像的执行是根据提供映像的系统形式。
各种形式无线通信系统服务品质映像

[发明专利]各种形式无线通信系统间服务品质映像-CN200910253861.X有效
发明人：泰瑞莎·琼安·亨克勒;费堤·欧兹鲁特 -专利权人：美商内数位科技公司
申请日： 2003-10-07 - 公布日： 2010-04-14 - 主分类号： H04W28/24 文献下载
摘要：本发明是提供一种方法及系统，借以映像各种形式无线通信系统间的服务品质(QoS)要件，这种映像的执行是根据提供映像的系统形式。
各种形式无线通信系统服务品质映像

[发明专利]一种暖通空调控制策略自动预检验方法-CN202010795234.5有效
发明人：田喆;兰博;李正洁;甄成 -专利权人：天津大学
申请日： 2020-08-10 - 公布日： 2022-07-08 - 主分类号： G06F30/20 文献下载
摘要：本发明公开一种暖通空调控制策略自动预检验方法，包括：步骤1：暖通空调系统的物理形式描述；步骤2：暖通空调系统控制策略数学描述；步骤3：控制系统潜在矛盾分类；步骤4：基于系统形式和分类结果的自动检验。本发明能够通过分析空调系统控制仿真中矛盾冲突的产生原因及类型，通过建立系统形式和检验方法的数学描述，能够将矛盾冲突的抽象问题转化为简洁明了的数学逻辑问题，从而形成基于计算机程序的自动静态矛盾预检验的方法
一种暖通空调控制策略自动预检验方

[发明专利]基于STPA的安全攸关系统形式化开发方法、系统及存储介质-CN202110733648.X在审
发明人：梅萌 -专利权人：同济大学
申请日： 2021-06-30 - 公布日： 2021-10-01 - 主分类号： G06Q10/06 文献下载
摘要：本发明涉及一种基于STPA的安全攸关系统形式化开发方法、系统及存储介质，其中安全攸关系统形式化开发方法包括：步骤1：基于STPA安全分析方法确定各项不安全操作UCA所对应的约束条件；步骤2：使用形式化方法为安全攸关系统建模，并在相应层级中增加步骤1获取的各项约束条件；步骤3：完成安全攸关模型的证明；步骤4：生成可执行代码，完成安全攸关系统的开发。
基于 stpa 安全攸关系统形式化开发方法存储介质

[发明专利]预防和/或治疗毛发损失的制剂-CN96196927.X无效
发明人：弗里茨·赫尔曼 -专利权人：罗曼治疗系统有限责任公司
申请日： 1996-08-29 - 公布日： 1998-10-14 - 主分类号： A61K31/695 文献下载
摘要：一种透皮治疗系统形式的含毒鼠硅的制剂,它适于预防和/或治疗毛发损失。
预防治疗毛发损失制剂

[发明专利]各种型式无线通信系统间服务品质映像-CN200380101075.9有效
发明人：泰瑞莎·琼安·亨克勒;费堤·欧兹鲁特 -专利权人：美商内数位科技公司
申请日： 2003-10-07 - 公布日： 2005-11-30 - 主分类号： H04Q7/20 文献下载
摘要：本发明是提供一种方法及系统，借以映像各种型式无线通信系统间的服务品质(QoS)要件，这种映像的执行是根据提供映像的系统形式。
各种型式无线通信系统服务品质映像

[发明专利]用于死区非线性不确定系统的自适应动态面跟踪控制方法-CN201910620704.1有效
发明人：刘烨;刘露露;吴健珍;陈剑雪;周秋坤;郭海全 -专利权人：上海工程技术大学
申请日： 2019-07-10 - 公布日： 2022-08-16 - 主分类号： G05B13/04 文献下载
摘要：本发明涉及一种用于死区非线性不确定系统的自适应动态面跟踪控制方法，该方法包括以下步骤：步骤1：将死区非线性不确定系统转化为具有死区输入的严反馈系统形式并设置配套假设；步骤2：针对已转化为具有死区输入的严反馈系统形式的死区非线性不确定系统设计构造自适应动态面控制器；步骤3：通过调节自适应动态面控制器的设计参数，使得步骤2中的死区非线性不确定系统的闭环系统信号半全局有界且跟踪信号渐进收敛至零。
用于死区非线性不确定系统自适应动态跟踪控制方法

[发明专利]一种LC滤波器级联升压变换器无源控制方法及装置-CN202310770154.8有效
发明人：贺伟;杨洁;周旺平 -专利权人：南京信息工程大学
申请日： 2023-06-28 - 公布日： 2023-09-12 - 主分类号： H02M3/156 文献下载
摘要：本发明公开了一种LC滤波器级联升压变换器无源控制方法及装置，属于电力电子系统控制技术领域，方法包括：根据预构建的LC滤波器级联升压变换器电路拓扑图，构建LC滤波器级联升压变换器的状态空间模型；将所述状态空间模型转化为端口哈密顿系统形式；根据端口哈密顿系统形式的状态空间模型，定义无源输出；根据所述无源输出，构建PI无源控制器；利用所述PI无源控制器，对LC滤波器级联升压变换器进行无源控制。
一种 lc 滤波器级联升压变换器无源控制方法装置

[实用新型]多热源蓄能复合空调系统-CN201620946324.9有效
发明人：王恩琦;张方方;吴建华;李金花;黄体士;韩乃锋;郝君;高鹏;张强;文兰 -专利权人：山东方亚地源热泵空调技术有限公司;山东亚特尔集团股份有限公司
申请日： 2016-08-26 - 公布日： 2017-02-01 - 主分类号： F24F5/00 文献下载
摘要：本实用新型公开了一种多热源蓄能复合空调系统，包括水‑水热泵（1），用于对用户（6）供热；地埋管换热器（2），用于单独或者与蓄能装置（3）共同作为水‑水热泵（1）的热源；蓄能装置（3），用于在地埋管换热器本系统具有投资低、效率高、系统形式多样灵活、可持续发展、适应市场需要等优点，既是新建项目的采暖系统选择，也是对已实施的地源、空气源热泵运行失败案例进行技术改造的首选系统形式。本系统推动低碳循环发展，节能环保，应用前景广阔。
热源蓄能复合空调系统

[发明专利]一种区块链系统形式化建模与验证方法-CN201710450435.X有效
发明人：胡凯;段张博;白晓敏;陈志东 -专利权人：北京航空航天大学
申请日： 2017-06-14 - 公布日： 2021-01-01 - 主分类号： H04L12/24 文献下载
摘要：本发明提供了一种区块链系统形式化建模与验证方法，包括：步骤1：根据有限状态机利用分层建模的方式建立单个节点的SDL(Specification and Description Language，规范描述语言)模型；步骤2：根据单个节点的SDL模型，利用模块化建模的方式建立区块链系统的SDL模型；步骤3：对整个所述区块链系统的SDL模型进行仿真分析；步骤4：形式化验证所述区块链系统的SDL模型的性质。
一种区块系统形式化建模验证方法

[发明专利]用于提供可靠的非侵入式诊断测试的方法-CN201380036971.5在审
发明人：保罗·卡乐斯;吉尔斯·胡诺;J·布尔西耶 -专利权人：昂热大学;昂热大学中心医院
申请日： 2013-07-15 - 公布日： 2015-07-08 - 主分类号： A61B5/00 文献下载
摘要：本发明涉及一种使用计算机处理的系统，特别是专家系统形式的系统，用于基于对变化和受试者操作特征曲线(ROC曲线)的分析，使用非参数的灵敏度分析，评估用于肝脏疾病的组合诊断评分并提高诊断的准确性，以消除模型中的不可靠参数
用于提供可靠侵入诊断测试方法

[发明专利]数控系统的模型转换形式化语义集成框架的实现方法-CN201210135292.0有效
发明人：李迪;李方 -专利权人：华南理工大学
申请日： 2012-05-04 - 公布日： 2012-10-10 - 主分类号： G06F17/50 文献下载
摘要：本发明提供了数控系统的模型转换形式化语义集成框架的实现方法，其构建了数控系统形式化语义集成框架，领域元模型实例化得到的领域应用模型可通过该集成框架自动转换为形式化应用模型，进而可通过工具解释器，导入第三方仿真验证工具中进行形式化验证本发明为数控系统开发提供严格定义的形式化规范以精确描述系统相应的操作语义，使得数控系统模型可以通过计算机工具进行精确化验证，大大提高系统可靠性、安全性等性能。
数控系统模型转换形式化语义集成框架实现方法

[发明专利]一种针对嵌入式实时操作系统形式化验证方法-CN201611046321.0有效
发明人：杨孟飞;杨桦;徐建;乔磊;谭彦亮;邢晓琪;周育逵;顾斌;彭飞 -专利权人：北京控制工程研究所
申请日： 2016-11-22 - 公布日： 2019-04-09 - 主分类号： G06F11/36 文献下载
摘要：一种针对嵌入式实时操作系统形式化验证方法，采用分阶段的思路对嵌入式实时操作系统进行形式化验证，首先按照需求、设计、实现三个阶段进行形式化建模和验证，用具有严格数学定义的语法、语义的语言来描述操作系统，然后建立操作系统的形式化模型，提取待验证的性质，通过数学方法分析及验证形式化模型是否满足期望的性质，通过反复迭代，最终得到满足期望性质的形式化模型。本发明方法与现有技术相比，解决了传统测试方法对无法保证操作系统需求的正确性以及代码和需求一致性的问题，具有较好的使用价值。
嵌入式实时操作系统形式化验证操作系统验证传统测试反复迭代方法分析期望性质数学定义语义分阶段建模语法数学期望语言保证

[发明专利]一种闭式U型井取热系统最大供热量的确定方法-CN202110060636.5在审
发明人：田喆;金辉 -专利权人：天津大学
申请日： 2021-01-18 - 公布日： 2022-07-29 - 主分类号： F24T10/15 文献下载
摘要：本发明公开一种计算闭式U型井系统最大供热量的确定方法，其特征在于包括以下步骤：S1、考虑得到闭式U型井受到热储条件、系统形式和设备性能的影响，获取系统性能在运行时长内地埋管的系统系统随运行时间、系统流量以及热负荷之间的非稳态关系以地埋管入口温度和热泵的出口温度为判据，判断不同流量和不同热负荷下地埋管入口温度和热泵的出口温度是否能满足设定条件；S3、通过对比其他热源的系统形式最终确定最大的供热量。本发明提出的闭式U型井系统最大供热量的确定方法能够精准的计算出不同限定条件下的最大供热量，为实际工程的可行性方案研究、运行条件提供数据支持，为推广闭式U型井技术奠定了基础。
一种型井取热系统最大热量确定方法

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

友情链接：交换友情链接需要网站权重大于4，网站收录10W以上，如符合条件，请联系QQ：76009968。

关于我们寻求报道投稿须知广告合作版权声明网站地图友情链接企业标识联系我们

在线咨询

400-8765-105周一至周五 9:00-18:00

版权所有钻瓜科技（天津）有限公司津ICP备15000985号津公网安备 12019202000206号http://www.vipzhuanli.com/公布日期

咨询在线客服

咨询在线客服

tel code back_top