- 年份
- 2025(12)
- 2024(19)
- 2023(12)
- 2022(14)
- 2021(14)
- 2020(20)
- 2019(9)
- 2018(15)
- 2017(16)
- 2016(22)
- 更多...
- 核心收录
- 中国科技论文与引文数据库(CSTPCD)(214)
- 北京大学中文核心期刊目录(北大核心)(182)
- 中国科学引文数据库(CSCD)(148)
- 中国人文社会科学引文数据库(CHSSCD)(5)
- 中文社会科学引文索引(CSSCI)(2)
- 更多...
- 刊名
- 现代电子技术(10)
- 计算机工程(7)
- 农业机械学报(6)
- 电力系统自动化(6)
- 岩土工程学报(5)
- 火力与指挥控制(5)
- 中南大学学报(自然科学版)(4)
- 人民长江(4)
- 农业工程学报(4)
- 净水技术(4)
- 更多...
- 作者单位
- 清华大学(8)
- 中国电力科学研究院(7)
- 上海交通大学(6)
- 南京水利科学研究院(6)
- 东南大学(5)
- 中国农业大学(5)
- 华北电力大学(5)
- 南京航空航天大学(5)
- 中国水利水电科学研究院(4)
- 华南理工大学(4)
- 更多...
- 语种
- 汉语(304)
- 关键词
- 模型验证(304)
- 建模(10)
- 数值模拟(7)
- 时间自动机(7)
- Petri网(6)
- 数学模型(6)
- 参数率定(5)
- 有限元(5)
- DoDAF(4)
- UML(4)
- 更多...
- 作者
- 吴晓燕(5)
- 卞士海(4)
- 李国英(4)
- 冯俊小(3)
- 尤晋元(3)
- 彭杨(3)
- 徐钱(3)
- 陈永兴(3)
- 于钊(2)
- 余浩东(2)
- 更多...
相关度
- 相关度
- 发表时间
每页显示10条
- 每页显示10条
- 每页显示20条
- 每页显示30条
已找到 304 条结果
- 基于DoDAF的舰载武器系统体系结构建模CSTPCD
- 应用限制编程的信息模型内在检查方法摘要:提出了一种基于限制编程(Constraint programming)的信息模型内在一致性检查方法,重点描述了EXPRESS信息模型的一致性及其检查.EXPRESS语言,作为标准制造数据交换的一个重要部分,广泛地应用于制造与信息业.文中提到的一致性检查包括三个步骤:EXPRESS模型形式化,限制满足性问题(CSP)从形式化模型中的抽取和CSP的可满足性测试.本文同时揭示了限制编程的一个新的应用领域:模型验证.
- 装备保障建模与仿真中的VV&ACSTPCD
- 基于本体的IEC 61968标准信息模型一致性校验北大核心CSCDCSTPCD摘要:针对目前电力信息交互总线模式在语义规范上的缺陷以及在互操作过程中出现的模型不匹配问题,提出在IEC 61968标准消息总线上增加语义模型验证环节,即进行信息模型的IEC 61968标准一致性校验。阐述了基于本体的信息模型验证机制,针对不同层面的应用需求,提出了基于公共信息模型(CIM)和基于子集的2种本体验证模式,并阐述了这2种模式的校验算法和流程。最后根据上述方法开发了一套模型验证工具,通过实际系统的应用测试,验证了其有效性与实用性。
- 空间直观景观模型的验证方法北大核心CSCDCSTPCD
- 基于PI-演算的网上并联审批业务流程建模及验证北大核心CSCDCSTPCD
- 基于同步网的模型验证算法设计与工具实现CSCDCSSCI
- 基于高级Petri网的住院医师培训工作流建模与分析CSTPCD
- 基于模型的验证及其方法北大核心CSCD
- Web应用有效性的模型验证方法北大核心CSCDCSTPCD摘要:Web越来越广泛地应用在电子商务、电子政务、ERP/CRM等应用中.而这些应用的安全性比普通应用要高很多,因此,Web应用的有效性比其他应用更重要.文章提出了Web应用有效性的形式化验证方法,利用Promela来对系统建模,用SPIN来进行有效性验证,从而确保应用系统的有效性.