您的位置: 专家智库 > >

国家高技术研究发展计划(2004AA414031)

作品数:7 被引量:61H指数:4
相关作者:杨鹤标张震波马振华丁勇杜江更多>>
相关机构:江苏大学更多>>
发文基金:国家高技术研究发展计划更多>>
相关领域:自动化与计算机技术电子电信更多>>

文献类型

  • 7篇中文期刊文章

领域

  • 6篇自动化与计算...
  • 1篇电子电信

主题

  • 1篇形式化
  • 1篇形式化描述
  • 1篇移动AGEN...
  • 1篇异步
  • 1篇异步通信
  • 1篇元对象
  • 1篇元对象设施
  • 1篇知识库
  • 1篇知识库系统
  • 1篇设计模式
  • 1篇推理机
  • 1篇消息驱动BE...
  • 1篇缓存
  • 1篇缓存机制
  • 1篇基于移动AG...
  • 1篇个性化
  • 1篇个性化学习
  • 1篇个性化学习系...
  • 1篇WEB系统
  • 1篇XMI

机构

  • 7篇江苏大学

作者

  • 6篇杨鹤标
  • 4篇张震波
  • 3篇马振华
  • 1篇杜江
  • 1篇刘志宏
  • 1篇张华锋
  • 1篇丁勇
  • 1篇王珏
  • 1篇宫龙慧

传媒

  • 2篇计算机工程
  • 1篇计算机应用研...
  • 1篇计算机工程与...
  • 1篇计算机工程与...
  • 1篇微计算机信息
  • 1篇江南大学学报...

年份

  • 1篇2008
  • 1篇2007
  • 5篇2006
7 条 记 录,以下是 1-7
排序方式:
基于构件模型的应用框架扩展方法研究被引量:4
2006年
框架是实现大粒度软件复用的重要途径,开发人员可通过对框架的扩展和实例化实现应用系统。但现有的框架扩展方法大都可操作性差,仅仅解决了局部扩展的问题。提出基于构件模型的应用框架扩展方法,借鉴面向领域的特征模型的思想,确定了构件模型中构件间的关系及组织方法,对扩展点进行了分类,并用UniCon形式化语言描述了应用框架的扩展方法。通过构件模型简述了应用框架的功能和技术特点,为扩展提供了良好的文档支持。
杨鹤标马振华张震波
关键词:形式化描述
基于消息驱动Bean的异步通信模型设计被引量:6
2006年
异步通信是一种松耦合的分布式通信模式,允许应用程序以发送方和接受方相互独立的形式,通过交换消息进行通信。消息驱动Bean作为处理异步消息的EJB组件,因其支持异步非阻塞的消息传递机制,在基于EJB的应用系统中日渐得到应用。提出了一种基于消息驱动Bean的异步通信模型。该模型使用MDB实现消息的异步消费,解决了EJB远程方法调用开销大等问题,降低了应用程序和EJB组件之间的依赖性,从而有效地提高了异步通信的性能和可靠性。
丁勇杨鹤标杜江
基于MOF的模型协同工作研究被引量:3
2006年
系统的不同方面和抽象的不同层次需要不同的语言,构建系统时必然存在多种语言描述的不种模型。采用MOF统一方法描述不同类型的建模结构,运用基于XMI bus的数据交换将MOF和XML很好地结合在一起,极大降低了MOF技术壁垒,使得异构环境下的工具和各种模型间的交互变得简单高效,具有良好的协同工作能力。基于MOF的模型协同解决方案在工作流中得到了应用。
杨鹤标宫龙慧张震波
关键词:XMI元对象设施
基于双向混合推理机的知识库系统被引量:5
2008年
针对目前知识库系统推理效率不高和信息可信度不强的特点,本文结合正向推理和反向推理的优势,取长补短,提出了一种双向混合推理机。本文还设计了一个原型系统,采用知识点循环学习的方法来解决知识获取问题,以利于系统的智能化学习。
张华锋
关键词:知识库系统推理机
基于移动Agent的个性化学习系统
2007年
针对学生学习过程中个体的差异,着重探讨了智能代理技术和基于案例推理在个性化学习中的应用,给出一个基于移动智能代理的网络化学习环境,讨论了该学习环境的体系结构、工作过程、推理机制、主要功能及其实现机制,最后利用Aglet移动Agent平台对系统进行了实现.
王珏杨鹤标刘志宏
关键词:个性化学习移动AGENT
基于LRU算法的Web系统缓存机制被引量:42
2006年
Web系统嵌入缓存机制将被访问的对象保存在内存缓冲区中,在频繁创建和销毁对象时,降低了系统开销、提高了系统的整体快速响应能力、避免了频繁的数据交互。该文分析了Cache技术的设计原理和实现策略、LRU算法的设计模式,构造了缓存机制的基本框架。
张震波杨鹤标马振华
关键词:J2EELRU算法缓存机制设计模式
基于构件的应用框架扩展机制研究被引量:2
2006年
论述了应用框架扩展机制中构件模型、扩展点表示和依赖关系等关键问题。在分析了框架元模型组成元素的基础上,应用面向领域的特征模型的方法,对构件模型组织结构进行统一的抽象和描述,并用命题逻辑公式来表示构件之间的逻辑关系和语义约束;用UniCon语言给出了扩展点及其依赖关系的表示方式;最后通过给定的命题逻辑规则公式来验证构件模型的合理性、框架扩展的正确性。应用实例表明这种方法是有效的。
马振华杨鹤标张震波
共1页<1>
聚类工具0