检索结果-内蒙古大学图书馆

计算机工程 2011年第14期37卷 47-49页

作者：周春燕李绪蓉周良南京航空航天大学信息科学与技术学院南京210016

UML活动图的正确性决定了业务流程的正确执行,为此,提出一种UML活动图模型的正确性诊断方法。将模型分解后,对子模型进行模型验证,并对验证错误的子模型进行模型诊断,得到诊断结果。在质量管理过程实例中的应用结果表明,该方法能减小模... 详细信息

UML活动图的正确性决定了业务流程的正确执行,为此,提出一种UML活动图模型的正确性诊断方法。将模型分解后,对子模型进行模型验证,并对验证错误的子模型进行模型诊断,得到诊断结果。在质量管理过程实例中的应用结果表明,该方法能减小模型空间,减少诊断次数,准确锁定错误,有效地对模型的正确性进行诊断。

关键词：活动图模型正确性模型分解模型验证模型诊断

来源：评论

学校读者我要写书评

暂无评论

基于Petri网化简技术的工作流模型正确性研究

引用

计算机工程 2007年第9期33卷 60-61,94页

作者：张亮姚淑珍北京航空航天大学计算机学院北京100083

为了更有效地对工作流模型进行分析验证,提出了一种基于Petri网化简技术的工作流模型正确性验证方法。在对各种工作流模型验证技术深入研究的基础上,通过对非自由选择网结构活性和有界性的分析,给出了针对Petri网中非自由选择部分的分... 详细信息

为了更有效地对工作流模型进行分析验证,提出了一种基于Petri网化简技术的工作流模型正确性验证方法。在对各种工作流模型验证技术深入研究的基础上,通过对非自由选择网结构活性和有界性的分析,给出了针对Petri网中非自由选择部分的分析方法。在保持活性和有界性的前提下,给出了将活的且有界的非自由选择部分转化为自由选择部分的转化方法,从而将非自由选择的Petri网验证问题转化为自由选择Petri网的验证问题。通过一个例子说明了如何使用该文提出的方法来验证模型的正确性。

关键词： Petri网工作流模型正确性化简技术

来源：评论

学校读者我要写书评

暂无评论

一种基于智能交通模型正确性的蜕变测试方法

一种基于智能交通模型正确性的蜕变测试方法

引用

作者：陈振宇常家鑫夏志龙 518057 广东省深圳市南山区粤海街道高新区社区高新南九道10号深圳湾科技生态园10栋903A

本发明采用蜕变测试技术对智能交通模型进行正确性测试，设计应用于智能交通模型的蜕变关系并从多个方面判定程序功能的正确性，使用原始用例和基于蜕变关系生成的衍生用例对智能交通模型进行测试，检查原始和衍生用例的输出是否满足相... 详细信息

标准号: CN111858347A

本发明采用蜕变测试技术对智能交通模型进行正确性测试，设计应用于智能交通模型的蜕变关系并从多个方面判定程序功能的正确性，使用原始用例和基于蜕变关系生成的衍生用例对智能交通模型进行测试，检查原始和衍生用例的输出是否满足相应的蜕变关系，得出测试结果。发明能够采用新的软件测试方法对智能交通模型正确性进行合理度量与评估。

关键词：智能交通模型正确性测试测试技术多个方面关系生成判定程序软件测试设计应用度量输出评估检查

来源：评论

学校读者我要写书评

暂无评论

基于吻合度的模型正确性的评价方法

基于吻合度的模型正确性的评价方法

引用

作者：陈光达杨冬娟周金柱孟娟李维超孟文辉李勋李明 712046 陕西省西安市太白南路2号

本发明公开了一种基于吻合度的模型正确性的评价方法，其特征在于，包括以下步骤：一、建立模型的递阶层次结构，二、计算递阶层次结构最底层子子节点各参数的单项吻合度，三、计算子子节点各参数相对于子节点的权重，四、计算各子节点... 详细信息

标准号: CN104077485B

本发明公开了一种基于吻合度的模型正确性的评价方法，其特征在于，包括以下步骤：一、建立模型的递阶层次结构，二、计算递阶层次结构最底层子子节点各参数的单项吻合度，三、计算子子节点各参数相对于子节点的权重，四、计算各子节点的吻合度，五、计算子节点各参数相对于目标节点的权重，六、计算目标节点的吻合度。本发明的有益之处在于：只需知道模型的输入输出参数，且在输出参数可测得的情况下，采用本发明提出的基于吻合度的模型正确性评价方法即可对模型的正确性程度进行评价，该方法不需要清楚模型复杂的原理及其内在的工作方式，因此本发明的方法具有显著的优点。

关键词：吻合度子节点模型正确性次结构权重输入输出参数计算目标建立模型目标节点输出参数阶层最底层

来源：评论

学校读者我要写书评

暂无评论

基于吻合度的模型正确性的评价方法

基于吻合度的模型正确性的评价方法

引用

作者：陈光达杨冬娟周金柱孟娟李维超孟文辉李勋李明 712046 陕西省西安市太白南路2号

标准号: CN104077485A

关键词：模型正确性评价方法计算目标目标节点输入输出阶层正确性单项评价

来源：评论

学校读者我要写书评

暂无评论

自动化主备系统间模型正确性校验

自动化主备系统间模型正确性校验

引用

作者：不公告发明人 433199 湖北省潜江市泰丰办事处泰丰路9号(绵原小区36号)

