分组情况

2017年全国理论计算机科学学术年会(NCTCS2017)

分组情况

分组情况:

20171014日下午一号楼

注:分组报告论文每篇约10分钟,其中报告约7分钟,提问约3分钟。请报告人提前准备好PPT或演讲稿并严格控制好报告时间,默认报告人为论文第一作者。

分组报告1A:算法与复杂性 地点:一号楼211

分组主持:武继刚教授

时间

编号

论文标题

报告人

14:50 – 15:50

1

Simpler and Better Approximation Algorithms for the Unweighted Minimum Label s-t Cut Problem

Zhang Peng

11

Unit interval editing is fixed-parameter tractable

Cao Yixin

19

Approximation Algorithm for Minimum Weight Fault-Tolerant Virtual Backbone in Unit Disk Graphs

Shi Yishuo

44

Differential privacy in probabilistic systems

Yang Jiannan

53

Singular Point Probability Improve LSTM Network Performance for Long-term Traffic Flow Prediction

Li Weidong

60

Fusing Global and Local Deep Representation for Effective Object Retrieval

Wang Mao

分组报告1B:算法与复杂性 地点:一号楼212

分组主持:陆品燕教授

时间

编号

论文标题

报告人

14:50 – 15:50

65

ETSW: An encounter history tree based routing protocol in opportunistic networks

Liang Haoyan

70

Efficient Forwarding Strategy for Opportunistic Network Based on Node Similarity

Lin Yucheng

90

Transmission Failure Tolerance and Node Punishment Mechanism in Opportunistic Network Based on Repeated-game

Yin Bin-An

111

A Primal-Dual Online Algorithm for the $k$-Server Problem on Weighted HSTs

Chen Wenbin

118

Learning Latent Topics from the Word Co-occurrence Network

Wang Wu

136

A Greedy Heuristic based on Corner Occupying Action for the 2D Circular Bin Packing Problem

Mohammed Dosh

分组报告1C:数据科学与机器学习理论 地点:一号楼310

分组主持:祝恩教授

时间

编号

论文标题

报告人

14:50 – 15:50

13

基于优化加权核 K-means 聚类初始中心点的 SLIC 分割算法

杨艳

23

基于词向量的专利自动扩展查询研究

刘梦兰

54

同态加密在加密机器学习中的应用研究综述

崔建京

91

基于残差字典和稀疏表示的快速图像超分辨率算法

王建新

108

基于最小二乘的孪生有界支持向量机分类算法

业巧林

121

基于注意力长短时记忆网络的中文词性标注方法

司念文

分组报告1D:数据科学与机器学习理论 地点:一号楼311

分组主持:王立威教授

时间

编号

论文标题

报告人

14:50 – 15:50

46

Improving Accuracy of Sybil Account Detection in OSNs by Leveraging Victim Prediction

Zhou Qingqing

49

Degree Correlations in Two Layer Growth Model with Nonlinear Preferential Attachment Rule

Lu Youjun

58

Landmark-based Spectral Clustering with Local Similarity Representation

Yin Wanpeng

81

Query Optimization Strategies in Probabilistic Relational Databases

Zhang Caicai

87

Recommendation method of ore blending based on thermodynamic principle and adaptive step size

Wang Huan

133

Deep Compression on Convolutional Neural Network for Artistic Style Transfer

Zhang Yaren

分组报告1E:计算模型 地点:一号楼510

分组主持:宋方敏教授

时间

编号

论文标题

报告人

14:50 – 15:50

2

网络安全检测框架与方法研究

43

城市道路建设时序决策的鲁棒优化

伍建辉

107

基于极大团的边缘云节点聚合算法

朱金彬

124

移动云计算任务迁移的快速高效调度算法

史雯隽

129

协作认知无线电网络资源双层拍卖研究

武继刚

158

基于多模板匹配的不同生长时期玉米螟的识别方法

刘博艺

分组报告1F:软件理论与方法 地点:一号楼610

分组主持:许道云教授

时间

编号

论文标题

报告人

14:50 – 15:50

10

强赋值幺半群上的加权Mealy机与加权Moore机的关系

26

模糊交互时态逻辑的模型检测

袁红娟

52

基于时间戳私钥签名技术的Nayak-T协议安全性分析

肖美华

66

