期刊文献+
共找到13篇文章
< 1 >
每页显示 20 50 100
同步数据流语言可信编译器的构造 被引量:18
1
作者 石刚 王生原 +6 位作者 董渊 嵇智源 甘元科 张玲波 张煜承 王蕾 杨斐 《软件学报》 EI CSCD 北大核心 2014年第2期341-356,共16页
同步数据流语言近年来在航空、高铁、核电等安全关键领域得到广泛应用.然而,此类语言相关开发工具本身的安全性业已成为被高度关注的安全隐患之一.借助辅助定理证明器实现常规语言编译器的构造和验证已被证明是成功的,有望最大限度地解... 同步数据流语言近年来在航空、高铁、核电等安全关键领域得到广泛应用.然而,此类语言相关开发工具本身的安全性业已成为被高度关注的安全隐患之一.借助辅助定理证明器实现常规语言编译器的构造和验证已被证明是成功的,有望最大限度地解决误编译问题.基于这种方法,开展了从同步数据流语言(Lustre为原型)到串行命令式语言(C为原型)的可信编译器构造的关键技术研究.其挑战性在于两类语言之间的巨大差异,源语言具有时钟同步、数据流、并发及流数据对象等特征,而目标语言则具有顺序控制流特征.同类研究中,目前尚无针对核心翻译过程的公开成果.就单一时钟的情形实现了一个经过形式化验证的完整编译过程,相关技术将应用于安全关键领域编译系统的开发.综述了这一可信编译器的研究背景、意义、总体设计框架、核心技术、现状以及进行中或后续的工作. 展开更多
关键词 同步数据流语言 经过验证的编译器 形式化验证 形式语义 定理证明
下载PDF
面向大数据的内存数据管理研究现状与展望 被引量:11
2
作者 嵇智源 潘巍 《计算机工程与设计》 CSCD 北大核心 2014年第10期3499-3506,共8页
对面向大数据的内存数据管理技术的相关研究进行综述。梳理大数据环境下数据管理技术发展的脉络和格局的变化;分析新环境下的内存数据管理技术面临的发展机遇与研究挑战;介绍相关的前沿研究,其中包括分布式编程模型、混合存储体系结构... 对面向大数据的内存数据管理技术的相关研究进行综述。梳理大数据环境下数据管理技术发展的脉络和格局的变化;分析新环境下的内存数据管理技术面临的发展机遇与研究挑战;介绍相关的前沿研究,其中包括分布式编程模型、混合存储体系结构、内存数据管理等;给出技术和管理上的发展展望。 展开更多
关键词 大数据 内存计算 存储级内存 多核 混合存储体系
下载PDF
自适应小世界粒子群优化算法 被引量:2
3
作者 龚月姣 嵇智源 《计算机工程与设计》 北大核心 2015年第6期1598-1607,共10页
提出一种基于小世界网络的自适应拓扑结构。每个粒子都与它的近邻粒子进行交互,其有一定概率通过小世界重置与远方的粒子进行沟通;为粒子群体的每个维度分配一个特定的小世界网络,不同维能够学习不同邻居的历史信息;粒子的邻域大小与小... 提出一种基于小世界网络的自适应拓扑结构。每个粒子都与它的近邻粒子进行交互,其有一定概率通过小世界重置与远方的粒子进行沟通;为粒子群体的每个维度分配一个特定的小世界网络,不同维能够学习不同邻居的历史信息;粒子的邻域大小与小世界重置的概率将在种群收敛状态的基础上进行自适应调整。利用标准函数集对该算法进行测试,测试结果表明,通过该机制,粒子群体具有更好的搜索多样性,能够平衡全局探索与局部开发。 展开更多
关键词 全局优化 粒子群优化 小世界网络 拓扑结构 自适应
下载PDF
国家科技计划执行研究:困境及对策初探 被引量:3
4
作者 嵇智源 智强 《中国科技论坛》 CSSCI 北大核心 2014年第8期5-10,共6页
国家科技计划作为我国支持科技创新的重要政策工具,是实施创新驱动战略的重要组成部分。本文基于国家科技计划的执行实践,以国家863计划为例,对目标导向型国家研发计划的过程管理中存在的现实困境进行归纳和提炼,分析创新驱动战略下科... 国家科技计划作为我国支持科技创新的重要政策工具,是实施创新驱动战略的重要组成部分。本文基于国家科技计划的执行实践,以国家863计划为例,对目标导向型国家研发计划的过程管理中存在的现实困境进行归纳和提炼,分析创新驱动战略下科技计划管理面临的制度困境、选择困境和风险困境,并针对这些困境提出政策建议,以期对完善科技计划管理制度提供参考。 展开更多
关键词 创新驱动 科技计划 执行困境 对策
下载PDF
基于中间语言的JNI内存泄漏检查 被引量:4
5
作者 蒋挺宇 王鹏 +4 位作者 杨述 褥震 董渊 王生原 嵇智源 《计算机研究与发展》 EI CSCD 北大核心 2015年第4期898-906,共9页
JNI技术支持Java与本地C/C++的相互调用,在Android等混合语言实现的系统中有着广泛应用,但语言之间的安全特性差异使其成为安全薄弱环节,现有的分析方法难以处理多语言相互调用产生的安全缺陷.以JNI调用中易产生的内存泄漏为例,开展Java... JNI技术支持Java与本地C/C++的相互调用,在Android等混合语言实现的系统中有着广泛应用,但语言之间的安全特性差异使其成为安全薄弱环节,现有的分析方法难以处理多语言相互调用产生的安全缺陷.以JNI调用中易产生的内存泄漏为例,开展Java/C++JNI跨语言分析的研究.采用扩展的Java Bytecode(Bytecode*)指令作为C++语义的解释来消除跨语言分析的障碍.围绕JNI调用中内存泄漏的问题,做了以下3方面工作:1)定义兼容Java/C++语言的分块内存模型;2)基于LLVM/LLJVM,设计实现了C++到Bytecode*的翻译策略;3)建立方法调用图,提取方法摘要,利用过程间分析方法检测JNI调用中的内存泄漏.针对具有典型内存泄漏特征的JNI实例翻译检测表明,该工作能够准确检测出Java/C++混合语言中的内存泄漏,对于JNI混合语言编程的理解和漏洞分析具有重要价值. 展开更多
关键词 Java本地调用 跨语言分析 语义扩展 字节码 内存泄漏
下载PDF
移动用户人口统计信息预测 被引量:1
6
作者 王亦雷 嵇智源 +2 位作者 夏勇 秦臻 程红蓉 《电子科技大学学报》 EI CAS CSCD 北大核心 2015年第6期917-920,933,共5页
提出了一种基于支持向量机的预测方法,通过分析智能手机应用的使用情况,预测用户的人口统计信息。手机使用行为数据约为5万智能手机用户在3个月期间使用手机应用产生的网络日志文件,包括179 954 181条日志记录。通过对日志记录的主题进... 提出了一种基于支持向量机的预测方法,通过分析智能手机应用的使用情况,预测用户的人口统计信息。手机使用行为数据约为5万智能手机用户在3个月期间使用手机应用产生的网络日志文件,包括179 954 181条日志记录。通过对日志记录的主题进行分析,可将179 954 181条日志记录匹配到266个不同的主题。在此基础上,通过将每个用户的人口统计信息与该用户对266个不同主题的访问权重进行关联,可构建训练数据,并代入支持向量机模型进行计算。实验结果表明该方法对用户的性别和年龄预测能够取得良好的预测结果。 展开更多
关键词 人口统计信息 预测 智能手机应用 支持向量机
下载PDF
基于开源软件的大数据分析平台 被引量:3
7
作者 嵇智源 《数字技术与应用》 2015年第3期100-100,共1页
针对大数据的开源代码平台具有高灵活性,低成本,高质量的优势,在大数据分析平台的构建中,开源软件扮演着极其重要的角色,开源软件成为大数据整体解决方案的最重要一部分。本论文介绍了大数据分析的结构特点、开源社区软件的大数据分析... 针对大数据的开源代码平台具有高灵活性,低成本,高质量的优势,在大数据分析平台的构建中,开源软件扮演着极其重要的角色,开源软件成为大数据整体解决方案的最重要一部分。本论文介绍了大数据分析的结构特点、开源社区软件的大数据分析软件发展,提出了基于开源软件的大数据分析平台面临的问题。 展开更多
关键词 开源软件 大数据 数据分析
下载PDF
分布式进化算法的性能测试与分析 被引量:1
8
作者 陈炳亮 张宇辉 嵇智源 《计算机应用》 CSCD 北大核心 2014年第11期3086-3090,共5页
针对分布式进化算法设计过程中由于缺乏对性能影响因素的分析而导致算法无法达到预期加速比的问题,提出一种全面的性能分析方法。根据分布式进化算法的组成结构,将影响分布式进化算法性能的因素分为进化操作开销、适应值计算开销和通信... 针对分布式进化算法设计过程中由于缺乏对性能影响因素的分析而导致算法无法达到预期加速比的问题,提出一种全面的性能分析方法。根据分布式进化算法的组成结构,将影响分布式进化算法性能的因素分为进化操作开销、适应值计算开销和通信开销三个部分。首先研究进化算法在不同个体编码维数下进化操作开销的特性;其次,在进化操作开销相对固定的情况下,通过使用操作系统的延时函数控制适应值计算开销,通过改变个体编码维数控制通信开销;最后,应用控制变量方法,逐一测试各因素对算法加速比的影响。实验结果展现了三种因素的相互制约关系,给出了分布式进化算法获得更好加速比的条件。 展开更多
关键词 分布式进化算法 分布式模型 遗传算法 粒子群优化算法 性能分析
下载PDF
基于道路环境上下文的行人跟踪方法 被引量:2
9
作者 方义 嵇智源 盛浩 《计算机应用》 CSCD 北大核心 2015年第8期2311-2315,2326,共6页
针对目前城市交通中人车混行场景中行人跟踪效果不佳的问题,提出了一种基于道路环境上下文的行人跟踪方法。首先通过对道路环境上下文进行分析,建立道路模型;其次在道路模型的约束下建立行人与环境的交互运动模型;最后利用该模型进行行... 针对目前城市交通中人车混行场景中行人跟踪效果不佳的问题,提出了一种基于道路环境上下文的行人跟踪方法。首先通过对道路环境上下文进行分析,建立道路模型;其次在道路模型的约束下建立行人与环境的交互运动模型;最后利用该模型进行行人的跟踪。在真实场景中的实验表明使用了道路上下文信息的跟踪方法与连续离散连续能量最小化的多行人跟踪方法相比,多目标跟踪准确度从47.6%提升至63.2%,多目标跟踪精度从68.8%提升至74.3%。数值结果表明道路上下文信息对于提高人车混行场景中行人跟踪效果的有效性。 展开更多
关键词 多行人跟踪 人车混行 环境上下文 道路模型 环境交互
下载PDF
操作系统发展趋势分析与开源发展建议 被引量:1
10
作者 嵇智源 吴庆波 余杰 《中国基础科学》 2015年第2期50-55,共6页
近年来,随着全球计算机市场的不断壮大,开源操作系统也越来越受到人们的重视。本文首先分析了操作系统的发展现状,发现传统单机操作系统市场发展稳中有增,而智能终端操作系统市场增长趋势放缓;其次从市场和技术两个方面深入分析了操作... 近年来,随着全球计算机市场的不断壮大,开源操作系统也越来越受到人们的重视。本文首先分析了操作系统的发展现状,发现传统单机操作系统市场发展稳中有增,而智能终端操作系统市场增长趋势放缓;其次从市场和技术两个方面深入分析了操作系统的发展趋势,重点论述了操作系统的4个技术趋势:界面一体化、向上包容化、云-端融合化、服务虚拟化;最后结合我国开源操作系统的现状,提出了发展建议。 展开更多
关键词 操作系统 开源 一体化 虚拟化
原文传递
基于KPCA的半定量SDG过程故障诊断方法应用研究 被引量:1
11
作者 徐圆 周子茜 嵇智源 《计算机与应用化学》 CAS 2015年第2期169-174,共6页
近年来,过程工业安全事故频发,这使得加强生产过程安全保障变得迫在眉睫,而对于过程故障的监测、诊断是有效规避故障产生严重后果的一个有效方法。本文提出了一种基于核主成分分析(KPCA)的半定量符号有向图(SDG)故障诊断方法。此方法运... 近年来,过程工业安全事故频发,这使得加强生产过程安全保障变得迫在眉睫,而对于过程故障的监测、诊断是有效规避故障产生严重后果的一个有效方法。本文提出了一种基于核主成分分析(KPCA)的半定量符号有向图(SDG)故障诊断方法。此方法运用KPCA对过程进行异常检测,当找到异常过程变量后,通过引入相对偏移率和分类诊断对传统SDG进行改进,从而得到故障的完整传播路径,为故障诊断以及后续的故障处理提供了有效的指导。通过在TE过程中的仿真验证,结果表明,本方法诊断效率高,精确度高,为保证生产安全运行,提高产品质量提供了新途径。 展开更多
关键词 核主成分分析 符号有向图 TE模型 故障诊断
原文传递
基于开源软件构建的云计算平台安全性概述 被引量:1
12
作者 嵇智源 《网络安全技术与应用》 2015年第2期172-173,共2页
云计算以其提高服务质量的同时降低运维成本的优越性越来越被业界看好,在云计算时代发展开源软件,将有利于推进云计算产业的发展。但是基于开源软件构建的云平台依然无法回避其安全的"瓶颈"问题。开源软件具有更好的安全性,... 云计算以其提高服务质量的同时降低运维成本的优越性越来越被业界看好,在云计算时代发展开源软件,将有利于推进云计算产业的发展。但是基于开源软件构建的云平台依然无法回避其安全的"瓶颈"问题。开源软件具有更好的安全性,这是不争事实,但是开源软件要在源代码之外,配置安全管理,本文讨论了基于开源软件的云平台构建所面临的安全问题,应该采取的安全管理措施。 展开更多
关键词 云计算 开源软件 安全
原文传递
Towards Cost-Effective Cloud Downloading with Tencent Big Data 被引量:1
13
作者 李振华 刘刚 +1 位作者 嵇智源 Roger Zimmermann 《Journal of Computer Science & Technology》 SCIE EI CSCD 2015年第6期1163-1174,共12页
The cloud downloading scheme, first proposed by us in 2011, has effectively optimized hundreds of millions of users' downloading experiences. Also, people start to build a variety of useful Internet services on top o... The cloud downloading scheme, first proposed by us in 2011, has effectively optimized hundreds of millions of users' downloading experiences. Also, people start to build a variety of useful Internet services on top of cloud downloading. In brief, by using cloud facilities to download (and cache) the requested file from the "best-effort" Internet on behalf of the user, cloud downloading ensures the data availability and remarkably enhances the data delivery speed. Although this scheme seems simple and straightforward, designing a real-world cloud downloading system involves complicated and subtle trade-offs (between deployment cost and user experience) when serving a large number of users: 1) how to plan the cloud cache capacity to achieve a high and affordable cache hit ratio, 2) how to accelerate the data delivery from the cloud to numerous users, 3) how to handle the dense user requests for highly popular files, and 4) how to judge a potential downloading failure of the cloud. This paper addresses these design trade-offs from a practical perspective, based on big data from a nationwide commercial cloud downloading system, i.e., Tencent QQXuanfeng. Its running traces help us find reasonable design strategies and parameters, and its real performances confirm the efficacy of our design. Our study provides solid experiences and valuable heuristics for the developers of similar and relevant systems. 展开更多
关键词 cloud downloading COST-EFFECTIVE design trade-off big data
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部