于康

作品数:2被引量:10H指数:1
导出分析报告
供职机构:国防科学技术大学计算机学院更多>>
发文主题:加载机制动态加载操作系统VXWORKS自动加载更多>>
发文领域:自动化与计算机技术自然科学总论更多>>
发文期刊:《计算机工程》《中国电子商情(通信市场)》更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-2
视图:
排序:
基于JAVA-MOP添加逻辑库的方法和策略
《中国电子商情(通信市场)》2014年第1期35-37,共3页周戈 于康 徐姣 
本文结合作者课题内容,对基于JAVA-MOP工具软件添加逻辑库的方法和机制进行了深入的研究,首先,本文详细介绍了JAVA-MOP工具软件,探讨了其采用反射机制调用逻辑库的机理,并对出现的若干问题如多进程的调试等提出了自己的解决方案,最后作...
关键词:逻辑库 反射机制 线性时序逻辑 三值语义 ltl3逻辑库 
基于VxWorks的模块自动加载机制被引量:10
《计算机工程》2010年第18期264-266,共3页于康 宁洪 邓胜兰 张毅 
选择具有广泛应用的VxWorks嵌入式实时操作系统,基于其模块动态加载机制,从中获取并管理模块的加载信息和依赖关系,支持用户进行设置和查询,扩展实现模块动态加载管理系统,以保证动态加载能够在系统实际运行时正常工作。在此基础上,允...
关键词:重启自动加载 动态加载 模块管理系统 VXWORKS 操作系统 
检索报告 对象比较 聚类工具 使用帮助 返回顶部