基于线性元的电阻抗成像的数学模型和算法

本文讨论了电阻抗成像的数学模型，先利用有限元方法将其离散化，再把它转化为非线性优化问题，并给出了利用牛顿法求解这一问题的具体算法．最后进行了一系列数值仿真对比实验，证实了这一算法的有效性，指出了其中存在的问题．     

究竟谁是惯性定律的发现者

介绍了笛卡儿以前人们对惯性定律的认识,阐述了笛卡儿及其同时代人对惯性定律的贡献以及牛顿对这一问题的总结。     

Newton’s notion and practice of unification

In this paper I deal with a neglected topic with respect to unification in Newton’s Principia. I will clarify Newton’s notion (as can be found in Newton’s utterances on unification) and practice of unification (its actual occurrence in his scientific work). In order to do so, I will use the recent theories on unification as tools of analysis (Kitcher, Salmon and Schurz). I will argue, after showing that neither Kitcher’s nor Schurz’s account aptly capture Newton’s notion and practice of unification, that Salmon’s later work is a good starting point for analysing this notion and its practice in the Principia. Finally, I will supplement Salmon’s account in order to answer the question at stake.     

有理Bezier曲线的拼接

有理Bezier曲线作为有理B样条曲线的特例,正得到越来越多的研究,并在CAD/CAM领域中得到越来越广泛的应用.依据Bezier曲线理论,研究了有理Bezier曲线的拼接问题,给出了两条邻接任意次有理Bezier曲线间G1和G2连续条件.     

二维装配图的快递交点排序裁剪算法

提出一个任意多边形的快速交点排序线裁剪算法,该算法简单快捷,效率高,并将其成功用于工程装配图的二维消隐。解决了大多数算法将凹多边形裁剪分解为凸多边形处理存在计算时间长、难度大等问题。     

多边形的等积三角剖分

2000年，美国数学家Stein提出了一个很一般的猜想：任何特殊多边形不可能划分为奇数个面积相等的三角形，并证明了猜想对边数不超过6的特殊多边形成立．借助Sperner引理与2-进赋值函数证明：对任何正整数n＞6，存在边数为n的特殊多边形，并证明猜想对边数为7的几类典型的特殊多边形成立．     

基于多步法绘制理论的抛物线裁剪算法

基于多步法绘制原理和Brensenham算法，提出一种新的关于抛物线的线性化裁剪算法。该算法首先线性化计算，由给定抛物线生成绘制时所需的两个数组，然后考虑到各种裁剪情况，利用两数组实现抛物线与窗口裁剪线的求交运算，得到相应的裁剪数据，最后再绘制出所求的裁剪图形。     

判定凸多边形可移动性算法的推广

文［１］研究了两个凸多边形可移动性问题的最优判定算法，讨论了简单多边形Ｐ和凸多边形Ｑ的可移动性问题。提出了一种与［１］具有相同时间复杂度的最优算法。     

Bézier曲线及其计算机绘图方法研究

Ｂéｚｉｅｒ方法是计算机辅助几何设计中最重要的方法之一，本文研究了Ｂéｚｉｅｒ曲线的几何性质、绘图的数学原理和方法。我们用Ｃ语言编制了绘图程序，给出了四次Ｂéｚｉｅｒ曲线和分段四次Ｂéｚｉｅｒ曲线的图形。所得结果与理论分析完全一致。最后，我们使用代数方法完成了绘图定理的证明。     

地图边界线的一种快速生成方法

地图边界线是一种不确定的曲线，用计算机绘制这类曲线时，曲线上的点基本上靠手工输入，工作量大，本文提出了的快速生成方法是先用多边形描述这类曲线，然后由计算机对多边形作随机化“波动”，从而模拟出地图边界线，该方法使地图边界线的生成既快捷，又不失真。