- 博客(6)
- 资源 (3)
- 收藏
- 关注
RSS订阅转载 [译]时间自动机：语义，算法和工具 UPPAAL
本文原题是《Timed Automata Semantics, Algorithms and Tools》，本人硕士毕业设计与此相关，研究了好久，现在自行翻译出来。转载请注明版权。时间自动机：语义，算法和工具Johan Bengtsson和Wang Yi Uppsala大学Email：{johanb,yi}@it.uu.se（译者：祝威http://bitzhuwei.cn
2016-04-01 06:08:12
11227
2
原创 下推自动机 正则语言 泵引理
下推自动机动画演示：L = {0^n1^n| n ≥ 1}https://www.youtube.com/watch?v=Iz9x2UOt0xQ自动机原理，体验印度英语：https://www.youtube.com/playlist?list=PLEbnTDJUr_IdM___FmDFBJBz0zCsOFxfK其中41-45 DFA最小化。
2016-03-09 05:44:29
1777
原创 android中wifi的上下层的连接、命令发送
上层可调用的命令在JNINativeMethod gWifiMethods[]中，执行的方式大部分都相同，都是利用管道或socket等方式来传递，但在此之前要做一些准备：加载驱动，连接supplicant等。准备的方式就是访问wifi驱动的状态值，如若没有加载驱动就会执行insmod命令。在此之后的命令执行方式如下所述： Java首先要和wpa_supplicant取得联系：
2010-03-26 13:28:00
2940
翻译 contention-based & conention—free data service
802.11定义了两种交换帧的原子集合，DCF在contention-based中的方式和PCF在contention-free中的方式，为了实现contention-based MAC层.MAC会在active时处理MAC头，交换开始于一个station抓住了空闲的medium。广播data frame 和广播management frame 1.广播帧的地址在 a
2010-03-17 14:20:00
1597
转载 802无线电源管理（繁体）
一些關於Power management In IEEE 802.11的整理工作站可以依其所需決定其電源管理模式是處於啟動模式 (Active Mode) 或省電模式 (Power Save Mode, PS Mode)。工作站更改模式時必須利用所傳送訊框中的訊框控制欄位 (Frame Control Field) 內的電源管理位元 (Power Management bit) 來通知
2010-03-17 14:18:00
562
原创 802中的电源管理
一 、在 BSS中的电源管理 在该网络中，ap点有两项与电源相关的工作。首先，因为ap点知道各个station的电源现状，所以它可以决定帧应该现在传递给那个活动的station还是储存起来，第二项工作就是每隔一段时间通知某个station，ap内存有它未取得的数据。 Listen interval：beacon帧的发送间断次数，station可以
2010-03-17 14:18:00
1107
1
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人