邓婷
- 作品数：28 被引量：87H指数：4
- 供职机构：北京航空航天大学更多>>
- 发文基金：国家自然科学基金教育部“优秀青年教师资助计划”广西壮族自治区自然科学基金更多>>
- 相关领域：自动化与计算机技术理学文化科学更多>>
- 服务副本读写方法及系统
- 本发明提供一种服务副本读写方法及系统。其中的读取方法包括：副本节点接收到客户端发来的读请求后，为该读请求赋予全局唯一的请求标识rid；所述副本节点检验第三类一致性配置条件F<Sub>3</Sub>(ψ(r(rid)),y...
- 孙海龙邓婷王旭张日崇
- 文献传递
- 一种低资源场景下的文本生成方法、装置及系统
- 本发明提出了一种低资源场景下的文本生成方法、装置与系统，包括：步骤一，为有监督网络输入少量的有监督训练样本，同时为无监督网络输入大量的无监督训练样本，并对无监督文档复制两份，再分别对其嵌入向量进行dropout，得到两组...
- 李建欣毛乾任刘骏楠蒋为峰邓婷邰振赢
- 文献传递
- 基于协议的服务组合系统和方法
- 本发明公开了一种基于协议的服务组合系统和方法，其中，该系统包括：组合服务运行环境、服务总线、服务信息管理器、服务监测系统和优化管理器；所述组合服务运行环境通过所述服务总线与客户端交互，用于承载所述用户端的各个服务的运行、...
- 郭慧鹏怀进鹏刘旭东杜宗霞邓婷
- 一种基于冗余机制的高可用服务组合实现方法
- 本发明提供了一种基于冗余机制的高可用服务组合实现方法。该方法采用可用性价格比最优算法，其基本思想为：引入选择因子，即用服务组合的可用度增量和相应成本增量的比值作为选择增加哪个冗余服务的准则。每次迭代将选择因子最大的服务，...
- 怀进鹏郭慧鹏李扬邓婷杜宗霞曾晋
- 文献传递
- 有限自动机的积可逆性讨论被引量：11
- 2004年
- 主要讨论了有限自动机运算后的可逆情况,给出了有限自动机串、并联后为可逆(弱可逆,延迟有限步(弱)可逆)的若干条件,最后对有限自动机的化合运算的可逆性进行了特别讨论.
- 林莉邓婷邓培民易忠
- 关键词：有限自动机映射
- 基于服务组合的可信软件动态演化机制被引量：36
- 2010年
- 以基于服务组合的可信软件为研究对象,重点研究通过组合服务的动态演化机制保障网络化软件的可信性.首先,提出了一个合理性保持的演化操作集,避免复杂的验证过程,使得演化后的组合服务保持结构合理性;在此基础上,通过构造冗余路径的方式给出了一个面向可用性保障的组合服务演化方法;然后,针对组合服务动态演化过程中运行实例的处理,设计了一个组合服务演化中运行实例在线迁移算法,为正确实施演化提供支持;最后,设计实现了一个支持动态演化的组合服务执行引擎,并通过实验验证了所提出方法的有效性.
- 曾晋孙海龙刘旭东邓婷怀进鹏
- 关键词：WEB服务
- 232规则元胞自动机的稳定性被引量：2
- 2003年
- 研究满足三重局部变换规则—— 2 32规则的一维有限元胞自动机分别在固定边界条件和周期边界条件下的稳定性 ,刻划了该类元胞自动机中不动点的个数及它们的瞬时长度 .
- 邓婷易忠邓培民
- 关键词：元胞自动机稳定性周期边界条件不动点
- 服务副本读写方法及系统
- 本发明提供一种服务副本读写方法及系统。其中的读取方法包括：副本节点接收到客户端发来的读请求后，为该读请求赋予全局唯一的请求标识rid；所述副本节点检验第三类一致性配置条件F<Sub>3</Sub>(ψ(r(rid)),y...
- 孙海龙邓婷王旭张日崇
- 文献传递
- 正确性保证的组合服务综合问题复杂度研究被引量：1
- 2012年
- Web服务应用中一个富有挑战性的关键问题是:如何自动组合已有的Web服务并保证组合的正确性(如以时态逻辑LTL,CTL,CTL*等公式规范的时态性质).现有研究工作大多延用传统软件开发中的设计、验证、分析和纠错的过程,这使得组合过程既复杂又低效.文中研究了基于CTL与CTL*的组合服务综合问题,即利用已有Web服务自动生成满足给定的CTL,CTL*逻辑公式的组合服务,从而可以无需另外的验证过程,避免反复进行组合.证明了以CTL与CTL*逻辑公式为组合需求时,组合服务综合问题分别为EXPTIME–完全和2EXPTIME–完全问题.同时讨论了当综合失败时,如何通过合理限制环境(即服务的交互对象,如用户或其他服务)的输出使得综合成功,并证明了该问题关于CTL与CTL*逻辑公式同样分别为EXPTIME–完全和2EXPTIME–完全问题.
- 邓婷怀进鹏沃天宇
- 关键词：WEB服务时态逻辑
- 一种基于图依赖规则和监督学习的图数据实体识别系统
- 本发明通过特征提取和特征选择的方法，设计了一种基于图依赖规则和监督学习的图数据实体识别系统，其方法主要是将图匹配键作为实体识别依赖的规则，提出的一种监督学习的实体识别方法，其包含四个步骤：给出定义、图匹配键特征提取、图匹...
- 邓婷侯蕾韩紫燕
