云南高校图书馆联盟文献共享服务平台- 房丽娜

共条记录，以下是1-8

全选清除导出

视图：

排序：

有色Petri网协作模型的BPEL代码实现: 《计算机科学》2008年第11期262-266,共5页邓新国林子禹陈伟清肖如良李玲房丽娜; 国家自然科学基金(No.90604005); Web服务业务流程执行语言(BPEL)提供了有力的技术来聚合封装的功能以及定义高质量的Web服务,然而,尽管功能强大,但是BPEL却难于使用。另一方面,有色Petri(CPNs)可以用于模拟、分析以及校验Web服务。为了在CPNs协作模型和业务流程的执行...; 关键词：PETRI网模型 BPEL WEB服务

基于QoS的组合服务优化选择问题建模与求解被引量：2: 《计算机工程与应用》2007年第26期13-16,共4页杨艳房丽娜张文涛叶俊民; 提出了一种支持Web服务动态组合的框架,并在此基础上对Web服务组合中的服务优化选择问题建模,根据用户设置的QoS约束条件,将服务优化选择问题分成3类,并分别给出了相应的服务选择算法。实验证明算法在保证一定优度的同时亦具有良好的时...; 关键词：组合服务服务优化选择 QOS

Context-driven reconciliation in ontology integration: 《Journal of Southeast University(English Edition)》2007年第3期365-368,共4页李玲唐胜群肖如良房丽娜邓新国徐有威徐杨; In order to solve the semantic irreconcilable problems caused by contextual differences during the process of ontology integration, a context-driven reconciliation mechanism is proposed. The mechanism is based on the ...; 关键词：semantic web CONTEXT RECONCILIATION ontology integration migration rules

用范畴论和SHOIQ(D)DL形式化上下文被引量：1: 《小型微型计算机系统》2007年第7期1322-1325,共4页肖如良唐胜群李玲房丽娜邓新国; 国家自然科学基金重大研究计划项目(90604005)资助.; 为了解决在动态环境下不断进化的本体知识库和资源整合所带来的上下文环境问题,作者从范畴论的角度在一种描述逻辑SHOIQ(D)内提出了一个基于上下文的Context-SHOIQ(D)形式系统,文章对其语法、语义,以及有关推理和知识表示的若干元语言...; 关键词：范畴描述逻辑上下文 Context—SHOIQ(D) 信息集成

Extend OWL: toward a clustering integration of collaborative ontologies and agents: 《Journal of Southeast University(English Edition)》2006年第3期375-380,共6页肖如良唐胜群李玲房丽娜徐扬徐有威邓新国; In order to solve the problem of how to collaborate with foreign agents and ontologies, a restricted clustering integration approach is proposed. It differs from the traditional approaches in which web ontology langua...; 关键词：extended OWL ontology AGENTS COLLABORATION clustering integration

基于Web应用的MVC架构实现——AWDF被引量：16: 《计算机工程》2005年第10期89-90,196,共3页房丽娜唐胜群曾奕李宁; 国家自然科学基金资助项目(60373086); Agile Web Development Framework(AWDF)开发框架是作者提出的一种新型的Web开发框架,它基于MVC模型2,用于Web应用的开发。通过与struts的比较提出了AWDF的优势所在,并对AWDF的设计思想、框架模式、各个组成部分的定义功能及责任作了详...; 关键词：MCV模型2 STRUTS Controller Model View 框架数据字典

电子政务网格层次体系结构研究被引量：7: 《计算机应用研究》2005年第2期48-50,共3页黄钢林子禹韩剑房丽娜; 国家自然科学基金资助项目(69873036); 为适应目前我国电子政务系统建设的发展,使用最新的网格技术,提出了一种电子政务网格的层次体系结构,说明了该体系结构的设计原理,介绍了实现该体系结构使用的一些关键技术和该体系结构的特点。; 关键词：网格电子政务体系结构 GLOBUS TOOLKIT

修正的逻辑程序知识库更新方法: 《计算机工程与应用》2004年第36期58-60,66,共4页曾奕董红斌李宁房丽娜; 国家自然科学重大研究计划项目(编号:90204011);武汉大学软件工程国家重点试验室开放基金; 基于逻辑程序的知识库更新方法研究的焦点在于处理知识库的冲突问题,但代价是更新时规则库增大很快,该文提出了“修正的逻辑程序知识库更新方法”,此种方法基于一种规范知识库更新的形式化方法—修正程序,此种更新方法不仅可以最大程度...; 关键词：知识库更新修正程序逻辑程序逻辑程序更新

全选清除导出

共1页<1>

房丽娜