基于范畴论的多TBox整合研究

在语义Web环境下,单一和分散的知识库会引发数据的冗余和不一致性,且严重影响知识库智能化查询,降低知识库中数据的重用性和可操作性.文中提出一种基于范畴论的多TBox整合方法来整合知识库,旨在解决上述者类问题.此方法具有高度抽象性和强大表达能力的范畴论是多知识库整合的理想工具.将TBox作为操作对象,范畴论中"态射"功能可实现TBox的映射,"外推"功能可实现TBox的整合,最后通过实验验证方法的可行性和有效性,实验结果基本符合要求.     

我国陆地观测卫星现状及发展战略思考

本文回顾总结了我国陆地观测卫星载荷体系、地面系统建设及数据应用等方面的发展现状和成就,分析了当前所面临的挑战和任务,以此为基础,对我国陆地观测卫星的未来发展进行了战略思考和展望,提出了加强国家顶层规划、加强地面系统统筹建设、实现系列化业务化运营、加强国际合作、推进产业化发展等建议.     

平面设计Photoshop教学的探索与研究

计算机平面设计行业作为知识型的服务产业,在竞争日益激烈的商业社会中发挥着举足轻重的作用。Photoshop(以下简称PS)是一门实践性很强的课程,使用传统的教学方法无法达到满意的教学效果。在教学方法的探索与实践中,采用抛砖引玉引导学习法、案例教学法、情景教学法、先成果后教学法等多种教学方法,引发学生的学习兴趣,培养学生的模仿和创新能力。同时,采用分阶段教学方法,使学生更好地掌握该软件,进一步提高教学质量。     

CAN总线网络测试研究

介绍了CAN总线网络开发方法,搭建了CAN总线集成开发测试环境,对实际网络进行了测试,给出了位定时参数计算方法,比较了不同模拟终端电阻下的总线的报文正确率和总线负载率等性能指标.     

移动自组网中非完全信息节点风险评估

移动自组网是一种无中心、自组织以及多跳的无线网络,能否有效可靠地对通信节点进行风险评估是保障节点高质量通信的重要因素.当前基于可信度或是信誉的评估方法对评估样本都有特殊的要求,对评估对象提出种种假设,无法辨别间接样本的恶意推荐问题,在实际移动自组网中各个节点尤其是恶意节点对外暴漏的信息往往偏少,样本数量有限,无法明确判断其状态,大部分是非完全信息,从而导致评估结果缺乏客观性与可靠性.文中提出采用灰色系统理论描述通信节点非完全信息状态,根据灰类白化以及灰色聚类思想进行节点风险评估.方案针对自组网络通信需求对节点行为进行多关键属性划分,采用味集群方法收集原始样本,避免恶意推荐;将难以用数值精确刻画的关键属性以白化权函数量化,引入灰聚类的概念和计算方法,将实体的通信风险水平定义为实体关键属性值序列针对各评估灰类的聚类评估值,从而得到该实体通信风险水平的相对参考值.分析与实际计算表明该方法是一种适合移动自组网中非完全信息节点风险评估的有效方法.     

基于完备抽象解释的模型检验CTL公式研究

在模型检验中,抽象是解决状态空间爆炸问题的重要方法之一.给定具体Kripke结构和时序描述语言CTL,基于抽象解释框架以及完备抽象解释和性质强保留之间的关系,抽象模型最小精化使得CTL性质强保留,可转换为抽象解释中抽象域的最小完备精化,并且总是存在抽象域的最小完备精化.根据状态标签函数确定初始抽象域,然后通过不动点求解,获得对CTL标准算子完备的最小抽象域,并依据此抽象域求得CTL性质强保留的最优抽象状态划分,最后构造出CTL性质强保留且最优的抽象状态转换系统.并指出了抽象域对CTL标准算子是完备的当且仅当抽象域对补集和标准前向转换是完备的.     

采用商业卫星构建虚拟星座

提出了虚拟星座的概念,从商业卫星资源优势、卫星参数差异和传感器特征差异3个方面分析了构建虚拟星座的可行性。以LANDSAT-7卫星和SPOT5卫星为试验对象,验证了构建虚拟星座的可操作性。     

EPA功能安全协议的研究与实现

现场总线在通信传输过程中,会受到各种通信故障的影响,而现场总线与功能安全的结合可降低这种影响。该文描述EPA功能安全通信模型,针对通信传输过程中可能出现的通信错误,采用时间戳、序列号、CRC校验等功能安全通信技术。给出EPA功能安全协议层的报文结构,阐述功能安全协议层的具体实现过程。