咨询与建议

限定检索结果

文献类型

  • 223 篇 期刊文献
  • 15 篇 会议

馆藏范围

  • 238 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 219 篇 工学
    • 185 篇 计算机科学与技术...
    • 119 篇 软件工程
    • 38 篇 控制科学与工程
    • 30 篇 网络空间安全
    • 25 篇 仪器科学与技术
    • 12 篇 信息与通信工程
    • 10 篇 电子科学与技术(可...
    • 7 篇 机械工程
    • 1 篇 材料科学与工程(可...
    • 1 篇 土木工程
  • 50 篇 管理学
    • 46 篇 管理科学与工程(可...
    • 2 篇 图书情报与档案管...
    • 1 篇 工商管理
    • 1 篇 公共管理
  • 11 篇 理学
    • 11 篇 数学
  • 10 篇 艺术学
    • 10 篇 设计学(可授艺术学...
  • 5 篇 军事学
    • 5 篇 军队指挥学
  • 1 篇 哲学
    • 1 篇 哲学
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 文学
    • 1 篇 新闻传播学
  • 1 篇 医学
    • 1 篇 公共卫生与预防医...

主题

  • 10 篇 推荐系统
  • 7 篇 注意力机制
  • 6 篇 无线传感器网络
  • 6 篇 重复数据删除
  • 6 篇 协同过滤
  • 6 篇 模型检测
  • 6 篇 卷积神经网络
  • 5 篇 特征选择
  • 5 篇 概念漂移
  • 5 篇 聚类
  • 5 篇 隐私保护
  • 5 篇 特征提取
  • 5 篇 随机游走
  • 4 篇 同态加密
  • 4 篇 模糊逻辑
  • 4 篇 安全多方计算
  • 4 篇 计算树逻辑
  • 4 篇 云计算
  • 4 篇 社区搜索
  • 4 篇 情感分析

机构

  • 185 篇 桂林电子科技大学
  • 56 篇 广西可信软件重点...
  • 28 篇 西北师范大学
  • 16 篇 广西师范大学
  • 13 篇 中国矿业大学
  • 12 篇 电子科技大学
  • 8 篇 中国科学院成都计...
  • 8 篇 南通大学
  • 7 篇 中国科学院成都计...
  • 7 篇 西安电子科技大学
  • 7 篇 南京邮电大学
  • 6 篇 电子装备结构设计...
  • 6 篇 南京大学
  • 6 篇 天津理工大学
  • 6 篇 陕西师范大学
  • 5 篇 北京交通大学
  • 5 篇 清华大学
  • 5 篇 重庆大学
  • 5 篇 华东师范大学
  • 5 篇 武汉大学

作者

  • 28 篇 马慧芳
  • 20 篇 文益民
  • 18 篇 蔡国永
  • 16 篇 钱俊彦
  • 15 篇 常亮
  • 13 篇 姜淑娟
  • 12 篇 古天龙
  • 12 篇 缪裕青
  • 9 篇 张会兵
  • 9 篇 张艳梅
  • 9 篇 孙晋永
  • 9 篇 邓珍荣
  • 8 篇 王勇
  • 8 篇 黄文明
  • 7 篇 赵岭忠
  • 6 篇 彭成
  • 6 篇 李志欣
  • 6 篇 白媛
  • 6 篇 王树鹏
  • 6 篇 冯勇

语言

  • 238 篇 中文
检索条件"机构=电子科技大学计算机推理与可信计算实验室"
238 条 记 录,以下是171-180 订阅
排序:
基于CTL的并发系统CSP模型验证
收藏 引用
河南师范大学学报(自然科学版) 2016年 第5期44卷 140-145页
作者: 王亚丽 杨育捷 赵岭忠 翟仲毅 河南师范大学计算机与信息工程学院 河南新乡453007 河南师范大学"智慧商务与物联网技术"河南省工程实验室 河南新乡453007 桂林电子科技大学广西可信软件重点实验室 广西桂林541004
主要通过指称语义和回答集程序(Answer Set Programming,简称ASP)完成迹模型的生成,并构建了一套基于计算树逻辑(computing tree logic,简称CTL)的CSP模型验证方法.实验表明,该方法对于分支类型的性质具有较好的描述能力,且保证了验证... 详细信息
来源: 评论
弹性移动云计算的研究进展与安全性分析
收藏 引用
计算机研究与发展 2015年 第6期52卷 1362-1377页
作者: 李鹏伟 傅建明 李拴保 吕少卿 沙乐天 武汉大学计算机学院 武汉430072 空天信息安全与可信计算教育部重点实验室(武汉大学) 武汉430072 软件工程国家重点实验室(武汉大学) 武汉430072 综合业务网理论及关键技术国家重点实验室(西安电子科技大学) 西安710071 南京邮电大学计算机学院 南京210046
弹性移动云计算(elastic mobile cloud computing,EMCC)中,移动设备按照实时需求将部分任务迁移到云端执行,无缝透明的利用云资源增强自身功能.将现有EMCC方案分为雇佣云端完成部分计算密集任务的计算迁移型移动云计算(computing migrat... 详细信息
来源: 评论
基于协作度的分布式自动协商联盟形成机制
收藏 引用
计算机研究与发展 2015年 第5期52卷 1080-1090页
作者: 胡军 张振兴 邹立 湖南大学信息科学与工程学院 长沙410082 计算机软件新技术国家重点实验室(南京大学) 南京210093 桂林电子科技大学广西可信软件重点实验室 广西桂林541004
现有联盟形成的研究中大都没有考虑到不同Agent的协作资源和协作态度不同的异质性,而是假定所有Agent具有相同的协作资源和协作态度.为此提出一种基于协作度的分布式自动协商联盟形成机制(collaborative degree-based distributed autom... 详细信息
来源: 评论
基于对象引用关系的Java程序内存行为分析方法
收藏 引用
电子学报 2015年 第7期43卷 1336-1343页
作者: 李文杰 姜淑娟 钱俊彦 王兴亚 鞠小林 中国矿业大学计算机科学与技术学院 江苏徐州221116 桂林电子科技大学计算机科学与工程学院 广西桂林541004 广西可信软件重点实验室 广西桂林541004 南通大学计算机科学与技术学院 江苏南通226019
本文提出一种基于对象引用关系的Java程序内存行为分析方法.与传统的通过内存消耗的大小来确定程序中数据结构的重要性并分析相关内存行为的方法不同,本文方法同时考虑内存消耗和内存支配两个因素来确定一个数据结构在程序内存行为中的... 详细信息
来源: 评论
初等函数可验证赋值及误差分析
收藏 引用
计算机科学 2015年 第4期42卷 25-30页
作者: 刘剑 唐敏 曾霞 曾振柄 华东师范大学上海高可信计算重点实验室 上海200062 桂林电子科技大学数学与计算机学院 桂林541004
研究了GNU标准下初等函数的赋值原理及算法实现。基于IEEE 754-2008浮点标准,利用误差分析基本结论,对GNU下C语言标准数学函数库中的初等函数赋值程序进行理论误差分析。利用Boost库中提供的区间类,将以浮点数作为基本数据类型的程序重... 详细信息
来源: 评论
中文微博情感分类的简单多标签排序算法
收藏 引用
计算机应用 2015年 第10期35卷 2721-2726页
作者: 史绍亮 文益民 缪裕青 桂林电子科技大学计算机科学与工程学院 广西桂林541004 广西可信软件重点实验室(桂林电子科技大学) 广西桂林541004
针对中文微博文本情感分类中每个样本最多只有两种有序情感标签的情形,提出了一种简单的多标签排序算法——TSMLR,该算法采用两步学习和两步分类的策略,通过学习情感标签之间的主次关系,对微博文本的情感进行分类并对情感标签进行排序... 详细信息
来源: 评论
面向社交网络基于协作度协商的联盟形成机制
收藏 引用
湖南大学学报(自然科学版) 2015年 第2期42卷 100-108页
作者: 胡军 张振兴 邹立 湖南大学信息科学与工程学院 湖南长沙410082 湖南大学嵌入式与网络计算湖南省重点实验室 湖南长沙410082 桂林电子科技大学广西可信软件重点实验室 广西桂林541004 南京大学计算机软件新技术国家重点实验室 江苏南京210093
分布式多Agent构成的社交网络通常表现出不同的特征,针对不同的社交网络和多Agent本身的异质性,提出了一种面向社交网络的基于协作度协商联盟形成机制.该机制依托多Agent构成的社交网络环境,建立面向分布式环境的分布式协商协议,并设计... 详细信息
来源: 评论
基于随机函数的哈希函数
收藏 引用
计算机工程与设计 2015年 第10期36卷 2679-2683页
作者: 王勇 蔡国永 桂林电子科技大学广西可信软件重点实验室 广西桂林541004 桂林电子科技大学计算机科学与工程学院 广西桂林541004
为增强hash函数的安全性,提出将哈希函数随机化的观点。将传统确定的哈希函数替换成随机的哈希函数,随机函数具有多种具体形式,在运算的时候通过消息确定随机函数的具体形式,哈希函数的破译者不知道消息,无从得知哈希函数的具体形式而... 详细信息
来源: 评论
基于概率相关性的多标签数据流变化检测
收藏 引用
计算机科学 2015年 第8期42卷 60-64页
作者: 石中伟 文益民 桂林电子科技大学计算机科学与工程学院 桂林541004 广西可信软件重点实验室 桂林541004
由于传统的概念漂移检测研究主要针对单标签数据流,对现实中常见的多标签数据流却缺乏足够的关注,多标签数据流概念漂移检测问题有待进一步的研究。因此,通过分析多标签数据流中存在的特殊依赖关系,提出了一种基于概率相关性的多标签数... 详细信息
来源: 评论
溯因推理问题的碰集求解方法
收藏 引用
软件学报 2015年 第8期26卷 1937-1945页
作者: 余泉 李承乾 申宇铭 王驹 中山大学计算机科学系 广东广州510006 黔南民族师范学院数学系 贵州都匀558000 广西可信软件重点实验室(桂林电子科技大学) 广西桂林541004 广东外语外贸大学思科信息学院 广东广州510420 广西师范大学计算机科学与信息工程学院 广西桂林541004
溯因推理为归纳与演绎推理之外的另一种重要的推理形式,在人工智能等领域有着广泛的应用.通俗地讲,溯因推理是从观察(结果)去推断原因的推理过程.不同于以往的研究思路,通过使用本原蕴含式和素蕴含,证明了可以把命题逻辑和命题模态逻辑... 详细信息
来源: 评论