首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   5篇
  完全免费   1篇
  自动化技术   6篇
  2014年   1篇
  2007年   1篇
  1993年   1篇
  1988年   1篇
  1987年   2篇
排序方式: 共有6条查询结果,搜索用时 31 毫秒
1
1.
研究生教育是我国教育链的最高端,是落实科教兴国的重要环节。本文在分析了研究生教育现状的基础上,提出加强电子阅览室在研究生教育工作中的应用,并结合笔者实际工作经验提出建立电子阅览室的方法及工作要点。  相似文献
2.
[本刊讯]IEEE计算机学会测试技术专业委员会的系列会议——第2届亚洲测试会议——日前已经决定:于1993年11月17~18日在中国北京举行。由中国计算机学会容错专委和中国科学院计算所承办。会议主席是IBM·Fellow肖慕岳博士,首届会议主席是日本大阪大学树下行三教授。1992年10月16日肖慕岳博士来华主持了第一次筹备工作会  相似文献
3.
1987年8月26~29日在新加坡举行了第二届泛太平洋计算机会议(The 2th Pan Pacific Computer Conference,PPCC-2)。PPCC-2会议上宣布第三届泛太平洋计算机会议将于1989年8月15~19日在中国北京举行。PPCC-3会议由中国计算机学会、中国电子学会计算机工程与应用学会主办,会议的协办者有:国际信息处理联合会(IFIP)、新加坡计算机学会、中国国家自然科学基金委员会和中国国际科技会议中心。  相似文献
4.
中国计算机学会从1985年3月经国家批准成立为全国一级学会之后,进行了大量的组织建设工作,同时开展了多种形式的国内外学术交往,技术咨询,科学普及,继续教育,办好学术刊物等活动.目前,中国计算机学会已建立了15个专业委员会,5个专业学组和2个学术成员联系单位,同28个省、市、自治区计算机学会建立了密切的业务联系.全国会员总数,到2月底的统计有2万4千余人.在上述组织建设和学术活动的基础上,经  相似文献
5.
会议消息     
兹订于1987年暑期在哈尔滨工业大学举行“全国青年计算机工作者学术交流会”,已列入中国计算机学会87年一类学术活动。征文专题如下:1.计算机软件,2.体系结构,3.计算机理论,4.人工智能,5.计算机信息处理,6.网络及通信,7.模式识别及图象处理,  相似文献
6.
尹玲  陈小红  刘静 《软件学报》2014,25(2):400-418
信息物理融合系统(cyber-physical system,简称CPS)蕴藏着巨大的潜在应用价值.时间在CPS中起到非常重要的作用,应该在需求早期阶段明确.提出了一个基于逻辑时钟的CPS时间需求一致性分析框架.首先,构建了CPS软件的时间需求概念模型,提供时间需求和功能需求的基本概念,并给出了概念模型的形式化语义;然后,在模型制导下,从CPS的交互环境特性和约束中提取出其软件时间需求规约.基于形式化语义,定义了时间需求规约的一致性特性.为了支持形式化验证,将时间需求规约转换成NuSMV模型,用CTL公式表述要检测的特性,并使用NuSMV工具实施了一致性检测.  相似文献
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号