中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [10]
长春光学精密机械与物... [4]
武汉岩土力学研究所 [3]
近代物理研究所 [3]
计算技术研究所 [2]
高能物理研究所 [2]
更多
采集方式
OAI收割 [29]
内容类型
期刊论文 [20]
学位论文 [8]
会议论文 [1]
发表日期
2017 [1]
2015 [1]
2010 [1]
2008 [2]
2006 [1]
2005 [4]
更多
学科主题
核技术及应用 [2]
筛选
浏览/检索结果:
共29条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
基于AOP的面向对象程序的单元测试的应用
期刊论文
OAI收割
电子技术与软件工程, 2017, 页码: 51
作者:
张峻豪
;
陈媛
;
王俊杰
;
刘逻
  |  
收藏
  |  
浏览/下载:49/0
  |  
提交时间:2018/04/09
基于aop角度
对象程序
单元测试
分析和阐述
地下洞室群面向对象有限元方法的探讨
期刊论文
OAI收割
长江科学院院报, 2015, 期号: 07, 页码: 82-88
作者:
周永强
;
盛谦
;
付晓东
;
刘晓敏
  |  
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2018/06/25
地下洞室群
面向对象
有限元程序
人工边界
阻尼
GTD应用软件的编程方法研究
会议论文
OAI收割
中国电子学会微波分会微波电磁兼容第四届全国学术会议, 2000
吕晓德
;
李伟明
;
高本庆
;
刘瑞祥
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2010/09/04
程序设计
天线
方向图
几何绕射理论
面向对象
ITK及其在医学图像分割中的应用
期刊论文
OAI收割
微计算机信息, 2008, 卷号: 2008, 期号: 18, 页码: 304-306
张芳
;
李强
;
王阳萍
  |  
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2010/10/29
面向对象程序设计
Itk
图像分割
测试顺序选择策略研究
期刊论文
OAI收割
计算机工程与设计, 2008, 卷号: 29, 期号: 4, 页码: 781-783
李都
收藏
  |  
浏览/下载:60/3
  |  
提交时间:2011/06/10
测试顺序
动态绑定
测试桩
面向对象程序
测试成本
测试顺序
顺序选择
面向对象
动态绑定
测试成本
选择算法
选择策略
相关工作
程序语言
测试桩
特征
目标
考察
使用SPEC#开发高可靠性的算法程序
期刊论文
OAI收割
计算机工程与应用, 2006, 卷号: 42, 期号: 12, 页码: 114-117,130
郑宇军
;
马燕
;
薛锦云
  |  
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2011/07/13
SPEC#
形式化方法
算法程序
契约
开发
高可靠性
软件自动化
对象不变式
契约机制
可维护性
基本特性
后置条件
程序规约
形式化
可读性
语言
前置
描述
多线程同步机制在应用程序与驱动程序通信中的应用
期刊论文
OAI收割
微计算机信息, 2005, 期号: 18, 页码: 129-131
郭静寰
;
孟祥迪
;
熊木地
收藏
  |  
浏览/下载:53/0
  |  
提交时间:2013/03/11
多线程
同步对象
WindowsNT
设备驱动程序
GPS/GIS车辆监控管理系统中的关键技术
期刊论文
OAI收割
黄冈师范学院学报, 2005, 期号: 3, 页码: 58-61
郭峰林
;
朱才连
;
王玉萍
收藏
  |  
浏览/下载:43/0
  |  
提交时间:2012/02/13
地理信息系统(GIS)
通信链路
GPS
定位
面向对象程序设计
数据模型
面向装备联勤保障的约束程序设计框架
期刊论文
OAI收割
南京大学学报(自然科学版), 2005, 卷号: 41, 期号: z1, 页码: 30-34
郑宇军
;
王连来
;
薛锦云
  |  
收藏
  |  
浏览/下载:20/0
  |  
提交时间:2011/07/28
联勤
约束程序设计
规约
问题求解
装备联勤保障
约束程序设计框架
问题求解剖面
保障资源
保障任务
保障对象
问题规约剖面
装备保障
正交组合
领域驱动
抽象描述
保障规划
启发式
选择
算法
目标
规则
网络中主机和服务的状态检测
期刊论文
OAI收割
计算机科学, 2005, 卷号: 32, 期号: 5, 页码: 79-81,139
李琦
;
蒙杨
;
卿斯汉
  |  
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2011/07/28
对象
插件程序
状态检测
检测网络
主机
服务检测
状态检测
新方法
通用性
灵活性
计算机
效率