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

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

[发明专利]基于AADL的创建、分析和仿真混成系统模型的方法-CN201410037932.3有效
发明人：何积丰;刘静;钱宇清 -专利权人：华东师范大学
申请日： 2014-01-26 - 公布日： 2017-07-04 - 主分类号： G06F9/455 文献下载
摘要：本发明公开了一种基于AADL的创建、分析和仿真混成系统模型的方法，包括如下步骤创建子语言混成AADL，利用子语言混成AADL建立混成AADL模型；对混成AADL模型进行词法和语法分析；将混成AADL模型转换至Modelica模型，得到混成系统模型；对Modelica模型进行图形化仿真，生成图形化仿真结果。本发明创建了AADL的一个扩展子语言，从而在OSATE平台上实现了利用AADL建立、分析及图形化仿真混成系统模型。
基于 aadl 创建分析仿真混成系统模型方法

[发明专利]边界表示模型中的切口混成-CN201280042366.4在审
发明人：埃里克·莫比;郁峰;毛海鹏;高利伟 -专利权人：西门子产品生命周期管理软件公司
申请日： 2012-08-27 - 公布日： 2014-05-07 - 主分类号： G06F17/50 文献下载
摘要：一种方法包括：接收BRep模型以及辨识所述BRep模型中的多个切口混成或峭壁混成。所述方法包括定义所述多个切口混成中的至少两个切口混成的链。所述方法包括为所述链中的切口混成设置标签。所述方法包括：存储所述BRep模型，包括所辨识出的切口混成中的一个或更多个切口混成、所述链、以及所述切口混成的标签。
边界表示模型中的切口混成

[发明专利]基于抽象解释的线性混成系统不变式的生成方法-CN201310149282.7有效
发明人：卜磊;刘春能;蒋慧;李宣东 -专利权人：南京大学
申请日： 2013-04-25 - 公布日： 2013-09-25 - 主分类号： G06F17/50 文献下载
摘要：本发明提供一种线性混成系统不变式的生成系统，输入为线性混成系统模型——线性混成自动机，输出该线性混成系统的节点不变式；线性混成系统不变式生成系统包括转换模块和不变式生成部分两个组成部分如下：1）转换模块基于面向线性混成系统的等价迁移系统构造的模块，其输入侧为线性混成系统模型——线性混成自动机，输出侧为迁移系统模型；2）不变式生成部分，连接上述转换模块，针对上述迁移系统进行分析并根据其分析结果反馈得到线性混成系统模型的不变式；根据转换模块转换生成的迁移系统，输出为原线性混成系统的节点不变式；然后利用新工具进行不变式生成工作。
基于抽象解释线性混成系统不变生成方法

[发明专利]一类非线性混成系统的建模与面向路径的可达性分析方法-CN201310209987.3无效
发明人：卜磊;杨阳;赵建华;李宣东 -专利权人：南京大学
申请日： 2013-05-30 - 公布日： 2013-10-02 - 主分类号： G06F19/00 文献下载
摘要：本发明提出一类非线性混成系统的建模与面向路径的可达性分析方法，步骤1：对非线性混成系统进行建模，得到非线性混成自动机；步骤2：判断非线性混成自动机的凸性混成；当混成自动机每一个节点上的状态空间都为凸集时，称该混成自动机为凸性混成自动机；步骤3：若为凸性混成自动机，则根据规则将待验证可达性问题编码为凸规划问题进行求解；对于编码后的凸规划问题，若该问题有解，则对应的路径满足可达性规约；最后针对其面向路径的可达性问题，给出将其可达性问题编码为凸规划可满足性问题的方法，并通过求解凸规划问题，给出半判定过程；本发明给出了凸性混成自动机的可达性分析，相对于基于近似和抽象的分析方法，有更好的效果。
一类非线性混成系统建模面向路径可达性分析方法

[实用新型]厨房用臭氧消毒气动力洗菜水槽-CN200920144427.3无效
发明人：张宇辉 -专利权人：张宇辉
申请日： 2009-02-20 - 公布日： 2009-12-23 - 主分类号： E03C1/18 文献下载
摘要：本实用新型厨房用臭氧消毒气动力洗菜水槽，包括水槽、臭氧发生器、臭氧气输送导管、臭氧水混成器、臭氧水混成水泵进水管、臭氧水混成水泵、臭氧水输出管、臭氧水释放盘、动力气泵、空气输送导管、空气释放嘴、控制开关十二部分臭氧发生器及动力气泵固定在水槽面板下面，臭氧发生器引出臭氧输送导管，接入臭氧水混成器，从水槽底部引出臭氧水混成水泵进水管接入臭氧水混成水泵，从臭氧水混成水泵引出导管接入臭氧水混成器，再从臭氧水混成器引出臭氧水输出管穿过并接入水槽内臭氧水释放盘
厨房臭氧消毒气动力水槽

