搜索到438篇“ 可检测性“的相关文章
基于超线时序逻辑的无二义加权自动机的可检测性研究
2025年
文中从超线时序逻辑(hyper linear temporal logic, HyperLTL)的角度深入探讨了加权离散事件系统(discrete event systems, DESs)的可检测性问题。先前关于DESs的研究通常假设事件转换是瞬时的或无需成本的。然而,在实际生产环境中,事件转换往往涉及时间和成本的消耗,这需要在DESs研究中引入加权因素。加权决策策略旨在通过为不同事件或状态分配权重来优化系统能、指导政策制定,并实现高效、安全和靠地运行。讨论了从加权DESs建模中得出的无二义加权自动机(unambiguous weighted automata, UWAs)。在此基础上,将其转换为一种特殊的Kripke结构,以捕获此类加权自动机的信息,从而实现HyperLTL的明确表示。
张涛彭皓天
关键词:网络安全离散事件系统可检测性
一种高效判定反馈移位寄存器可检测性观测的方法
本发明公开了一种高效判定反馈移位寄存器可检测性观测的方法,属于计算机科学、数学和通信学的交叉技术领域。该方法包括以下步骤:定义NFSR模型;通过复制NFSR模型,定义新的复合系统;定义状态集合;构造NFSR对应的增...
林鸿谢长河林琳林参
具有改进的可检测性的高强度缆索
一种供在电梯系统的承载构件中使用的受拉元件包括具有多根第一线的第一层和具有多根第二线的第二层。第二层位于第一层的径向外侧并且围绕第一层。第一层具有第一捻方向,并且第二层具有第二捻方向。第二捻方向与第一捻方向相反。
B·吉拉尼
基于水印注入的人工智能生成文本可检测性增强研究
张约翰
随机乘噪声约束多输出离散系统的均方可检测性
2024年
本文主要讨论乘噪声约束下,多输出离散系统均方检测问题.假定子信道容量是先验固定的,不能任意分配.首先,利用乘噪声对通信信道进行建模,基于编码/观测器协同设计思想,建立系统均方检测动态方程.其次,根据控制不等式质和能控分解技术,给出网络化系统检测的充分条件.再次,基于循环分解技术,系统最优补灵敏度以及控制不等式理论等,求得网络化系统检测的必要条件.所给出的充分和必要条件用开环系统拓扑熵与子信道信道容量以控制不等式形式表示.最后,数值算例及仿真验证结论的合理.
邬依林沈志萍张瑾
关键词:信道容量控制不等式乘性噪声
面向镜面面形可检测性的离轴三反光学系统设计方法
2024年
光学系统镜面面形的可检测性是光学系统从设计走向应用的基本条件。目前的光学系统设计方法多侧重于约束外形尺寸、提高成像质量,光学系统设计和光学元件检测设计与评估经常是先后进行的,在系统设计时不直接得到检测的反馈。对于高指标要求的光学系统,容易造成系统像质设计良好、但元件检测难度过大的情况,使光学系统的落地应用产生瓶颈。在光学系统优化设计过程中,融入检测的相关理论方法是解决光学元件面形可检测性的重要途经。以离轴三反光学系统设计为切入点,CGH(Computer Generated Hologram)为光学元件检测工具,推导了光学系统设计参数与CGH相关参数的数学关系,作为光学系统面形的可检测性的桥梁,建立了面向镜面面形可检测性评估的离轴三反光学系统设计方法。在设计验证环节,以焦距为800 mm、F数为4、视场为14°×2°的离轴三反系统为例进行了设计仿真,在保证系统像质(调制传递函数(Modulation Transfer Function,MTF)值大于0.4@100 lp/mm)的同时,将用于检测的CGH最小条纹宽度从4.84μm提升到14.34μm,提高了非球面反射镜的可检测性。该设计方法实现了在光学设计中对检测参数的评估与控制,对降低光学元件检测难度、提高光学系统设计的实现具有一定意义。
张海鑫孟庆宇王江南刘美辰李磊
关键词:光学设计光学检测计算全息图
标签时间Petri网的可检测性研究
Petri网是一种面向对象的图形化建模工具,它能够根据实际情况,对系统进行建模、分析与优化。如今它已成为应用范围最广的离散事件系统建模工具之一。离散事件系统的可检测性是系统的关键属之一,以分为状态可检测性和路径检测...
朱佳旺
一种编队飞行卫星姿态控制系统可检测性评估方法
本发明公开了一种编队飞行卫星姿态控制系统可检测性评估方法,该方法包括:获取编队飞行卫星姿态控制系统的检测数据;根据检测数据构建编队飞行卫星姿态控制系统的测量信息矩阵;利用黎曼测度原理将测量信息矩阵转化为黎曼流形点;计算黎...
符方舟缪秋语于牧野吴志刚
基于涡流脉冲热像的金属疲劳裂纹可检测性研究
涡流脉冲热像技术是一种新型的无损检测技术,能够实现对试件缺陷的无损检测。此技术已在金属疲劳裂纹检测中展现出了独特的优势。但在涡流脉冲热像检测技术应用领域中,探究裂纹的可检测性是其广泛应用的前提,而裂纹的可检测性研究包含检...
马洪裕
一种基于可检测性学习的人体姿态检测方法及系统
本发明公开了一种基于可检测性学习的人体姿态检测方法及系统,所述基于可检测性学习的人体姿态检测方法包括以下步骤:获取待人体姿态检测的图像数据;基于所述待人体姿态检测的图像数据,利用预训练好的人体姿态检测模型进行检测,获得每...
钱学明张浩

相关作者

王大轶
作品数:551被引量:711H指数:15
供职机构:北京空间飞行器总体设计部
研究主题:自主导航 航天器 敏感器 可重构性 深空探测
刘成瑞
作品数:191被引量:359H指数:13
供职机构:北京控制工程研究所
研究主题:航天器 卫星控制系统 可重构性 诊断性 可诊断性
刘文静
作品数:135被引量:150H指数:9
供职机构:北京控制工程研究所
研究主题:航天器 诊断性 故障诊断 可诊断性 卫星控制系统
邢琰
作品数:202被引量:303H指数:11
供职机构:北京控制工程研究所
研究主题:卫星控制系统 诊断性 敏感器 月面 机器人
何英姿
作品数:339被引量:328H指数:9
供职机构:北京控制工程研究所
研究主题:卫星控制系统 诊断性 敏感器 航天器 空间机械臂