蔡国永
- 作品数：183 被引量：330H指数：9
- 供职机构：桂林电子科技大学更多>>
- 发文基金：广西壮族自治区自然科学基金国家自然科学基金广西研究生教育创新计划更多>>
- 相关领域：自动化与计算机技术文化科学电子电信经济管理更多>>
- 基于景点标签的协同过滤推荐
- 针对基于用户社会关系的协同过滤推荐算法有时无法给出目标用户对目标物品的评分的情况，以及基于物品的协同过滤推荐算法中存在的用户对不同类型物品的评分可能不具有可比性的问题，提出了两个基于物品标签的协同过滤推荐算法。这两个算法...
- 史一帆文益民蔡国永缪裕青
- 关键词：社会关系标签协同过滤
- 电子机构的进程代数模型研究
- 在开放异构的环境下,实现自治主体间可信的业务协同系统仍是一个困难的问题.电子机构为分析该类问题提供了一种较好的概念框架,但它对分布协同系统的设计实现阶段还缺乏有效支持.以进程代数理论为基础,提出一种适合电子机构的进程演算...
- 蔡国永高济董荣胜
- 关键词：电子机构自治主体
- 文献传递
- 基于UIO序列的测试方法及UIO生成算法研究被引量：9
- 2005年
- 测试序列生成是协议一致性测试的一个重要方面,好的测试序列应该有较大的错误覆盖率且长度越短越好。测试序列构成中的第三部分通常称为状态识别序列,通过比较几种以UIO序列为状态识别序列的协议一致性测试方法,提出了一个更好的UIO序列生成算法,该算法能产生更短的UIO序列。
- 古军蔡国永董荣胜
- 关键词：UIO序列测试序列生成有限状态机
- 一种对数据集稀疏度不敏感的协同推荐新方法
- 荐系统领域中,针对数据集稀疏性问题的研究大都建立在静态数据集的基础上,而实际工业应用中的数据集则往往是动态的并且具有以下两个明显的特征:1)User-Item矩阵维度逐渐增大;2)稀疏程度不断增加.因此,传统的依赖固定稀...
- 蔡国永吕瑞
- 关键词：计算机网络推荐系统数据集敏感性
- Statechart规格环境项目管理模型设计与实现
- 1999年
- Ｓｔａｔｅｃｈａｒｔ是一种用于反应式实时系统的行为建模语言。针对 Ｓｔａｔｅｃｈａｒｔ行为建模的需要，设计并已部分实现基于 Ｓｔａｔｅｃｈａｒｔ的行为规格模型创建工具。该工具将为反应式实时系统的开发分析人员提供极大的方便。
- 蔡国永古天龙庞健雄
- 关键词：STATECHART
- 一种基于多头注意力和词共现的方面级情感分析方法
- 本发明公开了一种基于多头注意力和词共现的方面级情感分析方法，包括如下步骤：1）获得文本嵌入表示和目标词嵌入表示；2）生成目标词表示；3）构建词共现矩阵；4）获得最终的文本表示；5）得到目标词的情感极性预测结果。这种方法提...
- 蔡国永兰天
- 文献传递
- 自动行走机器人控制器关键技术的研制与开发
- 黄国盛蔡国永覃少华陈皓卢森锴覃以威覃思陆业进潘角李家德韦文儒卢炳回傅天珠韩
- 一、项目来源：项目系桂林市科学技术局(甲方)通过市科[2017]３5号文件下达的2017年桂林市科学研究与技术开发计划项目“自动行走机器人控制器关键技术的研制与开发”(合同编号：20170113-6)。由桂林凯歌信息科技...
- 关键词：
- 关键词：控制器运动控制系统
- 基于像素法的胎面仿形缠绕集群控制系统研发及应用
- 赵龙阳杨瑞林孟瑞敏陈皓古天龙赵岭忠蔡国永周升平陈金龙崔更申钱俊彦朱建斌
- 该项目属于自动化技术领域。轮胎工业是现代交通运输产业的重要组成部分，胎面的仿形缠绕是轮胎生产技术的核心，有业内专家指出“轮胎技术的未来在缠绕”。仿形缠绕工艺的革新，一直是轮胎制造业自主创新的重点和难点。自2002年以术，...
- 关键词：
- 关键词：轮胎工业
- 在NetBill交易协议中引入对商家的时限责任的追究被引量：1
- 2004年
- NetBill电子交易系统是一个用于网上信息商品以及可通过网络发送的服务的微交易系统。本文从时限责任的角度指出了NetBill交易协议中存在的一种商家欺骗行为,并通过在NetBill交易协议中引入受信任的时间戳服务器的方法,使得修改后的NetBill交易协议能够支持对商家的时限责任的追究。最后本文采用时限逻辑证明了修改后的NetBill协议满足期望的时限属性。
- 彭勋董荣胜郭云川蔡国永
- 关键词：电子交易系统商家服务器时间戳
- Digicash协议原子性的符号模型分析被引量：1
- 2004年
- 电子商务协议的安全性和原子性是电子商务研究者和使用者广泛关心的问题,在协议设计完成之后,采取一定的方法对协议进行分析检验以确认协议,是否满足协议是否符合协议设计要求是十分必要的。提出了可以用符号模型检验器(SMV)对电子商务协议进行分析,在对Digicash协议及电子商务原子性进行形式化描述的基础上,用SMV从钱原子性和商品原子性这两个角度对Digicash协议的原子性进行了分析和检验,指出了Digicash协议的缺陷,从而表明了用SMV对电子商务协议分析和验证的可行性。
- 古天龙郭云川董荣胜蔡国永
- 关键词：电子商务协议符号模型检验原子性
