嵌入式分区操作系统可靠性技术的研究与应用

嵌入式实时多分区操作系统是专门为新一代航空电子系统开发的,是支持综合化航空电子系统的嵌入式实时操作系统,该操作系统是基于分区的高安全、高可靠操作系统,其可靠性决定了运行在其上的应用软件的可靠性。从软件可靠性概念着手,深入研究了嵌入式实时多分区操作系统开发过程中涉及的可靠性设计技术,给出了软件可靠性应用的示例,并研究了操作系统软件研发中使用的可靠性管理方法,对软件的可靠性进行了总结。     

双转台五轴数控加工空间孔的坐标偏置算法建模

根据空间几何理论建立了双转台五轴数控加工空间孔的中心坐标偏置算法模型,利用该模型可以计算出要加工的空间孔随着工作台旋转和摆动后孔口中心在参考坐标系下的坐标,然后利用数控系统的基准偏置功能将参考坐标系的原点偏置到该点,从而可以建立易于空间孔编程的、新的参考坐标系。     

Linux操作系统高版本与Windows多操作系统在硬件保护卡管理下安装的探究

本文主要解决在计算机实验室中安装多种操作系统的具体方法。每种操作系统平台独立运行,在一个平台上的误操作及故障不会引起其他平台的无法启动及运行。同时,能在计算机实验室中给学习者和研究者提供在多种操作系统平台的操作和学习机会,并对每一种操作系统平台提供不同保护措施。也能减轻计算机实验室管理人员的工作强度。     

基于点云的空间非合作目标结构识别问题研究

在空间非合作目标捕获任务中,从传感器数据中识别出目标表面的可抓取结构是一个有待解决的问题。以卫星点云数据集作为对象,对4种基于神经网络算法(PointNet、PointNet++、SPLATNet和SO-Net)在卫星结构分割识别任务中的性能进行了比较分析。为了能够更好地测试算法性能,基于NASA在线数据库构建了训练测试数据集,并给出一种点云数据的快速构建方法。使用该方法,可以实现成批量地生成点云数据。仿真测试结果显示:PointNet++在卫星完整点云数据集和非完整点云数据上的分割准确率都是最高,并且分割效果也优于其他算法。     

基于无向图的SoC软硬件划分方法

软硬件划分是SoC软硬件协同设计中的重要步骤之一.针对软硬件划分问题,提出一种基于无向图的软硬件划分方法,将软件成本和硬件成本设定为网络图的节点,将功能模块间的通讯成本设定为无向的边,从而将芯片的软硬件划分问题归结为基于无向图理论的多目标优化求解的问题.仿真结果证明,该方法在算法效率上优于GA算法和 KL算法.并且设计...     

基于误差相似性的移动机器人定位误差补偿

对由AGV承载的工业机器人组成的AGV式移动制孔机器人的定位误差补偿方法进行了研究。在面向飞机装配的AGV式移动制孔机器人系统中，利用激光跟踪仪构建坐标系，提出了AGV式移动制孔机器人机座坐标系的换站方法，能更好地适应飞机制造多品种、小批量的特点。基于对AGV式移动制孔机器人定位误差源的分析，利用定位误差相似性，提出针对AGV式移动制孔机器人的基于反距离加权定位误差的空间插值与补偿方法，克服了现有技术对于AGV式移动制孔机器人定位误差补偿的局限性。以AGV搭载的KUKA KR480型工业机器人制孔系统作为试验对象，通过试验选取最优网格步长，补偿结果表明，能将系统综合定位误差平均值由补偿前的1.045 mm降低到0.227 mm，最大绝对定位误差由补偿前的2.727 mm降低到0.478 mm，降低了82.47%，该方法能有效提高AGV式移动制孔机器人的绝对定位精度。     

空间静态配置算法的研究与应用

对嵌入式操作系统设计中的存储空间静态配置进行了分析。在简要介绍空间静态配置基本原理的基础上,重点阐述了静态空间划分的具体实现方法以及空间静态配置系统的设计与组成,并对静态配置算法和动态配置算法进行了对比分析,最后介绍静态空间配置算法的具体应用实例。     

Reasoning about Depth and Motion from an Observer's Viewpoint

ABSTRACT

The goal of this paper is to present a logic-based formalism for representing knowledge about objects in space and their movements, and show how this knowledge could be built up from the viewpoint of an observer immersed in a dynamic world. In this paper space is represented using functions that extract attributes of depth, size and distance from snapshots of the world. These attributes compose a novel spatial reasoning system named Depth Profile Calculus (DPC). Transitions between qualitative relations involving these attributes are represented by an extension of this calculus called Dynamic Depth Profile Calculus (DDPC). We argue that knowledge about objects in the world could be built up via a process of abduction on DDPC relations.     

The Influence of Landmarks and Pre-exposure to a Structural Map During the Process of Spatial Knowledge Acquisition: A Study with Children and Adults in a Virtual Environment

ABSTRACT

This study investigated the effects of featural information (landmarks) and geometric information (pre-exposure to a structural map) and their possible interaction during the process of spatial knowledge acquisition of 8- and 11-year-old children and adults in a virtual environment. The study confirmed the well-known result of a developmental achievement in spatial cognition from childhood to adulthood. Although landmarks and the pre-exposure to a structural map did not affect the time to learn a specific route, they influenced the use of behavior in spatial learning and eased the acquisition of spatial knowledge measured by a route reversal and map-drawing tasks. Children and adults are able to integrate featural and geometric information in the spatial knowledge acquisition process in an environmental space, but their integration depends on the spatial processing stages that are investigated. Moreover, it was successfully demonstrated that the use of desktop virtual environments seems to be appropriate to investigate the development of spatial cognition.