首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   51篇
  免费   9篇
  国内免费   12篇
综合类   4篇
化学工业   1篇
机械仪表   4篇
建筑科学   1篇
轻工业   1篇
无线电   5篇
一般工业技术   5篇
自动化技术   51篇
  2018年   1篇
  2016年   3篇
  2015年   1篇
  2014年   1篇
  2013年   1篇
  2012年   3篇
  2011年   5篇
  2010年   2篇
  2009年   2篇
  2008年   7篇
  2007年   8篇
  2006年   6篇
  2005年   6篇
  2004年   1篇
  2003年   10篇
  2002年   1篇
  2001年   1篇
  2000年   5篇
  1999年   3篇
  1998年   2篇
  1996年   1篇
  1995年   1篇
  1993年   1篇
排序方式: 共有72条查询结果,搜索用时 15 毫秒
71.
祁永清 《包装工程》2007,28(6):80-81
为了解决密度学体系描述颜色精度低的问题,以及为R、G、B与C、M、Y之间的转化搭建桥梁.利用线性回归的方法,根据实验数据探讨并建立了XYZ与DR DG DB之间转换的数学模型,为密度学体系和色度学体系的进一步研究提供了参考.  相似文献   
72.
基于XYZ/ADL的Web服务组合描述与验证   总被引:1,自引:1,他引:0       下载免费PDF全文
Web服务组合是当前Web服务领域的一个研究热点,目前已有一些相关的描述与验证方法,本文从软件体系结构角度研究Web服务组合描述与验证方法.基于软件体系结构描述语言XYZ/ADL和精化检验/模型检测方法,提出了一种Web服务组合的描述与验证方法.XYZ/ADL是时序逻辑语言XYZ/E的扩展,考虑到多数Web服务具有实时特征,采用XYZ/E的实时扩展语言XYZ/RE表示系统应满足的时间约束.针对Web服务组合系统,根据XYZ/RE到时间自动机的映射规则将系统描述转换为对应的时间自动机,分别采用精化检验和模型检测两种技术验证Web服务组合的正确性;最后通过两个实例分析分别阐述了上述方法的可行性和有效性.  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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