-
公开(公告)号：CN108052768A
公开(公告)日：2018-05-18
申请号：CN201711456212.0
申请日：2017-12-28
Applicant: 吉林大学
IPC: G06F17/50
Abstract: 本发明公开了一种基于定量验证方法的并发实时系统可靠性评估方法，其包括以下步骤：(1)采用带参数的概率时间接口自动机构建并发实时系统模型；(2)对步骤(1)中建立的模型按照接口上的输入/输出动作对进行组合，并使用带参数的前向可达性算法将组合后的PPTIA模型转换成为时域图；(3)使用概率时间逻辑语言PTSL构建可靠性要求的形式化规约；(4)使用验证算法评估并发实时系统的可靠性。本发明针对现有逻辑语言无法直接将策略进行形式化表示的不足以及在设计阶段无法精确获取模型所需要的数据问题，采用基于带参数的概率时间接口自动机和概率时间策略逻辑的定量验证方法来评估并发实时系统的可靠性。
-
公开(公告)号：CN100580622C
公开(公告)日：2010-01-13
申请号：CN200510119129.5
申请日：2005-12-29
Applicant: 吉林大学
Abstract: 本发明是一种基于统一建模语言的电信领域建模工具及建模方法属于计算机系统软件和应用软件领域。基于统一建模语言四层元数据结构构造了元建模和建模两级建模机制，元建模建立了电信领域的领域元模型，建模建立了电信领域内一个具体应用的模型，并且通过定制功能将模型中一个具体的构件与一个具体的设备联系起来，通过模型对设备进行呈现，通过模型对设备进行控制和管理。元模型包含了领域知识，它约束建模行为，保证建模阶段建立的模型是遵循领域约束的。采用定制的方式来对设备进行呈现和管理，提高了解决问题的抽象层次，使得开发人员可以把关注点放在问题逻辑本身而不是底层实现的细节，提高了软件开发的效率和正确率，缩短了开发的周期。
-
公开(公告)号：CN108052768B
公开(公告)日：2021-06-25
申请号：CN201711456212.0
申请日：2017-12-28
Applicant: 吉林大学
IPC: G06F30/20 , G06F119/02 , G06F111/04 , G06F111/08
Abstract: 本发明公开了一种基于定量验证方法的并发实时系统可靠性评估方法，其包括以下步骤：(1)采用带参数的概率时间接口自动机构建并发实时系统模型；(2)对步骤(1)中建立的模型按照接口上的输入/输出动作对进行组合，并使用带参数的前向可达性算法将组合后的PPTIA模型转换成为时域图；(3)使用概率时间逻辑语言PTSL构建可靠性要求的形式化规约；(4)使用验证算法评估并发实时系统的可靠性。本发明针对现有逻辑语言无法直接将策略进行形式化表示的不足以及在设计阶段无法精确获取模型所需要的数据问题，采用基于带参数的概率时间接口自动机和概率时间策略逻辑的定量验证方法来评估并发实时系统的可靠性。
-
公开(公告)号：CN103986925B
公开(公告)日：2015-09-23
申请号：CN201410247815.X
申请日：2014-06-05
Applicant: 吉林大学
Abstract: 基于亮度补偿的立体视频视觉舒适度评价方法属立体视频视觉舒适度评价技术领域，本发明结合立体视频帧左右视图的灰度图提取出立体视频帧的前景区域，合成视差图并提取水平视差，计算深度视差；根据主观评价结果建立视差深度—视觉舒适度模型，再结合亮度对视觉舒适度的评价模型进行优化，使模型的评分更接近人类视觉系统的评分；结合人类主观评价实验的结果，用逆向代入法求出模型的系数确定模型，最终实现基于人类视觉系统特性的对立体视频视觉舒适度的评价；本发明用亮度补偿的方法对视觉舒适度的评价模型进行了优化，建立了更符合人类主观感知结果的立体视频视觉舒适度评价模型，使模型评分更接近人类视觉系统特性的主观实验评分。
-
公开(公告)号：CN103971025B
公开(公告)日：2015-07-29
申请号：CN201410230927.4
申请日：2014-05-28
Applicant: 吉林大学
IPC: G06F19/00
Abstract: 本发明公开了一种数控机床故障相关关系动态变化分析方法；旨在克服现有技术不能确定相互干扰故障(I.F)的故障链中，存在错综复杂的相关关系的多系统之间的相关程度的问题，步骤为：步骤1：利用FMECA分析技术对故障数据处理，进行机床各子系统的故障部位的划分，整理各个子系统之间具有相关故障的数据；步骤2：分析相关数据，总结归纳相关子系统之间的相互作用形式，定义故障链的种类及故障链要素；步骤3：针对不同的相关故障链，利用独立故障率、相关故障率和综合故障率的相依关系，求得相关故障子系统的综合故障率，分别建立所有故障链的相关系数计算模型，组成相关故障的相关系数模型体系；步骤4：考虑相关故障的维修策略的分析。
-
Patent Agency Ranking
公开(公告)号：CN101303646B
公开(公告)日：2010-07-28
申请号：CN200810050834.8
申请日：2008-06-18
Applicant: 吉林大学
IPC: G06F9/44
Abstract: 本发明的基于可执行元语言的电信领域建模方法属于电信网络管理的技术领域，具体涉及电信领域网络设备、网络性能、网络故障的建模方法和模型正确性的验证方法。建模过程的实现核心是适合电信领域的可执行元语言xKL；它指导元建模过程，描述并动态实例化领域模型，验证和执行实例化后的模型，使得生成的模型具有可执行性。本发明具有以下优点：具有良好的伸缩性和适应性；具有良好的重用性；对象模型的可执行性；领域模型可以在系统需求和底层实现之间建立起良好的映射关系；可以缩短产品投放市场的时间，改善、提高产品质量，提高客户满意度。
-
公开(公告)号：CN101303646A
公开(公告)日：2008-11-12
申请号：CN200810050834.8
申请日：2008-06-18
Applicant: 吉林大学
IPC: G06F9/44
Abstract: 本发明的基于可执行元语言的电信领域建模方法属于电信网络管理的技术领域，具体涉及电信领域网络设备、网络性能、网络故障的建模方法和模型正确性的验证方法。建模过程的实现核心是适合电信领域的可执行元语言xKL；它指导元建模过程，描述并动态实例化领域模型，验证和执行实例化后的模型，使得生成的模型具有可执行性。本发明具有以下优点：具有良好的伸缩性和适应性；具有良好的重用性；对象模型的可执行性；领域模型可以在系统需求和底层实现之间建立起良好的映射关系；可以缩短产品投放市场的时间，改善、提高产品质量，提高客户满意度。
-
公开(公告)号：CN104853185A
公开(公告)日：2015-08-19
申请号：CN201510308249.3
申请日：2015-06-06
Applicant: 吉林大学
Abstract: 结合多视差和运动的立体视频舒适度评价方法属立体视频视觉舒适度评价技术领域，本发明提出了将物体的三种视差与物体的运动特性作为影响立体视频舒适度重要因素；提取帧内显著物体视差、帧内相关背景视差、帧间视差和运动变量这四个对立体视频舒适度有影响的因素，合成视差图并提取水平视差，计算深度视差；结合深度感知理论和最小二乘拟和方法建立主观评价与四大因素的函数关系，得到立体视频舒适度评价模型，再利用主观评价的方法对模型进行评定；本发明提出了一种新的对立体视频舒适度评价的方法，所建立的模型可以很好地模拟人眼的主观感受，对于研究人眼观看立体视频的舒适度有重要意义。
-
公开(公告)号：CN103971025A
公开(公告)日：2014-08-06
申请号：CN201410230927.4
申请日：2014-05-28
Applicant: 吉林大学
IPC: G06F19/00
Abstract: 本发明公开了一种数控机床故障相关关系动态变化分析方法；旨在克服现有技术不能确定相互干扰故障(I.F)的故障链中，存在错综复杂的相关关系的多系统之间的相关程度的问题，步骤为：步骤1：利用FMECA分析技术对故障数据处理，进行机床各子系统的故障部位的划分，整理各个子系统之间具有相关故障的数据；步骤2：分析相关数据，总结归纳相关子系统之间的相互作用形式，定义故障链的种类及故障链要素；步骤3：针对不同的相关故障链，利用独立故障率、相关故障率和综合故障率的相依关系，求得相关故障子系统的综合故障率，分别建立所有故障链的相关系数计算模型，组成相关故障的相关系数模型体系；步骤4：考虑相关故障的维修策略的分析。
-
公开(公告)号：CN115577745A
公开(公告)日：2023-01-06
申请号：CN202211099745.9
申请日：2022-09-07
Applicant: 吉林大学
Abstract: 本发明适用于多角色强化学习技术领域，提供了基于模型检测的多角色强化学习系统可达性验证方法，使用表示具有k个角色的rMARL系统，其中Ti表示角色ri所使用的ReLU‑FFNN的结构，表示角色i中的agent的数量，R＝{r1，r2…rk}表示所有角色的集合，表示系统中的总agent个数。将使用ReLU激活函数的前馈神经网络编码为MILP，并借用参数化模型检测的思想，通过计算cutoff值将使用mrSL逻辑语言描述的可达性属性简化成进行验证，从而解决计算复杂度高、时间开销大的问题。此方法还可以用于验证安全性，鲁棒性，输出范围等。
-
-
-
-
-
-
-
-
-
Search Results
12
records
(took 0.02 seconds)