接触网测量中线阵摄像机标定的SVR方法

赵嘉毅

89

基于信念最小熵的完整性度量

席政军

94

基于事件逻辑的无线Mesh网络认证协议安全性证明

李娅楠

分组报告2A:算法与复杂性 地点:一号楼211

分组主持:朱大铭教授

时间

编号

论文标题

报告人

16:10 – 17:30

7

一种预测 Au 团簇基态结构的改进的动态格子算法

汪光炼

18

带惩罚费用的多重任务调度问题

崔倩娜

48

一种基于STR算法的新表压缩方法

董爱迪

73

求解二维矩形 Packing 问题的一种拟人型全局优化算法

邓见凯

74

考虑时间因素的0-1背包调度问题

王正理

分组报告2B:算法与复杂性 地点:一号楼212

分组主持:蔡志平教授

时间

编号

论文标题

报告人

16:10 – 17:30

98

基于1RSB理论的随机正则(k, r)-SAT问题可满足临界

周锦程

131

基于混合进化算法求解混合车辆路径问题

徐凌轩

132

大规模稀疏图的极大团枚举算法

周建荣

150

无线传感器网络中干扰最小化问题的后悔贪心算法

孙佩歆

153

带权混合支配问题的近似算法研究

张佳男

分组报告2C:数据科学与机器学习理论 地点:一号楼311

分组主持:班晓娟教授

时间

编号

论文标题

报告人

16:10 – 17:30

51

基于L1-范数距离的最小二乘对支持向量机

周燕萍

125

机器学习安全性问题及其防御技术研究综述

146

A Survey of Personalised Image Retrieval and Recommendation

Ji Zhenyan

149

A Fast Interactive Item-based Collaborative Filtering algorithm

Ji Zhenyan

154

Multiple Kernel k-means with Incomplete Kernels

Liu Xinwang

分组报告2D:并行分布式计算 地点:一号楼312

分组主持:华强胜教授

时间

编号

论文标题

报告人

16:10 – 17:30

20

基于间隔执行机制的异步副本放置策略

谢纪东

102

基于可能性测度下的LTL模型检测并行化研究

雷丽晖

161

云计算环境下安全的极限学习机外包优化部署机制

林加润

41

The Impact of Changing the Mesh Partitioning Factors on CFD Simulation

Cui Chen

62

A hybrid adaptive dissemination solution based on geographic distance for vehicular ad hoc networks

Fu Qi

97

Leveraging Context-Free Grammar for Efficient Inverted Index Compression

Zhang Zhaohua

105

Bat Algorithm Based Low Power Mapping Methods for 3D Network-on-Chips

Li Jiazheng

分组报告2E:计算模型 地点:一号楼510

分组主持:毛新军教授

时间

编号

论文标题

报告人

16:10 – 17:30

160

基于智能算法的技术等级评估方法研究

唐湘滟

12

A Bi-Directional Evolution Algorithm for Financial Recommendation Model

Xue Jingming

57

A New Method For Retinal Image Semantic Segmentation Based On Fully Convolution Network

Ban Xiaojuan

76

Optimal Online Resource Allocation Algorithm for Energy Harvesting Body Area Networks

Wu Guangyuan

79

Near Optimal Online Resource Allocation Scheme for Energy Harvesting Cloud Radio Access Network with Battery Imperfections

Duan Sijing

157

Singular Point Probability Improve LSTM Network Performance for Long-term Traffic Flow Prediction

Liu Boyi

分组报告2F:软件理论与方法 地点:一号楼610

分组主持:肖美华教授

时间

编号

论文标题

报告人

16:10 – 17:30

109

深度学习方法在软件分析中的应用

张献

110

ALL-Uses覆盖引导的回归测试用例生成方法

于嘉维

156

PAR平台中若干软件构件形式化验证技术研究

胡启敏

33

Double-Spending Detection for Fast Bitcoin Payment based on Artificial Immune

Liu Zhengjun

67

DFP:A Data Fragment Protection scheme for mHealth in wireless network

Zhang Lin

78

Formal Analysis and Verification for an Ultralightweight Authentication Protocol RAPP of RFID

Li Wei

80

Research on Information Organizations and Intelligent Retrievals for Digital Library Based on Ontology and Semantic Web

Guo Guangjun