吕江花
【姓名】 吕江花
【职称】 副教授;
【研究领域】 计算机软件及计算机应用;电力工业;计算机硬件技术;
【研究方向】 软件形式化方法
【发表文献关键词】 指称语义,接续函数,基调,语义转换,转换规则,语义函数,函数基,语义描述,表达式,转换算法,函数调用,方程,变换,直接,指派,转换方法,形式,规约,推导,函数域,
【工作单位】 北京航空航天大学
【曾工作单位】 北京航空航天大学;
【所在地域】 北京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/43 19 20 4 95 2990
中国期刊全文数据库    共找到21篇
[1]于涛;王珊珊;徐芊卉;董晓晗;胡代金;罗杰;杨溢龙;吕江花;马殿富;.基于下推自动机的同步数据流语言可信编译[J]软件学报.2025,(08)
[2]夏乾臣;吕江花;孟祥曦;马世龙;.分布式用户痕迹采集存储系统[J]北京航空航天大学学报.2020,(03)
[3]李小平;乌尼日其其格;马世龙;吕江花;.高阶类型化可验证应用系统体系结构建模及案例[J]软件学报.2020,(08)
[4]孟祥曦;张凌;郭皓明;郭黎敏;夏乾臣;吕江花;马世龙;.一种面向工业互联网的云存储方法[J]北京航空航天大学学报.2019,(01)
[5]乌尼日其其格;李小平;马世龙;吕江花;张思卿;.高阶类型化软件体系结构建模和验证及案例[J]软件学报.2019,(07)
[6]刘艳芳;吕江花;马世龙;黎涛;.航电系统并行检测过程与检测设备解耦方法[J]航空学报.2019,(08)
[7]汪溁鹤;陈裕雄;马世龙;吕江花;.实时鲁棒的频域空间目标跟踪方法[J]北京航空航天大学学报.2017,(12)
[8]汪帅;吕江花;汪溁鹤;吴继芳;马世龙;.一种支持数据去冗和扩容的多媒体文件云存储系统实现[J]计算机研究与发展.2018,(05)
[9]乌尼日其其格;李小平;马世龙;吕江花;.基于类型理论的领域数据建模和验证及案例[J]软件学报.2018,(06)
[10]杜建海;吕江花;高世伟;李倩倩;李勤勇;马世龙;.面向航天器综合测试系统的Web缓存替换策略[J]北京航空航天大学学报.2018,(08)
更多