-
这是关于模型检测方面的经典入门书,介绍了模型检测产生的背景,发展过程,看完此书,肯定对模型检测有比较深刻的认识。...
这是关于模型检测方面的经典入门书,介绍了模型检测产生的背景,发展过程,看完此书,肯定对模型检测有比较深刻的认识。-This is the model testing on the classic primer on the model checking the background, development process, after reading this book, certainly compared to the model checking has a deep understanding.
- 2023-08-26 10:05:04下载
- 积分:1
-
SP back on the word software, the bulk of its resources to the vocabulary, using...
SP上的背单词软件,其大量的词汇资源,采用科学的方法,方便实用-SP back on the word software, the bulk of its resources to the vocabulary, using scientific methods, convenient and practical
- 2023-07-13 13:20:03下载
- 积分:1
-
商品管理系统是面向超市类的商品数据库管理系统。其主要功能包括用户购买商品,管理员维护数据库,以及经理的高级查询和应用....
商品管理系统是面向超市类的商品数据库管理系统。其主要功能包括用户购买商品,管理员维护数据库,以及经理的高级查询和应用.-merchandise management system is a kind of supermarket-oriented database management system products. Its main functions include the purchase of goods, maintaining the database administrator and senior managers inquiries and applications.
- 2023-08-15 16:15:02下载
- 积分:1
-
VB语言参考手册 VB编程学习的好资料
由美国微软公司授权出版的VB学习书...
VB语言参考手册 VB编程学习的好资料
由美国微软公司授权出版的VB学习书-VB Language Reference Manual to learn good information on VB programming
- 2023-09-07 12:25:04下载
- 积分:1
-
模拟电梯运行程序
功能如下:
初始化时,电梯位于第一层;
有键按下时,开始运行
运行时距离相差一层的才被记录并
向上运行时记下...
模拟电梯运行程序
功能如下:
初始化时,电梯位于第一层;
有键按下时,开始运行
运行时距离相差一层的才被记录并
向上运行时记下所有的所在层下面的请求;
向下运行时记下所有的所在层上面的请求;
到达楼层后,关掉指示灯,开门并停留20S
在停留的20S中包含关门的时间
在停留期间,按下关门则立即关门!
假设关门的时间是5S,在这个时间内按下开门时将开门停留
当有人按下该层按钮时,则自按下起停留20S
然后关门继续运行
当到达楼层时,传感器输出高电平
************************************************************
I/O口描述:
模拟方式驱动:
P0口连接DAC0832的数据口
P2_6CS1
P2_7CS2
P2口作为传感器信号输入端
P2_0-P2_41~5
P1口作为来自按键的控制信号输入端
P1_0~P1_6 按键的 1~7
timer1作为定时器定时20S使用 -simulated lift operating procedures following functions : initialization, the lift in the first layer; Press a button, Operation started running away from the difference was only one record to run on all remember when the host layer below the request; remember running down all the host layer above; arrived at the floor, turn off lights come on, 20 remain open and stay in the S 20 S includes closing time during his stay in? closed immediately closed! Assuming the c
- 2022-04-01 16:57:37下载
- 积分:1
-
利用 VC + + 的 GPIB 控制
VC + + 为 GPIB 控制的代码
这将控制使用 GUI 的 GPIB488 设备
- 2022-04-08 02:51:11下载
- 积分:1
-
Book All information collected from network, 3000 data only focus on finishing....
本书所有资料均搜集自网络,三千数据只做整理集中。作者制作本书的目的只是为了更好的方便各位使用者 ,让您在轻松使用的过程中快速的浏览到动易程序的各种最新帮助信息。-Book All information collected from network, 3000 data only focus on finishing. The author produced this book just in order to better facilitate all users, allows you to easily use the process to move faster browsing easy process to help a variety of up-to-date information.
- 2022-03-24 21:34:18下载
- 积分:1
-
编程软件编程MSP430 USBP
the programing software for usbp programing the msp430
- 2022-01-22 15:59:30下载
- 积分:1
-
USB
usb-1.1规范的中文详细介绍, 需要的请下-usb-1.1 specification in detail the Chinese introduction, the needs of call on the next
- 2023-06-28 07:20:03下载
- 积分:1
-
SDK的冬孢子堆
资源描述对formatear萨基姆eft930s TPV我们必须做罗siguiente:1。reinicie EL终端pulsando EL BOTóN N(N correccióBOTó阿马里洛)Y”。”同时áneamente2。脉冲埃尔BOTóN F1。当埃尔Asterisco(*)的ímbolo aparece恩香格里拉pantalla,一continuacióN,脉冲F4,F2 F3(没有登辑Y 4 asteriscos阙本身muestran恩香格里拉pantalla)3。这asteriscos中硒á文学要一周4。USO de la aplicacióN LLT,conecte EL终端EN苏PC de你试试5。在Vista de la终端,seleccione待办事项洛杉矶archivos Y”borrar”这archivos(LLT乐indicará阙algunos archivos无硒可以在borrar。)
- 2022-12-02 07:10:06下载
- 积分:1