摘要：今天看了本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 阅读全文

摘要：这是在研究AADL标准过程中，写的笔记，拿出来与大家共享，也请大家多提意见，多多交流。2001.11,SAE提出航空标准AS5506,即AADL。支持对性能关键系统属性用可扩展的标记符、工具框架和精确定义的语义进行早期重复性的分析。AADL可以用于建模和分析正在使用中的系统，可以设计和集成系统。AADL可以用于部分定义模块的分析，也可以用于从源码中提取出来的完整系统的分析。AADL支持对性能关键系统质量（例如性能、可调度性和稳定性）的早期预测和分析。例如线程构件的属性中有周期性、非周期性、背景和分散事件的选项进行预声明，以此能够进行分析。Verification & validatio 阅读全文