首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   66篇
  免费   7篇
  国内免费   11篇
电工技术   3篇
综合类   13篇
化学工业   5篇
机械仪表   1篇
矿业工程   1篇
能源动力   1篇
轻工业   2篇
水利工程   5篇
石油天然气   4篇
武器工业   1篇
无线电   10篇
一般工业技术   5篇
冶金工业   1篇
自动化技术   32篇
  2022年   1篇
  2021年   2篇
  2019年   1篇
  2018年   1篇
  2017年   2篇
  2016年   3篇
  2015年   3篇
  2014年   3篇
  2013年   3篇
  2012年   5篇
  2011年   10篇
  2010年   3篇
  2009年   2篇
  2008年   6篇
  2007年   6篇
  2006年   4篇
  2005年   4篇
  2004年   6篇
  2003年   3篇
  2002年   2篇
  2001年   2篇
  2000年   1篇
  1997年   2篇
  1996年   1篇
  1995年   3篇
  1993年   2篇
  1990年   1篇
  1984年   1篇
  1978年   1篇
排序方式: 共有84条查询结果,搜索用时 0 毫秒
1.
Architecture transformations are frequently performed during software design and maintenance.However this activity is not well supported at a sufficiently abstract level.In this paper,the authors characterize architecture transformations using using graph rewriting rules,where architectures are represented in graph notations,Architectures are usually required to satisfy certain constraints during evolution.Therefore a way is presented to construct the sufficient and necessary condition for a transformatio to preserve a constraint.The condition can be verified before the application of the transformation.Validated transformations are guaranteed not to violate corresponding constraints whenever applied.  相似文献   
2.
Z规格说明的前置条件的简化   总被引:6,自引:0,他引:6  
缪淮扣 《软件学报》1997,8(9):709-715
在软件方法学中,形式方法越来越受到人们的重视,并已被应用于软件开发.Z是一种基于数学表示的软件规格说明方法.前置条件的简化是Z规格说明方法中一种标准的检查,本文讨论了Z规格说明中关于操作的前置条件及其计算.提出了简化过程的终止条件,给出了一个用于简化前置条件的算法,该算法可自动产生简化过程的证据.  相似文献   
3.
Hanoi塔非递归算法的形式化推导和正确性验证   总被引:1,自引:0,他引:1  
关于Hanoi塔问题的非递归算法已有大量的研究.运用薛锦云教授自创的PAR方法和循环不变式开发的新策略,形式化推导出逻辑结构清晰的Hanoi塔非递归算法及其循环不变式,并用Dijkstra最弱前置谓词法验证了该算法的正确性.充分体现了PAR方法的优越性、高效性和可靠性.  相似文献   
4.
给出预条件方后线性方程组的系数矩阵的一类含参数的分裂形式,使系数矩阵的分裂更加一般化,同时讨论在该形式下的SOR迭代法的收敛性,并与一般的预条件方法进行比较分析,说明这种方法收敛性更好,最后找到参数的最优选取.  相似文献   
5.
Linear precoding methods such as zero-forcing (ZF) are near optimal for downlink massive multi-user multiple input multiple output (MIMO) systems due to their asymptotic channel property. However, as the number of users increases, the computational complexity of obtaining the inverse matrix of the gram matrix increases. For solving the computational complexity problem, this paper proposes an improved Jacobi (JC)-based precoder to improve error performance of the conventional JC in the downlink massive MIMO systems. The conventional JC was studied for solving the high computational complexity of the ZF algorithm and was able to achieve parallel implementation. However, the conventional JC has poor error performance when the number of users increases, which means that the diagonal dominance component of the gram matrix is reduced. In this paper, the preconditioning method is proposed to improve the error performance. Before executing the JC, the condition number of the linear equation and spectrum radius of the iteration matrix are reduced by multiplying the preconditioning matrix of the linear equation. To further reduce the condition number of the linear equation, this paper proposes a polynomial expansion precondition matrix that supplements diagonal components. The results show that the proposed method provides better performance than other iterative methods and has similar performance to the ZF.  相似文献   
6.
基于稀疏约束贝叶斯估计的相对波阻抗反演   总被引:1,自引:1,他引:1  
邸海滨  郭玉倩  刘喜武 《石油物探》2011,50(2):124-128,9
地震道积分是一种利用地震资料进行的无约束反演技术,可以方便地得到地层的相对波阻抗,但采用稀疏反演的反射系数递推反演相对波阻抗,横向连续性差、可用性低。给出了一种基于稀疏约束贝叶斯估计的地震相对波阻抗反演算法,即在反射系数Cauchy概率分布稀疏约束下,基于贝叶斯最大后验概率估计,采用预条件共轭梯度法估计地震子波和反射系数,从而得到高分辨率的反褶积结果,进而得到高分辨率的相对波阻抗剖面。利用理论模型和实际数据对算法进行了验证,结果表明:基于稀疏约束贝叶斯估计的相对波阻抗反演方法可行;与直接法稀疏反演相比,预条件共轭梯度法稀疏反演精度高、收敛快、数值计算稳定。  相似文献   
7.
袁华  钱敏 《电子与封装》2010,10(1):35-38,42
在对塑封集成电路进行封装可靠性评估中,预处理过程(precondition)是必经的步骤。其中的浸润测试(soak)通常在非加速条件下进行,其耗时较长。在市场竞争日趋激烈的环境下,企业迫切需要缩短新产品的可靠性验证时间。文章针对JEDEC(电子器件工程联合委员会)和JEITA(日本电子信息技术协会)标准中涉及到的三种加速浸润条件,以组件在非加速条件下(JEDEC Level 3和JEITA Rank E)潮气的穿透力、吸收量及由此产生的失效为参照,确定在加速条件下,组件达到同样的潮气吸收量并产生相类似的失效所需的时间。同时应用有限元分析的方法进行建模和计算,并与实际的测量结果比较验证。  相似文献   
8.
在对塑封集成电路进行封装可靠性评估中,预处理过程是必经的步骤,其中的浸润测试通常在非加速条件下进行,耗时较长。在市场竞争日趋激烈的环境下,企业迫切需要缩短新产品的可靠性验证时间。针对JEDEC(电子器件工程联合委员会)和JEITA(日本电子信息技术协会)标准中涉及到的三种加速浸润条件,以组件在非加速条件下(JEDECLevel3和JEITARankE)潮气的穿透力、吸收量及由此产生的失效为参照,确定在加速条件下,组件达到同样的潮气吸收量并产生相类似的失效所需的时间;同时应用有限元分析的方法进行建模和计算,并与实际的测量结果比较验证。  相似文献   
9.
本文从培养一支高素质的标准化人员队伍 ,开发和完善标准化领域、适应新形势下对企业标准化工作的需求和为企业标准化工作创造必要的条件等三个方面探讨了新形势下的企业标准化工作。  相似文献   
10.
液压脉动分析计算是液压系统设计和使用中的重要环节。叙述液压系统的组成和系统脉动的研究方法,分析简化处理的类型和原因,通过理论比较简化模型和实际模型的差异,阐述简化处理对系统脉动的负面影响。  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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