李洪波,中科院数学与系统科学研究院研究员,博士生导师
第六届组合数学与符号计算研讨会举行
第六届组合数学与符号计算研讨
会举行
5月12日至14日，由中国工业与应用数学学会图论组合与应用专业委员会主办，我校承办的第六届组合数学与符号计算研讨会召开。
中国科学院、南京大学、南开大学、大连理工大学、首都师范大学等高校和科研机构负责人，赵邦屯副校长、科研管理办公室、数学科学学院负责人170余人参加了会议。
赵邦屯致欢迎辞，对与会专家表示热烈欢迎，感谢他们对我校学科建设和发展的关心和支持，并介绍了我校基本情况和数学学科建设情况。
他指出，本次研讨会是一次很好的学习交流机会，对进一步提高我校组合数学和符号计算的科研水平，促进数学学科的建设和发展具有重要作用。
中国数学会组合数学与图论专业委员会副主任宗传明教授、中国数学会计算机数学专业委员会主任李洪波研究员、中国工业与应用数学会图论组合与应用专业委员会副主任王毅教授先后发言，鼓励同学们努力解决重要问题，为组合数学和符号计算的发展做出贡献。
中国科学院系统科学研究所副研究员陈作为会议主办方代表，回顾了“组合数学与符号计算”研讨会的由来和历史以及会议的宗旨。
共有4场45分钟的邀请报告、12场25分钟的邀请报告和10场15分钟的独立报告，内容涉及组合数学和符号计算及其相关领域的应用与发展。
基于边缘信息的图像去马赛克方法
１ ２ 应 用技 术 Ａ ｐｉ ｅｈ ｉｕ ８ ｐ ｌｄＴｃｎｑｅ ｅ
表 示任一 像素 ） 根据 ０周 围是否有 关于 其 中心对称 ，
并 构成 矩形 顶 点 的四个 白色 点来 确定 其是 否 是马赛
克的 中心点 。 判 断的过程也 是一个扫描 的过程 。
术步骤 ，对 实际的摄像 头采样数据进行 了增 强处 理， 获得 了明显 的提 升效 果。不 同于传 统的聚类分析 处理
ｌ 处 理 流 程
图片马赛克的来源可 以被认 为有两类 ： 一是原始
的图片采集 由于镜头本身受环境及传输过程 中干扰等
影 响而产生的马赛 克； 二是图片直接放大所产生 的单
一４ ６７
．
４马兆敏 黄玲， 基 于神 经网络的杂草 图像 分割 算法． 等． 计算
一
颜色值 的马赛克。为了有效提高图像质量 ， 需要区 我们 的策略是将 图像进行缩小 ，在 小尺寸下 图像
分这两类现象并分别对待 。
基本可排除 由第二类 原因产生 的马赛克 。此时处理 的 对 象可认为是 以第一类 为主。于是首先要通过采样 的 方法将图片缩小到小的尺 寸。这一过程可 以采 用简化
收 稿 时间： １－６０ ； 到修 改稿 时间 ： １－７０ ２ ０ －７收 ０Ｉ ． ２ ０ ．８ ０１
ＡｐｌｄＴｃｎｑｅ应用技术 １ １ ｐｉ ｅｈ ｉｕ ｅ ８
计 算 机 系 统 应 用
ｈ ｐｌ ｗｗＣＳ ．唱． ｔ ：ｗ ． － ｏ ｃ ｔ ｌ －ａ ｎ
２１ ０ ２年 第 ２ 卷 第 ２ １ 期
躐
ｌ
（） １ 量 １ ）
量 实表 ，文 算 能 效 割 电器 像 。验 明本 的 法 有分 出容 图
共形几何代数与几何不变量的代数运算
共形几何代数与几何不变量的代数运算
李洪波
【期刊名称】《计算机辅助设计与图形学学报》
【年(卷),期】2006(18)7
【摘要】几何不变量的使用是计算机视觉和图形学的一个重要手段.发现一个不变量后,如何找到它与其他不变量的关系,是实际应用中的一个重要问题,这种关系的探讨主要依靠在不变量层次上的代数运算.文中介绍了共形几何代数中的基本、高级和有理不变量如何在几何问题中自然出现,它们之间如何进行代数运算,以及如何通过不变量的化简,自然地得到几何条件的充分必要化和几何定理的完全化.几何定理的机器证明作为几何定理完全化的副产品,被发展成几何定理的关系定量化,这种量化的几何还原就是几何定理的自然推广.几何不变量之间的几何关系的计算是这些技术的一个具体应用.
【总页数】10页(P902-911)
【作者】李洪波
【作者单位】中国科学院数学机械化重点实验室,北京,100080
【正文语种】中文
【中图分类】O1
【相关文献】
1.利用共形几何代数的平面并联机构位置正解求解方法 [J], 黄昔光;黄旭
2.利用共形几何代数的串联机器人位置逆解求解方法 [J], 黄昔光;黄旭;李启才
3.共形几何代数--几何代数的新理论和计算框架 [J], 李洪波
4.基于共形几何代数的空间机构位置解方法研究 [J], 亢书华;李瑞琴
5.基于共形几何代数的三维地籍空间数据建模探讨 [J], 张季一;尹鹏程;李钢;史志凤;刘友志;于金羽
因版权原因，仅展示原文概要，查看原文内容请购买。
中国数学会计算机数学专业委员会第一届委员会
中国数学会计算机数学专业委员会第一届委员会2007年－2010年名誉主任：吴文俊主 任：高小山副 主 任：陈永川、李洪波、曾振柄秘 书：周代珍顾问委员：吴文俊院士 中国科学院系统科学研究所万哲先院士 中国科学院系统科学研究所李邦河院士 中国科学院系统科学研究所张景中院士 中国科学院成都计算机应用研究研究所陆汝黔院士 中国科学院数学研究所林惠民院士 中国科学院软件研究所胡国定教授 南开大学吴文达教授 北京市计算中心杨路研究员 成都计算机应用研究研究所冯克勤教授 清华大学冯果忱教授 吉林大学张鸿庆教授 大连理工大学石 赫研究员 中国科学院系统科学研究所刘木兰研究员 中国科学院系统科学研究所徐宗本教授 西安交通大学齐东旭教授 澳门科技大学冯玉瑜教授 中国科学技术大学堵丁柱教授 西安交通大学黄文奇教授 华中科技大学李廉教授 兰州大学委员(按拼音字母顺序排列):陈发来中国科学技术大学陈永川南开大学陈玉福中国科学院研究生院范恩贵复旦大学冯勇中国科学院成都计算机应用研究所符红光中国科学院成都计算机应用研究所高小山中国科学院数学与系统科学研究院何青北京师范大学侯晓荣宁波大学信息和计算科学研究所胡磊中国科学院研究生院蒋鲲黑龙江大学李洪波中国科学院数学与系统科学研究院李树荣中国石油大学李志斌华东师范大学李子明中国科学院数学与系统科学研究院廖启征北京邮电大学林东岱中国科学院软件研究所林作铨北京大学刘金旺湖南科技大学数学与计算科学学院刘卓军中国科学院数学与系统科学研究院陆征一温州师范学院裘宗燕北京大学宋瑞霞 北方工业大学汪国昭浙江大学王定康中国科学院数学与系统科学研究院王东明北京航空航天大学王明生中国科学院软件研究所王文平香港大学王小云山东大学、清华大学吴尽昭中国科学院成都计算机应用研究所武永卫清华大学夏壁灿北京大学谢福鼎辽宁师范学院计算科学学系徐国良中国科学院计算数学研究所易忠广西师范大学数学与计算科学学院于波大连理工大学曾广兴南昌大学曾振柄华东师范大学查红彬北京大学张健中国科学院软件研究所张树功吉林大学支丽红中国科学院数学与系统科学研究院。
第二届信息科学关键数学问题国际研讨会在西电科大举办
第二届信息科学关键数学问题国际研讨会在西电科大举办
第二届信息科学关键数学问题国际研讨会在西
电科大举办
日前，由西安电子科技大学、国家自然科学基金重大项目“信息处理中的关键数学问题”，以及中国科学院数学与系统科学研究院优化与应用研究中心联合举办的第二届
“信息科学中的关键数学问题”国际研讨会在西安电子科
技大学北校区举办。
此次国际研讨会共组织了为期5天半的学术报告和研讨。
会议邀请了包括，美国、希腊、新加坡等国家的18位国际信息科学及应用数学领域的专家学者，收到了国内学者的高度关注和积极参与，共24家单位200余人参加了这次研讨会。
该校雷达信号处理国家重点实验室刘宏伟教授及中组部
“千人计划”特聘专家、美国明尼苏达大学罗智泉教授担任了大会主席。
据悉，信息科学中的关键数学问题国际研讨会旨在为信息科学领域学者和数学家建立一个学术交流的平台，促进两个学科的交叉融合。
本次会议注册会员达到200余人，参会单位包括了中国民航大学，中国国家科学院，信息工程大学，湘潭大学，香港中文大学，西北工业大学，西安交通大学，武汉大学，四川大学，清华大学，宁波大学，美国明尼苏达大学，华中科技大学，河南大学，杭州电子科技大学，桂林电子科技大学，复旦大学，北京邮电大学，北京理工大学，北。
中国数学会2007年学术年会LSECIndexHomePag
中国数学会2007年学术年会分组报告人名单第一组：代数与数论、几何与拓扑(45分钟报告13人，15分钟报告1人)11月3日地点：新主楼会议中心第一报告厅主席：王诗宬9:45-10:30 芮和兵（华东师范大学）分圆NAZAROV-WENZL代数的结构与表示10:30-11:15 章璞（上海交通大学）CALABI-YAU范畴11:15-12:00 邱瑞锋（大连理工大学）DEHN手术，把柄添加及不可压缩曲面12:00-13:30 午餐，午休主席：刘建亚13:30-14:15 王东明（北京航空航天大学理学院、法国科学研究中心）代数簇和理想的分解：算法、软件及应用14:20-15:05 刘合国（湖北大学数学系）有限秩的幂零群的自同构15:10-15:55 贾朝华（中国科学院数学研究所）关于龙以明猜想16:00-16:15 休息，茶点16:15-17:00 孙智伟（南京大学数学系）组合数论中若干著名问题及相关结果*17:05-17:20 李永青（福建师范大学数学与计算机科学学院）关于强不定泛函的多重临界点17:25-18:10 陈柏辉（四川大学数学学院）等变DONALDSON理论和KOTSCHICK-MORGAN猜想11月4日地点：新主楼会议中心第八会议室主席：肖杰8:00-8:45 徐晓泉（江西师范大学数学与信息科学学院）格序结构的关系表示理论及其应用8:45-9:30 史宇光（北京大学数学科学学院）与广义相对论中能量有关的几何问题研究9:30-10:15 陈猛（复旦大学数学科学学院）关于三维代数簇的典范分类理论10:15-10:30 休息，茶点10:30-11:15 郭晋云（湘潭大学数学与计算机科学学院）SELFINJECTIVE KOSZUL ALGEBRA OF FINITE COMPLEXITY（有限复杂度自入射柯歇尔代数）11:20-12:05 陈兵龙(中山大学数学系) THE THEORY OF RICCI FLOW AND ITS APPLICATIONS IN GEOMETRY第二组：分析与函数论、ODE与动力系统、PDE与数学物理地点：新主楼会议中心第二报告厅（45分钟报告14人，15分钟报告1人）11月3日主席：张立群9:45-10:30 袁小平（复旦大学数学科学学院）KAM 理论及其在偏微分方程中的应用10:30-11:15 张平（中科院数学与系统科学研究院）关于不可压缩流体力学中的一些问题11:15-12:00 张晓（中科院数学与系统科学研究院）广义相对论的正质量定理12:00-13:30 午餐，午休主席：王长平13:30-14:15 黄飞敏（中国科学院数学与系统科学研究院应用数学研究所）CONTACT W A VE FOR GAS MOTION 14:15-15:00 尹景学（吉林大学数学学院）CRITICAL EXPONENTS TO NONLINEAR DIFFUSION EQUATIONS WITH NONLINEAR SOURCES15:00-15:45 麻希南（中国科学技术大学）预定曲率的凸超曲面15:45-16:00 休息，茶点16:00-16:45 周忆（复旦大学）GLOBAL CLASSICAL SOLUTIONS OF THE EQUATIONS FOR TIME-LIKE EXTREMAL SURFACES IN MINKOWSKI SPACE16:45-17:30 苗长兴（北京应用物理与计算数学研究所）GLOBAL WELL-POSEDNESS AND SCATTERING FOR THE ENERGY-CRITICAL, DEFOCUSING HARTREE EQUATION FOR RADIAL DATA17:30-18:15 吴军（华中科技大学数学系）CONTINUED FRACTIONS AND FRACTAL DIMENSIONS11月4日主席：叶向东8:00-8:45 尤建功（南京大学数学系）斜积流的动力学8:45-9:30 沈维孝（中国科学技术大学数学系）区间映射的吸引子和不变测度9:30-10:15 尹永成（复旦大学数学科学学院）BRANNER-HUBBARD猜想的证明及其应用10:15-10:30 休息，茶点10:30-11:15 步尚全（清华大学）算子值傅立叶乘子及其应用11:15-12:00 郭坤宇（复旦大学数学学院）ESSENTIALLY NORMAL HILBERT MODULES FROM ALGEBRAIC V ARIETIES*12:00-12:15 唐春雷（西南大学数学与统计学院）二阶HAMILTON系统周期解第三组：概率与统计、运筹与控制地点：如心会议中心中报告厅（45分钟报告12人，15分钟报告1人）11月3日主席：彭实戈9:45-10:30 陈增敬（山东大学）非线性数学期望与资本资产定价--简谈现代金融学的发展对数学的影响10:30-11:15 张汉勤（中科院数学与系统科学研究院）随机模型中的逼近、优化与设计11:15-12:00 李增沪（北京师范大学数学科学学院）STOCHASTIC EQUATIONS OF NON-NEGATIVEPROCESSES WITH NON-NEGATIVE JUMPS12:00-13:30 午餐，午休主席：何书元13:30-14:15 陈大岳（北京大学数学科学学院）随机图上的接触过程14:20-15:05 王启华（中科院数学与系统科学研究院）经验似然方法的应用与发展15:10-15:55 崔恒建（北京师范大学数学科学学院）统计EV 模型的一些研究进展16:00-16:15 休息，茶点16:15-17:00 朱仲义（复旦大学管理学院统计系）纵向数据统计模型的若干研究*17:05-17:20 杨虎（重庆大学数理学院）SEVERAL MATRICES INEQUALITIES INVOLVINGTRACY-SINGH PRODUCT AND ITS APPLICATIONS TO STATISTICS17:25-18:10 姚鹏飞（中国科学院数学与系统科学研究院）分布参数系统控制理论的几何方法11月4日主席：张纪峰8:00-8:45 戴彧虹（中国科学院数学与系统科学研究院）AN OVERVIEW ON NEWTON’S METHOD AND QUASI-NEWTON METHOD8:50-9:35 张旭（中国科学院数学与系统科学研究院）偏微分方程的能控性9:40-10:00 休息，茶点10:00-10:45 郭先平（中山大学）RECENT RESULTS AND RELATED PROBLEMS FOR CONTINUOUS-TIME MARKOV DECISION PROCESSES10:50-11:35 汤善健（复旦大学数学科学学院）倒向随机微分方程理论的近期进展与待决问第四组：科学计算与计算机数学、数学交叉应用地点：如心会议中心大报告厅（45分钟报告12人，15分钟报告3人）11月3日主席：陈志明9:45-10:30 周爱辉（中国科学院数学与系统科学研究院）第一原理有限元计算简介10:30-11:15 白中治（中国科学院数学与系统科学研究院）非对称线性方程组的分裂迭代算法11:15-12:00 黄云清（湘潭大学）单位分解有限元方法的分析与应用12:00-13:30 午餐，午休主席：高小山13:30-14:15 李洪波（中科院数学院）高级不变量与符号几何计算14:20-15:05 刘铁钢（北京航空航天大学数学系）多介质RIEMANN问题与修正的虚拟介质方法及其应用（THEMULTI-MEDIUM RIEMANN PROBLEMS AND THE MODIFIED GHOST FLUID METHOD WITHAPPLICATIONS）15:10-15:55 李子明（中科院数学与系统科学院）SYMOBLIC ALGORITHMS FOR ORE ALGEBRAS(奥尔代数中的符号计算方法)16:00-16:15 休息，茶点16:15-17:00 王小云（清华大学高等研究中心）密码理论与数学问题*17:05-17:20 侯磊（上海交大E-研究所）碰撞问题中非牛顿力学计算方法17:25-18:10 常彦勋（北京交通大学）LARGE SETS OF IDEMPOTENT QUASIGROUPS AND RELATED 3-BALANCED DESIGNS11月4日主席：吴宗敏8:00-8:45 张波（中科院数学与系统科学研究院）SCATTERING BY UNBOUNDED ROUGH SURFACES8:50-9:35 袁光伟（北京应用物理与计算数学研究所）大变形网格上辐射扩散计算方法研究进展9:40-10:00 休息，茶点10:00-10:45 程晋（复旦大学数学科学学院）数学物理方程的反问题及其应用10:50-11:35 孙文昌（天津市南开大学数学学院）从标准正交基到广义框架*11:40-11:55 张诚坚（华中科技大学数学系）THE NUMERICAL METHODS FOR SINGULARLYPERTURBED PROBLEMS WITHDELAYS*12:00-12:15 倪明康（华东师范大学数学系）奇摄动问题中的空间对照结构理论。
几何代数和几何计算(二)
几何代数和几何计算(二)
石赫;李洪波
【期刊名称】《科学（上海）》
【年(卷),期】2005(057)006
【摘要】@@ 时代的需求rn数学科学的发展要适应时代的需求.rn欧洲的文艺复兴,极大地促进了自然科学的进步,各类新的重大发现,如天文学、力学、机械学等,只有成功应用了数学,才能形成完美的科学定律.坐标几何正是适应这样的时代需求应运而生的,它的建立改变了科学的历史进程.
【总页数】3页(P25-27)
【作者】石赫;李洪波
【作者单位】中国科学院数学与系统科学研究院数学机械化重点实验室;中国科学院数学与系统科学研究院数学机械化重点实验室
【正文语种】中文
【中图分类】TS935
【相关文献】
1.有理二次Bézier形式共轭双曲线段的几何计算 [J], 沈莞蔷;汪国昭;
2.有理二次Bézier形式共轭双曲线段的几何计算 [J], 沈莞蔷;汪国昭
3.二次函数在闭区间上的最值问题两类轴对称问题的辨析小议辅助角公式的求解策略抽象函数问题分类例析均值不等式的应用与分析对称问题中参数范围的一种求解策略关于解不等式问题的若干策略简化解析几何计算的若干策略“定”，“动”相宜——二次函数在闭区间上的最值问题 [J], 蔡永强
4.几何代数和几何计算(一) [J], 石赫;李洪波
5.渐开线圆柱齿轮几何计算(二) [J], 孙庆华
因版权原因，仅展示原文概要，查看原文内容请购买。
数学机械化方法及其在信息技术中的应用
针对信息安全、 生物特征识别、 几何建模与极端制造领域中有共性的相关 算法问题， 应用数学机械化理论发展高效算法， 为新技术的产生创 造条件。
具体介绍如下： 1、数学机械化前沿研究将以方程求解和机器证明为核心，分为几个方向： 方程求解理论的开拓性研究。 非线性方程求解是数学机械化研究的核心内 容。我们将针对差分方程、差分和微分差分混合系统、有限域上的方程，研究相 关求解的理论，刻画解空间和解簇的结构，扩大方程求解的范围，形成完整的方 程求解理论。研究内容包括：方程求解理论与方法、非线性微分方程的封闭解、 组合恒等式的机器证明、解析对象的计算机处理等。 数学机械化核心算法的深入研究。 针对数学机械化的核心问题， 研究各种高 效的消去法。将在下列方向进行研究：吴-Ritt零点定理并行算法、基于不变量理 论的高效符号计算、现代几何算法、混合计算、组合算法与优化算法。 实几何与实代数的高效能算法。针对国家发展“高可信软件”，“高可信计算” 的重大需求，开展符号-数值综合计算特别是以近似计算获取准确值的研究,虽不 完备但对大多数情况具有低复杂度、高效率的探索式算法的研究。 2、数学机械化方法在若干信息领域基础研究中的应用。 基础研究成果是技术创新的基础。 为适应国家需求， 本项目将积极开展信息 技术的应用基础研究，为技术创新创造条件。研究方向包括： 数学机械化与信息安全的基础理论研究。数学机械化的主要研究对象--非线 性多项式方程组的求解算法， 在信息安全的理论和实践中占有重要的地位， 是许 多密码算法安全的基础。 研究内容包括： 密码的代数设计与分析算法、 密码技术、 信息安全理论、编码的前沿问题。
知机理的生物特征识别方法， 多生物特征融合技术与实机系统开发， 基于数学机 械化原理的生物特征识别方法。 主要研究目标： 力争在生物特征的可分性和可识别容量、 生物特征的几何形变研 究方面，取得重要进展。设计和开发多模态生物特征识别系统，在相关国际性竞 赛中达到国际先进水平。 (6) 数学机械化在几何建模中的应用 负责人：陈发来、李华 承担单位：中国科技大学，中科院计算技术研究所 主要研究内容： 复杂曲面造型的新理论与在生物医学工程中的应用、 数码保密摄 像和传输装置的完善。 主要研究目标： 建立一般复杂曲面造型的理论框架和高效算法， 提高几何数据处 理的能力，努力在国防方面获得应用。 (7) 基于网格的数学机械化软件开发 负责人：高小山 承担单位：中科院数学与系统科学研究院、清华大学 主要研究内容：发展数学机械化高效算法。开发基于网络的数学机械化软件，将 本项目产生的新算法在平台上实现。 初步建立数学机械化软件库。 研究并联机构 及其在高精密微动并联机构与巨型并联机构的设计与分析中的应用。 主要研究目标： 在数学机械化高效算法方面取得突破性进展， 开发出具有自主知 识产权的基于网络与网格的自动推理平台。 初步建立数学机械化算法与软件公开 库， 为最终形成一个具有重大影响的、 基于数学机械化理论的解决问题工具库奠 定基础。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
李洪波，中科院数学与系统科学研究院研究员，博士生导师。
1997年入选中科院“百人计划”；1998年获香港“求是杰出青年学者”奖；2001年入选人事部“中国优秀博士后”；2004年入选国家“百千万人才计划”国家级人才。
主要研究领域有自动几何推理；几何计算；Clifford代数及其在计算机视觉和机器人方面的应用。
校庆报告的题目是
1. 几何表示和计算问题概述
报告简介：李洪波研究员主创（第一作者）的共形几何代数，现已成为国际几何代数研究的主流，获得高度评价。
共形几何代数的建立刚刚度过五、六年的时光, 已经展现的它的应用泛围之广令人惊讶。
它的应用前景仍有广阔的空间，科研人员正在进一步探索它在不同的领域的应用。
本次报告将介绍共形几何代数的一些基本理论，各种维数的几何实体在共形几何代数中表示和计算问题。
为介绍一个尽量完整的理论及其应用，在人工智能研究所还将做三个报告：
2. 射影和仿射几何的表示和计算
3. 欧氏几何的表示和计算
4. 运动和形状问题的新刻画。