代数系统论文

基于单电子晶体管的逻辑电路设计
论文摘要自集成电路问世以来,半导体集成电路集成度不断提高,使得传统微电子器件的应用和发展将面临前所未有的阻碍。在不久的将来传统CMOS技术将到达其性能的极限,因此寻找一种能够继...
基于约束概念格的离群数据挖掘方法及应用
论文摘要概念格是数据分析和知识提取的一种有效形式化工具,具有精确性和完备性等特点。约束概念格是利用用户对数据集的兴趣、了解、认识等作背景知识,指导概念格的构造,从而使概念格的结...
隐通道可计算性的研究
论文摘要作为一项重要的评估指标,美国国防部的TCSEC准则和ISO的CC标准都对隐通道做出了明确地规定,即软件要获得B2或EAL5及以上级的安全认证,必须要通过不同强度的隐通道...