QQ客服 官方微博 反馈留言

浏览/检索结果: 共5条，第1-5条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择发表日期升序发表日期降序作者升序作者降序提交时间升序提交时间降序题名升序题名降序 高阶类型化软件体系结构建模和验证及案例 期刊论文 软件学报, 2019, 卷号: 30, 页码: 1916-1938 作者:  乌尼日其其格;  李小平;  马世龙;  吕江花;  张思卿 收藏  |  浏览/下载：7/0  |  提交时间：2019/12/30 类型规则  类型检查  软件体系结构  软件体系结构建模  软件体系结构验证   基于类型理论的领域数据建模和验证及案例 期刊论文 软件学报, 2018, 卷号: 29, 页码: 1647-1669 作者:  乌尼日其其格;  李小平;  马世龙;  吕江花 收藏  |  浏览/下载：2/0  |  提交时间：2019/12/30 类型理论  类型检查  类型规则  领域数据建模  数据规范   面向航天器系统级测试的虚拟测试方法及应用 期刊论文 航空学报, 2017, 卷号: 38, 页码: 248-265 作者:  乌尼日其其格;  李小平;  杨帆;  马世龙;  王华茂 收藏  |  浏览/下载：4/0  |  提交时间：2019/12/30 虚拟测试方法  状态转移图  模型检测  窗口树模型  测试用例生成  虚拟测试平台   职业教育与普通高中教育收入回报之差异 期刊论文 社会, 2016, 卷号: 36, 页码: 167-190 作者:  乌尼日其其格[1];  陈伟[2] 收藏  |  浏览/下载：1/0  |  提交时间：2019/04/26 职业教育 高中教育 教育回报 CFPS 干预效应模型 secondary vocational education regular senior secondary school returns to education CFPS treatment effectmodel   大数据与深度学习综述 期刊论文 智能系统学报, 2016, 卷号: 11, 页码: 728-742 作者:  马世龙;  乌尼日其其格;  李小平 收藏  |  浏览/下载：2/0  |  提交时间：2019/12/30 大数据  机器学习  深层结构  深度学习  神经网络  人工智能  学习算法  派生树