摘要：
从春节后回校到现在40多天，参与了课题申请（自然基金），感觉收获颇丰，简单写点经验以备忘。一、内容文字方面 1.写东西前，要先看5-10篇论文（英文）再写，不能看一篇后还没有完全理解，就直接写，这样会导致最终文字的重叠、没有整体逻辑性。 2.看完论文后已经形成了一个整体结构，才可以将材料分类整理出来，注意要用一条主线串联，而不是简单罗列。 3.论文一定要多看英文的，不仅仅是看摘要，最好也看论文的前三章，对于理解背景与相关概念非常有帮助。 4.整篇文章的总线要清楚，一般是背景提出问题，然后针对这些问题分析现状，再根据问题和现状制定自己的研究内容和技术路线。二、表达技巧方面 1.多用诸如... 阅读全文
摘要：
目前，许多可用的MPI实现只关注HPC(高性能计算)的部分方面或是专注于解决某个具体问题，这导致了这些MPI实现不兼容、如果独立安装组合来获取它们的特有功能。Open MPI是在LAM/MPI,LA-MPI, and FT-MPI的基础上的一种全新的基于构件概念的MPI实现，提供了以前MPI实现无法实现的独特的组合方法。Open MPI的基于构件的体系结构不仅为第三方研究提供了稳定的平台，也使得独立软件附件能够在运行时组合。本文从总体上介绍了Open MPI的目标、概念、设计及实现。一、Open MPI的目标 Open MPI并不是LAM/MPI, LA-MPI和FT-MPI的简单组合，... 阅读全文
摘要：
一、同步编程语言 同步编程语言将代码的同步执行作为设计过程中的核心概念，它们是反应式的，即当信号到来，状态开始执行。其中抽象符号instant定义了每个状态的执行边界，instant与电路中的硬件时钟或是处理器时钟都没有关系，它更像是表示状态集完成或决定下批状态集执行的标记器。同步语言的核心是同步假设，这意味着在同步语言设计系统过程中，可以假设计算和通信的时间，即在instant时间内，操作假设就会完成。 所有的同步都有四种共同的属性：同步、反应式的响应、并发和执行的确定性。同步即所有操作都基于相同软件时钟，而模块之间的通信通过假设收发信息的时间为0来满足此属性。反应式的响应即事件驱动响... 阅读全文
摘要：
随着多核时代的到来与流行，传统的单线程串行程序的编程模式必将改变，取而代之的将是并行编程。目前已经有五种主要并行编程模型，下面将对此五种模型进行概括性的分析与比较：1. MPI MPI(Message Passing Interface)消息传递接口是MPI论坛发布的一个库，而不是一门实现语言，支持C/C++/Fortran。是一种消息传递编程模型，为进程间通信服务。MPI提供了一种与平台无关，可以被广泛使用的编写消息传递程序的标准。用它来编写消息传递程序，不仅实用、可移植、高效和灵活，而且和当前已有的实现没有太大的变化。目前MPI的主要实现有以下三种： 优点：可以在集群上使用，也可以... 阅读全文
摘要：
1. C语言中的数据类型 C语言中的类型按其组成可以分为简单类型和构造类型，按是否预定义了类型名字和值集可以分为基本类型和非基本类型，按是否加了类型限定符可以分为限定类型和非限定类型。 ANSI C99标准中类型定义的BNF语法如下图。 说明：typedef可以定义新数据类型，如typedef long int FOUR_BYTE_INT，即定义了和long int一样的数据类型FOUR_BYTE_INT。如果typedef时加入了类型限定符或存储区分符，比如typedef volatile char KEYBOARD，则KEYBOARD k等价于volatile char。按照一般规范... 阅读全文
摘要：
1.任务与进程/线程在嵌入式实时系统中，一般将可独立调度执行的线程称为任务（task），因此，嵌入式实时系统一般没有进程线程的概念。而进程线程是一般OS的概念。2.分发与调度分发（dispatch）不是调度，而是调度的一部分。当任务调度成功后，完成上下文切换的实际工作并将CPU控制权转交到此任务的过程称为分发。而调度仅仅决定下一步执行哪个任务。 阅读全文
摘要：
OCARINA是法国ENST开发的AADL自动生成代码工具，能够将AADL模型自动生成POLYORB中间件及其上的C、ADA代码。下面将详细介绍OCARINA的安装和使用方法。一、Ocarina源码安装教程1.安装ada编译器因为ocarina是用Ada开发的，所以需要用Ada的编译器才能运行。在安装GCC的基础上，还需要安装gcc-gnat和GNAT.Ocarina支持编译器版本：gcc-gnat 4.4.0以上 GNAT 2006以上，因此老系统（比如redhat9等）就不适用了GNAT目前最新版本见http://libre.adacore.com/libre/下载后... 阅读全文
摘要：
安全关键系统(Safety Critical System)的模型驱动开发过程中，怎样提高模型对实时嵌入式系统非功能需求的表达能力，怎样在早期设计过程中对系统进行分析与验证，怎样正确的生成代码一直是研究热点。体系结构分析与设计语言AADL是在这种背景下产生的，能够描述ERTS的非功能属性，支持静态、动态结构的协同建模，支持软件、硬件的协同建模，并且可以针对特定领域进行扩展。目前，基于AADL的模型驱动过程得到了学术界和工业界的广泛研究和应用。在以后的过程中，我将对基于AADL的嵌入式开发框架：建模、分析与验证和代码生成的过程进行一一介绍，在展示我们的成果的同时，也希望志同道合同方向的朋友参与交 阅读全文
摘要：
今天看了本Scott Young先生写的《Learn More, Study Less》，书中介绍了作者的一种学习方法--整体学习(Holistic Learning)，下面将对此学习思想进行简单的介绍，并探讨在计算机科学中的应用。1概述 整体学习HL(Holistic Learning)是区别于传统通过重复记忆学习的一种学习方法，强调概念与学科的融合，通过学习关联而非重复记忆来达到学习的目的，下表是作者书中提到的两种学习方法的区别： 从表中容易看到此方法强调关联学习，传统方法将概念划分到各个不同学科中，各学科概念之间缺乏关联，HL则打破这种局限，通过建立不同学科概念之间的关系，建... 阅读全文
摘要：
因为毕设需要用到ARINC653，先大体了解下，下面是搜索资料是整理出来的笔记：SWaP:Space, Weight and Power 关注的集合航空电子的发展：federated(连接式) to IMA（集成模块航空电子），以前将功能分散到不同计算机，现在是在一个计算机中集成多数功能LRU(line-replaceable unit)线性可替代单元：是航空航天器中的可迅速替换的模块ARINC653在1996年提出，后在1997年提出suplyment1,2006年提出suplyment2,现在suplymnet3正在制定中ARINC653是航空电子应用程序接口标准，提供了一组可执行应用(a 阅读全文