STL模型布尔运算的实现

首先建立STL模型的拓扑结构从而获得三角面片间的相邻关系．通过两个实体间的棱面相交性测试获得交点和交线,进而提取交线环．利用约束Delaunay方法对相交的三角形进行二次三角形划分,将相交表面沿交线环剖分为多个面域,利用射线法判断各个面域相对于另一实体的位置关系．通过提取相交环来决定有效的相交线降低了位置关系判断的复杂性,提高了布尔运算的稳定性．     

基于多通道观测量精确定时的算法及实现

为了提高卫星导航系统中的定时精度,在研究利用伪距方程解算来获得钟差以进行接收机时间调整的传统定时方法的基础上,提出了利用多通道信息在最大似然准则下,进行最佳估计接收机时钟钟差的算法,并在时间调整过程中实现了闭环调整接收机秒脉冲(1 PPS)的输出.对算法及闭环调整方式在ARM FPGA的硬件平台上进行了初步实现,对算法的性能进行了仿真.仿真结果表明,最大似然估计算法对进一步提高卫星导航系统中的定时精度有明显的改善.针对开环和闭环调整两种情况,也进行了仿真分析,得出闭环调整能够有效克服接收机时钟向同一方向漂移的问题.     

用闭环增益成形算法的精馏塔鲁棒控制

给出了MIMO系统的闭环增益成形算法,将之应用于精馏塔的控制中,取得了良好的控制效果和鲁棒稳定性。文献［6］给出的回路成形控制器与本文的一阶闭环增益成形控制效果相同,文献［6］评价该法的不足之处是闭环系统的鲁棒性能稍差,该缺点可用本文的二阶或三阶闭环增益成形控制器加以克服。该算法的优点是设计过程简单,物理意义明显。     

一类新的圈代数和它的Liouville可积演化方程族

基于Lie代数Aa-1的推广,构造了一类新的圈代数,并设计了一个新的谱问题。然后,利用屠格式获得了一个新的可职系统,并推导出它相应的非线性演化方程族,最后,证明了该演化方程族在Liouville意义下是可积的。     

BBM—likeB（2，2）方程的圈波及周期圈波解

应用微分方程动力系统理论研究BBM—likeB（2，2）方程的圈波及周期圈波解。在某些参数条件下给出该方程平面系统的相图，根据相图找到圈波及周期圈波解的存在条件，并求出了这两种解的参数形式表达式。通过软件Mathematica模拟了这两种解的平面波形图。     

汉密尔顿回路逻辑程序的两个结果

基于回答集语义的逻辑程序提供了描述性问题求解的范例,而逻辑程序的一阶环公式提供了计算回答集的新方法——自动定理证明.本文研究了汉密尔顿回路逻辑程序的一阶环公式,证明了计算汉密尔顿回路的有助于提供计算效率的两个主要结果.     

Method of adaptive PLL bandwidth adjustment without phase slipping

In a system based on the phase lock loop（PLL）, a trade-off must be made between the tracking precision and the dynamic performance if constant parameters are adopted. To overcome this drawback, a new method called no phase slipping adaptive bandwidth（NPS-AB） is proposed, which can adjust the loop bandwidth adaptively for different working conditions. As a result, both the tracking precision and the dynamic performance can be achieved concurrently. NPS-AB has two features to keep the loop stable： one is the capability of quick response to dynamics; the other is a series of additional constraints when the bandwidth is switched. Compared with other methods, there is no phase slipping during the adjustment process for NPS-AB. The phase integer ambiguity can be avoided and the phase value is kept valid. It is meaningful for carrier ranging systems. Simulation results show that NPS-AB can deal with sudden dynamics and keep the pseudo-range value stable in the entire dynamic process.     

Coordinating production and recycling decisions with stochastic demand and return

In this paper, the joint production and recycling problem is investigated for a hybrid manufacturing and remanufacturing system where brand-new products are produced in the manufacturing plant and recycled products are remanufactured into as-new products in the remanufacturing facility. Both the brand-new products and remanufactured products are used to satisfy customer demands. Returns of used products that are recycled from customers are assumed to be stochastic and nonlinearly price-dependent. A mathematical model is proposed to maximize the overall profit of the system through simultaneously optimizing the production and recycling decisions, subject to two capacity constraints — the manufacturing capacity and the remanufacturing capacity. Based on Lagrangian relaxation method, subgradient algorithm and heuristic algorithm, a solution approach is developed to solve the problem. A representative example is presented to illustrate the system, and managerial analysis indicates that the uncertainties in demand and return have much influence on the production and recycling policy. In addition, twenty randomly produced examples are solved, and computational results show that the solution approach can obtain very good solutions for all examples in reasonable time.     

Design of radiation hard phase-locked loop at 2.5 GHz using SOS-CMOS

Abstract: A radiation hard phase-locked loop (PLL) is designed at 2.5 GHz using silicon on sapphire complementary metal-oxide-semiconductor process. Radiation hardness is achieved through improving circuit design without sacrificing real estate. Stability is guaranteed by a fully self-bias architecture. The lock time of PLL is minimized by maximizing the loop bandwidth. Frequency tuning range of voltage controlled oscillator is significantly enhanced by a novel load configuration. In addition, multiple bias stages, asynchronous frequency divider, and silicon on sapphire process jointly make the proposed PLL more radiation hard. Layout of this PLL is simulated by Cadence Spectre RF under both single event effect and total induced dose effect. Simulation results demonstrate excellent stability, lock time < 600 ns, frequency tuning range [1.57 GHz, 3.46 GHz], and jitter < 12 ps. Through comparison with PLLs in literatures, the PLL is especially superior in terms of lock time and frequency tuning range performances.     

基于优化模型的街面逃逸犯罪嫌疑人的围堵方案探讨

本文针对目前高发的“两抢一盗”街面犯罪及全国各省市地区警力资源不足的现状，提出两种基于优化模型的可用计算机编程实现的堵截方案，以实现快速有效的抓捕逃逸犯罪嫌疑人，由此提高公安机关打击街面犯罪的工作效率和破案能力。其中方案一采用的是具有实战价值的最优布控圈模型，适用于突发性的、社会影响恶劣的犯罪案件，确保能将犯罪嫌疑人第一时间围堵和抓捕。而方案二采用的是关键路布控追捕模型，能提高抓捕和破案效率的同时大大降低了对警力资源的需求，两个方案均具有实际意义。