本发明公开了自动化主备系统间模型正确性校验的方法，属于电网调度自动化技术领域。本发明先进行模型解析，根据模型关系及模型与测点的映射关系解析模型中包含的实时数据库中的测点集合，其次进行数据处理，根据校验规则及校验时间范... 详细信息

标准号: CN110019114A

本发明公开了自动化主备系统间模型正确性校验的方法，属于电网调度自动化技术领域。本发明先进行模型解析，根据模型关系及模型与测点的映射关系解析模型中包含的实时数据库中的测点集合，其次进行数据处理，根据校验规则及校验时间范围分别获取主备系统模型所有测点在该时间范围内的数据，并对数据进行分类、补齐等处理，最后进行数据校验，对处理后的主备系统模型包含的所有测点的数据进行绝对偏差和相对偏差计算。本发明实现了调度自动化主备系统间模型的快速高效校验，为确保智能电网调度<支持系统实现精益化调度提供稳定性和可靠性。

关键词：主备系统测点校验电网调度自动化调度调度自动化模型正确性实时数据库解析模型绝对偏差模型关系模型解析偏差计算数据校验校验规则映射关系支持系统智能电网数据处理补齐精益自动化集合分类

来源：评论

学校读者我要写书评

暂无评论

一种调度自动化主备系统间模型正确性校验的方法

一种调度自动化主备系统间模型正确性校验的方法

引用

作者：赵裕啸梅峰周升李贤慧施永益陈建戴波孔晓昀金文德王志强季胜鹏唐胜田辉严钊王飞军陈军 100031 北京市西城区西长安街86号

本发明公开了一种调度自动化主备系统间模型正确性校验的方法，属于电网调度自动化技术领域。本发明先进行模型解析，根据模型关系及模型与测点的映射关系解析模型中包含的实时数据库中的测点集合，其次进行数据处理，根据校验规则及校... 详细信息

标准号: CN104299065A

本发明公开了一种调度自动化主备系统间模型正确性校验的方法，属于电网调度自动化技术领域。本发明先进行模型解析，根据模型关系及模型与测点的映射关系解析模型中包含的实时数据库中的测点集合，其次进行数据处理，根据校验规则及校验时间范围分别获取主备系统模型所有测点在该时间范围内的数据，并对数据进行分类、补齐等处理，最后进行数据校验，对处理后的主备系统模型包含的所有测点的数据进行绝对偏差和相对偏差计算。本发明实现了调度自动化主备系统间模型的快速高效校验，为确保智能电网调度支持系统实现精益化调度提供稳定性和可靠性保障，满足了调度自动化系统的快速批量检索数据的需求，实现精益化调度。

关键词：校验主备调度自动化系统模型系统间精益电网调度自动化调度自动化系统稳定性和可靠性调度模型正确性实时数据库电网调度检索数据解析模型绝对偏差模型关系模型解析数据处理数据校验系统实现相对偏差映射关系对处理对数据智能保障

来源：评论

学校读者我要写书评

暂无评论

一种调度自动化主备系统间模型正确性校验的方法

一种调度自动化主备系统间模型正确性校验的方法

引用

作者：赵裕啸梅峰周升李贤慧施永益陈建戴波孔晓昀金文德王志强季胜鹏唐胜田辉严钊王飞军陈军 100031 北京市西城区西长安街86号

标准号: CN104299065B

关键词：主备系统测点校验调度自动化精益电网调度自动化调度自动化系统调度支持系统调度可靠性保障模型正确性实时数据库检索数据解析模型绝对偏差模型关系模型解析偏差计算数据校验校验规则映射关系智能电网数据处理补齐集合分类

来源：评论

学校读者我要写书评

暂无评论

区域轨道交通旅客出行路径选择研究

引用

中国储运 2025年第1期 77-78页

作者：范凯彰兰州交通大学交通运输学院

为满足不同类型旅客出行的需求,我以旅客出行路径为研究对象,构建广义出行成本,通过分析调查问卷结果,找出主要影响因素,并按主要因素将人群其分为两类,量化不同人群影响因素权重系数,用A-star算法对模型求解,通过实例验证模型正确性。... 详细信息

为满足不同类型旅客出行的需求,我以旅客出行路径为研究对象,构建广义出行成本,通过分析调查问卷结果,找出主要影响因素,并按主要因素将人群其分为两类,量化不同人群影响因素权重系数,用A-star算法对模型求解,通过实例验证模型正确性。结果表明利用该算法求解模型可以合理地规划不同类型旅客的出行路径,符合各类旅客出行需求,同时显示出收入较高的人群更关注时间成本。随着城市交通网的不断扩张,出行者出行范围不断扩大,规划合理出行路径。对降低旅客出行成本有重要意义。

关键词：出行路径旅客出行模型正确性城市交通网调查问卷结果影响因素权重模型求解出行范围

来源：评论

学校读者我要写书评

暂无评论

无环配置问题研究

引用

吉林大学学报（理学版） 2010年第3期48卷 444-448页

作者：王红梅李宏博李占山长春工业大学计算机科学与工程学院长春130012 吉林大学计算机科学与技术学院长春130012

基于约束的配置问题提出一种无回溯搜索算法,通过弧相容技术将所有不相容的值删除,指导用户进行产品配置,并对其正确性进行了证明.探讨了将目前两种主流计算冲突解释方法应用到无环配置问题的可行性.

关键词：约束满足问题配置问题模型正确性弧相容解释

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：