L模型

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=小型微型计算机系统x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
安全关键软件的AADL模型自动逆向构造方法被引量：2
《小型微型计算机系统》2022年第7期1553-1561,共9页邱志凯 杨志斌 谢健 周勇 程高辉 陈俊文 
国家自然科学基金项目(62072233)资助;航空科学基金项目(201919052002)资助;中央高校基本科研业务费专项资金项目(NP2017205)资助.
近年来,采用模型驱动(Model-Driven)尤其是形式化模型驱动的安全关键软件设计与开发方法逐渐受到重视,并被工业界认为是切实可行的重要手段.AADL(Architecture Analysis and Design Language)是一种广泛应用于安全关键领域的形式化建模...
关键词：安全关键软件 模型驱动工程 模型驱动逆向工程 AADL 
创建者序列重建问题MFL模型的改进算法
《小型微型计算机系统》2013年第4期860-863,共4页吴璟莉 王华 黄俊杰 梁彬彬 
广西自然科学基金项目(2011GXNSFB018068)资助
创建者序列重建问题即根据后代基因信息推断其祖先基因信息,最大片断长度问题(the Maximum Fragment Lengthproblem,MFL)模型是求解该问题的有效模型.Roli提出一种求解MFL模型的构造性启发式算法,该算法通过0、1取值比例来确定创建者序...
关键词：创建者 重建 重组体 最大片断长度模型 
复杂背景下的人像检测被引量：4
《小型微型计算机系统》2004年第7期1105-1109,共5页刘小华 崔卓 段锦 周春光 
国家自然科学基金项目 ( 60 175 0 2 4)资助;教育部"符号计算与知识工程"重点实验室资助
提出了一种改进人像检测的方法 ,即在静态灰度图像中对差分得到的图像应用投影斜率 ,来增强对背景的鲁棒性 ,同时提出了将 K- L模型应用于彩色图像定位检测中并结合 Agent计算模型来提高搜索的速度的方法 ,与现有的算法比较有更好的适...
关键词：粗定位 差分 投影法 斜率 K-L模型 Agent计算模型 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部