- 博客(4)
- 资源 (111)
- 收藏
- 关注
原创 Debian/Ubuntu 使用摘记
一、Debian 6.0.2在VirtualBox中安装傻瓜安装,语言用的英文,没有GUI,时区是中国,硬盘分区整盘自动分区,二、Debian 6.0.2配置1. 设置apt源http://mirrors.163.com/.help/debian.html最好的方法是直接下载squeeze对应的apt源设置文件http://mirrors.163.com/.help/s
2013-10-20 11:08:22 1253 1
原创 Keil C51/ARM 编程问题锦集
1 宏变量MONITOR51在哪里定义的?2 char code reserve [3] _at_ 0x23;该语句中关键词code和_at_分别是什么意思?3 P1 ^= 0x01; 语句的含义?^是位运算,异或, 反复执行此语句的目的实现P1端口的第1引脚的不断反转.加入P1 == 0xFF;P1 ^= 0x01; 此时P1为0xFEP1 ^= 0x01;此时P1为0x
2013-10-12 19:47:24 4156
原创 u-boot代码学习问题和移植问题汇总
【1】#define DM9000_DBG(fmt,args...) printf(fmt, ##args)
2013-10-01 22:53:27 800
原创 STM32F10x_StdPeriph_Lib_V3.5.0在Keil上编译遇到的问题总结
【1】出warning: #223-D: function "assert_param" declared implicitly解决方法很简单,MDK的在工程上点右键,选择options,选择C/C++选项,在defined的框里填上USE_STDPERIPH_DRIVER就可以了。还要根据自己所用芯片在defined填上如STM32F10X_HD,这样就编译就不会出错了。st
2013-10-01 22:46:24 11551 1
Formal specification, monitoring, and verification of vehicle
2021-10-12
Electronic-system design in the automobile industry.pdf
2021-10-12
eiElektrotechnikundInformationstechnik_EASTADL_DJChen.pdf
2021-10-12
Deterministic Execution for Arbitrary Multithreaded Programs
2021-10-12
D.5.6.c SAFE - First prototype _Safety Code Generation_ - Report
2021-10-12
AutoSW_Track2_04.pdf
2021-10-12
Automotive embedded software design using formal methods
2021-10-12
An_Automated_Approach_to_the_Collatz_Conjecture.pdf
2021-10-12
The Philosophy of Computer Science
2021-09-04
The Lambda Calculus (Stanford Encyclopedia of Philosophy).pdf
2021-09-04
Propositional natural deduction COMP2600-COMP6260.pdf
2021-08-24
Meeting the design requirements for Bi-Directional-Capable OBC
2021-08-24
Industrial hardware and software verification with ACL2.pdf
2021-08-24
Formal Verification of Automotive Embedded UML Designs
2021-08-24
HowToAchieveFunctionalSafetyInSafetyCriticalEmbeddedSystems.mp4
2021-08-11
MultiCAN – a step to CAN and TTCAN.pdf
2021-07-29
VectorCAST_Following_the_ISO26262-2018-Guidelines-with-VectorCAST.pdf
2021-07-29
A brief history outline of Infineon's CAN modules.pdf
2021-07-29
tricore_llvm.pdf
2021-07-19
cadence skill.exe a kind of scheme/lisp interpreter
2018-03-03
PL2303_Prolific_Driver
2017-03-22
Visual C++ 2008 setup.exe
2015-09-29
NAND_Flash_Interface_DF.zip
2013-09-18
skyeye 1.26 windows
2013-06-14
qextserialport-1.2win-alpha_Qt_5_0_2
2013-05-25
windows XP超级终端
2013-05-24
wps4centos依赖的库文件(rpm格式)
2013-05-20
unix source v6 v5
2011-12-27
RT-Thread 国产OS 开源OS
2011-12-21
vim 7.3中文手册
2011-12-15
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人