中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-10 of 39)

Filters    
Items/Page:    Sort:
带时间和资源约束的实例化过程模型验证方法 [期刊论文]
计算机系统应用, 2014-01-01, 期号: 10, 页码: 172-177
李伟亨; 谢淼; 翟健; 杨秋松

 
关于流体模拟细节增强技术的研究 [期刊论文]
计算机与数字工程, 2014-01-01, 卷号: 42, 期号: 4, 页码: 698-701
崔楠; 柳有权; 陈凯

 
基于改进K-means的多门限能量检测法 [期刊论文]
计算机仿真, 2014-01-01, 卷号: 31, 期号: 4, 页码: 207-211
徐立; 廖名学; 郑昌文

 
基于背景估计和边缘检测的文档图像二值化 [期刊论文]
计算机应用与软件, 2014-01-01, 卷号: 31, 期号: 8, 页码: 196-200
许海洋; 马龙龙; 吴健

 
空间飞行器轨道仿真验证反演方法研究 [期刊论文]
系统仿真技术, 2013-01-01, 卷号: 9, 期号: 3, 页码: 199-205
乔梁; 柳庆武

 
流体动画中混合表达的研究 [期刊论文]
计算机与数字工程, 2013-01-01, 卷号: 41, 期号: 11, 页码: 1807-1810
柳有权; 姚迪; 吴恩华

 
基于PVS的数据库安全策略形式化分析方法 [期刊论文]
中国科学技术大学学报, 2013-01-01, 卷号: 43, 期号: 7, 页码: 591-598
李昊; 张敏; 王榕

 
古代筮法产生的随机数研究 [期刊论文]
数学的实践与认识, 2013-01-01, 卷号: 43, 期号: 17, 页码: 205-218
王玟; 黎琳; 董婵; 李有文; 范修斌

 
基于PVS的数据库安全策略形式化分析方法 [会议论文]
首届全国信息安全等级保护技术大会, 桂林, 2012
李昊; 张敏; 王榕

 
research on automated sorting algorithms generation based on par [期刊论文]
Ruan Jian Xue Bao/Journal of Software, 2012-01-01, 卷号: 23, 期号: 9, 页码: 2248-2260
Shi Hai-He; Xue Jin-Yun

 

1 2 3 4 next

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace