2013年第11届DASC：中国成都
IEEE第十一届可靠、自主和安全计算国际会议，2013年DASC，中国成都，2013年12月21日至22日。 IEEE计算机学会 2013 ，国际标准图书编号 978-1-4799-3380-8
第十一届IEEE可靠、自主和安全计算国际会议（DASC 2013）
李晓泉 ， 张富江 ， 王永良 :
大数据架构、关键技术及其措施研究。 1-4 李丹（Dan Li） ， 鲁甘 :
SCCC Turbo码的一种参数估计方法。 5-9 刘澜（Lan Liu） ， Jun Lin（林军） :
大数据环境下网络安全监控的一些特殊问题。 10-15 孟莉（Meng Li） ， 盛曹 ， 秦志光 :
一种基于语义匿名代理的轨迹保持方法。 16-20 陈瑞东 ， 城厢寺 ， 杨浩淼 ， 张晓松 :
基于AH协议的ADS-B数据认证。 21-24 徐志远 ， 王瑞金 ， 范丽 ， 黄耀东 :
AENS：无WiFi的准确高效手机室内导航系统。 25-30 阎文 ， 赵晶晶（Jinjing Zhao） ， 华晨 ， 黄敏欢 :
利用本地引导虚拟化技术对预装操作系统进行隐性反思。 31-38 王哲（Zhe Wang） 
， 马殿福 ， 赵永旺 :
支持QoS分层控制的Web服务容器，具有多个利用率度量。 39-46 Kai Kang（康凯） ， 刘新刚 ， 朝阳 :
基于时空运动信息的视频质量评估指标。 47-51 Rui Ma公司 ， 陈凌奎 ， 胡长珍 ， 薛景峰 ， 赵晓林 :
基于指针分析的C/C++程序内存漏洞动态检测方法。 52-57 赵冬冬 ， 罗文建 :
基于负数据库的私有集交叉协议研究。 58-64 林贤惠 ， 张晓梅 :
云制造的工作流和基于角色的访问控制模型。 65-71 黄建军 ， 左庆林 ， 福林木 :
基于遗传算法的有序用电优化方案自动生成方法。 72至77 葛双超 ， 邓明（Ming Deng） ， 陈凯 :
大地电磁数字电力线干扰滤波器的研究与实现。 78-81 利民·肖 ， 徐春杰 ， 秦景超 ， 秦广军 ， 朱明发 ， 李阮 ， 王志尧 ， 李明泉 ， 东峪滩 :
基于BitTorrent的大数据安全分发。 82-90 马瑞聪 ， 大亨悦 ， 李少清 ， 陈继华 :
DPA效应与差分采样频率关系的研究。 91-95年 张超（Chao Zhang） ， 平谷 ， 阎丽 :
工作流管理系统符合模型驱动体系结构。 96-99 李武鲁 :
一种基于格的密钥交换方案。 100-106 周永凯 ， 郭鹏泽 ， 闫珠 ， 智雪 ， 李建华 ， 一元 :
增强多播通信的集成网络服务。 107-110 杜燕华 ， 李红（音） :
一种为时间感知服务流程选择具有动态价格的服务的方法。 111至117 阿米尔·阿佐迪 ， 大卫·杰格 ， 冯成 ， 克里斯托夫·梅内尔 :
一种为IDS/SIEM系统构建多层直接访问知识库的新方法。 118-123 王晓林 ， 陈浩鹏 ， 王振华 :
MongoDB动态负载平衡改进研究。 124-130 薛明福 ， 胡爱群 ， 一黄 ， 李谷岳（Guyue Li） :
基于蒙特卡洛的硬件特洛伊木马检测测试模式生成。 131-136年
第十一届IEEE嵌入式计算国际会议（EmbeddedCom 2013）
王强（Qiang Wang） ， 杨刚 ， 周兴社 ， 杨亚雷 :
用于安全网络物理系统的离散混合自动机：航天案例研究。 137-142 邹林晨 ， 张近东 ， 朱代银 :
机载聚束SAR处理极坐标格式算法的FPGA实现。 143-147 曹海阳 ， 朱代银 ， 张近东 :
两种SAR自动调焦算法的FPGA实现。 148-152 王俊石 ， 王晓航 ， 黄乐天 ， 特伦斯·S·T·马克 ， 李广军 :
使用最远可达路由器的NoC容错路由算法。 153-158 陈楠（Nan Chen） ， 魏廷村 ， 魏晓敏 ， 小陈 :
180-nm RHBD技术中的辐射硬化SRAM。 159-162 王梅（Mei Wang） ， 周娇玲 ， 岳丽 ， 夏晓玲 ， 佳进乐 :
一种基于列存储的数据重用策略。 163-168 Kun Xiao先生 ， 雷洛 :
一种新型移动设备NFC堆栈结构。 169-173 巴沙尔·萨基恩 ， 纳赛尔·K·巴查奇 ， 王绍荣 :
基于最优模糊逻辑控制器的PV-Diesel混合动力系统频率控制。 174-178 Prateek D.Halwe公司 ， Shirshendu Das公司 ， 赫曼吉·K·卡普尔 :
使用受控缓存分区实现更好的缓存利用率。 179-186 徐健（Jian Xu） ， 王元宏 ， 于章 ， 杨树山 :
基于ZigBee网络的滑坡智能预警系统。 187-191 孙晓翠 ， 王志军 :
视频点播服务的优化缓存替换方案。 192-199 Furkan狂犬病 ， 廖勇 ， 杨茂林 :
硬实时系统中多优先级反转协议的最小化。 200-206 杨茂林 ， 杭磊（Hang Lei） ， 廖勇 ， Furkan狂犬病 :
PK-OMLP：一种基于OMLP的用于分区调度下多CPU共享的k-排除实时锁定协议。 207-214 沈军（Jun Shen） ， 于翠波 :
CPS流量的自相似性及仿真研究。 215年至219年 郝晨 ， 雷洛 ， 华严 ， 耿晨 ， 盛林贵 :
AUTOSAR系统中客户机/服务器通信机制的研究。 220-226 Yingke Gao公司 ， 欢英 ， 薛志远 ， 张铁军 ， 王东辉 ， 侯超环 :
用于多媒体应用的比特流协处理器的设计。 227-230 欢英 ， 郝朱 ， 薛志远 ， 王东辉 ， 侯超环 :
装配级VLIW结构的延迟时隙调度框架。 231-234 孙贤波 ， 谭建军 ， 徐健（Jian Xu） ， 黄绍军 :
移相激光测距仪关键技术研究。 235-237 博峰 ， 张祥刚 ， 赵惠龙 :
基于惯性测量的运动捕捉技术研究。 238-243 姜军 ， 叶鹏 :
提高数字存储示波器异常信号检测能力的研究。 244-247 千叶隆弘 ， Myungryun Yoo先生 ， 横山隆纪 :
用于嵌入式控制系统的具有分布式共享内存的分布式实时操作系统。 248-255 裴忠石 ， 王云（Yun Wang） :
异步Duty-Cycled WSN的延迟感知广播转发协议。 256-263 国强行 ， 胡晓慧 ， Danyan Zhang（张丹燕） ， 杨扬 ， 小虎游 :
使用神经元MOS晶体管的新型差分触发器。 264-268 Jothi V.N.维贾亚库玛 ， 张海波 ， 黄志毅 ， 阿德尔·贾维德 :
一种基于粒子滤波的无线传感器网络列车定位方案。 269-274 詹旭 ， 小吴 ， 易武 :
基于部分可重构RapidIO的新型系统互连体系结构。 275-279 孙慧 ， 谢云芳 ， 谢长生 ， 费武（Fei Wu） :
重新审视嵌入式系统中NAND闪存存储设备的行为放大。 280-287 徐炳清（音） ， 张立晨（Lichen Zhang） :
用于指定和建模网络物理系统时间约束的基于时钟的框架。 288-295 张立晨（Lichen Zhang） :
以视图为导向的方法来指定和建模航空航天网络物理系统。 296-303
第11届IEEE普及智能与计算国际会议（PICom2013）
英嘉布 ， 梅雪（Mei Xie） :
一种基于滑动窗口搜索的车牌字符识别新方法。 304-307 叶媛 ， 陈文宇（Wenyu Chen） ， 民玉峰 ， 香港 :
一种改进的基于路径压缩的复杂网络搜索算法。 308-313 若园区 ， 童丽 ， 徐胜伟（Shengwei Xu） ， 方涵 ， 李章 ， 蔡新霞 ， 华当 :
神经信号采集与无线传输系统设计。 314年至317年 张莹莹 ， 魏武 ， 永代 ， 杨晓敏 ， Binyu Yan先生 ， 魏璐 :
基于稀疏字典和残差字典的遥感图像超分辨率处理。 318-323 徐胜军 ， 九强汉 ， 梁昭 ， 刘广辉 :
基于自适应MRF模型的图像分割的有效置信传播。 324-329 吴庄良 ， 曾文华 ， 杨绿青 ， 岳丽 ， 王美红 :
基于RFID和谷歌地图的电子地图分析与设计。 330-333 Yunong Zhang（张育农） ， 陈德超 ， 龙进 ， 王颖（音） ， 罗飞恒 :
贝努利多项式型二次运行辅助WASD神经网络及其鲁棒分类扩展。 334-339 柯章（Ke Zhang） ， 柯章（Ke Zhang） ， 苏鹏冷 ， 朔旭 :
基于PCA-WNN的机场出租车自适应调度算法。 340-343 小罗 ， 华远 ， 钱罗 :
在大型数据库中发现可行的周期模式。 344-351 尹永华 ， 清邪 ， 王颖（音） ， 陈德超 ， Yunong Zhang（张育农） :
考虑并求解了奇异性的船舶航向跟踪ZG控制。 352-357 闵婉 ， 林佐 ， 阎丽 ， 胡锦荣 ， 钱罗 :
一类具有均匀发射率的离散时间背景神经网络的收敛性和混沌性。 358-361 杨柳 ， 徐玲玉 ， 洁余 ， 薛云兰 ， 韩东（Han Dong） :
一种基于关联强度的字段识别方法。 362-367 欧瑞杰 ， 陈文宇（Wenyu Chen） ， 李伟顺 ， 郭林丽（LinLi Guo） :
网络路径质量指标仿真。 368-373 欧瑞杰 ， 陈文宇（Wenyu Chen） ， 郭林丽（LinLi Guo） ， 李伟顺 :
NTP时间同步的单向时延测量算法。 374-378 杨英一 ， 金阳 ， 刘法贵 ， 齐端 :
基于云的服务和物联网捆绑包开发平台。 379-385 文格荣 ， 李日凡 ， 郝升 ， 元鑫欧阳 ， 张雄 :
结合DM和OBDA从关系数据库生成本体。 386-393 王培成 ， 刘银波 ， 刘新刚 :
用于无线网络的低成本高质量H.264/AVC帧间模式决策算法。 394-398 陈叶刚（Ye-gang Chen） ， 小龙雕 :
单目运动摄像机中运动物体的检测。 399-403 曹宁 ， 黄建军 ， 谢晓敏 :
变权组合预测模型的动态配置研究与应用。 404至409 毛利 ， Tigang Jiang公司 ， 梁彤 :
有限缓冲区认知无线网络中优先级多媒体业务的频谱切换方案。 410-415 贾海涛 ， 李健 ， 杨桃柳 ， 张伟（音译） :
基于改进ESPRIT算法的雷达多目标识别。 416-421 贾海涛 ， 李健 ， 梅雪（Mei Xie） :
不完整数据的动态感知规则获取。 422-426 水谷由纪夫 ， Manabu佐藤 ， 川崎由介 ， 一川春久 :
能量采集无线传感器的动态频谱传感。 427至432 Manabu佐藤 ， 水谷由纪夫 ， 川崎由介 ， 一川春久 :
通用接收器识别无线电服务和设备协议的特征量。 433-437 文格荣 ， 彭宝林 ， 元鑫欧阳 ， 李超 ， 张雄 :
情绪分析的半监督双递归神经网络。 438-445 刘洪哲 ， 玉龙溪 ， 魏松 ， Kyhyun Um公司 ， Kyungeun Cho先生 :
基于手势的NUI应用程序用于实时路径修改。 446-449 Wonsik Lee公司 ， Seoungjae Cho先生 ， 魏松 ， Kyhyun Um公司 ， Kyungeun Cho先生 :
UbiSim：多传感器智能房屋模拟器开发。 450-453 贾海涛 ， 梅雪（Mei Xie） ， 钱塘 ， 张伟（音译） :
一种改进的基于模糊粗糙集的动态认知提取算法。 454-458 张艳红 ， 徐玲玉 ， 洁余 ， 费忠 ， 杨柳 :
基于属性相似度的多维多粒度不确定性自动知识系统构建研究。 459-463 法特梅·阿克巴里 ， 阿米尔·胡尚·塔法尔 ， 阿克巴尔·法胡迪·内贾德 :
使用人工蜂群的社交网络中基于图形的好友推荐。 464-468 魏廷秋 ， 王连春 ， 余圣秋 ， 金凤来 :
一种用于智能电网的轻型设备识别方法。 469-474 王连春 ， 魏廷秋 ， 余圣秋 ， 金凤来 :
一种用于智能电表的并行多设备识别。 475-480 杰端 ， 熊王（Xiong Wang） ， 王盛（Sheng Wang） ， 徐世忠 :
以信息为中心的网络的基于利润的缓存。 481-486 王有祥 ， 李富昌 :
LTE室内系统中的MIMO DAS解决方案。 487-491 李勇 ， 黄章琴 :
具有联合接收和小区间干扰协调的LTE-A上行链路性能。 492-496
第13届IEEE可扩展计算与通信国际会议（ScalCom 2013）
苗雅丽 ， 凯文 :
LTE系统中的节能调度策略。 497至501 张林萌 ， 徐志高 ， 凤栖寺 :
GCMDDBSCAN：基于网格和贡献的多维DBSCAN。 502-507 赵欣（音译） ， 巴凡·巴拉吉 ， 威廉·格罗普 ， 拉吉夫·塔库尔 :
MPI-互操作活动消息的优化策略。 508-515 田田松 ， Farong Zhong公司 :
一个带委托的有界多态会话类型系统。 516-520 刘鹏（音） ， 赵荣才 ， 魏高 ， 帅伟 :
利用超词级并行性的新算法。 521-527 托马斯·灿浩（Thomas Canhao Xu） ， 勒帕宁维尔 ， 马尔蒂·福赛尔 :
DSNOC：一种用于高效可扩展计算的混合密集稀疏片上网络体系结构。 528-535 冯悦 ， 彭建民 ， 金九珍 ， 潮黛 :
全函数矢量化中的收敛和标量化。 536-539 王汉曾（Hanzeng Wang） ， 王晓祥 ， 王东雨 ， 王玉龙 :
IMT-A系统下D2MD通信的无线资源分配方法。 540-544 郭志武 :
仿真可信度评估理论研究。 545-550 伊琳 ， 襄阳功 ， 王文东（Wendong Wang） ， 魏新鹏 ， 雷柱（Lei Zhu） :
隧道拥堵暴露和反馈。 551至554 李西峰 ， 谢永乐 :
一种新的类高斯密度模型及其在目标跟踪中的应用。 555-559 王玉龙 ， 王晓祥 ， 李明明 ， 刘志国 :
一种具有QoS保证的MBMS资源分配方案。 560-564 王玉龙 ， 王晓祥 ， 李明明 ， 荆曲 :
一种基于奇偶校验的蜂窝网络机会性组播调度方案。 565-568 李明明 ， 王晓祥 ， 贾州 :
基于OFDM系统中机会性组播调度的反馈负载减少方案。 569-571 李翔飞 ， 王旭之 ， 王根湾 ， 朱晓强 ， 余晓庆 :
使用CUDA的大规模通用粒子系统的并行模拟。 572-577 杜明军 ， 王晓祥 ， 王东雨 ， 王玉龙 :
组播通信中的设备到设备动态聚类算法。 578至582 张雪芹 ， Kai Shen公司 ， 徐成光 ， 王开芳 :
基于CUDA的并行FFT的设计与实现。 583-589 王晓龙 ， 王晓祥 :
低轨卫星网络信道预留策略研究。 590-594 赵源 ， 王晓祥 :
一种用于GEO/LEO卫星IP网络的组播路由算法。 595-599 薛公坦 :
多播通信的低成本路由。 600-605 李登 ， 海金 ， 宋武 :
vMerger：虚拟化环境中的服务器整合。 606-612 浙江 ， 伊洛 ， 吴乃虎 ， 春江河 ， 平鹏园 ， 海金 :
使用RDBMS管理大规模非结构化数据。 613-620 冯成 ， 阿米尔·阿佐迪 ， 大卫·杰格 ， 克里斯托夫·梅内尔 :
多核支持的高性能安全分析。 621-626 梁彤 ， 马丽香 ， 龙江李 ， 毛利 :
多跳VANET中内容下载的联合博弈理论模型。 627-632 李永芳 ， 张海煌 ， 李慧（音） :
CATIA中改进的二维轮廓绘制方法。 633-636 建华车 ， 魏尧 ， 首钢任 ， 王浩云 :
Xen系统中网络I/O的性能分析与预测。 637-641 丁文 ， 张晓喜 ， Xin Huang（新黄） ， 黄嘉庆 :
网络编码在不规则（5+1）模型空间中的成本优势。 642-647 刘若燕 ， 花溪谷 ， 陈亚文 ， 张海波 :
分析数据中心中的数据包级路由。 648-652 张建林 :
一种改进的基于TCP Veno协议的拥塞控制协议。 653-656 邹文生 :
多跳传输在无线网络中的应用。 657-660 袁旺（音） ， 张忠培 :
基于不完全信道知识的迭代干扰对准的部分连接多小区干扰广播信道。 661-666
