李晖

作品数：11被引量：15H指数：2
导出分析报告
供职机构：武汉大学更多>>
发文主题：算子软件体系结构宫颈癌语句体系结构更多>>
发文领域：自动化与计算机技术医药卫生文化科学建筑科学更多>>
发文期刊：《计算机应用研究》《小型微型计算机系统》《电脑知识与技术》《科学技术创新》更多>>
所获基金：国家高技术研究发展计划武汉大学校科研和教改项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
计算机教育信息流体系结构被引量：1
《科学技术创新》2022年第23期99-102,共4页李晖 
“计算机教育信息流(jsjjyxxl)”贯穿于计算机教育体系(图1[1]),是一个抽象发展概念,对于不同领域计算体系软件体系,规模大小复杂程度虽不尽相同,但必然有限,且它们的抽象具体化过程,具相同的模式。基于UNIX操作指令系统(Czzlxt)的汇编...
关键词：运算符系列 操作指令系列 计算语句系列 计算结构 计算体系 
计算机教育计算信息流混合教学模式被引量：1
《电脑知识与技术》2021年第35期205-206,共2页李晖 张华 
项目类别:武汉大学校级教研项目,项目名称:新工科背景下计算机公共课程思政建设探索与实践--以《计算机科学与应用(Python)》为例。
计算机教育是一个严谨教育学科体系,如图1所示,简称为计算科学体系。计算信息流贯穿其中,深刻体现计算科学教育理念,计算科学教育实施计算信息流混合教学模式,将强化沿着计算信息流生成过程,完成学生对计算概念、计算过程和计算体系认...
关键词：计算语句 计算信息流 计算科学体系 混合式教学模式 
软件进程分解方法模式被引量：1
《武汉工程大学学报》2010年第11期91-93,100,共4页庄芸 李晖 
建立了对软件进程模块M的一种规范化的分解方法,这种方法视为分解M的一种方法模式,称为矩阵模式,表示为A=[w,t].这个模式把M的递归过程的理论分析和实际展开结合于一体,为它的递归展开过程形成有效的条件,生成M的优化的计算原型Pri-cTr.
关键词：分解模式 计算原型 复杂性 计算原型集合 
软件进程计算结构分析
《计算机应用研究》2009年第5期1733-1735,1753,共4页李晖 陈世鸿 
国家"863"计划资助项目(2002AA111010;2003AA00103)
以数学语义分析并描述软件进程计算结构,建立了实用计算原型树。在此基础上,实现计算结构模块化处理及建立模块化展开公式,使软件进程的计算从节点算子的计算转换成模块算子计算。
关键词：数学语义 计算结构 原型树 计算单位 模块 
软件进程图形表示算法
《小型微型计算机系统》2009年第5期863-867,共5页李晖 陈世鸿 
国家"八六三"计划项目(2002AA111010;2003AA00103)资助
在计算数学关于函数结构理论的基础上,本文讨论了软件进程计算结构图形表示算法.本文面向问题‘需求’,以形式推导方法,详细分析了如何把‘需求’的形式语义置于图形树之上,在抽象树上实现语义定义的方法;建立算法,实现软件进程计算结...
关键词：软件进程 图形表示 算法 需求 树 
用于描述软件体系结构的算子集的性质和运算被引量：4
《计算机工程与应用》2003年第17期87-88,共2页刘海青 李晖 郑鹏 
武汉大学青年科学基金
文章深入地阐述了用于描述软件体系结构的算子集的基本性质和结合运算,推导了关于算子性质的若干推论。
关键词：软件体系结构 算子 结合运算 
用于描述软件体系结构的算子集的链接运算被引量：2
《计算机工程与应用》2003年第16期105-106,174,共3页刘海青 李晖 郑鹏 
武汉大学青年科学基金资助
文章深入地阐述了用于描述软件体系结构的算子集的另一种运算———链接运算,并推导了关于算子链接运算的若干推论及定理。
关键词：软件体系结构 算子 链接运算 
软件体系结构的数学论域被引量：3
《武汉大学学报（工学版）》2003年第4期107-110,共4页李晖 庄芸 
把两个数学集合ISAC和IP定义为软件体系结构SAC的形式逻辑系统的数学论域,并在其上建立了一系列形式逻辑谓词公式,成功地描述了在该论域中对象(算子)的分布特征和SAC的若干有趣的性质和结论,为SAC的结构分析和评估提供了观点、方法和工具.
关键词：软件体系结构 数学论域 层次区间 重复算子链 
一种描述软件体系结构的算子被引量：6
《计算机工程与应用》2002年第17期73-74,共2页刘海青 李晖 
武汉大学青年科学基金资助
文章阐述了一种描述软件体系结构的算子及其基本概念,讨论了该算子的基本性质,推导了关于算子的两个简单推论。
关键词：软件体系结构 算子 语法树 数据类型 软件工程 计算模型 
模糊方法在软件可靠性分析中的应用被引量：1
《武汉大学学报（工学版）》2002年第6期72-76,共5页刘海青 李晖 
武汉大学青年科学基金资助
将模糊方法与故障树分析方法结合起来 ,用于软件可靠性的分析 ,同时 ,还对隶属函数的确定进行了讨论 ,最后 ,通过并联系统和串联系统的模糊失效概率的实例计算 ,结果表明 ,该方法可以改善可靠性预计结果 .
关键词：模糊性 故障树分析 软件 可靠性 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部