全文获取类型
收费全文 | 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 毫秒
51.
CSCW时序逻辑模型交互行为的正确性研究 总被引:1,自引:0,他引:1
正确性是软件系统最重要的质量因素。CSCW的时序逻辑模型全面地描述了CSCW系统的行为,较好地实现了CSCW的系统要求。文章在XYZ系统的框架内,从CSCW时序逻辑模型交互行为中每一个进程的正确性和交互行为并发性的正确性两个方面,对CSCW的时序逻辑模型交互行为描述的正确性进行了论证,这为CSCW时序逻辑模型的实现奠定了坚实的基础。 相似文献
52.
软件体系结构求精方法研究 总被引:19,自引:2,他引:19
1.引言软件设计在相当大的程度上可与建筑设计相类比,在古今中外建筑设计中,有诸多如欧洲的“歌特式”、“巴洛克式”、“维多利亚式”,中国的“园林式”、“宫廷式”等不同结构风格的建筑。同样在软件设计上,经过多年的理论探索和工程实践,也逐渐形成了一系列不同结构风格的软件体系结构。如UNIX操作系统中的管道一过滤器(pipe-filters)风格、分布式系统中典型的客户机/服务器(client/server)风格以及通信系统中的分层(layer)系统等等。 相似文献
53.
基于时序逻辑软件构架形式化方法研究 总被引:2,自引:2,他引:2
随着软件系统的规模和复杂性日益增加,人们已经超越传统的“算法+数据结构=程序”的软件设计模式,软件系统的整体结构,即软件构架(Software Architecture)成为软件设计的重心和难点。运用形式化方法描述大规模、复杂软件系统的构架,能够阐明软件系统的真实内涵,有助于系统设计人员和相关人员更准确地了解系统,达成共识,避免误解。但更重要的是,形式化描述软件构架奠定了利用数学方法对软件构 相似文献
54.
XYZ系统是一个以增强软件可靠性和提高软件生产率为目的的程序开发支撑系统.它由时序逻 辑语言(temporal logic language,简称TLL)XYZ/E和以该语言为基础的一组软件工程工具组 成.为了研究XYZ系统在多媒体领域中的应用问题,介绍了一种依据多媒体对象时序描述 自动生成用XYZ/RE表示的播放同步器的方法,XYZ/RE是时序逻辑语言族XYZ/E中表示实时系统 的子语言.与相关工作比较,该方法不仅可以处理简单的时序关系,而且可以处理嵌套的时序 关系,所产生的同步器可以复用于不同的节目. 相似文献
55.
UML缺乏精确的语义,难以对其所表示的系统进行形式化分析和一致性检验.为了使UML能够更精确地对系统模型进行描述,学者们提出了一些形式化的方法.论文对比分析了用Petri网、时序逻辑XYE/E和动态描述逻辑形式化UML状态图的方法,指出了它们各自的优缺点以及应用领域. 相似文献
56.
基于三维查找表的RGB到XYZ颜色空间转换的研究 总被引:8,自引:7,他引:1
在分析三维查找表算法基本原理的基础上,采用Matlab编程建立了RGB到XYZ颜色空间的转换模型,并实验比较了4种插值算法的模型精度。研究结果表明:转换模型的转换精度较高,效果理想,且随着RGB颜色空间被划分的越细小,转换精度会越高。 相似文献
57.
58.
59.
一种反应式SPM及其动态语义XYZ表示 总被引:4,自引:0,他引:4
过程支撑环境PSE(process supporting environment)是一种支持软件过程元过程的计算机环境,PSE通过运作一个事先定义好的软件过程模型SPM(software process model)来控制和指导实际软件开发过程.SPM使用的控制方式分为主动式(proactive)和反应式(reactive)两种.由于主动式不能很好地支持软件过程的演化,反应式渐渐受到人们的重视.提出了一种反应式SPM以及建立这种模型所使用的图形化的软件过程建模语言,同时,对于所建立的SPM,提出用时序逻辑语言XYZ/E表示它的行为视图动态语义的方法.这为模型提供了明确的动态语义,为其运作和分析提供了形式化基础. 相似文献
60.
随着基于构件的软件开发技术(CBSDT)的不断发展,构件组装中的特征干扰问题逐渐受到大家的重视,针对这一问题的研究也成为一个热点。基于软件构件的特点。提出采用时序逻辑语言XYZ/E形式化构件,并根据构件组装的不同方式对特征干扰问题进行检测。 相似文献