首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   119篇
  国内免费   1篇
  完全免费   130篇
  自动化技术   250篇
  2020年   3篇
  2019年   2篇
  2018年   12篇
  2017年   12篇
  2016年   21篇
  2015年   22篇
  2014年   23篇
  2013年   28篇
  2012年   24篇
  2011年   29篇
  2010年   14篇
  2009年   23篇
  2008年   8篇
  2007年   25篇
  2006年   4篇
排序方式: 共有250条查询结果,搜索用时 62 毫秒
1.
组合测试:原理与方法   总被引:11,自引:0,他引:11       下载免费PDF全文
严俊  张健 《软件学报》2009,20(6):1393-1405
组合测试能够在保证错误检出率的前提下采用较少的测试用例测试系统.但是,组合测试用例集的构造问题的复杂度是NP完全的.组合测试方法的有效性和复杂性吸引了组合数学领域和软件工程领域的学者们对其进行深入的研究.总结了近年来在组合测试方面的研究进展,主要内容包括:组合测试准则的研究、组合测试生成问题与其他NP完全问题的联系、组合测试用例的数学构造方法、采用计算机搜索的组合测试生成方法以及基于组合测试的错误定位技术.  相似文献
2.
Models of parallel computation :a survey and classification   总被引:6,自引:1,他引:5  
In this paper, the state-of-the-art parallel computational model research is reviewed. We will introduce various models that were developed during the past decades. According to their targeting architecture features, especially memory organization, we classify these parallel computational models into three generations. These models and their characteristics are discussed based on three generations classification. We believe that with the ever increasing speed gap between the CPU and memory systems, incorporating non-uniform memory hierarchy into computational models will become unavoidable. With the emergence of multi-core CPUs, the parallelism hierarchy of current computing platforms becomes more and more complicated. Describing this complicated parallelism hierarchy in future computational models becomes more and more important. A semi-automatic toolkit that can extract model parameters and their values on real computers can reduce the model analysis complexity, thus allowing more complicated models with more parameters to be adopted. Hierarchical memory and hierarchical parallelism will be two very important features that should be considered in future model design and research.  相似文献
3.
基于GPU的近似软影实时绘制   总被引:5,自引:3,他引:2  
通过对阴影图算法进行扩展,提出一种完全基于GPU的近似软影实时绘制算法,它是一种3遍算法:第一遍从光源中心计算场景的深度图;第二遍采用几何着色器提取物体的轮廓边,同时在轮廓边上生成新的几何图元,利用硬件自动插值功能向外绘制线性近似半影图,并根据第一遍得到的深度图在像素着色器中对背面轮廓形成的半影区进行剔除;对于重叠的半影区设定片元的伪深度值,利用硬件进行自动融合.第三遍分别查询深度图和半影图,确定场景的本影区以及半影区中像素的亮度,从而得到面光源照射下场景的近似软影效果.  相似文献
4.
基于MDA的TRISO-Model模型管理方法及应用   总被引:4,自引:0,他引:4       下载免费PDF全文
袁峰  李明树 《软件学报》2007,18(7):1612-1625
TRISO-Model(tridimensional integrated software development model)是为处理软件开发的复杂性和动态性而提出的三维集成软件开发方法学,其中,多维模型之间的语义一致性维护以及对模型应用中公共操作部分的重用,提出了基于一致语义进行模型管理的需求.给出了基于MDA(model driven architecture)进行模型管理的方法MDA-MMMethod(MDA based model management method),应用MDA的4层模型管理结构,基于MDA核心标准MOF(meta object facility)所提供的公共语义基础管理模型和元模型,MDA-MMMethod支持各种MDA模型操作标准实现在TRSIO-model应用中的重用.开发了相应的支持系统MDA-MMSystem(MDA based model management system),应用于SoftPM的项目实践中.与传统方法相比,模型应用的开发效率得到了显著提高,同时降低了开发成本.最后,给出了模型融合的应用实例介绍.  相似文献
5.
基于物理的植物叶子形态变化过程仿真造型   总被引:4,自引:0,他引:4  
文中提供了一种对植物叶子造型的新方法,可以非常真实地展现叶子在干枯、老化过程中几何形态的变化.基于植物学和物理原理,文中引入了双层结构模型表达叶子的力学结构,很好地模拟了不同种类植物叶子形状的多样性.文中首先分析了叶子形状变化的原因,即在叶子枯萎过程中,叶肉和叶脉由于各自不同的组织结构,导致了收缩比例不同,从而在物理模拟中,通过建立关于叶子基本结构的双层质点-弹簧模型,并对上下两层的不同参数的合理设置,很好地表现了叶肉和叶脉的不同力学特性.双层模型的相互作用,决定了叶子最终变形的方式和效果,由此可以得到非常接近真实树叶的各种叶子形态.  相似文献
6.
方差阴影图中的光渗现象消除算法   总被引:3,自引:2,他引:1  
方差阴影图算法使用概率的方法计算像素被遮挡的上限概率,通过对深度图滤波的方法来有效地减少阴影图算法中的走样问题,但在深度比较复杂的场景中方差阴影图算法会出现光渗现象,即在应该是阴影的区域却有了亮度.文中使用最小-最大阴影图来辅助消除方差阴影图中的光渗现象,在对深度纹理进行滤波的同时生成一个最小-最大阴影图;在实时绘制场景时,利用最小-最大阴影图来辅助判断当前片元是否完全处在阴影区域内部,由此生成更真实、更准确的阴影.该算法可以很容易地添加到已有的方差阴影图算法的片元处理程序中,并且不会对原有阴影的柔和边界以及绘制的帧率产生影响.  相似文献
7.
秋季植物叶子表观的模拟   总被引:3,自引:0,他引:3       下载免费PDF全文
提供了一种采样并生成植物叶子表观的方法,可以非常真实地展现叶子秋季在干枯、老化过程中多种纹理、表观属性的变化.在生成叶子纹理的过程中,有别于以往基于单一材质样本的表观合成技术,采集了大量不同叶子样本表面的双向反射分布函数BRDF 和双向透射分布函数BTDF,最终从这些数据中得到叶子衰老过程在老化空间中的表达式和完全分布图.结合植物学知识和所得到的老化空间中的表达式和分布图,可以很好地指导合成秋季不同衰老程度叶子的表观纹理,并能够外插合成采样范围之外的叶子纹理样式.在生成多种不同种类和衰老程度的植物叶子的过程中验证了这种方法的有效性,得到了大量非常接近真实树叶的各种叶子  相似文献
8.
一种基于协商的软件过程协同方法   总被引:2,自引:0,他引:2  
大型软件系统的开发大多要求多人协同完成.软件过程协同的一个重要特点是协同的参与者都试图通过实施协同任务来取得最大化的获利,因而协同的决策和实施不是强制性的,而是由软件开发人员或软件组织经过协商来进行的.传统的软件过程建模方法中对软件过程协同的描述是刚性的,即在满足进入条件或者被显式调用时,协同就一定会被触发,并按照一个规定好的规则或方针来实施,这样的方法难以适应软件过程协同中所表现的协商特性.提出了一个基于协商的软件过程协同方法,将软件过程描述为一组相对独立的、自治的、理性的、协作的软件过程Agent,过程Agent之间的协同关系由过程Agent通过协商确定,相比传统的方法,具有能够更好地适应软件过程协同的特点.  相似文献
9.
网格图形编辑的样条方法   总被引:2,自引:0,他引:2  
提出基于样条的网格图形编辑方法,首先在网格表面附近构建近似的样条曲面,同时预计算网格顶点在样条上的对应点处局部标架下的坐标表示,并作为不变量在变形中进行保持;然后编辑样条的位置和形状,利用局部标架和细节坐标重建变形后的网格,同时进行网格光滑和网格细分,改善变形效果,以实现复杂模型简单快捷的编辑/变形.方法在保细节的同时允许对网格在多个尺度下编辑.实验结果表明,融合了样条的三角网格方法较传统的样条编辑方法可避免产生过多的控制点,大大地简化了操作.  相似文献
10.
Combining search space partition and abstraction for LTL model checking   总被引:2,自引:0,他引:2  
The state space explosion problem is still the key obstacle for applying model checking to systems of industrial size. Abstraction-based methods have been particularly successful in this regard. This paper presents an approach based on refinement of search space partition and abstraction which combines these two techniques for reducing the complexity of model checking. The refinement depends on the representation of each portion of search space. Especially, search space can be refined stepwise to get a better reduction. As reported in the case study, the integration of search space partition and abstraction improves the efficiency of verification with respect to the requirement of memory and obtains significant advantage over the use of each of them in isolation.  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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