[发明专利]红外焦平面列阵器件混成互连铟柱的微熔回流加固方法-CN200610117107.X无效
发明人：叶振华;胡晓宁;王建新;周文洪;王晨飞;丁瑞军 -专利权人：中国科学院上海技术物理研究所
申请日： 2006-10-13 - 公布日： 2007-03-28 - 主分类号： H01L21/60 文献下载
摘要：本发明公开了一种红外焦平面列阵器件混成互连铟柱的微熔回流加固方法，该方法是在红外光敏感列阵芯片和读出电路在常规的冷压混成互连后，采用甲酸作为还原剂，在金属铟的熔点温度下进行混成互连铟柱的微熔回流加固，以增强混成互连铟柱之间及内部的键合力，以及混成互连铟柱与金属化电极层间的机械接触强度，从而确保红外光敏感列阵芯片与硅读出电路之间的电学连通，并提高红外焦平面混成互连的机械可靠性。
红外平面列阵器件混成互连回流加固方法

[发明专利]单相光伏电源并网逆变器混成自动机控制方法-CN201310742124.2在审
发明人：粟时平;刘桂英;粟渊恺;李莎;明志勇;邓明锋;左鹏辉;邓宇恩 -专利权人：长沙理工大学
申请日： 2013-12-30 - 公布日： 2015-07-01 - 主分类号： H02J3/38 文献下载
摘要：本发明单相光伏电源并网逆变器混成自动机控制方法，采用混成系统理论中的混成自动机模型，充分考虑并网逆变器不同功能工作模式切换的离散特性和开关器件开关工作过程的离散特性和连续特性，建立起并网逆变器不同功能工作模式的指令信号切换混成自动机模型和并网逆变器开关器件通断组合切换的混成自动机模型，设计出混成自动机控制系统对单相光伏发电并网逆变器的输出进行动态控制。本发明的方法，既能充分、真实、全程、精细地反映单相光伏发电并网运行的混成行为特征，又能简化控制器的设计，提高单相光伏发电并网运行控制的可靠性和经济性，实现了高效性、经济性、可靠性的良好结合，具有广泛的实用性
单相电源并网逆变器混成自动机控制方法

[发明专利]红外探测器、混成芯片及其背减薄划痕处理方法-CN202110503440.9在审
发明人：李海燕;曹凌霞 -专利权人：中国电子科技集团公司第十一研究所
申请日： 2021-05-10 - 公布日： 2021-10-01 - 主分类号： H01L21/304 文献下载
摘要：本发明公开了一种红外探测器、混成芯片及其背减薄划痕处理方法。红外探测器混成芯片背减薄划痕处理方法，包括：将红外探测器混成芯片减薄至预设厚度；去除减薄至预设厚度的红外探测器混成芯片中光敏芯片的边缘区域；将去除光敏芯片边缘区域的红外探测器混成芯片磨抛至目标厚度，预设厚度大于目标厚度采用本发明，通过将红外探测器混成芯片减薄至预设厚度，实现大部分光敏芯片厚度的去除，混成芯片因一部分的应力释放面型情况会得到优化，整体平面度会得到提高。
红外探测器混成芯片及其背减薄划痕处理方法

[发明专利]一种基于统计模型检测的随机混成系统安全性分析方法-CN201910387073.3有效
发明人：黄志球;乔森;王金永;谢健 -专利权人：南京航空航天大学
申请日： 2019-05-10 - 公布日： 2021-04-06 - 主分类号： G06F16/22 文献下载
摘要：本发明公开了一种基于统计模型检测的随机混成系统安全性分析方法，属于大数据技术领域，首先通过DFT分解算法将DFT分解为动态逻辑门、基本构件、门与门和门与构件间的逻辑关系，然后将动态逻辑门与基本构件转换为随机混成自动机，在然后对随机混成自动机进行重构，形成随机混成自动机网络，最后将规约性质与随机混成自动机网络模型输入到统计模型检测工具Uppaal‑SMC中，得到随机混成系统动态故障树模型定量分析的结果，解决了现有DFT定量分析方法难以解决随机混成系统的安全性分析的技术问题，本发明可以解决传统DTF分析方法仅能针对于失效概率服从指数分布的系统的情况。
一种基于统计模型检测随机混成系统安全性分析方法

[发明专利]面向线性混成系统的等价迁移系统构造方法-CN201310145470.2有效
发明人：卜磊;蒋慧;刘春能;李宣东 -专利权人：南京大学
申请日： 2013-04-24 - 公布日： 2013-08-07 - 主分类号： G05B13/04 文献下载
摘要：本发明提供一种面向线性混成系统的等价迁移系统构造方法，包括输入侧和输出侧，输入侧为线性混成系统模型，输出侧为迁移系统模型，其中：以线性混成自动机作为线性混成系统模型表示为H＝(X,Σ,V,E,V⁰,α,β,γ)，其中：X为实数值系统变量的有限集合且X中变量的个数为混成自动机的维度，Σ为事件名的有限集合，V是位置节点的有限集合，转换系统中引入时间变量t来代表一个任意时间长度的时间段本发明的转换系统可将线性混成系统模型等价转换成迁移系统模型，使现有的用于迁移系统的分析验证工具能够用于线性混成系统验证。
面向线性混成系统等价迁移构造方法

