PMC30E-1-C

操作应用于安全苛刻的 航空 和军事领域的 嵌入式软件 时必须高度关注安全问题。为达到可靠性目标，软件开发团队精益求精，力争使这些软件应用符合严格的验证流程并实现零缺陷目标。Edsger Dijkstra有句名言：测试只能发现错误，但不能证明错误不存在。如果测试无法证明不存在严重的运行错误，那么嵌入式软件开发团队如何才能确定其软件没有这些错误呢？基于数学证明的代码验证是值得一试的解决方案。在软件验证...[详细]

C代码： /*************** writer:shopping.w ******************/ #include reg52.h #define uint unsigned int #define uchar unsigned char sbit LED1 = P1^0; sbit LED2 = P1^3; sbit K1 = P1^7; uchar Operatio...[详细]

说到温度，恰好和今天要说的这个电子元件有关，温度一变电子元件的阻值会随着温度的变化而变。你们可以猜猜看是哪个电子元件？没错，这个阻值随着温度的变化而变化的电子元件它就是热敏电阻。 热敏电阻器由半导体材料制成，属于半导体电子元件，对温度灵敏是热敏电阻器的典型特点，在一定的温度范围内，其阻值在不同的温度下表现出的数值也不同，热敏电阻在电路中用字母RT表示。 智旭电子热敏电阻 一、PTC热敏电...[详细]

分享一个双路的SPWM源码可以驱动电机用 正弦表计算： C语言库函数版本STC15W4K60S2单片机源程序如下: #include config.h #include PWM.h /************* 功能说明 ************** 演示使用2路PWM产生互补或同相的SPWM. 主时钟选择24MHZ, PWM时钟选择1T, ...[详细]

日前，德州仪器 (TI) 宣布推出一款采用极小型 3.5 毫米 × 3.5 毫米 HotRod™ QFN 封装并集成 MOSFET 的最新同步降压 DC/DC 转换器。该 SWIFT™ 10A TPS54020 不但支持最高电源密度，而且还包含频率同步、180 度异相位开关以及可选电流限制等功能，可在空间有限的高电压通信、游戏及工业计算应用中为 FPGA、片上系统 (SoC)、DSP 以及处理器...[详细]

　　串处理指令处理存放在存储器中的字节串或字串，串处理的方向由方向标志位DF决定，串处理指令之前可加重复前缀，在执行串处理指令时，源串的指针SI和目的串的指针DI根据DF的指示自动增量（＋1或＋2）或自动减量（―1或―2）。 　　　　　　　⑴ 串处理指令 　　　　　　　　MOVSB / MOVSW 　　串传送 　　　　　　　　STOSB / STOSW 　　存串 　　　　　　　　LODSB ...[详细]

节卡 机器人 与施耐德电气宣布，双方已达成战略合作伙伴关系，共同推动 协作机器人 产业蓬勃发展，共创 工业自动化 未来。 从左至右依次为：节卡机器人欧洲副总裁Wolfgang Lienke、施耐德电气运动控制副总裁Jochen Weiland、节卡机器人副总裁常莉 施耐德电气 是全球能源管理和自动化领域的 数字化转型 专家， 节卡机器人 是全球协作机器人头部企业。双方结合各自优势，共同推出...[详细]

(1)在使用之前，应先进行“机械调零”，即在没有被测电量时 ，使万用表指针指在零电压或零电流的位置上。 (2)在使用万用表过程中，不能用手去接触表笔的金属部分 ，这样一方面可以保证测量的准确，另一方面也可以保证人身安全。 (3)在测量某一电量时，不能在测量的同时换档，尤其是在测量高电压或大电流时 ，更应注意。否则，会使万用表毁坏。如需换挡，应先断开表笔，换挡后再去测量。 (4)万用表在使用时，必...[详细]

搞了好几个月就没有想到。一直没有去找“为什么离开了那个编译环境就出错，就编译不了”的原因，今天下午花了一下午的时间，做了个到哪里也能编译的模板。核内容如下： 一、最小软件编译系统文件： 二、一定要设置好路径： ...[详细]

带集成式语音编解码器的SmartBond DA14582系统级芯片（SoC）， 以最小尺寸、最低成本及功耗提供高性能和低延迟的音频应用 高度集成电源管理、AC/DC电源转换、固态照明（SSL）和Bluetooth Smart（智能蓝牙）技术供应商Dialog半导体公司（法兰克福证券交易所交易代码：DLG），日前宣布其SmartBond DA14582蓝牙SoC（系统级芯片）成为小米...[详细]

在座无虚席的大厅里，屏幕上出现了时下流行的小球躲避子弹游戏，与平时用键盘操纵不同，小球自动灵活穿梭于不断运动变大的子弹之间。 这是“LabVIEW天下会”首届全球华人LabVIEW开发者竞赛在NIDays全球图形化系统设计盛会中国站上进行的现场开发组决赛的一个环节。选手利用基于LabVIEW编写的算法来控制小球的移动，通过比拼各算法下游戏的时间长短来较量各选手的实力。经过多轮激烈的对战...[详细]

据外媒近日报道，由美国最大的搜索引擎商谷歌（Google）负责研发的无人驾驶汽车已经正式拿到牌照。该牌照是由美国内华达州车辆管理局向无人驾驶汽车发放的汽车测试牌照，内华达成为美国首个批准无人驾驶汽车合法上路的州。这也标志着谷歌的无人驾驶汽车取得了阶段性的进步。但是离真正投放市场还有很长的一段路要走。 无人驾驶汽车是指几乎不用人工干预就可以自动行驶的汽车，它很可能代表未来的驾驶潮流。人们在开发...[详细]

苹果前几年在iPhone手机上推出了电池健康显示功能，令用户可以随时查看自己手机电池的健康情况，并通过该功能了解到手机的性能情况。 　　现在，首个支持电池健康显示的安卓系统出现了。 　　小米推出安卓首个电池健康显示功能 　　6月18日，小米通过MIUI公众号正式宣布推出电池健康系统，用户可以通过“系统设置-省电与电池-电池页面”路径，随时查看自己手机的电池健康度。 　　小米介绍，影响电...[详细]

引脚名称 引脚功能说明 VCC 数字电路的电源 GND 地 端口B (PB5..PB0) 端口 B 为 6 位双向 I/O 口，具有可编程的内部上拉电阻。其输出缓冲器具有对称的驱动特 性，可以输出和吸收大电流。作为输入使用时，若内部上拉电阻使能，端口被外部电路拉 低时将输出电流。在复位过程中，即使系统时钟还未起振，端口 B处于高阻状态。 端口 B 也可以用做其他不同的特殊功能，请参见A...[详细]

英飞凌科技股份有限公司近日宣布与全球领先的手机厂商及互联网与通信融合技术领袖诺基亚签署一项合作协议。在该合作项目中，英飞凌提供的解决方案有助于诺基亚开发具备上网功能的价廉物美的手机产品。 英飞凌将向诺基亚提供XMM 2130 EDGE平台，助其推出新款可上网手机。 英飞凌科技股份公司首席执行官Peter Bauer表示：“能够在XMM 1010和XMM 1100这两款超低成...[详细]