【摘 要】
：
共形几何代数作为一种新的几何表示和计算系统,它为经典几何提供了简洁、直观和统一的齐性代数框架,目前在现代科技的各个领域有很广泛的应用,但是利用共形几何代数进行计算
【机 构】
：
高可靠嵌入式系统技术北京市工程研究中心,北京化工大学信息科学与技术学院
论文部分内容阅读
共形几何代数作为一种新的几何表示和计算系统,它为经典几何提供了简洁、直观和统一的齐性代数框架,目前在现代科技的各个领域有很广泛的应用,但是利用共形几何代数进行计算和建模分析的传统方法如数值计算方法和符号方法存在计算不精确等问题.定理证明方法是一种验证系统正确性的严密的形式化方法.在高阶逻辑证明工具HOL-Light中建立共形几何代数系统的形式化模型,提出基本代数运算、几何体表示和几何变换等理论的相关逻辑定义和性质证明.最后为了说明共形几何代数形式化的有效性和实用性,基于共形几何逻辑模型对5R串联机器人的运
其他文献
硅藻土是一种便宜易得的色谱担体。由于其表面的吸附性质常常限制了它的使用,特别是在分析极性化合物时更加明显,这种吸附性质通常是来源于担体中的(1)杂顷、氧化物(2)微孔(3
沈珠江等在总结岩土材料的基本特性、分析理论和研究方法的基础上,提出了岩土破损力学理论框架和二元介质模型概念。基于岩土二元介质模型思想,近年来在试验、理论和数值模拟
城市轨道交通站点客流量是评价其服务水平和实现城市轨道交通资源有效配置的基础数据和依据。针对城市轨道交通站点进站客流量序列波动复杂的问题,构建基于EEMD-BP方法的城市
随着物质文化生活水平的提高，人们的消费观念也在不断地发展。人们不再只满足温饱的生活，而对商品越来越挑剔。今天的时尚，可能明天就会过时。所以商品的销售包装必须不断改进．在
长吻(鱼危)和南方大口鲶因其肉质鲜美,含肉多,营养价值高等特点,成为目前主要的名优鱼类。饲料的供给对长吻(鱼危)和南方大口鲶的生长和人工养殖的经济效益都具有重要作用。
介绍基金投资、土地投资和土地基金投资,并说明土地基金投资的三项有利之处,最后介绍了土地基金运营方式及其优缺点.
利用CMIP5的15个全球气候系统模式对东亚及周边地区（70~150°E,0°~60°N）地面气温的回报结果进行超级集合（简称SUP）试验,以欧洲中期天气预报中心ERA逐月气温资料作
正常时,肺动脉压为15～20mmHg。慢性阻塞性肺疾病患者在静止时,平均肺动脉压常持续在20mmHg以上。近年来研究证明,慢性阻塞性肺疾病的肺动脉高压起源于肺泡缺氧和肺血管内血液
我一直以为,读书和听歌有许多非常相似的地方。在生命不同的阶段里,一个人喜欢读的书和喜欢听的歌,都是不一样的。它们仿佛是你生命历程里留下的脚印,见证着你走过的每一段路
人类对风能应用的探索从未停止,无穷无尽的风能可以给地球的发展提供新的动力。伴随着全球工业技术不断发展,更大型风力发电机不断涌现,这些促使着支撑结构不断进步,传统的锥筒式塔架在建设达到一定高度之后存在运输、安装等方面困难,随着锥筒壁厚增加经济学严重下降。为了解决这一问题,格构式钢管混凝土风电塔架被提出,其承载力和建设高度远超过传统塔架。目前关于格构式塔架的研究多集中在焊接相贯节点和管板节点的力学性能