人工智能应用中基于区间代数的时态推理

时态表示和推理是人工智能领域的重要研究内容之一,它的应用范围分布很广,从逻辑基础研究到知识系统的应用.区间代数是一种独立的与领域无关的时态理论.用区间代数能表示不确定的时态关系,可以很方便地用于时态推理,表达能力强;时态关系的区间表示比较直观,可理解性强;同时区间代数可以进一步扩展到二维空间领域,即将区间代数拓展为矩阵代数,实现二维空间推理.在一维时态推理中,将时态的区间表示和矩阵表示相结合,在提高计算效率的同时,保持了形象直观的时态表示.     

一种改进的自动规划GUI测试用例生成方法

在分析使用AI规划方法生成GUI测试用例方法的基础上,提出了一种基于权重的AI规划生成GUI测试用例方法。通过利用权重区分GUI事件序列重要程度,在此基础上将事件划分成不同子集,以决定测试用例的生成次序,使生成的测试用例更合理．从而提高GUI测试效率。实验结果表明,应用此方法在相同的测试用例数下能发现更多的错误。     

航天飞机末端能量管理制导律

航天飞机在末端飞行时处于无动力状态,末端能量管理系统通过能量-射程剖面对飞行器实施制导,并对能量加以控制,引导飞行器到达安全的着陆窗口。本文根据能量控制原理给出了末端能量管理各飞行阶段的射程预测方法;确定了各飞行阶段的制导方法;并对整个制导律进行了仿真计算,仿真结果表明该制导律能满足自动着陆的要求。     

分形导体粗糙表面的后向增强效应分析

针对粗糙表面散射实验中的后向散射增强现象,采用锥形波束入射的矩量法定量计算了分形粗糙表面的后向散射增强效应,研究了波形参数和表面尺寸的匹配问题,分析了不同入射角下散射增强的角宽度,比较了不同分维数和表面模型下散射增强的幅值。数值计算结果证明了该算法的有效性。     

高校图书馆阅览室创新教育功能之探析

介绍了高校图书馆阅览室创新服务的主要内容,论述了实现创新教育的途径,指出馆员要承担起创新教育的重任,提高大学生的综合素质。     

高校图书馆应实现对大学生的转型服务

从高校图书馆要关注大学生的健康成长谈起,阐述了新形势下高校图书馆实现对大学生转型服务的理由,指出图书馆在转型过程中要全面提升图书馆的工作力度。     

运用营销推动基层医院图书馆的发展

通过引入营销的理念,简述了医院图书馆开展营销的必要性及如何开展营销工作的一些思路。     

低剂量铅对神经细胞粘附分子表达的影响研究

为了探讨神经细胞粘附分子(NCAM)在铅神经发育毒性中的作用,分别从体内、体外途径观察了低水平铅暴露对海马NCAM表达的影响。结果表明:铅明显抑制了海马神经元NCAM的表达,抑制程度随时间延长逐渐减弱,随剂量增加逐渐增强。提示:无论体内还是体外,低水平铅均显著抑制了Wistar大鼠海马NCAM的表达,并造成海马NCAM表达时程上的延迟。     

关于重视矿-粮复合区环境质量与粮食安全问题的建议

粮食及矿产资源的保障是党和国家重点关注的问题。矿产与粮食复合主产区(以下简称矿-粮复合区)承担着国家粮食保障和矿产资源(特别是能源)供给的重大职     

基于IDEF的装备保障指挥辅助决策系统建模

对装备保障指挥辅助决策系统中的决策内容进行了研究,提出了一种基于IDEF的复杂系统的建模方法。首先用IDEF3方法对装备保障指挥活动进行了过程描述,抽象出指挥过程中的决策问题,然后构建了辅助决策系统的IDEF0功能模型。