简介:约束传播算法是求解约束满足问题的一种重要方法.调度问题是一种特殊的约束满足问题.本文介绍了调度问题中的Edge-Finding和Energy-Reasoning两种分离约束传播算法,并对它们进行了比较,文中最后给出了一种结合Energy-Reasoning的Edge-Finding改进算法.
简介:在求解常系数线性微分方程组时,关键是基解矩阵的计算.给出了利用哈密顿一凯莱定理计算基解矩阵的一种方法,并通过实例说明了这种方法的特点和在简化计算方面的有效性.
简介:基于状态空间模型的许多传统滤波算法都基于Rn空间中的高斯分布模型,但当状态向量中包含角变量或方向变量时,难以达到理想的效果。针对J.T.Horwood等提出的nS?R流形上的GaussVonMises(GVM)多变量概率密度分布,扩展了狄拉克混合逼近方法,给出了联合分布的GVM逼近方法,推导了后验分布的GVM参数计算公式,设计了量测更新状态估计算法。将J.T.Horwood等的时间更新算法与所提出的量测更新算法相结合,可实现基于GVM分布的递推贝叶斯滤波器(GVMF)。仿真结果表明,当状态向量符合GVM概率分布模型时,GVMF对角变量的估计明显优于传统的扩展卡尔曼滤波器。
简介:利用多组分反应方法,合成了一种螺环结构的2′,7′-二氨基-5-甲基-2,4′-二氧代-4′,8′-二氢-3'H-螺[吲哚啉-3,5′-吡啶[2,3-d]嘧啶]-6′-腈化合物4,并对该化合物进行了红外光谱、核磁共振氢谱、元素分析以及X-射线单晶衍射表征.单晶衍射结果表明:该晶体属于三斜晶系,空间群P-1,晶体参数为a=1.3081nm,b=1.3163nm,c=1.4542nm,α=71.668(1)°,β=78.074(2)°,γ=66.475(1)°.在每个晶胞结构单元中含有一对对映异构体分子,分子中通过螺碳原子相连的吲哚环和二氢吡啶环处于几乎垂直构型,其二面角为89.15(2)°;稠合的二氢吡啶环和嘧啶环几乎共平面,其二面角为0.93(2)°.
简介:直接敏感地平是一种典型自主天文导航方法,该方法简单可靠,易于实现,但是由于常用卫星轨道动力学J2模型精度有限,地球敏感器精度较低,因此导航精度不高。加速度计是测量运载体线加速度的常用惯性导航设备,当航天器在轨运行时,星载加速度计能够测量航天器所受发散力。结合上述两种方法的特点,提出一种将加速度计和天文相结合的自主天文导航新方法。在常用卫星轨道动力学模型基础上,引入大气阻力和太阳光压系数模型作为自主导航系统状态方程的一部分,并建立近地空间环境下星载加速度计的测量模型,将其与直接敏感地平均作为导航系统观测方程。设计基于信息融合的自主导航滤波方法,通过对多种导航模式进行数值仿真及结果分析,结果表明所设计方法提高了系统定位精度62.8%和速度精度63.9%,增强了系统可靠性。
简介:本文将文献中的求解二维的有交界面的椭圆型方程的浸入界面方法推广到界面及间断条件都由定义在界面某个邻域的网格函数点上的函数隐式提供的情形,给出了一种间断条件捕捉格式。它特别适合干隐式界面跟踪法如水平集方法。对原浸入界面方法中的界面间断关系,确定不规则点差分格式的系数的代数方程组和修正项都针对新的情形进行了相应的修正。该格式利用标准的二阶拉格朗日插值计算间断函数沿界面的导数,避免了文献中的用样条函数的局部界面重构,易于执行。数值计算验证了该法的关于最大模的二阶收敛性。