|
|
 |
|
2008全国理论计算机科学
学术年会
TCS2008
程
序
安
排
主办：中国计算机学会理论计算机科学专业委员会
承办：陕西师范大学计算机科学学院
2008年9月
2008全国理论计算机科学学术年会（TCS2008）日程安排
（
|
日 期 |
时 间 |
会议/活动内容 |
地 点 |
说 明 |
|
|
8: 00~24: 00 |
与会代表报到、注册 |
启夏苑一楼大堂 |
|
|
19:10~21:00 |
专委会委员会议 |
启夏苑二楼会议厅 |
|
|
|
上午 |
7: 10~8: 00 |
与会代表用早餐 |
启夏苑一楼餐厅 |
|
|
8: 30 |
TCS2008开幕式开始 |
逸夫楼二层会议厅 |
|
|
|
8:30~8:35 |
介绍出席会议的领导与嘉宾 |
同上 |
|
|
|
8:35~8:45 |
中国计算机学会理论计算机科学专委会主任、国防科技大学 致开幕辞 |
同上 |
|
|
|
8:45~8:55 |
陕西师范大学副校长 致欢迎辞 |
同上 |
|
|
|
8:55~9:00 |
组委会就会议筹备的情况说明 |
同上 |
|
|
|
9:00~9:30 |
与会领导、嘉宾和代表合影 |
逸夫楼一楼门前 |
|
|
|
9:30~12:00 |
大会特邀学术报告 1、中国科学院周巢尘院士： Run-time Correctness vs Static Verification 2、Francis Chin: |
逸夫楼二楼报告厅 |
|
|
|
|
12:00~13:00 |
与会代表用中餐 |
启夏苑一楼餐厅 |
学校领导宴请 |
|
14:00~18:00 |
分组学术报告 A组：见分组报告安排表 |
启夏苑十一楼会议厅 |
中间有 茶歇 |
|
|
分组学术报告 B组：见分组报告安排表 |
启夏苑二楼会议厅 |
中间有 茶歇 |
||
|
18:00 |
与会代表用晚餐 |
启夏苑一楼餐厅 |
|
|
|
20:00~22:00 |
专委会委员会议 |
启夏苑二楼会议厅 |
|
|
|
2008.9.21 |
7:00~8:00 |
与会代表用早餐 |
启夏苑一楼餐厅 |
|
|
8:00~12:00 |
分组学术报告 A组：见分组报告安排表 |
启夏苑十一楼会议厅 |
中间有 茶歇 |
|
|
分组学术报告 B组：见分组报告安排表 |
启夏苑二楼会议厅 |
中间有 茶歇 |
||
|
2008.9.21 |
12:10~13:00 |
与会代表用中餐 |
启夏苑一楼餐厅 |
|
|
2008.9.21 |
14:00~17:00 |
分组学术报告 A组：见分组报告安排表 |
启夏苑十一楼会议厅 |
中间有 茶歇 |
|
分组学术报告 B组：见分组报告安排表 |
启夏苑二楼会议厅 |
中间有 茶歇 |
||
|
17：30 |
大会闭幕、颁奖晚宴 |
曲江生态花园酒店 |
请全体与会代表17：30在启夏苑门前集体乘车前往。 |
|
|
20:00~22:00 |
乘车游览西安市曲江池大唐遗址夜景 |
|
|
|
|
2008.9.22 |
7:10~8:00 |
与会代表用早餐 |
启夏苑一楼餐厅 |
|
|
2008.9.22 |
8：00~ |
与会代表考察、疏散 |
启夏苑一楼大堂、门前 |
请考察代表8：00之前办好退房手续。 |
2008全国理论计算机科学学术年会（TCS2008）会议报告安排
（
| TCS2008 优 秀 论 文 候 选 报 告 安 排 | ||||
| A 组 9月20日下午 14:00-18:00 地点:启夏苑十一楼会议厅 | ||||
| 主持人: 待定 | ||||
| 作 者 | 论文编号 | 报告题目 | 内容分类 | 报告时间 |
| 李慧霸 | 283 | 一种面向分布式系统的程序设计模式 | 程序理论 | 14：00-14：15 |
| 刘传会 | 165 | 一种基于UML2.0顺序图的实时软件建模与验证方法 | 14：15-14：30 | |
| 陈振宇 | 260 | 性质保持的变量极小公式复杂性研究 | 逻辑基础 | 14：30-14：45 |
| 郭远华 | 179 | 相干命题逻辑R的一种演绎生成算法 | 14：45-15：00 | |
| 刘万伟 | 270 | 线性mu-演算的符号化模型检验 | 15：00-15：15 | |
| 王耀富 | 158 | 关于对模糊错误逻辑事物分解转化联结词的研究 | 15：15-15：30 | |
| 叶育鑫 | 188 | 基于SHOIQ(D)的本体一致性检测 | 15：30-15：45 | |
| 李耀辉 | 215 | 参数曲线曲面实奇异点的计算 | 计算理论 | 15：45-16：00 |
| 茶歇15分钟 | ||||
| 主持人：待定 | ||||
| 刘 建 | 64 | 一种求解带平衡约束圆形布局问题的启发式算法 | 计算理论 | 16：15-16：30 |
| 唐晋韬 | 278 | 复杂社会网络的介数性质近似计算方法研究 | 16：30-16：45 | |
| 伍勇安 | 249 | 有向传感器网络中基于概率感知模型的最小连通k覆盖集算法 | 16：45-17：00 | |
| 阳兰娣 | 250 | 无线传感器网络中能耗均衡的覆盖控制算法 | 17：00-17：15 | |
| 席政军 | 79 | 量子Mealy自动机和量子Moore自动机 | 语言理论 | 17：15-17：30 |
| 周经野 | 246 | 基于语义神经网络的汉语表层语义分析 | 17：30-17：45 | |
| 雷向欣 | 193 | 基于叶序区间编码的XML文档过滤研究 | 数据理论 | 17：45-18：00 |
| B 组 9月20日下午 14:00-18:00 地点：启夏苑二楼会议厅 | ||||
| 主持人：待定 | ||||
| 作者 | 论文编号 | 报告题目 | 内容分类 | 报告时间 |
| 程杰仁 | 337 | 基于地址相关度的DDOS攻击检测方法 | 安 全 | 14：00-14：15 |
| 陈 娟 | 263 | 基于MBR的拓扑、方位、尺寸结合的定性空间推理 | 人工智能 | 14：15-14：30 |
| 陈仕涛 | 107 | 基于粒子群优化和邻域约简的入侵检测日志数据特征选择 | 14：30-14：45 | |
| 贾海洋 | 291 | 贝叶斯网等价类学习算法 | 14：45-15：00 | |
| 刘 运 | 240 | 基于K-Means改进算法的分布式拒绝服务攻击检测 | 15：00-15：15 | |
| 刘新旺 | 138 | 基于最小二乘支持向量机的特征增量学习算法 | 15：15-15：30 | |
| 吴楚坤 | 159 | 基于关联规则挖掘的中文网页体裁模式发现 | 15：30-15：45 | |
| 张 兰 | 333 | 改进PSO算法在车辆路径问题中的比较与分析 | 15：45-16：00 | |
| 茶歇15分钟 | ||||
| 主持人：待定 | ||||
| 张忠平 | 60 | A Compositive Approach for Ontology Similarity Computation | 人工智能 | 16：15-16：30 |
| 左正康 | 339 | 后序遍历二叉树非递归算法的形式化推导及验证 | 16：30-16：45 | |
| 林 苗 | 163 | 基于构件的嵌入式实时软件建模与分析 | 软件开发 | 16：45-17：00 |
| 王明岳 | 206 | 目标可移动的直线搜索问题的在线算法研究 | 17：00-17：15 | |
| 魏 慧 | 161 | 基于体系结构的Web服务组合描述研究 | 17：15-17：30 | |
| 胡春风 | 203 | 基于图像质量分区的指纹特征提取 | 图 像 | 17：30-17：45 |
| 李 永 | 220 | 多指纹识别比较研究 | 17：45-18：00 | |
| 注： 1、分组按论文所属专题划分，专题按拼音首字母排序，每个专题中的论文按报告人姓氏拼音首字母排序。 2、每位报告人报告10分钟，回答问题5分钟。3、主持人将在每一报告还剩2分钟时提示报告人，时间到时要即时终止报告。4、因故不能按时出席报告者不另行安排时间报告。 | ||||
| TCS2008 会 议 其 它 论 文 报 告 分 组 安 排 | |||||
| A 组 9月21日上午 8：00-12：00 地点：启夏苑十一楼会议厅 | |||||
| 主持人：待定 | |||||
| 作 者 | 论文编号 | 报告题目 | 发表杂志 | 内容分类 | 报告时间 |
| 骆剑彬 | 43 | 资源约束下基于离散粒子群算法求解多Agent资源结盟博弈问题 | JS | 并行算法 | 8:00-8:15 |
| 王 芳 | 247 | 基于网格计算环境下的信任度评估的研究 | JS | 8:15-8:30 | |
| 程天笑 | 252 | 具有两种否定的描述逻辑系统MALC | JK | 逻辑基础 | 8:30-8:45 |
| 施恩伟 | 98 | 不易辨识关系的某些推广 | JS | 8:45-9:00 | |
| 孙黎明 | 97 | 一种N1NF的时态模型的研究 | JS | 9:00-9:15 | |
| 肖 晶 | 160 | 一种基于行为的多视点需求描述方法 | JK | 9:15-9:30 | |
| 张凌浩 | 183 | 基于进程代数的软件动态演化模型初探 | JS | 9:30-9:45 | |
| 郭 剑 | 197 | 一种改进的蚁群挖掘算法 | JS | 计算理论 | 9:45-10:00 |
| 茶 歇 15分钟 | |||||
| 主持人：待定 | |||||
| 洪翔宇 | 67 | 顶点覆盖变体问题的确定参数可解算法研究 | JK | 计算理论 | 10:15-10:30 |
| 李 晖 | 200 | 多价格数字产品的拍卖机制 | JS | 10:30-10:45 | |
| 卢申朋 | 211 | 有到达时间的多处理器混合流水车间调度的一种遗传算法 | JS | 10:45-11:00 | |
| 徐忆晨 | 162 | 限制树宽的图的最小标记生成数算法 | JK | 11:00-11:15 | |
| 杨文武 | 73 | 格值树自动机与格值上下文无关树文法的等价性 | JK | 11:15-11:30 | |
| 尹 晓 | 285 | 有向基因组移位排序算法的比较与评测 | JS | 11:30-11:45 | |
| 赵旭辉 | 102 | 一种基于优先级扩展的时间自动机模型中DBM减法算法的改进 | JK | 11:45-12:00 | |
| B 组 9月21日上午 8：00-12：00 地点：启夏苑二楼会议厅 | |||||
| 主持人：待定 | |||||
| 作 者 | 论文编号 | 报告题目 | 发表杂志 | 内容分类 | 报告时间 |
| 李 锦 | 327 | 基于分群策略的机群系统上Motif发现并行算法 | JK | 并行算法 | 8:00-8:15 |
| 黄卫东 | 212 | 基于智能手机的违章车辆管理系统的研究与设计 | JS | 软件开发 | 8:15-8:30 |
| 张 靖 | 266 | 软件测试研究综述 | JS | 8:30-8:45 | |
| 谢 冰 | 293 | 面向对象测试代码复用算法与工具 | JK | 8:45-9:00 | |
| 班晓娟 | 113 | 基于PSO智能优化的SFS三维重构算法研究 | JK | 图 像 | 9:00-9:15 |
| 宋 能 | 316 | 基于OpenGL的空间管线的拼接显示与应用 | JK | 9:15-9:30 | |
| 于东方 | 224 | 一种基于灰度直方图的遥感影像阴影自动检测方法 | JK | 9:30-9:45 | |
| 魏晶晶 | 315 | 数据流上约束的子空间Skyline计算 | JS | 数据理论 | 9:45-10:00 |
| 茶 歇 15分钟 | |||||
| 主持人：待定 | |||||
| 蔡辉春 | 216 | 一种随机学习速率的BP神经网络算法 | JS | 人工智能 | 10:15-10:30 |
| 刘 苗 | 274 | 谈谈计算机的“智能” | JS | 10:30-10:45 | |
| 刘心元 | 273 | 计算机资源管理的一种方法及其实现 | JS | 10:45-11:00 | |
| 龙 舜 | 69 | 利用不完整和无结构的文本知识的问题求解方法 | JK | 11:00-11:15 | |
| 罗 磊 | 237 | 基于加权相邻关系的形状轮廓点匹配 | JK | 11:15-11:30 | |
| 骆剑彬 | 44 | 任一时间面向任务联盟结构生成算法 | JK | 11:30-11:45 | |
| 马丽丽 | 233 | 基于语义聚类的层次化语义覆盖网构建方法研究 | JS | 11:45-12:00 | |
| A 组 9月21日下午 14:00-17:00 地点：启夏苑十一楼会议厅 | |||||
| 主持人：待定 | |||||
| 作 者 | 论文编号 | 报告题目 | 发表杂志 | 内容分类 | 报告时间 |
| 曾振柄 | 151 | 一个组合几何最优化未解决问题的半机械化解法 | JK | 14:00-14:15 | |
| 罗云锋 | 207 | 基于场景的软件早期可靠性模型 | JK | 逻辑基础 | 14:15-14:30 |
| 王金双 | 103 | 并发系统概率空间的形式化构造方法 | JK | 14:30-14:45 | |
| 张乐伟 | 92 | 基于赋时着色Petri网的以太网系统建模 | JK | 14:45-15:00 | |
| 赵 艳 | 296 | 基于支持向量机的面向对象软件易发性故障预测 | JK | 15:00-15:15 | |
| 周 倜 | 322 | 公钥Kerberos协议的认证服务过程的建模与验证 | JK | 15:15-15:30 | |
| 茶 歇 15 分钟 | |||||
| 主持人：待定 | |||||
| 王玲玲 | 301 | 基于年龄动力学模型的自适应种群演化算法 | JK | 计算理论 | 15:45-16:00 |
| 幸冬梅 | 91 | 一类弱支配集问题的近似算法 | JK | 16:00-16:15 | |
| 张德富 | 214 | 人机丈棋游戏算法研究 | JK | 16:15-16:30 | |
| 赵同昇 | 303 | 一种改进的SAT问题局部搜索算法 | JK | 16:30-16:45 | |
| 郑雅燕 | 304 | TSP问题的一种改进的GRASP算法 | JK | 16:45-17:00 | |
| B 组 9月21日下午 14：00-17：00 地点：启夏苑二楼会议厅 | |||||
| 主持人：待定 | |||||
| 作 者 | 论文编号 | 报告题目 | 发表杂志 | 内容分类 | 报告时间 |
| 李 敏 | 308 | 无线传感器网络密钥管理方案综述 | JK | 安全 | 14:00-14:15 |
| 张 帆 | 154 | 集成安全策略到系统建模： | JS | 14:15-14:30 | |
| 张乃岳 | 336 | 简单无向图的最大散度问题及其应用 | JS | 计算机数学 | 14:30-14:45 |
| 贾 磊 | 318 | 基于特征距离的组合核矩阵模型选择标准 | JK | 人工智能 | 14:45-15:00 |
| 刘文婷 | 238 | 基于道路网络的约束聚类 | JK | 15:00-15:15 | |
| 任勋益 | 248 | 遗传BP神经网络算法及在攻击检测中的应用 | JK | 15:15-15:30 | |
| 茶 歇 15 分钟 | |||||
| 主持人：待定 | |||||
| 杨 燕 | 115 | 基于I-Miner及S语言的分类算法研究 | JS | 人工智能 | 15:45-16:00 |
| 赵文涛 | 286 | A Combination Prediction Model Based on Particle Swarm Optimization | JK | 16:00-16:15 | |
| 文 健 | 314 | 基于dirichlet分布语言建模的信息检索技术研究 | JK | 16:15-16:30 | |
| 贲可荣 | 226 | 一种基于OSGi的动态演化方法 | JK | 软件理论 | 16:30-16:45 |
| 黄炎焱 | 329 | 一种基于MVC模式的评估系统研究 | JS | 软件开发 | 16:45-17:00 |
| 注： 1、分组按论文所属专题划分，专题按拼音首字母排序，每个专题中的论文按报告人姓氏拼音首字母排序。 2、每位报告人报告10分钟，回答问题5分钟。 3、主持人将在每一报告还剩2分钟时提示报告人，时间到时要即时终止报告。4、因故不能按时出席报告者不另行安排时间报告。 | |||||
|
|
|||||||
|
