刘晓建

作品数：6被引量：7H指数：2
导出分析报告
供职机构：西安电子科技大学计算机学院软件工程研究所更多>>
发文主题：计算机软件工程遗产系统逆向工程软件系统更多>>
发文领域：自动化与计算机技术航空宇航科学技术天文地球更多>>
发文期刊：《西安电子科技大学学报》《宇航学报》《计算机科学》更多>>
所获基金：国防科技技术预先研究基金国家部委预研基金国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
宇航中的一种基于线性约束数据库的GIS空时数据模型及其查询
《宇航学报》2004年第1期77-81,97,共6页刘晓建 陈平 
高等学校博士学科点专项基金项目 (2 0 0 10 70 10 0 5 ) ;"十五"国防预先研究项目基金 (4 13 15 0 5 0 1)
地理信息系统 (GIS)是一种计算机辅助工具 ,用于存储和分析在地理空间上和时间上发生的现象和事件。 GIS系统在航空航天、军事和民用等领域具有重要应用。数据库是 GIS系统的核心 ,空时数据的存储和查询是 GIS数据库中的两个重要问题。...
关键词：地理信息系统 空时数据模型 线性约束数据库 Datalog查询语言 宇航 GIS 
RETE网络中的优化编译模式及其PVS形式验证被引量：1
《计算机科学》2003年第6期168-171,共4页刘晓建 陈平 
"十五"国防预先研究项目基金"可信软件工程技术"(413150501)
In the compilation of rule program to the intermediate code--RETE network,optimizing compilation is an important comptler schema,and is a necessary step in the compiler verification. In this paper,we discuss optimizat...
关键词：RETE网络 优化编译模式 PVS 形式验证 编译器 程序设计语言 
一种在面向对象语言中嵌入规则的预编译器的实现被引量：2
《西安电子科技大学学报》2003年第1期97-102,共6页刘晓建 刘西洋 陈平 
国家部委预研基金资助项目(413150501)
传统的基于规则的工具,如OPS5,CLIPS等都是自封闭的,很难集成在用C 等面向对象语言开发的实际系统中.该文在借鉴ILOGRules和CLIPS等工具的基础上提出了一种嵌入在C 语言中的规则语言,主要研究了把该规则语言翻译到生成Rete网络推理机...
关键词：面向对象语言 预编译器 RETE算法 C++语言 
一种基于规则的系统的软件体系结构的实现分析被引量：2
《计算机科学》2002年第6期134-136,116,共4页刘晓建 陈平 蔡希尧 
国防预研资助
1.引言 基于规则的系统或者称为专家系统、产生式系统是一种重要的应用系统,它广泛的应用于医疗诊断、航空航天、实时监控和辅助决策系统等关键领域中.国外在这方面的研究工作开展得较早,并且开发了一些产生式开发工具,如MYCIN,OPS5/OPS...
关键词：软件体系结构 规则系统 软件工程 应用程序 计算机 
遗产系统及其解决方案的综述被引量：3
《计算机科学》2002年第5期127-130,149,共5页刘晓建 陈平 蔡希尧 
国防预研资助
1.引言 遗产信息系统是现代企业信息流的主干,它体现了机构运作的业务逻辑,代表了特定领域专业知识,是企业的财富,所以不能简单地抛弃它.为了充分利用遗产系统所包含的领域知识,让这些遗产系统仍然可用,企业或机构必须对遗产系统采取一...
关键词：软件工程 软件系统 计算机 文件系统 逆向工程 遗产系统 
一种基于互联网单元的互联网应用软件的架构
《西安电子科技大学学报》2002年第1期39-42,共4页刘晓建 陈平 
国家部委"九五"预研资助项目 (6 2 1 4)
针对企业或公司对外发布信息之用的互联网应用问题 ,分析了这类应用当前所面临的一些问题 ,探讨了产生这些问题的各方面原因 ,同时分析了目前所做的一些工作的优缺点 ,从技术角度提出了基于互联网单元的软件解决方案 .在详细地分析了互...
关键词：互联网单元 XML 应用软件 计算机网络 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部