[发明专利]面向随机混成系统的SysML组合建模语言及转换为概率混成自动机的方法-CN202211679478.2在审
发明人：王永兴;曹子宁;李振 -专利权人：南京航空航天大学
申请日： 2022-12-16 - 公布日： 2023-04-28 - 主分类号： G06F8/35 文献下载
摘要：本发明公开了面向随机混成系统的SysML组合建模语言及转换为概率混成自动机的方法。分别使用SysML和Modelica对混成系统的信息系统和物理系统进行建模，并在SysML模型中引入概率附件，并基于元模型机制建立SysML和Modelica的通信规则。为描述混成系统的通信功能和不确定性，采用概率混成接口自动机作为形式化模型，作为后期形式化验证的基础。本发明能够对含有通信功能以及具备不确定性的混成系统进行建模并且模型可以用作后期模型检测和可靠性验证工作。
面向随机混成系统 sysml 组合建模语言转换概率自动机方法

[发明专利]一种不确定性环境下混成AADL模型量化分析方法-CN201610223650.1有效
发明人：陈铭松;鲍勇翔 -专利权人：华东师范大学
申请日： 2016-04-12 - 公布日： 2020-08-25 - 主分类号： G06F8/35 文献下载
摘要：本发明提出了一种不确定性环境下混成AADL模型量化分析方法，包括以下步骤：步骤一：利用不确定性附属语言描述模型中的不确定性；步骤二：利用JAVA类描述源语言AADL的元模型，所述元模型包含混成附属语言和嵌入式行为附属语言以描述混成AADL模型；步骤三：将混成AADL模型转换为NPTA模型，并利用UPPAAL‑SMC对所述NPTA模型进行量化分析。本发明通过对混成AADL模型在不确定性环境下转换成UPPAAL模型，和对UPPAAL模型的量化分析可以得到原模型的量化性质，从而可以在早期混成系统设计的时候及时发现错误，降低在不确定性环境中运行可能产生的错误
一种不确定性环境混成 aadl 模型量化分析方法

[发明专利]分离探测器混成芯片的工装、制备方法、分离方法-CN202010225130.0有效
发明人：黄婷;李海燕 -专利权人：中国电子科技集团公司第十一研究所
申请日： 2020-03-26 - 公布日： 2022-03-11 - 主分类号： H01L31/18 文献下载
摘要：本发明公开了一种分离探测器混成芯片的工装、制备方法、分离方法。探测器混成芯片分离方法，包括：将透明基底的外表面划分为第一区域、第二区域和其他区域，其中，第一区域和第二区域相对且间隔排布；在其他区域镀金属薄膜；在第一区域涂覆透明胶层，以制备分离探测器混成芯片的工装；将工装的涂覆有透明胶层的一层对准探测器混成芯片的光敏芯片下压，以使探测器混成芯片与工装粘接；对粘接有探测器混成芯片的工装进行超声处理，以将光敏芯片剥离探测器混成芯片。
分离探测器混成芯片工装制备方法

[发明专利]面向CPS时空性质的混成AADL建模与模型转换方法-CN202010549658.3在审
发明人：祝义;陈小颖 -专利权人：江苏师范大学
申请日： 2020-06-16 - 公布日： 2020-09-25 - 主分类号： G06F30/20 文献下载
摘要：面向CPS时空性质的混成AADL建模与模型转换方法，以解决CPS缺乏时间与空间统一建模与验证方法的问题。首先，扩展AADL行为附件的时空描述能力，提出混成AADL，用于建模CPS的时空性质；其次，在进程代数中引入微分方程以及位置描述提出HP‑TCSP，能够验证CPS的时空性质；再次，通过模型转换将混成AADL转换为HP‑TCSP，从而可以将混成AADL描述的CPS模型在HP‑TCSP中进行时空一致性验证。
面向 cps 时空性质混成 aadl 建模模型转换方法

[发明专利]用于锂离子电池的使用微粒的硅-金属混成阳极-CN201480043246.5有效
发明人：李文明;B·尹;安·顾 -专利权人：苹果杰克199有限合伙公司
申请日： 2014-05-28 - 公布日： 2018-10-23 - 主分类号： H01M4/1395 文献下载
摘要：一种形成硅基混成阳极材料的系统及方法。硅基混成阳极材料包含具多个硅微粒及多个以选定比例与多个硅微粒混合的金属微粒混合物。微粒混合物形成于厚度介于约2以及约15微米之间的硅混成阳极材料层内。
用于电池使用微粒金属混成阳极

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