L模型

作品数：377被引量：1526H指数：16
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：杨志斌董云卫黄滟鸿桂盛霖周勇更多>>
相关机构：南京航空航天大学华东师范大学西北工业大学华中师范大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金中央高校基本科研业务费专项资金国家高技术研究发展计划国家社会科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与应用x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
集成散度的MKL模型在模拟电路诊断中的应用被引量：1
《计算机工程与应用》2018年第9期5-12,115,共9页张伟 许爱强 
国家自然科学基金(No.51605487);山东省自然科学基金(No.ZR2016FQ03)
为提升模拟电路故障诊断精度,结合基于故障特征间一维模糊度的特征选择算法,提出一种新的多核超限学习机诊断模型。该模型通过设置虚拟的基核,将正则化参数融入基核权重求解过程中;同时,通过将特征空间类内散度集成到多核优化目标函数中...
关键词：故障诊断 多核学习 散度矩阵 超限学习机 自适应正则化 
用LTL模型检验的方法验证SpaceWire检错机制被引量：7
《计算机工程与应用》2012年第22期88-94,共7页董玲玲 关永 李晓娟 施智平 张杰 华伟 
国际科技合作项目(No.2011DFG13000);科技部国际科技合作项目(No.2010DFB10930);北京市教委科技发展项目经费资助(No.KZ201210028036);北京自然科学基金(No.4122017);国家自然科学基金(No.61170304)
SpaceWire是应用于航空航天领域的高速通信总线协议,对SpaceWire设计正确性与可靠性要求极高,由于传统的验证方法,存在不完备性等缺陷,对SpaceWire的严格验证一直是备受关注的问题之一。模型检验以其验证的完备性得到设计人员的重视。...
关键词：形式化验证 SpaceWire标准 模型检验 分支时态逻辑(CTL) 线性时态逻辑(LTL) 
VHDL模型可移植性
《计算机工程与应用》1990年第8期59-68,共10页苏明 薛宏熙 赵庆林 
超高速大规模集成电路(VHSIC)硬件描述语言VHDL是作为一种标准规范开发的,这使得用VHDL进行的设计能够在许多CAE制造商提供的多种工具上操作,尽管VHDL并没有定义任何特定的工具,但其语言的某些特点可能降低了应用性能,并可能使某些应用...
关键词：VHDL 集成电路 硬件 描述语言 移植 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部