自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+

jiankangshiye

认真做事,踏实做人

  • 博客(1)
  • 资源 (111)
  • 收藏
  • 关注

原创 智能硬件X1000平台代码下载编译方法

智能硬件X1000平台代码下载编译方法

2016-02-27 14:13:12 864

NCS8801S-TOOL-v2p1

NCS8801S_TOOL_v2p1

2024-06-16

Formal specification, monitoring, and verification of vehicle

Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL

2021-10-12

Electronic-system design in the automobile industry.pdf

Electronic-system design in the automobile industry

2021-10-12

eiElektrotechnikundInformationstechnik_EASTADL_DJChen.pdf

Integrated Safety and Architecture Modeling for Automotive Embedded Systems

2021-10-12

Deterministic Execution for Arbitrary Multithreaded Programs

Deterministic Execution for Arbitrary Multithreaded Programs

2021-10-12

D.5.6.c SAFE - First prototype _Safety Code Generation_ - Report

Safe Automotive soFtware architEcture (SAFE)

2021-10-12

AutoSW_Track2_04.pdf

Fulfilling important ISO 26262 Criteria with innovative Automatic Test-and Verification Technologies

2021-10-12

Automotive embedded software design using formal methods

Automotive embedded software design using formal methods Vassil Todorov

2021-10-12

APMA_CyberKit-2-Whitepaper-ISO.pdf

Cyberkit 2.0 ISO21434

2021-10-12

An_Automated_Approach_to_the_Collatz_Conjecture.pdf

An Automated Approach to the Collatz Conjecture

2021-10-12

The Philosophy of Computer Science

The Philosophy of Computer Science (Stanford Encyclopedia of Philosophy).pdf

2021-09-04

The Lambda Calculus (Stanford Encyclopedia of Philosophy).pdf

The Lambda Calculus (Stanford Encyclopedia of Philosophy)

2021-09-04

Propositional natural deduction COMP2600-COMP6260.pdf

Propositional natural deduction COMP2600-COMP6260.pdf

2021-08-24

Meeting the design requirements for Bi-Directional-Capable OBC

Meeting the design requirements for Bi-Directional-Capable OBC

2021-08-24

Industrial hardware and software verification with ACL2.pdf

Industrial hardware and software verification with ACL2.pdf

2021-08-24

Formal Verification of Automotive Embedded UML Designs

Formal Verification of Automotive Embedded UML Designs

2021-08-24

MCS783x_FreeBSD_driver_v1.0.0.1.zip

MCS783x_FreeBSD_driver_v1.0.0.1.zip

2021-08-18

2010-13-Design Patterns for Safety-Critical.pdf

Functional Safety

2021-08-16

TC277_FreeRTOS_Pub.zip

TC277_FreeRTOS_Pub.zip

2021-08-11

HowToAchieveFunctionalSafetyInSafetyCriticalEmbeddedSystems.mp4

How To Achieve Functional Safety In Safety Critical Embedded Systems

2021-08-11

深圳市住宅小区二手住房成交参考价格表.pdf

深圳市住宅小区二手住房成交参考价格表.pdf

2021-08-11

MultiCAN – a step to CAN and TTCAN.pdf

MultiCAN is a new CAN module, which is building up a bridge between TTCAN level 1 & 2 and normal CAN network.

2021-07-29

VectorCAST_Following_the_ISO26262-2018-Guidelines-with-VectorCAST.pdf

VectorCAST ISO26262

2021-07-29

A brief history outline of Infineon's CAN modules.pdf

A brief history outline of Infineon's CAN modules

2021-07-29

Arguing Software Compliance With ISO 26262.pdf

Software ISO 26262

2021-07-28

tricore_llvm.pdf

Design and Implementation of a TriCore Backend for the LLVM Compiler Framework

2021-07-19

cadence skill.exe a kind of scheme/lisp interpreter

之前提交的不能用,重新提交一个。 之前提交的地址:http://download.csdn.net/download/jiankangshiye/3190855

2018-03-03

PL2303_Prolific_Driver

PL2303_Prolific_DriverInstaller_v1170.zip 经过测试在VirtualBox/Windows中工作正常, 该驱动比FreeBSD自带的Prolific驱动效果好,FreeBSD自带的Prolific驱动经常出现乱码。

2017-03-22

LCD液晶显示原理

LCD液晶显示原理,英文版本的,NXP出土的,详细讲解了LCD显示技术,LCD数据格式,LCD信号,LCD frame buffer设置,LCD控制器选择

2016-02-16

Visual C++ 2008 setup.exe

