赵振西
- 作品数：72 被引量：337H指数：11
- 供职机构：中国科学技术大学计算机科学与技术学院更多>>
- 发文基金：安徽省自然科学基金国家自然科学基金中国科学院知识创新工程更多>>
- 相关领域：自动化与计算机技术经济管理医药卫生文化科学更多>>
- 超媒体系统中的语义约束问题研究被引量：1
- 2000年
- 提出了一种基于数据库模式的超媒体语义网络模型 ,该模型通过引入模式约束图 ,对超媒体系统中的关系约束进行了分类 ,并给出了相应的约束检测算法 ;通过引入视图机制提出了结构约束的概念 ;通过扩充模式约束图的属性 ,描述了超媒体特定应用领域的计算约束 ,从而从整体上对与应用领域无关至特定应用领域的语义约束进行了深入的研究 .
- 周学海李曦龚育昌李光亚赵振西
- 关键词：语义约束数据库模式超媒体系统
- 图形数据库系统的设计与探讨被引量：1
- 1992年
- 本文论述了基于光栅和基于向量的两种图形数据库的设计方法.着重论述了向量数据库的数据结构、读、写和检索算法.对三维图形数据库结构也作了探讨.
- 王剑英赵振西
- 关键词：图形数据库数据库
- 基于结构特性的超媒体模型被引量：7
- 2001年
- 将超媒体的结构特性研究与形式语言学理论相结合 ,提供了一种有效地分析超媒体动态结构特性的方法 .该方法将超媒体组件集合映射为语言中的抽象符号集合 ,组件集合之上的链映射为语言中建立单词的方法 ,超媒体的结构化机制映射为语言中描述单词集合构造机制的语法 .超媒体模拟为转换机 ,“链引导”动作模拟为“匹配对”序列 ,“链引导”的计算结果产生与上下文无关文法相对应的虚拟文档 。
- 徐海燕周学海倪劲峰赵振西
- 关键词：虚拟文档超媒体多媒体数据库
- 基于PHIGS的层次图形数据库系统被引量：1
- 1994年
- 程序员级的交互式层次图形系统（ＰＨＩＧＳ）支持动态的交互和层次结构的组织。实现图形系统的一个重要方面是图形模型的数据结构。本文论述了一个集中式图形数据库的设计与实现，该系统是一个实验性的基于ＰＨＩＧＳ的层次数据库系统。其设计的特点是此数据库可以被若干个应用程序共享。
- 王剑英赵振西
- 关键词：PHIGS图形数据库HASH函数链表结构
- 系统级体系结构仿真器的研究与实现被引量：7
- 2002年
- 系统级体系结构仿真器是可以作为一个虚拟目标机器运行的软件系统 ,它可以实现对单 (多 )处理器、内存系统、Cache和外部设备等子系统的功能模拟 .在体系结构设计和操作系统开发等工程中 ,体系结构仿真器有着广泛的应用 .本文介绍了一个基于 MISC CPU和 SPARC体系结构的系统级仿真器
- 陆岚王克祥熊悦赵振西
- 关键词：仿真器FMCS
- 商业管理信息系统支撑环境的构建被引量：6
- 2000年
- 文章从系统集成的角度，全面分析论证了设计商业管理信息系统的支撑环境时所涉及的实用技术，包括高速以太网配置，基于客户／服务器体系的数据库服务器和数据库管理系统的选型，数据库容错技术，数据分布技术，并给出了具体的实施方案。实际应用证明所提出的技术切实有效，获得了良好的效果。
- 李曦彭伟周学海蒋凡赵振西
- 关键词：管理信息系统计算机数据库
- XP-ADL——软硬件协同设计中的一个关键问题
- SOC的体系结构设计空间搜索过程要求自动生成可重定向的编辑器和仿真器,本文给出一种基于XML的体系结构描述语言XP-ADL以支持实现这个目的.XP-ADL的特征和灵活性使之可以描述不同的体系结构,特别适于描述VLIW.
- 李曦周学海熊悦陆岚赵振西
- 关键词：片上系统体系结构描述语言软硬件协同设计
- 文献传递
- 图象数据模型研究被引量：1
- 1997年
- 数据模型研究是设计按内容检索的图象数据库系统的基础．本文根据图象信息系统的特点，将面向对象模型与超语义模型有机结合，提出了一种新的图象数据模型及相应的说明语言．该模型以紧耦合方式融合了语义数据模型和知识模型的特点，并增加了表示图象对象间空间关系的机制，使得该模型可以更好地描述图象信息系统中的图象数据、领域知识以及空间关系语义．
- 周学海李光亚赵振西
- 关键词：数据模型图象数据库系统
- 一种针对可执行代码的内存泄漏静态分析方案被引量：3
- 2009年
- 针对应用程序安全分析的实际需求,设计并实现了一个针对可执行代码的内存泄漏分析框架MLAB.MLAB首先从可执行代码中恢复控制流和数据流信息,依据恢复的控制流图建立程序的有限状态自动机,在此基础上运用模型检测算法分析程序可能存在的内存泄漏.利用几个典型的程序实例详细说明了MLAB方法的工作原理,并通过基于测试程序集MiBench的实验对方法进行了验证,结果说明了该方法的有效性.
- 龚育昌胡燕张晔赵振西
- 关键词：可执行代码内存泄漏
- 一种基于模式匹配的超媒体查询模型被引量：4
- 2002年
- 在基于语义网络的超媒体模型基础上,通过引入数据库模式、模式约束图以及分层模式依赖图等概念,提出了一种基于模式匹配的超媒体查询模型,给出了图形代数的形式化定义,并证明了该模型的查询能力.该模型具有较高的表达能力,能有效地降低用户的认知负载.
- 周学海李光亚李曦龚育昌赵振西
- 关键词：超媒体多媒体数据库
