-
Notifications
You must be signed in to change notification settings - Fork 0
/
community.html
148 lines (113 loc) · 5.96 KB
/
community.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0, maximum-scale=1.0, user-scalable=no">
<link href="css/metro-bootstrap.css" rel="stylesheet">
<!--<link href="css/metro-bootstrap-responsive.css" rel="stylesheet">-->
<link href="css/iconFont.css" rel="stylesheet">
<!-- Load JavaScript Libraries -->
<script src="js/jquery/jquery.min.js"></script>
<script src="js/jquery/jquery.widget.min.js"></script>
<!-- Metro UI CSS JavaScript plugins -->
<script src="js/load-metro.js"></script>
<!-- Local JavaScript -->
<script src="js/docs.js"></script>
<script src="js/github.info.js"></script>
<title>Yongwang ZHAO's Homepage</title>
<style>
.container {
width: 1040px;
}
</style>
</head>
<body class="metro" style="text-align:justify;">
<div class="container">
<div class="margin10 nrm nlm" data-load="header.html"></div>
<div class="main-content clearfix">
<div class="tab-control" data-role="tab-control" style="float:left;width:100%;">
<ul class="tabs">
<li class="active"><a href="#_page_1">Home <i class="icon-arrow-right-5"></i> Team & Communities </a></li>
</ul>
<div class="panel" id="flyair" data-role="panel" style="width:100%;">
<div class="panel-header" style="background:#dddddd;font-size:14pt"><span class="fg-darker"><b>翔云创新团队 FlyAir Innovation Lab </b></span></div>
<div class="panel-content margin10 fg-dark nlp nrp" style="width:98%;font-size:13pt;margin-top:-5pt;margin-bottom:-5pt">
<a href="https://flyair2.gitee.io/" target="_blank">
<table border="0" style="font-size:13pt">
<tr>
<td width="250px">
<img src="images/flyairlogo.png" alt="photo" width="220px">
</td>
<td>
<p><strong>访问翔云主页：<a href="https://flyair2.github.io/" target="_blank">https://flyair2.github.io/</a></strong>
<p>翔云创新团队由本人领衔，依托浙江大学嘉兴研究院，聚焦高安全操作系统、机载计算平台、无人机系统等研发工作，团队成员包括毕业于北京航空航天大学、南洋理工大学、华中科技大学、大连理工大学等顶尖高校的博士、硕士和本科生，在操作系统、无人机研发等领域具备雄厚的研究基础和丰富的工程经验。
</p>
</td>
</tr>
<tr>
<td colspan=2>
<img src="images/flyair1.png" alt="photo" width="500px">
<img src="images/flyair2.png" alt="photo" width="500px">
</td>
</tr>
</table>
</a>
</div>
</div>
<div class="panel" id="tpchina" data-role="panel" style="width:100%;">
<div class="panel-header" style="background:#dddddd;font-size:14pt"><span class="fg-darker"><b>TPChina定理证明开放社区 TPChina Theorem Proving Open Community</b></span></div>
<div class="panel-content margin10 fg-dark nlp nrp" style="width:98%;font-size:13pt;margin-top:-5pt;margin-bottom:-5pt">
<a href="https://tpchina.github.io/" target="_blank">
<table border="0" style="font-size:13pt">
<tr>
<td width="250px">
<img src="images/tpchinalogo.png" alt="photo" width="240px">
</td>
<td>
<p><strong>访问TPChina主页：<a href="https://tpchina.github.io/" target="_blank">https://tpchina.github.io/</a></strong>
<p>TPChina由本人和上海交通大学曹钦翔、中国科学院软件研究所詹博华等学者共同发起成立。TPChina是国内定理证明爱好者、学者、研究人员的交流平台。开放社区会定期组织线上、线下活动，供各社区成员交流在定理证明领域的经验、收获和新成果，社区也会邀请学者向社区成员介绍相关领域的新突破、新理论、新工具、新动向。TPChina收集了Coq、Isabelle、Lean等定理证明工具的入门资料，定理证明项目信息与检索，以及相关学术论文的索引。
</p>
</td>
</tr>
</table>
</a>
</div>
</div>
<div class="panel" id="syswonder" data-role="panel" style="width:100%;">
<div class="panel-header" style="background:#dddddd;font-size:14pt"><span class="fg-darker"><b>矽望泛在操作系统社区 SYSWONDER Ubiquitous Operating System Community</b></span></div>
<div class="panel-content margin10 fg-dark nlp nrp" style="width:98%;font-size:13pt;margin-top:-5pt;margin-bottom:-5pt">
<a href="https://syswonder.org/" target="_blank">
<table border="0" style="font-size:13pt">
<tr>
<td width="250px">
<img src="images/syswonderlogo.png" alt="photo" width="240px">
</td>
<td>
<p><strong>访问矽望社区主页：<a href="https://syswonder.org/" target="_blank">https://syswonder.org/</a></strong>
<p>矽望是一个开源社区，由一群系统软件爱好者自发形成，致力于探索和构建适合特定泛在应用场景的新形态操作系统。在当前阶段，主要目标是针对实时非实时任务混合运行的边缘计算场景，如医疗设备、车辆控制、工业控制、无人系统等领域，面向非对称多处理器SoC（MCU， CPU， DSP等）新型硬件平台对现有操作系统管理机制带来的挑战，在操作系统架构和实现机制上尝试创新。
<p>本人作为矽望开源技术委员会委员之一，致力于新型操作系统技术的研究与应用推广工作。
</p>
</td>
</tr>
<tr>
<td colspan=2>
<img src="images/syswonder2.png" alt="photo" width="500px">
<img src="images/syswonder1.png" alt="photo" width="500px">
</td>
</tr>
</table>
</a>
</div>
</div>
</div>
</div>
</div>
</div> <!-- End first group -->
</div>
</div> <!-- End of tiles -->
<footer data-load="footer.html">
</footer>
</div>
<script src="js/hitua.js"></script>
</body>
</html>