论文部分内容阅读
简介了数学标记语言MathML内容编码的规范,并提出了判断两个基于MathML内容编码的数学表达式等价性的方法。该方法通过建立数学规则库,对两个数学表达式进行树型模式匹配和算式变换来实现。
基于MathML的数学表达式等价性的研究
【摘 要】
：
简介了数学标记语言MathML内容编码的规范,并提出了判断两个基于MathML内容编码的数学表达式等价性的方法。该方法通过建立数学规则库,对两个数学表达式进行树型模式匹配和算式变换来实现。
【机 构】
：
南京大学计算机软件新技术国家重点实验室
【出 处】
：
计算机应用研究
【发表日期】
：
2004年11期
其他文献
利用模糊粗糙集约简、数学形态学和分形理论,根据头发灼烧体图像的颜色、多种微量元素的含量以及它的纹理特征和几何特征,提出了一种新的基于模糊粗糙集的医学图像边界提取新方法。
区域经济发展评价是确定该区域经济社会发展状况,制定区域经济发展战略的依据。介绍了建立评价指标体系的准则和方法,以及系统功能模块的组织结构,提出了基于组件的Client/Server三层结构建立模糊综合评价模型的思想。
现实生活中,若要建立新的超市、工厂、医院等公共基础设施,面临的一个首要问题即为选址问题。针对某大学城超市的选址问题,用改进的进化规划算法对此问题进行求解,给出了可行方案,为决策提供了依据。
采用CCM构件模型可以简化CORBA服务器方的应用开发过程 ,提高CORBA的易用性 ,这已成为一种趋势。基于CORBA构件模型 ,对持久状态服务进行了深入的讨论与研究 ,并给出了持久状态服务集成相关设计与实现
针对网络延时不确定使Smith预估补偿器的控制效果差的问题,提出了改进的Smith补偿控制算法,通过对控制信息的反馈,起到了动态调整延时补偿时间的效果。仿真结果表明,本控制策略实现简单且具有很好补偿网络不确定延时的效果。
提出虚拟空间会议系统中一种基于感知控制的视频传输方案。
多描述编码针对不可靠网络传输将信号源编码成多个比特流,利用信号冗余估计丢失的信息,支持多层次质量解码。就两个描述的情况提出了三种基于离散余弦变换(DCT)的多描述编码方案。
RDGSM(theRegionalDatabaseforGeothermalSurfaceManifestation)是国际原子能机构 (IAEA)对地表同位素水文数据进行处理和管理的分布式数据库系统 ,数据信息分布在世界各地 ,数据采集和提交的时间至关重要。采用了基于NTP协议的分布式数据库时间同步策略 ,保障了整个系统数据时间上的同步性 ,确保了数据的有效性和可比性
在信息时代 ,由于Internet和其他信息传播媒体的存在 ,计算机数据安全问题日益突出。控制数据的安全包括两方面 :一方面如何控制数据的非自主流向 ,即如何控制数据不被心怀叵测者用不正当手段获得 ;另一方面 ,即使数据被窃之后 ,由于对数据先进行了加密处理 ,使非法获得数据者无法得知其中的内容。就Windows2 0 0 0环境下 ,对后者进行了讨论
基于Radon变换提出了一种新的图像识别方法,首先构造了二维图像在Radon变换空间的平移和比例不变量,然后根据变换空间数据的特性,利用奇异值分解得到了旋转不变量并将其用于三类飞机的识别,仿真结果表明该方法具有很好的性能和较高的实用价值。