基于标准门的BDD构造

一个有效的和简化的BDD将大大提高验证和测试生成效率.作者根据电路结构的特点,以标准门的BDD为基础,从原始输入到输出,通过逐级拼接,有效地完成电路的BDD构造.实验证明,该方法简单、直观而有效.     

Synchronization in hub terminals with the circular arrangement problem

Hub terminals are important entities in modern distribution networks and exist for any transportation device, that is, cross docks and parcel distribution centers for trucks, container ports for ships, railway yards for trains, and hub airports for aircraft. In any of these hubs, the mid‐term planning task of synchronizing the transshipment of goods and passengers when servicing the transportation devices has to be solved, for which many different solution approaches specifically tailored to the respective application exist. We, however, take a unified view on synchronization in hubs and aim at a general building block. As a point of origin, a basic vertex ordering problem, the circular arrangement problem (CAP), is identified. We explain the relation between the CAP and hub processes, develop suited algorithms for solving the CAP, and extend the basic CAP by multiple additions, for example, arrival times, limited storage space, and multiple service points, make the problem adaptable to a wide range of hub terminals. © 2015 Wiley Periodicals, Inc. Naval Research Logistics 62: 454–469, 2015     

自旋结网圈表象中体积算符对5价顶角的作用

根据已有文献给出的W矩阵元的一般公式,利用重耦理论深入研究了5价顶角,得出了相应的W(5)矩阵元的可直接计算的精确公式.     

一类新的优美树

Rosa 等人于1966年提出了著名的优美树猜想,即任何树都是优美图.该猜想至今没有得到证明或否定,仅有一些特殊树类被证明是优美图.通过构造路Pn=v0v1…vm的平衡标号f使f(v0)=k,其中k为任意不大于n的非负整数,且4k≠n,3n,进而给出一种新的优美树的构造方法,使已知的优美树大大增加.     

极区格网导航在大圆航行中的应用

为了克服因极区地理经线快速收敛而产生的惯导系统无法准确定位的难题,对极区格网导航在大圆航行中的应用进行了研究,提出将过大圆顶点的子午线作为格网北的极区格网导航方法,根据格网北进行了航向推算,分别对大圆顶点相对于大圆端点对称的特殊情况以及大圆顶点相对于大圆端点非对称的常规情况进行了航向推算,并分析了航向误差产生的原因。理论分析证明该方法能够为船舶高纬度航行提供准确的位置信息。