为了提高用于更新代理模型的解集的多样性和收敛性以提高代理模型准确度,提出一种基于行列式点过程(determinantal point process,DPP)的代理模型辅助多目标进化算法(surrogate-assisted evolutionary algorithm,SAEA)。首先,提出一种...为了提高用于更新代理模型的解集的多样性和收敛性以提高代理模型准确度,提出一种基于行列式点过程(determinantal point process,DPP)的代理模型辅助多目标进化算法(surrogate-assisted evolutionary algorithm,SAEA)。首先,提出一种基于行列式点过程的模型管理方法,从非支配解集基于行列式点过程选取子集并用真实目标函数评估,再从所有经真实目标函数评估的解中选取子集用于更新代理模型。另一方面,提出一种基于自适应行列式点过程的环境选择方法,在进化过程的早期侧重于提高种群的收敛性,在进化过程的后期侧重于提高种群的多样性。最后,基于DTLZ、WFG、MAF测试问题验证算法的有效性。将所提算法与K-RVEA、KTA2、CSEA等常用算法进行比较,使用IGD+指标进行评估。实验结果显示所提出的算法能得到更优的解集,从而证明了其高计算代价多目标优化问题上的有效性。展开更多
It is well-known that there are circumstances where applying Reiter's closed world assump- tion (CWA) will lead to logical inconsistencies . In this paper, a new characterization of the CWA consistency is pesented...It is well-known that there are circumstances where applying Reiter's closed world assump- tion (CWA) will lead to logical inconsistencies . In this paper, a new characterization of the CWA consistency is pesented and an algorithm is proposed for determining whether a datalase with- out function symbols is consistent with the CWA. The algorithm is shown to be efficient.展开更多
Given a hypergraph, this paper provides three algorithms for finding all its minimal cutsets, minimal link cutsets and the least cutsets. The result not only set up a new studying field on cutsets of hypergraph, but a...Given a hypergraph, this paper provides three algorithms for finding all its minimal cutsets, minimal link cutsets and the least cutsets. The result not only set up a new studying field on cutsets of hypergraph, but also lay a foundation of analyzing the performance of multibus systems. The algorithm for determining all the least cutsets in a hypergraph is polynomial complex and more efficient than that in [2].展开更多
X-ray pulsars offer stable, periodic X-ray pulse sequences that can be used in spacecraft positioning systems. A method using X-ray pulsars to determine the initial orbit of a satellite is presented in this paper. Thi...X-ray pulsars offer stable, periodic X-ray pulse sequences that can be used in spacecraft positioning systems. A method using X-ray pulsars to determine the initial orbit of a satellite is presented in this paper. This method suggests only one detector to be equipped on the satellite and assumes that the detector observes three pulsars in turn. To improve the performance, the use of incremental phase in one observation duration is proposed, and the incremental phase is combined with the time difference of arrival(TDOA). Then, a weighted least squares(WLS) algorithm is formulated to calculate the initial orbit. Numerical simulations are performed to assess the proposed orbit determination method.展开更多
文摘为了提高用于更新代理模型的解集的多样性和收敛性以提高代理模型准确度,提出一种基于行列式点过程(determinantal point process,DPP)的代理模型辅助多目标进化算法(surrogate-assisted evolutionary algorithm,SAEA)。首先,提出一种基于行列式点过程的模型管理方法,从非支配解集基于行列式点过程选取子集并用真实目标函数评估,再从所有经真实目标函数评估的解中选取子集用于更新代理模型。另一方面,提出一种基于自适应行列式点过程的环境选择方法,在进化过程的早期侧重于提高种群的收敛性,在进化过程的后期侧重于提高种群的多样性。最后,基于DTLZ、WFG、MAF测试问题验证算法的有效性。将所提算法与K-RVEA、KTA2、CSEA等常用算法进行比较,使用IGD+指标进行评估。实验结果显示所提出的算法能得到更优的解集,从而证明了其高计算代价多目标优化问题上的有效性。
文摘It is well-known that there are circumstances where applying Reiter's closed world assump- tion (CWA) will lead to logical inconsistencies . In this paper, a new characterization of the CWA consistency is pesented and an algorithm is proposed for determining whether a datalase with- out function symbols is consistent with the CWA. The algorithm is shown to be efficient.
文摘Given a hypergraph, this paper provides three algorithms for finding all its minimal cutsets, minimal link cutsets and the least cutsets. The result not only set up a new studying field on cutsets of hypergraph, but also lay a foundation of analyzing the performance of multibus systems. The algorithm for determining all the least cutsets in a hypergraph is polynomial complex and more efficient than that in [2].
基金supported by the National Natural Science Foundation of China(No.61401340)the Natural Science Basic Research Plan in Shaanxi Province of China(No.2016JM6035)+1 种基金the Fundamental Research Funds for the Central Universities,China(No.JB161303)and the Areospace T.T.&C.Innovation Program(No.201515A)
文摘X-ray pulsars offer stable, periodic X-ray pulse sequences that can be used in spacecraft positioning systems. A method using X-ray pulsars to determine the initial orbit of a satellite is presented in this paper. This method suggests only one detector to be equipped on the satellite and assumes that the detector observes three pulsars in turn. To improve the performance, the use of incremental phase in one observation duration is proposed, and the incremental phase is combined with the time difference of arrival(TDOA). Then, a weighted least squares(WLS) algorithm is formulated to calculate the initial orbit. Numerical simulations are performed to assess the proposed orbit determination method.
