数字仿真工具中的约束随机值自动生成技术研究与实现

数字仿真工具中的约束随机值自动生成技术研究与实现

出版社：中国科学院大学集成电路学院

出版年：2023

作者：彭国烊

资源类型：图书

细分类型：学位论文

2浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

演化计算中的数值约束处理技术研究

作者：申爱丽
出版年：2016

惯性约束聚变装置中的靶定位技术研究

作者：林炜恒
出版社：中国科学院上海光学精密机械研究所
出版年：2023

带时间约束的LTL公式的模型检测技术及工具实现

作者：部德振
出版社：中国科学院
出版年：2010

支持自动组合的流程建模工具的关键技术研究与实现

作者：马环宇
出版年：2012

带时间约束的LTL性质的模型检测技术及工具实现

作者：部德振
出版年：2010

个性化文本生成技术研究及其在自动网评系统中的应用

作者：张晨阳
出版社：中国科学院计算机网络信息中心
出版年：2021