公共文化服务平台

搜索到160篇“ 混成系统“的相关文章

一种混成系统最优控制生成的方法、装置、介质和设备: 本发明公开了一种混成系统最优控制生成的方法、装置、介质和设备。该方法首先将混成系统中各个组件的控制模式流图通过乘积合并成整体，然后通过指定深度的方式遍历整体控制模式流图的控制模式路径组成路径集合，并确定控制量的取值范围。...; 卜磊刘雯霞王佳宛李宣东

面向随机混成系统的SysML组合建模语言及转换为概率混成自动机的方法: 本发明公开了面向随机混成系统的SysML组合建模语言及转换为概率混成自动机的方法。分别使用SysML和Modelica对混成系统的信息系统和物理系统进行建模，并在SysML模型中引入概率附件，并基于元模型机制建立SysM...; 王永兴曹子宁李振

概率混成系统的形式化建模与性能评价研究: 随着科学技术和人类需求的不断发展,特别是物联网、车联网的兴起,混成系统已渗透到日常生活的方方面面。计算机控制的系统,特别是安全关键的混成系统,系统的性能具有重要影响。受随机事件、系统设计信息不全或系统与外部环境相互作用等...; 王福俊; 关键词：形式化建模性能评价启发式算法

安全的混成系统神经网络控制器生成与验证: 2023年; 控制器生成是混成系统控制中的重要问题.生成具有安全保证的控制器,关系着混成系统在安全攸关领域的使用.提出了一种为混成系统生成具有安全保证的神经网络控制器的方法.神经网络控制器的安全性由与其同时生成的障碍证书保证.为了生成安全的神经网络控制器,首先确定控制器的网络结构,并基于混成系统构造训练数据集;然后,根据保证控制器安全的障碍证书条件编码神经网络训练时的损失函数.当训练完成后,学习到的神经网络控制器对于训练数据集中的数据是安全的,但对于整个混成系统可能并不安全.为了检验学习到的控制器在整个系统上的安全性,将其安全验证问题转化为一组混合整数规划问题,并使用数值优化器求解,以得到形式化保证的结果.工作实现了安全神经网络控制器生成工具SafeNC,并评估了它在8个基准系统上的性能.实验结果表明:SafeNC可以生成包含6个隐藏层的具有1804个神经元的安全神经网络控制器;同时,与现有方法相比,SafeNC可为更复杂的系统生成安全的神经网络控制器,更有效且更具扩展性.; 赵庆晔王豫李宣东; 关键词：混成系统安全控制神经网络控制器混合整数规划

基于SysML-Modelica的混成系统建模及其转换为混成接口自动机的方法: 本发明公开了基于SysML‑Modelica的混成系统建模及其转换为混成接口自动机的方法。使用SysML状态机图和Modelica分别对混成系统的信息部分和物理部分建模，并利用SysML的端口实现二者的交互，最终使用Sy...; 李晴曹子宁黄涛

基于不动点逻辑的混成系统性能评价方法: 本发明公开了基于不动点逻辑的混成系统性能评价方法。在定义映射值域为实数区间的状态函数以及带有状态函数的Kripke<Sub>AF</Sub>结构的基础上，本发明通过将CTML和μ演算结合提出一种新的混成系统性能评价语言μ...; 李晴曹子宁黄涛

随机混成系统稀有属性的统计模型检测方法: 2022年; 统计模型检测,已成为随机混成系统安全性验证的重要方法.但对安全性要求较高的系统,其不安全事件和系统失效都是稀有事件.在这种情况下,统计模型检测很难采样到满足稀有属性的样本而变得不可行.针对该问题,提出了交叉熵迭代学习的统计模型检测方法:首先,使用连续时间马尔可夫链表示随机混成系统的路径概率空间,推导出路径空间上的参数化概率分布函数族;然后构造了随机混成系统路径空间上的交叉熵优化模型,提出了在路径空间上迭代学习最优重要性采样分布的算法;最后给出了基于重要性采样的稀有属性验证算法.实验结果表明:该方法能够有效地对随机混成系统的稀有属性进行验证;且在相同样本数量下,与一些启发式重要性采样方法相比,该方法的估计值能够更好地分布在均值附近,标准方差和相对误差减少超过了一个数量级.; 房丙午房丙午谢健; 关键词：安全性

基于不动点逻辑的混成系统性能评价语言: 2022年; 混成系统是一类连续与离散行为紧密结合的复杂动态系统,目前广泛地应用在医疗和国防等安全关键领域。安全关键系统要求自身具有较高的安全性与可靠性,以减少系统故障引起的生命和财产方面的灾难性后果。而形式化方法是保障系统可靠性的一种常用方法,其中模型检测应用最为广泛。由于模型检测只能给出系统是否满足某个性质的真或假逻辑值,通过将其与性能评价相结合,以描述系统与实值计算相关的一些性质。现有的性能评价语言CTML可以描述系统与概率和平均期望相关的性质,μ演算则可以通过最小和最大不动点运算符描述迁移系统的某些性质。在基于μ演算的模型检测和CTML的基础上,提出一种面向混成系统的基于不动点的新的性能评价语言MLBoF以及MLBoF公式的性能评价算法。针对CTML的子逻辑,给出与其语义等价的MLBoF公式表示以及二者等价的证明过程。通过飞机起飞系统实例说明,提出的性能评价语言MLBoF不仅将基于μ演算的模型检测结果从{0,1}扩展到实数区间,具有验证系统概率等实值性质的能力;而且通过扩展经典的计算不动点的改进算法,保证了MLBoF的性能评价算法的效率。; 李晴曹子宁黄涛; 关键词：混成系统不动点性能评价

一种混成系统最优控制生成方法和装置: 本发明公开了一种混成系统最优控制生成方法和装置。该方法首先遍历控制流图，提取出节点路径组成控制模式序列，然后，为每个控制模式序列构建不满足度计算表达式，然后每个控制模式序列找出其最优的控制配置序列，根据每个控制模式序列所...; 卜磊邢少鹏王佳宛伍昱名李宣东

基于栅栏函数构造的深度神经网络控制混成系统安全验证研究: 深度神经网络在许多复杂应用场景中证明了其替代人类智能进行决策的潜力。信息物理融合系统中大量嵌入了深度神经网络控制器进行智能控制。深度神经网络黑箱本质、神经元数量大和非线性的特征,使得对其行为进行理解和分析非常困难。特别的...; 沙猛; 关键词：混成系统神经网络控制器

相关作者