CORC

在结果中检索

CORC

浏览/检索结果: 共73条，第1-10条 帮助

已选(0)清除 条数/页：   排序方式：
物联网系统时间自动机建模的研究与应用 期刊论文
计算机应用与软件, 2021, 卷号: 38, 期号: 6, 页码: 84-93
作者:  陈光1,2,3,4;  蒋同海1,5;  王蒙1,3,4;  唐新余1,3,4;  季文飞1,2,3,4
收藏  |  浏览/下载：24/0  |  提交时间：2021/06/24
自定义SWRL知识图谱推理补全插件的实现 期刊论文
计算机工程与应用, 2021, 卷号: 57, 期号: 1, 页码: 261-270
作者:  陈光1,2,3,4;  蒋同海1,3;  王蒙1,4;  唐新余1,4;  季文飞1,2,4
收藏  |  浏览/下载：23/0  |  提交时间：2021/01/28
基于Petri网的数字系统建模和VHDL实现 期刊论文
计算机应用研究, 2017, 卷号: 34, 期号: 2, 页码: 458-462
作者:  万军[1];  赵不贿[2];  秦怀宇[3]
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/24
面向停车诱导的室内地图模型构建与应用 学位论文
2017
作者:  李灿
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/05
Lerisk-i~*框架自动建模与编辑工具介绍 期刊论文
2016, 2016
李天颍; 刘璘; 寇晓溪; 赵德旺; LI Tian-ying; LIU Lin; KOU Xiao-xi; ZHAO De-wang
收藏  |  浏览/下载：4/0
信息—物理融合系统中建模方法综述 期刊论文
通信学报, 2016, 卷号: 第5期, 页码: 165-175
作者:  李仁发，杨帆，谢国琪，黄晶，段梦琴
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/31
智能合约的形式化验证方法 期刊论文
信息安全研究, 2016, 卷号: 2, 页码: 1080-1089
作者:  胡凯;  白晓敏;  高灵超;  董爱强
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/30
基于体系结构的网构软件建模研究 学位论文
硕士, 北京: 中国科学院研究生院, 2015
王健
收藏  |  浏览/下载：11/0  |  提交时间：2015/06/04
安徽审计学院学生素质评价系统设计与实现 学位论文
: 大连理工大学, 2015
作者:  邓群
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/09
鲁美资产管理系统的设计与实现 学位论文
: 大连理工大学, 2015
作者:  陈卓
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/09

©版权所有 ©2017 CSpace - Powered by CSpace