关于Ada的面向对象扩充

使用面向对象风范作出的软件产品能很容易地体现软件工程软件质量保证的诸原则。倡导基于Ada的面向对象的程序设计是一个正确的方向。因为Ada不是一个面向对象的编程语言,使用Ada不可能自然而又有效地进行面向对象的程序设计。因此,必须对Ada进行面向对象的扩充。本文讨论进行相应扩充所涉及到的一些问题。     

继承与发扬民族文化的历时性反思

在面临全球化这一新的历史遭遇时,如何继承与发扬民族文化,本文通过对20世纪前后百年间文化交流的回望,以历时性的反思探讨民族文化的建设。     

基于混合Beta分布的火箭弹射座椅可靠性评估

建立了一种综合利用子系统试验数据和现场整机试验数据的火箭弹射座椅Bayes可靠性评估方法。该方法通过卡方拟合优度检验确定继承因子,建立混合Beta分布后,基于后验分布评估座椅可靠性。采用该方法对某火箭弹射座椅可靠性进行了评估,在置信水平0.90情况下其可靠度达到了0.924。结果表明,在相同的现场试验情况下,评估结果比经典统计方法更合理。     

华夏历史文明传承创新研究——基于寻根文化的视角

分析了寻根文化产生的原因、演化过程、基本内涵、内容组成,从家谱、宗祠、陵寝分析了物质层面的寻根文化建设,从神灵崇拜、人生思考、孝文化的角度分析了精神层面的寻根文化建设,从民间仪式的举办分析了行为层面的寻根文化建设,最后提出了寻根文化在传承过程中创新的建议.     

基于继承因子的飞机弹射救生座椅可靠性Bayes评估

为了更有效地解决飞机弹射救生座椅可靠性评估的问题,考虑飞机弹射救生座椅子系统试验数据与系统试验数据之间既有联系又有区别的特点,采用继承因子描述这两种试验数据之间的相似性,建立了一种基于继承因子的飞机弹射救生座椅Bayes可靠性评估方法。采用该方法对某型飞机弹射救生座椅可靠性进行了评估,在置信度90%的情况下其可靠度下限达到了0.954。结果表明,在相同的系统级试验样本量情况下,评估结果比经典统计方法更合理。     

非单调语义网络中继承的信任理论

描述了一种新的具有例外的多继承语义网络推理方法--继承的信任理论,这是一种很具有吸引力的可废止继承方法.它应用于非循环语义网络的继承的分析,能够产生适合于继承直觉的非多义性结论.文中还讨论了Etherington的基于缺省逻辑的继承理论,提出了继承信任理论和继承信任缺省逻辑.给出了继承信任逻辑的性质,并且证明了构造继承信任缺省逻辑理论的唯一扩张是递推过程.信任理论的扩张能够快速求解.这种快速推理算法可以应用于专家系统推理.     

浅析思想政治教育方法继承的主要内容

在21世纪这样一个飞速发展和竞争激烈的时代,思想政治教育如何才能适应时代的发展要求,思想政治教育方法怎样才能更富有成效,继承和创新是必经之路。创新,不意味着放弃传统,而是在继承我国优秀传统文化和党的思想政治教育的优良传统的基础上的创新和发展。     

继承与发扬民族文化的历时性反思

在面临全球化这一新的历史遭遇时,如何继承与发扬民族文化,本文通过对20世纪前后百年间文化交流的回望,以历时性的反思探讨民族文化的建设.     

对我国征收遗产税的法理分析

在一个健康有序的财税制度中，遗产税必不可少。但我国建国以来一直未开征遗产税，目前我国已在一定程度上具备了开征遗产税的条件，但仍然存在很多有待解决的问题。在分析我国开征遗产税现实条件的基础上，借鉴国外的相关税收制度，结合我国实际情况，给出了构建我国的遗产税框架的一种模式。     

Mereological inheritance

In recent investigations of Spatial Reasoning, SpatialKnowledge Representation, and Geographic Information Systems, asignificant effort has been spent by many scholars of the areaabout the problem of representing properties of spatial objects bymeans of logical theories.An analogous effort has been the problem of analyzingthe qualitative relations which can be established between twospace regions. These investigations have led to a generalframework of the field known by the term ``mereo-topology'.Though both the above mentioned approaches have proved to besuccessful in the investigation of formal and practically relevantaspects of spatial objects, no attempt has been carried out in the direction of integrating the approaches and looking at the relationshipbetween a general logical theory of space and mereo-topology from an analytical point of view, in particular for exploiting thecombinatorial behaviour of such an integrated model.This paper intends to fill the gap and analyze the behaviour ofspatial formulae of a logical theory of space as objects which canbe classified based on the behaviour they exhibit with respect tothe parts and supertparts of the regions where they are true. Wename these categories of behaviourinheritance modalities.