Bezier三角曲面凸性的证明

Bezier曲面造型是计算机图形学的重要研究方向,在实际工作中有着非常广泛的应用.讨论了二次及三次Bezier三角曲面凸性的充分必要条件,这些条件对于控制曲面造型中的保凸性有重要意义.     

二元三方向样条曲面的快速显示算法与实现

本文应用Ｂ网分裂加密的思想，讨论在计算机上快速实现二元三方向网格上三角域样条曲面的显示。该算法具有快速、稳定和高效率等优点，可用于相应的曲面设计与曲面求交。     

Heuristic search for scheduling flexible manufacturing systems using lower bound reachability matrix

For scheduling flexible manufacturing systems efficiently, we propose new heuristic functions for A^* algorithm that is based on the T-timed Petri net. In minimizing makespan, the proposed heuristic functions are usually more efficient than the previous functions in the required number of states and computation time. We prove that these heuristic functions are all admissible and one of them is more informed than that using resource cost reachability matrix. We also propose improved versions of these heuristic functions that find a first near-optimal solution faster. In addition, we modify the heuristic function of Yu, Reyes, Cang, and Lloyd (2003b) and propose an admissible version in all states. The experimental results using a random problem generator show that the proposed heuristic functions perform better as we expected.