-
公开(公告)号：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)使用验证算法评估并发实时系统的可靠性。本发明针对现有逻辑语言无法直接将策略进行形式化表示的不足以及在设计阶段无法精确获取模型所需要的数据问题，采用基于带参数的概率时间接口自动机和概率时间策略逻辑的定量验证方法来评估并发实时系统的可靠性。
-
公开(公告)号：CN105809577B
公开(公告)日：2020-04-07
申请号：CN201610261317.X
申请日：2016-04-25
Applicant: 吉林大学
IPC: G06F16/38
Abstract: 本发明公开了一种基于规则和组件的电厂信息化数据的分类处理方法，包含以下步骤：步骤(1)根据电厂信息化数据的特性，建立分类模型；步骤(2)基于分类模型和应用需求，建立或从组件库中选择合适的组件；步骤(3)基于分类模型和应用需求，建立或从规则库中选择合适的规则；步骤(4)针对需要处理的数据，基于相应的组件和规则，创建或从任务库中选择合适的任务，提供具体参数启动任务，对电厂信息化数据进行处理。本发明充分考虑了电厂信息化数据的多样性和复杂性，基于组件和规则，按照应用需求对数据进行采集、分析处理、发送存储，能够为基于电力信息化数据的其他应用提供支持。
-
公开(公告)号：CN100451954C
公开(公告)日：2009-01-14
申请号：CN200510119128.0
申请日：2005-12-29
Applicant: 吉林大学
IPC: G06F9/44
Abstract: 本发明为框架定制的模型驱动软件生成方法。属于计算机系统软件和应用软件领域。该方法通过领域分析和领域设计可以得到特定领域的领域模型和领域框架，作为重用的核心资产。领域模型通过对领域信息分析、抽象、对领域的实体及其关系采用类图的方式，通过模型工具建立。然后进行模型到框架的定制，读取模型信息、框架信息和框架界面组件装配规则，将模型中实例填充到框架界面组件。当软件框架被完全填充后，定制过程即完成。本发明具有良好的适用性和重用性，即可以根据领域特性和应用特性的变化，通过修改框架、模型或重新定制，可以形成领域软件系列产品。
-
公开(公告)号：CN105184170B
公开(公告)日：2017-07-28
申请号：CN201510599859.3
申请日：2015-09-21
Applicant: 吉林大学
IPC: G06F21/57
Abstract: 本发明公开了一种基于形式化程度的领域软件可信性评估方法，包含以下步骤：步骤(1)建立需要考察的领域软件特性的属性模型；步骤(2)选择与属性相关的证据，自定义运算逻辑，建立评估模型；步骤(3)根据评估需求，基于评估模型，自定义映射条件，建立可信等级模型；步骤(4)对选择的领域软件证据进行形式化分析，基于评估模型度量软件的形式化程度，通过与等级模型的匹配和映射，对领域软件的可信性进行评价。本发明充分考虑了领域软件的通用属性和领域特性，将形式化程度的分析引入到领域软件的可信性评估中，使评估结果具有更高的可信度，同时，通过建立属性模型、评估模型和等级模型，能够为领域软件可信性分析及后续研究提供更加有力的支持。
-
公开(公告)号：CN105809577A
公开(公告)日：2016-07-27
申请号：CN201610261317.X
申请日：2016-04-25
Applicant: 吉林大学
IPC: G06Q50/06
Abstract: 本发明公开了一种基于规则和组件的电厂信息化数据的分类处理方法，包含以下步骤：步骤(1)根据电厂信息化数据的特性，建立分类模型；步骤(2)基于分类模型和应用需求，建立或从组件库中选择合适的组件；步骤(3)基于分类模型和应用需求，建立或从规则库中选择合适的规则；步骤(4)针对需要处理的数据，基于相应的组件和规则，创建或从任务库中选择合适的任务，提供具体参数启动任务，对电厂信息化数据进行处理。本发明充分考虑了电厂信息化数据的多样性和复杂性，基于组件和规则，按照应用需求对数据进行采集、分析处理、发送存储，能够为基于电力信息化数据的其他应用提供支持。
-
Patent Agency Ranking
公开(公告)号：CN1794170A
公开(公告)日：2006-06-28
申请号：CN200510119129.5
申请日：2005-12-29
Applicant: 吉林大学
Abstract: 本发明的一种基于统一建模语言的电信领域建模工具及建模方法属于计算机系统软件和应用软件领域。基于统一建模语言四层元数据结构构造了元建模和建模两级建模机制，元建模建立了电信领域的领域元模型，建模建立了电信领域内一个具体应用的模型，并且通过定制功能将模型中一个具体的构件与一个具体的设备联系起来，通过模型对设备进行呈现，通过模型对设备进行控制和管理。元模型包含了领域知识，它约束建模行为，保证建模阶段建立的模型是遵循领域约束的。采用定制的方式来对设备进行呈现和管理，提高了解决问题的抽象层次，使得开发人员可以把关注点放在问题逻辑本身而不是底层实现的细节，提高了软件开发的效率和正确率，缩短了开发的周期。
-
公开(公告)号：CN1794169A
公开(公告)日：2006-06-28
申请号：CN200510119128.0
申请日：2005-12-29
Applicant: 吉林大学
IPC: G06F9/44
Abstract: 本发明为框架定制的模型驱动软件生成方法。属于计算机系统软件和应用软件领域。该方法通过领域分析和领域设计可以得到特定领域的领域模型和领域框架，作为重用的核心资产。领域模型通过对领域信息分析、抽象、对领域的实体及其关系采用类图的方式，通过模型工具建立。然后进行模型到框架的定制，读取模型信息、框架信息和框架界面组件装配规则，将模型中实例填充到框架界面组件。当软件框架被完全填充后，定制过程即完成。本发明具有良好的适用性和重用性，即可以根据领域特性和应用特性的变化，通过修改框架、模型或重新定制，可以形成领域软件系列产品。
-
公开(公告)号：CN108052768A
公开(公告)日：2018-05-18
申请号：CN201711456212.0
申请日：2017-12-28
Applicant: 吉林大学
IPC: G06F17/50
Abstract: 本发明公开了一种基于定量验证方法的并发实时系统可靠性评估方法，其包括以下步骤：(1)采用带参数的概率时间接口自动机构建并发实时系统模型；(2)对步骤(1)中建立的模型按照接口上的输入/输出动作对进行组合，并使用带参数的前向可达性算法将组合后的PPTIA模型转换成为时域图；(3)使用概率时间逻辑语言PTSL构建可靠性要求的形式化规约；(4)使用验证算法评估并发实时系统的可靠性。本发明针对现有逻辑语言无法直接将策略进行形式化表示的不足以及在设计阶段无法精确获取模型所需要的数据问题，采用基于带参数的概率时间接口自动机和概率时间策略逻辑的定量验证方法来评估并发实时系统的可靠性。
-
公开(公告)号：CN104501828B
公开(公告)日：2018-03-27
申请号：CN201410849127.0
申请日：2014-12-29
Applicant: 吉林大学
IPC: G01C23/00
Abstract: 本发明公开了一种通用航空机载监视系统，该系统包括：气压高度测量模块，测量通用航空飞行器的气压式高度信息，并将其发送给中央处理单元；定位模块，实时提供通用航空飞行器的定位信息，并将其发送给中央处理单元；北斗处理单元与北斗天线连接，利用北斗卫星进行收发通信；北斗处理单元，处理接收到的外部命令信息，并将处理后的命令信息发送给中央处理单元，并将从中央处理单元获取的处理后的定位信息，通过北斗天线发送出去；中央处理单元，处理各个模块需要的定位信息，管理整个机载监视系统的运行情况；电池模块，提供电源。本发明有效的提高通用航空飞行器的监视能力，为通用航空飞行器拥有者和低空空域管理方提供了切实有效的监视手段。
-
公开(公告)号：CN105184170A
公开(公告)日：2015-12-23
申请号：CN201510599859.3
申请日：2015-09-21
Applicant: 吉林大学
IPC: G06F21/57
CPC classification number: G06F21/577 , G06F2221/033
Abstract: 本发明公开了一种基于形式化程度的领域软件可信性评估方法，包含以下步骤：步骤(1)建立需要考察的领域软件特性的属性模型；步骤(2)选择与属性相关的证据，自定义运算逻辑，建立评估模型；步骤(3)根据评估需求，基于评估模型，自定义映射条件，建立可信等级模型；步骤(4)对选择的领域软件证据进行形式化分析，基于评估模型度量软件的形式化程度，通过与等级模型的匹配和映射，对领域软件的可信性进行评价。本发明充分考虑了领域软件的通用属性和领域特性，将形式化程度的分析引入到领域软件的可信性评估中，使评估结果具有更高的可信度，同时，通过建立属性模型、评估模型和等级模型，能够为领域软件可信性分析及后续研究提供更加有力的支持。
-
-
-
-
-
-
-
-
-
Search Results
19
records
(took 0.016 seconds)
