全国模糊数学与模糊系统学会

1、全国模糊数学与模糊系统学会第十三届年会程 序 册2006.10.810.12 西安9会议日程安排日期活 动 内 容上 午下 午晚 上10.8报 到报 到理事会10.9开幕式、照相大会报告（1、2、3）理事会选举大会报告（4、5、6、7）新一届理事会10.10大会报告（8、9、10）分组报告大会报告（11、12）分组报告自由活动10.11代表考察（东线、西线或北线）10.12代表离开西安全国模糊数学与模糊系统学会第十三届年会会议组织机构 大会主席：刘应明院士（全国人大常委，四川大学原副校长，学会名誉理事长）大会程序委员会： 主席：应明生（清华大学教授，学会理事长） 委员：吴从忻（哈尔滨工业大学教

2、授） 王国俊（陕西师范大学教授） 张文修（西安交通大学教授） 李中夫（四川大学教授） 罗懋康（四川大学教授） 李洪兴（北京师范大学教授） 赵 彬（陕西师范大学教授） 陈国青（清华大学教授）张德学（四川大学教授）大会组织委员会：主席：赵 彬（陕西师范大学大学教授，副校长）委员：吴建华（陕西师范大学教授，数学与信息科学学院院长）李永明（陕西师范大学教授，计算机科学学院院长）吉国兴（陕西师范大学教授，数学与信息科学学院副院长）李生刚（陕西师范大学教授）任 平（暨南大学教授）郑崇友（首都师范大学教授）哈明虎（河北大学教授）吴孟达（国防科技大学教授）方锦暄（南京师范大学教授）会务组： 组长：李田会（13

3、572899008）、杜叶婷成员：姚海洪、邹尚田、郑秋红、孙雅媛等全国模糊数学与模糊系统学会第十三届年会会议程序10月8日 报到注册08:00-22:00 注册、报到 地点：陕西师范大学启夏苑一楼大厅07:00-08:00 早餐 地点：陕西师范大学启夏苑一楼餐厅12:00-13:00 午餐 地点：陕西师范大学启夏苑一楼餐厅18:00-19:00 晚餐 地点：陕西师范大学启夏苑一楼餐厅20:00-22:00 理事会 地点: 陕西师范大学启夏苑二楼报告厅10月9日 07:00-08:00 早餐 地点：陕西师范大学启夏苑一楼餐厅08:30-09:30 开幕式 地点：陕西师范大学学术活动中心二楼报告厅

4、主持人: 王国俊 1介绍到会贵宾和领导2陕西师范大学校领导致欢迎词3陕西师范大学数学与信息科学学院院长致词4. 宣读大会主席、学会名誉理事长刘应明院士的贺信5. 应明生理事长讲话09:30-10:00 全体与会领导、代表合影10:00-12:00 大会报告 地点：陕西师范大学学术活动中心二楼报告厅主持人: 应明生 大会报告1 10:00-10:40 报告人: 王国俊 题 目：模态逻辑S4的拓扑语义 大会报告2 10:40-11:20 报告人: 张德学 题 目：An enriched-category approach to fuzzy orders 大会报告3 11:20-12:00 报告人:

5、 李洪兴 题 目：不确定系统的统一性12:00-13:00 午餐 地点：陕西师范大学启夏苑一楼餐厅14:30-15:00 理事会选举 地点：陕西师范大学学术活动中心二楼报告厅15:00-16:20 大会报告 地点：陕西师范大学学术活动中心二楼报告厅主持人: 罗懋康 大会报告4 15:00-15:40报告人: 李庆国 题 目：半连续格理论 大会报告5 15:40-16:20 报告人: 曹永知 题 目：模糊离散事件系统的监控理论16:20-16:40 会间休息16:40-18:00 大会报告 地点：陕西师范大学学术活动中心二楼报告厅主持人: 李洪兴 大会报告6 16:40-17:20报告人: 赵

6、彬 题 目：偏序集中的收敛理论 大会报告7 17:20-18:00报告人: 史福贵题 目：L-拓扑中的度量理论18:00-19:30 晚餐 地点：陕西师范大学启夏苑一楼餐厅20:00-22:00 新一届理事会 地点: 陕西师范大学启夏苑二楼报告厅10月10日 07:00-08:00 早餐 地点：陕西师范大学启夏苑一楼餐厅08:00-10:00 大会报告 地点：陕西师范大学学术活动中心二楼报告厅主持人: 陈国青 大会报告8 08:00-08:40报告人: 陈仪香题 目：Domain Semantics of Possibility Computations 大会报告9 08:40-09:20 报

7、告人: 哈明虎 题 目：不确定统计学习理论基础及SVM的泛化能力研究 大会报告10 09:20-10:00报告人: 寇 辉 题 目：Semantics of knowledge update express by partial order.10:00-10:15 会间休息10:15-12:00 分组报告（每个报告限15分钟）第1组 主持人：徐晓泉，吴孟达 地 点：陕西师范大学启夏苑二楼报告厅1. 白世忠 On Countably Near SP-Compactness2. 王住登 Direct Decomposability of Implication Operators on Produ

8、ct Lattices 3张 慧 关于I-拓扑向量空间的局部凸性4张化朋 Local convexity and local boundedness of the induced I(L)-topological vector spaces5徐晓泉 广义正则序与偏序集上的强T2区间拓扑6盛 莉 非同步格值自动机及其语言7詹建明 Fuzzy h-ideals in hemirings第2组 主持人：陈水利，李永明地 点：陕西师范大学学学术活动中心二楼报告厅1. 屈小兵 完备Brouwerian格上Fuzzy关系方程的一些性质2. 梁常建 格值正则语言截集的代数性质研究3夏 嫦 完备分配格上无限s

9、up- T合成Fuzzy关系方程解集的性质4闻 丹 Characterizations of the supremum and infimum of fuzzy numbers by their support functions5陈水利 分子格中的w分离性6张德利 集植模糊测度与积分7郭开仲 模糊错误逻辑分解转化词12:00-13:00 午餐 地点：陕西师范大学启夏苑一楼餐厅14:30-15:50 大会报告 地点：陕西师范大学学术活动中心二楼报告厅主持人: 哈明虎 大会报告11 14:30-15:10报告人: 裴道武 题 目：基于三角模的模糊逻辑及其应用 大会报告12 15:10-15:50

10、 报告人: 李进金 题 目：近似空间的拓扑性质及其应用15:50-16:00 会间休息16:00-18:30 分组报告（每个报告限15分钟）第1组 主持人：史福贵， 李生刚地 点：陕西师范大学启夏苑二楼报告厅1. 张 琳 0,1格上的-Fuzzy关系方程2. 闫建平 模糊等价算法3舒乾宇 Fuzzy幂等矩阵的一些性质4刘海涛 由结构元线性生成的非对称模糊数四则运算5罗 强 The Uniform Approximation Rate of Probabilistic Fuzzy Systems - SISO Case6. 柏明强 模糊语言与模糊自动机研究进展7赵明清 模糊度的扩展形式与组合形式

11、8王 赟 可实现的Fuzzy方阵的实现矩阵的选取及化简9赖洪亮 Many valued continuity in liminf complete Omega categories10赵红斌 Many valued lattices and their representations第2组 主持人：陈仪香，寇辉地 点：陕西师范大学学学术活动中心二楼报告厅1. 徐泽水 区间直觉模糊相似度及其在模糊中的应用2. 董长清 基于模糊层次分析的雷达组网四抗效能评估3. 邹开其 模糊集的一种新的模糊距离及其在三角模糊数中的应用4李江荣 不确定离散时滞PWS的分段广义H2控制器设计5. 汤建钢 一类可被l-

12、值Turing机识别和l-值0型文法生成的自然语言研究6. 王培吉 基于粗集理论的一种属性约简算法及其软计算7. 马艳芳 健康模糊谓词转换器8. 鞠红梅 我国制造业R&D经费投入强度的模糊聚类分析9. 傅 丽 概念的外延18:30-19:30 晚餐 地点：陕西师范大学启夏苑一楼餐厅10月11日 代表考察07:00-08:00 早餐 地点：陕西师范大学启夏苑一楼餐厅18:10-19:00 晚餐 地点：陕西师范大学启夏苑一楼餐厅10月12日 代表离开西安07:00-08:00 早餐 地点：陕西师范大学启夏苑一楼餐厅12:00-13:00 午餐 地点：陕西师范大学启夏苑一楼餐厅18:10-19:00 晚餐 地点：陕西师范大学启夏苑一楼餐厅说 明1、 会议日程安排根据实际情况可能会有变动，每日实际安排请代表见启夏苑一楼大厅的信息牌。2、 请各位代表在开会、进餐（含宴会）时务必戴上“代表证”。3、 早、中、晚餐凭所发的进餐券在启夏苑一层餐厅进餐。4、 会议期间请代表