以下为句子列表：
英文: A qualitative-relation-based modeling and reasoning method for complex systems is proposed in this paper to avoid the computational complexity, poor robustness, and bad real-time ability of the quantitative model-based methods, which includes the qualitat
中文: 摘要为克服复杂系统定量建模与诊断过程中存在的计算复杂、实时性和鲁棒性不强等缺陷，提出了基于定性关系模型的建模和诊断推理方法，研究并解决了其中的定性建模技术、定性推理方法及诊断机制等问题，并基于某空间飞行器推进系统进行了建模与诊断推理实例分析。
更详细...
英文: Experimental results show that the proposed method can reduce the computational complexity significantly compared with the full search method, and maintain similar decode visual quality and coding bit rate, then improve the ray-space data coding efficienc
中文: 实验结果表明，与全搜索方法相比，该方法计算复杂度明显降低，同时保持了近似的解码图像质量和编码码率，进一步提高光线空间数据的编码效率。
更详细...
英文: For the decidable cases of arithmatical sentences, we give the upper and lower bounds of their computational complexity.
中文: 对具可决定性的算术句型，我们并给出了其计算繁度的上界与下界。
更详细...
|
