基于扩展RED图的概率时间自动机可达性分析-计算机系统应用.PDFVIP

基于扩展RED图的概率时间自动机可达性分析 Reachability Analysis of Probabilistic Timed Automata Based on Extended RED Diagrams StackExchange问答社区知识传播 Knowledge Spreading in StackExchange QA Community AKC攻击研究: 攻击方式、转换算法和实例分析 Research on AKC Attack: Attack Pattern、Transformation Algorithm and Case Study 基于集成学习的钓鱼网页深度检测系统 Depth Detection System for Phishing Web Pages Based on Ensemble Learning 混合型虚拟化资源管理系统 Hybrid Virtualization Resource Management System 6 10 10 　　２０１６ ２５ １０ 计算机系统应用 年第 卷第 期 　 目 次 · 专论 综述 （０１） ＲＥＤ ， ， 基于扩展 图的概率时间自动机可达性分析…………………………………………………………… 纪玮 王凡 吴鹏 （１１）ＳｔａｃｋＥｘｃｈａｎｇｅ ， ， 问答社区知识传播 ……………………………………………………………………… 陈风雷 傅晨波 宣琦 （１８）ＡＫＣ ： 、 ， 攻击研究 攻击方式 转换算法和实例分析 ……………………………………………………………… 麻婧 张文辉 （２７） ， ， 基于非线性动力学系统噪声减缩盲解调负信噪比载频上的随机码流 ………………………………… 王超 黄伟 黄显高 系统建设 （３９）Ａｎｄｒｏｉｄ ， 权限滥用检测系统………………………………………………………………………………………… 徐尉 吴敬征 （４７） ， ， 基于集成学习的钓鱼网页深度检测系统 ……………………………………………………………… 冯庆 连一峰 张颖君 （５７） ， ， ， 混合型虚拟化资源管理系统 …………………………………………………………………… 任凯 吴恒 吴悦文 张文博 （６５）面向产业园区的智慧云服务平台的分析与研究 ………………………………………………………………………… 顾永兴 （７３） ＲＯＳ ， 基于 的云机器人服务框架…………………………………………………………………………………… 陈贤 武延军 （８１）Ｂ／Ｓ ， 模式在线考试系统性能优化及实现 ……………………………………………………………………… 闫中威 孙大嵬 （８６）