期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于并行计算的海量日志分析系统实现
被引量：
1
1
作者
白超
杨静
吴建国
《计算机技术与发展》
2013年第7期80-83,共4页
通过深入研究日志的类型和特点,设计并实现了一套基于并行计算的海量日志文件分析系统。该系统采用集群方式并行地收集日志文件,采用分布式文件系统存储,最终利用并行计算对日志进行分析处理。该系统实现了日志采集、分析的完全自动化处...
通过深入研究日志的类型和特点,设计并实现了一套基于并行计算的海量日志文件分析系统。该系统采用集群方式并行地收集日志文件,采用分布式文件系统存储,最终利用并行计算对日志进行分析处理。该系统实现了日志采集、分析的完全自动化处理,在系统部署之后能够有效地进行系统安全的维护、系统性能的优化、系统故障的排查。该系统结合云计算提高了日志分析的效率,解决了海量日志处理过程中存在的问题,为海量日志分析提供了一个完整有效的解决方案。
展开更多
关键词
分布式计算
分布式文件系统
云计算
日志处理
下载PDF
职称材料
基于概率模型检验的Web服务系统可靠性分析
被引量：
1
2
作者
高洪皓
开金宇
+3 位作者
周家安
缪淮扣
黄婉秋
王皙
《东南大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2017年第A01期132-139,共8页
为了实现对Web服务系统进行可靠性分析,采用概率模型检验技术对其行为模型进行形式化验证是一种有效方法.但该方法需要对服务系统的分布式特征进行建模,因此利用分布式日志收集系统Flume NG实时收集Web服务器日志并对其进行预处理操作,...
为了实现对Web服务系统进行可靠性分析,采用概率模型检验技术对其行为模型进行形式化验证是一种有效方法.但该方法需要对服务系统的分布式特征进行建模,因此利用分布式日志收集系统Flume NG实时收集Web服务器日志并对其进行预处理操作,针对日志采集频率问题采用Kafka进行日志缓存,通过Storm分析日志数据并构造用于描述服务可靠性的概率迁移矩阵.采用概率标签迁移系统PLTS描述服务行为模型,采用概率计算树逻辑PCTL描述服务系统需求性质,集成概率模型检验器PRISM支持自动化定量验证和分析,从而实现基于概率模型检验的Web服务可靠性分析.最后通过案例研究和验证数据分析证明所提方法的有效性和可行性.
展开更多
关键词
WEB服务系统
概率迁移矩阵
概率模型检验
可靠性分析
分布式日志处理
下载PDF
职称材料
题名
基于并行计算的海量日志分析系统实现
被引量：
1
1
作者
白超
杨静
吴建国
机构
安徽大学
解放军电子工程学院计算机系
出处
《计算机技术与发展》
2013年第7期80-83,共4页
基金
安徽省科技攻关项目(07010200057)
文摘
通过深入研究日志的类型和特点,设计并实现了一套基于并行计算的海量日志文件分析系统。该系统采用集群方式并行地收集日志文件,采用分布式文件系统存储,最终利用并行计算对日志进行分析处理。该系统实现了日志采集、分析的完全自动化处理,在系统部署之后能够有效地进行系统安全的维护、系统性能的优化、系统故障的排查。该系统结合云计算提高了日志分析的效率,解决了海量日志处理过程中存在的问题,为海量日志分析提供了一个完整有效的解决方案。
关键词
分布式计算
分布式文件系统
云计算
日志处理
Keywords
distributed
computing
distributed
file
system
cloud
computing
log
processing
分类号
TP31 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于概率模型检验的Web服务系统可靠性分析
被引量：
1
2
作者
高洪皓
开金宇
周家安
缪淮扣
黄婉秋
王皙
机构
上海大学计算中心
上海大学计算机工程与科学学院
上海市计算机软件测评重点实验室.上海
出处
《东南大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2017年第A01期132-139,共8页
基金
国家自然科学基金资助项目(61502294,61572306)
国家重点研发计划资助项目(2015BAH17F02)
+2 种基金
上海市自然科学基金资助项目(15ZR1415200)
赛尔网络下一代互联网技术创新资助项目(NGII20160325)
上海高校青年教师培养资助计划资助项目(ZZSD15071)
文摘
为了实现对Web服务系统进行可靠性分析,采用概率模型检验技术对其行为模型进行形式化验证是一种有效方法.但该方法需要对服务系统的分布式特征进行建模,因此利用分布式日志收集系统Flume NG实时收集Web服务器日志并对其进行预处理操作,针对日志采集频率问题采用Kafka进行日志缓存,通过Storm分析日志数据并构造用于描述服务可靠性的概率迁移矩阵.采用概率标签迁移系统PLTS描述服务行为模型,采用概率计算树逻辑PCTL描述服务系统需求性质,集成概率模型检验器PRISM支持自动化定量验证和分析,从而实现基于概率模型检验的Web服务可靠性分析.最后通过案例研究和验证数据分析证明所提方法的有效性和可行性.
关键词
WEB服务系统
概率迁移矩阵
概率模型检验
可靠性分析
分布式日志处理
Keywords
Web
service
system
probabilistic
transition
matrix
probabilistic
model
checking
reliability
analysis
distributed
log
processing
分类号
TP311.1 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于并行计算的海量日志分析系统实现
白超
杨静
吴建国
《计算机技术与发展》
2013
1
下载PDF
职称材料
2
基于概率模型检验的Web服务系统可靠性分析
高洪皓
开金宇
周家安
缪淮扣
黄婉秋
王皙
《东南大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2017
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
