咨询与建议

限定检索结果

文献类型

  • 41 篇 专利
  • 4 篇 期刊文献
  • 2 篇 学位论文

馆藏范围

  • 47 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 5 篇 工学
    • 3 篇 计算机科学与技术...
    • 2 篇 软件工程
    • 1 篇 电子科学与技术(可...
    • 1 篇 控制科学与工程
    • 1 篇 交通运输工程
  • 3 篇 管理学
    • 2 篇 管理科学与工程(可...
    • 1 篇 工商管理
  • 1 篇 经济学
    • 1 篇 应用经济学

主题

  • 6 篇 模型正确性
  • 1 篇 多核芯片
  • 1 篇 工作流
  • 1 篇 化简技术
  • 1 篇 数字集成电路
  • 1 篇 出行范围
  • 1 篇 erp构件
  • 1 篇 旅客出行
  • 1 篇 城市交通网
  • 1 篇 活动图
  • 1 篇 模型诊断
  • 1 篇 解释
  • 1 篇 模型分解
  • 1 篇 企业建模
  • 1 篇 模型求解
  • 1 篇 erp实施
  • 1 篇 弧相容
  • 1 篇 追踪扫描
  • 1 篇 硅后调试
  • 1 篇 petri网

机构

  • 4 篇 中国船舶工业系统...
  • 3 篇 上海交通大学
  • 3 篇 西安电子科技大学
  • 2 篇 国网浙江省电力公...
  • 2 篇 上海涌能能源科技...
  • 2 篇 华北电力大学
  • 2 篇 国家电网公司
  • 2 篇 国网电力科学研究...
  • 2 篇 国网浙江省电力公...
  • 2 篇 国网上海市电力公...
  • 2 篇 西南交通大学
  • 2 篇 深圳慕智科技有限...
  • 2 篇 国网浙江省电力公...
  • 2 篇 江苏瑞中数据股份...
  • 2 篇 吉林大学
  • 2 篇 华东电力试验研究...
  • 2 篇 中国航空工业集团...
  • 2 篇 华东电网有限公司
  • 2 篇 合肥工业大学
  • 1 篇 兰州交通大学

作者

  • 4 篇 关文渊
  • 4 篇 何晓
  • 4 篇 刘学良
  • 4 篇 邱伯华
  • 4 篇 魏慕恒
  • 4 篇 李晗
  • 2 篇 周云
  • 2 篇 岑宗浩
  • 2 篇 刘志刚
  • 2 篇 王阳
  • 2 篇 吴晓成
  • 2 篇 时珊珊
  • 2 篇 季胜鹏
  • 2 篇 陈军
  • 2 篇 孟文辉
  • 2 篇 严钊
  • 2 篇 王俊
  • 2 篇 李贤慧
  • 2 篇 周升
  • 2 篇 李明

语言

  • 47 篇 中文
检索条件"主题词=模型正确性"
47 条 记 录,以下是1-10 订阅
排序:
UML活动图模型正确性诊断方法
收藏 引用
计算机工程 2011年 第14期37卷 47-49页
作者: 周春燕 李绪蓉 周良 南京航空航天大学信息科学与技术学院 南京210016
UML活动图的正确性决定了业务流程的正确执行,为此,提出一种UML活动图模型正确性诊断方法。将模型分解后,对子模型进行模型验证,并对验证错误的子模型进行模型诊断,得到诊断结果。在质量管理过程实例中的应用结果表明,该方法能减小模... 详细信息
来源: 评论
基于Petri网化简技术的工作流模型正确性研究
收藏 引用
计算机工程 2007年 第9期33卷 60-61,94页
作者: 张亮 姚淑珍 北京航空航天大学计算机学院 北京100083
为了更有效地对工作流模型进行分析验证,提出了一种基于Petri网化简技术的工作流模型正确性验证方法。在对各种工作流模型验证技术深入研究的基础上,通过对非自由选择网结构活和有界的分析,给出了针对Petri网中非自由选择部分的分... 详细信息
来源: 评论
一种基于智能交通模型正确性的蜕变测试方法
一种基于智能交通模型正确性的蜕变测试方法
收藏 引用
作者: 陈振宇 常家鑫 夏志龙 518057 广东省深圳市南山区粤海街道高新区社区高新南九道10号深圳湾科技生态园10栋903A
本发明采用蜕变测试技术对智能交通模型进行正确性测试,设计应用于智能交通模型的蜕变关系并从多个方面判定程序功能的正确性,使用原始用例和基于蜕变关系生成的衍生用例对智能交通模型进行测试,检查原始和衍生用例的输出是否满足相... 详细信息
来源: 评论
基于吻合度的模型正确性的评价方法
基于吻合度的模型正确性的评价方法
收藏 引用
作者: 陈光达 杨冬娟 周金柱 孟娟 李维超 孟文辉 李勋 李明 712046 陕西省西安市太白南路2号
本发明公开了一种基于吻合度的模型正确性的评价方法,其特征在于,包括以下步骤:一、建立模型的递阶层次结构,二、计算递阶层次结构最底层子子节点各参数的单项吻合度,三、计算子子节点各参数相对于子节点的权重,四、计算各子节点... 详细信息
来源: 评论
基于吻合度的模型正确性的评价方法
基于吻合度的模型正确性的评价方法
收藏 引用
作者: 陈光达 杨冬娟 周金柱 孟娟 李维超 孟文辉 李勋 李明 712046 陕西省西安市太白南路2号
本发明公开了一种基于吻合度的模型正确性的评价方法,其特征在于,包括以下步骤:一、建立模型的递阶层次结构,二、计算递阶层次结构最底层子子节点各参数的单项吻合度,三、计算子子节点各参数相对于子节点的权重,四、计算各子节点... 详细信息
来源: 评论
自动化主备系统间模型正确性校验
自动化主备系统间模型正确性校验
收藏 引用
作者: 不公告发明人 433199 湖北省潜江市泰丰办事处泰丰路9号(绵原小区36号)
本发明公开了自动化主备系统间模型正确性校验的方法,属于电网调度自动化技术领域。本发明先进行模型解析,根据模型关系及模型与测点的映射关系解析模型中包含的实时数据库中的测点集合,其次进行数据处理,根据校验规则及校验时间范... 详细信息
来源: 评论
一种调度自动化主备系统间模型正确性校验的方法
一种调度自动化主备系统间模型正确性校验的方法
收藏 引用
作者: 赵裕啸 梅峰 周升 李贤慧 施永益 陈建 戴波 孔晓昀 金文德 王志强 季胜鹏 唐胜 田辉 严钊 王飞军 陈军 100031 北京市西城区西长安街86号
本发明公开了一种调度自动化主备系统间模型正确性校验的方法,属于电网调度自动化技术领域。本发明先进行模型解析,根据模型关系及模型与测点的映射关系解析模型中包含的实时数据库中的测点集合,其次进行数据处理,根据校验规则及校... 详细信息
来源: 评论
一种调度自动化主备系统间模型正确性校验的方法
一种调度自动化主备系统间模型正确性校验的方法
收藏 引用
作者: 赵裕啸 梅峰 周升 李贤慧 施永益 陈建 戴波 孔晓昀 金文德 王志强 季胜鹏 唐胜 田辉 严钊 王飞军 陈军 100031 北京市西城区西长安街86号
本发明公开了一种调度自动化主备系统间模型正确性校验的方法,属于电网调度自动化技术领域。本发明先进行模型解析,根据模型关系及模型与测点的映射关系解析模型中包含的实时数据库中的测点集合,其次进行数据处理,根据校验规则及校... 详细信息
来源: 评论
区域轨道交通旅客出行路径选择研究
收藏 引用
中国储运 2025年 第1期 77-78页
作者: 范凯彰 兰州交通大学交通运输学院
为满足不同类型旅客出行的需求,我以旅客出行路径为研究对象,构建广义出行成本,通过分析调查问卷结果,找出主要影响因素,并按主要因素将人群其分为两类,量化不同人群影响因素权重系数,用A-star算法对模型求解,通过实例验证模型正确性。... 详细信息
来源: 评论
无环配置问题研究
收藏 引用
吉林大学学报(理学版) 2010年 第3期48卷 444-448页
作者: 王红梅 李宏博 李占山 长春工业大学计算机科学与工程学院 长春130012 吉林大学计算机科学与技术学院 长春130012
基于约束的配置问题提出一种无回溯搜索算法,通过弧相容技术将所有不相容的值删除,指导用户进行产品配置,并对其正确性进行了证明.探讨了将目前两种主流计算冲突解释方法应用到无环配置问题的可行.
来源: 评论