晴空云鹤

AADL自提出以来，被广泛应用在航空航天、轨道交通、汽车电子等嵌入式领域。下边梳理一下AADL的由来、构成、作用、目前的研究成果和工业应用，以希望能解决更多工业中的实际问题。说的大一点，国家在十三五之间，提出要在高科技领域实现国产化的工具，我们要。一、AADL的由来1991年Honeywell实验室基于嵌入式系统提出了MetaH语言，2001年美国汽车电子协会SAE提出了航空架构描述语言A......

## 例子String[] arr0 = {"1", "2", "3", "4"};String[] arr1= {"5", "6", "7", "8"};String[] arr2= {"9", "10", "11", "12"};String[] arr3= {"13", "14", "15", "16"};List<String[]> list = new ArrayList<>();String[] arr = new String[4];for(i...

本机已经安装了jdk1.6，而比较早期的项目需要依赖jdk1.5，于是同时在本机安装了jdk1.5和jdk1.6.   安装jdk1.5前，执行java -version得到java version "1.6.0_38"Java(TM) SE Runtime Environment (build 1.6.0_38-b05)Java HotSpot(TM) 64-Bit Server VM

string strsql = "Data Source=ZFQ-PC;Initial Catalog=Book;Integrated Security=True";        SqlConnection conn = new SqlConnection(strsql);        try        {            Label1.Text = "数据库链接成功";

最近在看WCET(Worst Case Execution Time, 最坏执行时间)，在嵌入式系统中，线程的执行时间包括：事件的触发到响应时间、申请处理器的等待时间、数据的处理时间、申请设备的时间，以及写数据的时间。这只是单任务情况下，并没有考虑多任务引起的中断。在软件系统中，WCET包括三个方面：一是多核处理器时多任务对共享变量的操作引起的；二是分布式系统下(...)；三是网络请求和传

数据绑定列是通过 asp:BoundField 或 TemplateField 元素定义的。通过设置 DataField 属性，可以将 BoundField 绑定到 GridView 的关联数据源：    SortExpression="ShipCity">这将告诉 GridView 控件，当它处于查看模式时，应该在 span 元素中显示 ShipCity 值。当 GridView 处于编

一、 预分配内存1.1 cell数组预分配内存Matlab预分配内存的用法是A = cell(2,3)分配一个2*3的cell数组1.2 cell数组的赋值和遍历赋值的方法如下：A{1}{2}='Hello'遍历的方法如下：>>A{1}A = [] 'Hello' 1.3 空元素的判断和赋值空元素的判断是isempty(A{i})空元素的赋值...

Error using exampleUtils.componentExamplesDir (line x)问题描述在使用Matlab的时候，官网上有一些例子，可以直接在Matlab命令行打开。比如使用‘’’openExample(‘globaloptim/MinimizeaSimpleFunctionwithBoundsExample’)‘’’打开官网上的例子的时候，出现以下错误：...

一、链地址法在等概率下查找成功和查找不成功的平均查找长度：将关键字序列{1 13 12 34 38 33 27 22} 散列存储到散列表中。散列函数为：H(key)=key mod 11，处理冲突采用链地址法，求在等概率下查找成功和查找不成功的平均查找长度1mod11=1，所以数据1是属于地址1 12mod11=1，所以数据12也是属于地址1（这个数据是数据1指针的另一个新数据）

最近因为需要装模型验证工具PRISM，就下载了docker。在windows上装docker时出现了问题，就在MAC上装的。具体怎么装的可以参考：https://blog.csdn.net/qq_35119422/article/details/81357626。我是从https://download.docker.com/mac/stable/Docker.dmg上下载的稳定版的。具体的安...

在论文写作中，有很多制作图片的方法。但是如果图片中需要有公式该怎么办呢？今天我推荐一种方法：xfig1. 安装xfig关于xfig的安装，网上也有很多方法，这里我就不在浪费网络资源了，直接给链接xcode + fink + XFIGXQuartz + fink + xfig安装是相对简单的。2，使用xfig安装好了以后，就是使用了。2.1. 打开Terminal，等...

为什么不可以使用引用数组的对象school调用引用类School的方法open？？？class School{ private boolean isOpen = false; public void open(){ this.isOpen = true; } public boolean isOpen(){ return this.

先看代码：public class MyThread extends Thread{ public static void main(String[] args) { Runnable runable = new Runnable() { @Override public void run() { t

在java中，装箱与拆箱中会遇到这两种情况：Boolean flag = false;if (flag = true) System.out.println(“true”);else System.out.println(“false”);if (flag == true) System.out.println(“true”);else Sy

下边总结一下网络中常用端口号：端口号服务全程21端口FTPFile TransferProtocol 文件传输协议23端口Telnet远程登录25端口SMTPSimple Mail Transfer Protocol，简单邮件传输协议53端口DNSDomain

1，判断读入的String是否为空字符串要判读String是否为空字符串，比较简单，只要判断该String的length是否为0就可以，或者直接用方法isEmpty()来判断。    但很多时候我们也会把由一些不可见的字符组成的String也当成是空字符串(e.g, space, tab, etc)，这时候就不能单用length或isEmpty()来判断了，因为technicall

java中，抽象类和接口的区别对于初学者很容易记混淆。下边就从以下几个角度来梳理以下去区别：1，方法的角度：抽象类的方法可以是抽象的，也可以是不抽象的；抽象类中可以包含已经实现的方法；抽象类的方法必须被子类重写；接口中不能包含已被实现的方法，其定义的方法由实现它的类来重写。2，继承和实现的角度：抽象类可以实现接口，接口也可以实现接口；抽象类可以继承抽象类，但是接口不