Visual C++ 2008 setup.exe 是Visual C++ 2008 Express版本,安装需要联网,从微软下载安装包, 需要有微软帐号进行注册,不许要破解,该软件为免费软件。

2015-09-29

《系统程序员成长计划》(李先静).扫描版

《系统程序员成长计划》(李先静).扫描版.pdf 是扫描版本的pdf,若喜欢,请购买纸质书籍,谢谢

2015-09-19

NAND_Flash_Interface_DF.zip

NAND_Flash_Interface_DF.zip nand flash软件开发实例,芯片为MT29F2G08AADWP 配合有 Actel M1AGL600V2-484FBGA IGLOO device Actel Core8051 nand flash驱动编程很好的学习模版,如果你手头上刚好有哥哥 MT29F2G08AADWP那就更好了

2013-09-18

STM32F103ZE.jflash

STM32F103ZE.jflash, 在jflash中使用的项目文件, 为STM32F103ZE芯片服务的

2013-06-25

skyeye 1.26 windows

skyeye 1.26 windows 中国人开发的开源虚拟软件 解压后放到一个PATH所在的目录里,在cmd下使用,我是咋mingw下使用的, 学习leeos用的,有问题可以群里讨论. QQ群: 113 148 289

2013-06-14

qextserialport-1.2win-alpha_Qt_5_0_2

qextserialport-1.2win-alpha_Qt_5_0_2编译问题及解决方法,压缩包为编译成功后的文件包 1 'class QString' has no member named 'toAscii' toAscii 替换为 toLatin1 2 错误:undefined reference to `GUID_DEVINTERFACE_COMPORT' #include <ntddser.h> 在文件qextserialenumerator.cpp中添加上面这个头文件引用语句 3 错误:'PHYSICAL_ADDRESS' does not name a type #undef PHYSICAL_ADDRESS #define PHYSICAL_ADDRESS LARGE_INTEGER 添加上面两行到文件ntddser.h中 4 错误:undefined reference to `GUID_DEVINTERFACE_COMPORT' #include <ntddser.h> 在文件qextserialenumerator.cpp中将这个头文件引用位置放在另一个 头文件#include <initguid.h>引用的下方, 这个错误是头文件引用顺序 不对导致的.

2013-05-25

windows XP超级终端

windows XP超级终端 1 下载windows XP超级终端程序的两个文件 hypertrm.dll 和 hypertrm.exe 2 将这两个文件复制到C:\Windows\system32里面 3 启动 hypertrm.exe, 做一个简单的COM口配置, 设置波特率,校验位等串口通讯的参数即可使用.

2013-05-24

wps4centos依赖的库文件(rpm格式)

在centos6上安装wps的rpm版, 所需的依赖库, 注意库直接解压出来, 把需要的库文件手工复制到wps的自有库目录中.wps自有库目录是/opt/kingsoft/wps-office/office6/这里. 附录: CENTOS 6.3上安装kingsoft-office-9.1.0.4032-0.1.a10.i686.rpm 1. 下载WPS的rpm安装包 kingsoft-office-9.1.0.4032-0.1.a10.i686.rpm 2. 无依赖安装 rpm -ivh kingsoft-office-9.1.0.4032-0.1.a10.i686.rpm --nodeps 注意以前安装过WPS的, 要先卸载掉. 卸载命令: rpm -e xxxxx.rpm 3. 添加依赖库文件到目录/opt/kingsoft/wps-office/office6/ 不建议将库文件放到/usr/lib或者/lib里面, 那样做可能影响其它软件的正常运行. WPS依赖的库, 放在它自己的库目录里, 这样就不会影响外面的世界了, 嘿嘿. 依赖的库文件手工复制到这里, 缺啥复制啥. /opt/kingsoft/wps-office/office6/

2013-05-20

unix source v6 v5

unix source v6 unix 源代码 unix v5 手册 莱昂氏unix源码就是v6的 如果谁能把unix v6的 源代码移植到ARM上就好了 我想苹果也是将unix 移植到ARM上才创造了今天的iOS

2011-12-27

RT-Thread 国产OS 开源OS

RTOS RT-Thread 国产OS 开源OS 完全可以跟UCOS相媲美的国产嵌入式实时操作系统 http://www.rt-thread.org

2011-12-21

vim 7.3中文手册

vim 7.3 中文 手册 pdf 文档 还有一个可以安装到vim中的安装文件 http://sourceforge.net/projects/vimcdoc/files/win32-install/1.8.0/vimcdoc-1.8.0-setup.exe/download 这个是windows上的

2011-12-15

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除