咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是211-220 订阅
排序:
基于形式化方法的服务自动测试方法
收藏 引用
系统工程与电子技术 2013年 第12期35卷 2619-2630页
作者: 张迎周 符炜 张卫丰 南京邮电大学计算机学院 江苏南京210003 桂林电子科技大学广西可信软件重点实验室 广西桂林541004 江苏省无线传感网高技术研究重点实验室 江苏南京210003
鉴于开放网络环境下的Web服务实体主要来源于不同的第三方提供者,并且其形成与运行过程常处于一种演化状态中,故难以采取传统的测试方式保障其可靠性。利用代数方法从"观察"角度考察系统及其性质,结合单子的高度可结合性、反... 详细信息
来源: 评论
一种面向移动计算的机密性与完整性模型
收藏 引用
计算机学报 2013年 第7期36卷 1424-1433页
作者: 郭云川 方滨兴 殷丽华 周渊 中国科学院信息工程研究所 北京100093 广西可信软件重点实验室(桂林电子科技大学) 广西桂林541004 国家计算机网络应急技术处理协调中心 北京100029
机密性和完整性是移动计算的两个重要特性,如何保障机密性和完整性是移动计算的重大挑战.利用π演算能有效建模移动并发系统的特征,借鉴程序语言中不同类型变量之间的赋值方式,提出基于混杂类型检测的安全π演算(Hybrid Typed Security... 详细信息
来源: 评论
深度优先的多基因表达式程序设计
收藏 引用
模式识别与人工智能 2013年 第9期26卷 819-828页
作者: 邓薇 何锫 钱俊彦 长沙理工大学计算机与通信工程学院长沙410114 北京大学高可信软件技术教育部重点实验室北京100871 桂林电子科技大学广西可信软件重点实验室桂林541004
基因表达式程序设计(GEP)是应用十分广泛的自动程序设计方法.就解码方法而言,它主要依据广度优先原则来实施从个体表示到表达式的转换.这代表基因片段的含义会因环境的变化而变化.为此,现有GEP对个体的评估缺乏并发支持能力.本文从理论... 详细信息
来源: 评论
非线性循环的终止性分析
收藏 引用
软件学报 2012年 第5期23卷 1045-1052页
作者: 李轶 电子科技大学计算机推理与可信计算实验室 四川成都610054
单重线性循环程序的终止性问题已被广泛研究,而有关非线性循环终止性判定的结果甚少.利用不动点理论研究了n维单重非线性循环的终止性问题,并建立了相应的符号判定算法.同时,对几类特殊循环的终止性进行了分析,得出了相应的结论.
来源: 评论
一种过程间单子切片方法
收藏 引用
电子学报 2013年 第8期41卷 1457-1461页
作者: 张迎周 符炜 南京邮电大学计算机学院 江苏南京210003 广西可信软件重点实验室 桂林电子科技大学广西桂林541004 江苏省无线传感网高技术研究重点实验室 江苏南京210003 宽带无线通信与传感网技术教育部重点实验室 江苏南京210003
在现有的过程内单子切片算法基础上,提出基于回填待定标号的过程间单子切片算法:先以待定标号初始化子过程中开始处参数变量的切片;再对其进行过程内单子切片分析,据此可得相应参数间依赖关系;最后回填切片表中相应的待定标号,从而获得... 详细信息
来源: 评论
Zigbee传感器网络协议栈的研究与分析
收藏 引用
电脑知识与技术 2013年 第6X期9卷 4220-4222页
作者: 李小龙 彭美平 桂林电子科技大学计算机科学与工程学院 广西桂林541004 广西可信软件重点实验室 广西桂林541004
Zigbee为一种低延迟,低功耗,低成本和高可靠性的无线网状组网标准,有效满足传感器网络的要求,在工业监控、野外侦测、目标监控等领域具有广泛的应用前景。该文介绍和分析了Zigbee协议栈,给出了其整体系统结构,重点介绍了Zigbee标准物理... 详细信息
来源: 评论
传感器网络中基于信任管理的高可靠覆盖机制
传感器网络中基于信任管理的高可靠覆盖机制
收藏 引用
2013全国高性能计算学术年会
作者: 李小龙 董书豪 梁海 桂林电子科技大学 计算机科学与工程学院 广西可信软件重点实验室 桂林541004
针对传感器网络中的安全覆盖问题,将覆盖算法整合到信任管理系统中,提出了一种分布式基于信任管理的高可靠覆盖机制。通过分析信任管理系统的潜在要求,理论上推导和分析了网格尺寸选择。引入动态信任阈值新的概念,定量分析了覆盖节... 详细信息
来源: 评论
基于ASP的CSP进程描述与组合研究
基于ASP的CSP进程描述与组合研究
收藏 引用
第四届全国智能信息处理学术会议
作者: 赵岭忠 司徒凌云 翟仲毅 钱俊彦 桂林电子科技大学计算机科学与工程学院 桂林541004 广西可信软件重点实验室 桂林541004 桂林电子科技大学计算机科学与工程学院 桂林541004
前期工作中,为解决CSP模型检测不支持一次运行验证多条性质的问题,构建了基于ASP的CSP模型检测框架,但其存在着可描述并发进程形态不完善与可验证并发系统规模受限的问题.构建了全新的并发系统ASP描述体系,其解决了前期工作中前缀描述... 详细信息
来源: 评论
基于OPNET的改进型Zigbee传感器网络仿真系统
收藏 引用
江苏大学学报(自然科学版) 2012年 第6期33卷 671-677页
作者: 李小龙 彭美平 桂林电子科技大学计算机科学与工程学院 广西桂林541004 桂林电子科技大学广西可信软件重点实验室 广西桂林541004
为解决基于OPNET网络仿真器的Zigbee传感器网络仿真系统的控制开销大、网络延时大、可扩展性差、不能保证节点全部接入网络等问题,提出一种改进的仿真系统.利用OPNET仿真开发平台提供的IEEEE802.15.4协议的MAC层进程模型和无线管道模型... 详细信息
来源: 评论
基于加权下推系统优化可达性分析的Java安全信息流研究
收藏 引用
计算机研究与发展 2012年 第5期49卷 901-912页
作者: 孙聪 唐礼勇 陈钟 马建峰 计算机网络与信息安全教育部重点实验室(西安电子科技大学) 西安710071 高可信软件技术教育部重点实验室(北京大学) 北京100871
信息流安全的形式化以无干扰性为标准属性.针对目前字节码级的信息流安全分析均未基于对程序无干扰性的语义表示,提出了一种基于语义的无干扰性自动验证方法.为适应语言特性和应用环境的限制,将基本自合成扩展为低安全级记录自合成,以... 详细信息
来源: 评论