首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   52篇
  免费   7篇
  国内免费   2篇
电工技术   1篇
综合类   16篇
建筑科学   1篇
矿业工程   1篇
轻工业   14篇
无线电   5篇
一般工业技术   2篇
冶金工业   3篇
自动化技术   18篇
  2022年   2篇
  2019年   2篇
  2018年   1篇
  2017年   1篇
  2016年   1篇
  2014年   3篇
  2013年   2篇
  2012年   3篇
  2011年   10篇
  2010年   9篇
  2009年   5篇
  2008年   5篇
  2007年   1篇
  2006年   2篇
  2005年   4篇
  2003年   5篇
  2002年   1篇
  2000年   1篇
  1990年   1篇
  1985年   1篇
  1976年   1篇
排序方式: 共有61条查询结果,搜索用时 15 毫秒
1.
Rong Su  Gerhard Woeginger 《Automatica》2011,47(10):2326-2329
In performance evaluation or supervisory control, we often encounter problems of determining the maximum or minimum string execution time for a finite language when estimating the worst-case or best-case performance. It has been shown in the literature that the time complexity for computing the maximum string execution time for a finite language is polynomial with respect to the size of an automaton recognizer of that language and the dimension of the corresponding resource matrices. In this paper we provide a more efficient algorithm to compute such maximum string execution time. Then we show that it is NP-complete to determine the minimum string execution time.  相似文献   
2.
Kleene代数在计算机科学中具有基础而特殊的重要性。在计算机工程应用中,Kleene代数及相关*-半环已被成功应用于基础安全分析、底层程序变换以及并行控制等许多领域。本文定义了几类具有Kleene*-运算的半环,给出了相关的等价刻画,并研究了这些*-半环之间的关系。  相似文献   
3.
介绍了乘积纯正断面的概念和性质,给出乘积纯正断面的等价条件,并给出含有乘积纯正断面的正则半群的结构定理.  相似文献   
4.
Shan Zhao 《Information Sciences》2010,180(24):5115-5124
This paper deals with invertible matrices and semilinear spaces over commutative semirings. Some necessary and sufficient conditions for matrices to be invertible over commutative semirings are obtained. The condition under which the cardinality of each basis of semilinear space of n-dimensional vectors is n is given. In the end, the factor rank of matrices over semirings is investigated.  相似文献   
5.
在正统理论的基础上,使用主方程法建立了金属结单电子晶体管的器件模型和算法流程.将电容、电阻和温度等参数代入器件模型得到的I-Ⅴ特性曲线与实验结果吻合较好,从而验证了模型、算法以及程序流程的正确性.此外,通过详细讨论模拟与实验的三组曲线差别,得到模型使用主方程的稳态解是导致模拟与实验之间结果存在差别的主要原因,即求解含有时间的主方程将增加模拟精度;而且,指出镜像电荷引起的电势使电流随电压呈现指数增加的主要影响因素,明显偏离理论模拟的线性增加趋势.  相似文献   
6.
在正统理论的基础上,使用主方程法建立了金属结单电子晶体管的器件模型和算法流程.将电容、电阻和温度等参数代入器件模型得到的I-V特性曲线与实验结果吻合较好,从而验证了模型、算法以及程序流程的正确性.此外,通过详细讨论模拟与实验的三组曲线差别,得到模型使用主方程的稳态解是导致模拟与实验之间结果存在差别的主要原因,即求解含有时间的主方程将增加模拟精度;而且,指出镜像电荷引起的电势使电流随电压呈现指数增加的主要影响因素,明显偏离理论模拟的线性增加趋势.  相似文献   
7.
设F是半域,在F上定义一类矩阵半环FN,讨论了FN的一些重要性质。  相似文献   
8.
Main influence factors on desulfurization of coal by sulfolobas   总被引:1,自引:0,他引:1  
1 INTRODUCTIONHighsulfurcoalwhichletsoutpoisonousandharm fulgassuchassulfurdioxideintheprocessofcoalcom bustion ,isamainfactortoform greatareaacidrainandoccupiesonethirdreservesoftotalcoalinChina .Manhaspaidmuchattentiontoseriousenvironmentpollutionmadebysulfurincoalandsearchedforaspeed ,low costandeffectivetechnologyofdesulfurizationwhichhasbecomeasignificantenvironmentprotectiontasknowadays[1] .Coaldesulfurizationcanbesortedintofore burning ,aflame burningandafter burningbyburningproce…  相似文献   
9.
对加法幂等半环上矩阵幂收敛的条件,以及加法幂等半环和坡代数赋权图路径优化问题与伴随矩阵幂的关系进行了研究,优化问题是在加法诱导的偏序≤下考虑的.特别,证明了对于选择的加法幂等半环E上的n阶赋权图G,如果其伴随矩阵A满足aij=e,且对G的任一基本回路p,权w(p)≤e,e是E的乘法幺元,则An-1的(i,j)分量表示从顶点i到j的所有路径的权在偏序≤下的最大元,且最大元一定在某一基本路径上取得.坡代数赋权图的结果作为特例得到.最后给出了几个应用的实例.说明加法幂等半环赋权图的这类广义路径优化问题仍可用矩阵幂的方法来解.  相似文献   
10.
Automata are the prime example of general systems over discrete spaces, and yet the theory of automata is fragmentary and it is not clear what makes a general structure an automaton. This paper investigates the logical foundations of automata relating it to the semantics of our notions of uncertainty, state and state-determined. A single framework is established for the conventional spectrum of automata: deterministic, probabilistic, fuzzy, and non-deterministic, which shows this set to be, in some sense, complete. Counter-examples are then developed to show that this spectrum alone is inadequate to describe the behaviour of certain forms of uncertain system. Finally a general formulation is developed based on the fundamental semantics of our notion of a state that shows that the logical Structure of an automaton must be at least a positive ordered semiring. The role of probability logic, its relationship to fuzzy logic, the rotes of topological models of automata, and the symmetry between inputs and outputs in hyperstate/hyperinput-determinedsystems are also discussed.  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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