IARSystems发布的visualState是基于UML状态机的建模工具,允许开发人员在状态机的层次上开发和调试,然后直接生成可用的C代码,尽量减少人工编码引进错误的可能。
对于复杂的逻辑,如果不使用层次状态机来剖析它的复杂性,而试图靠大脑if…else…直接编码,错误是难免的。
嵌入式系统很多用在涉及人身安全的领域,出现错误后果相当严重。
目前,visualState已经用在各种设备的开发中,包括取款机、红外夜视仪、阿帕奇直升机的部件等。
IARSystems还和SCIOPTA达成了合作协议,将IAR的工具和SCIOPTARTOS结合起来,共同聚焦于安全苛求的应用,提供通过国际电工委员会IEC61508标准认证的一站式的解决方案。
创业公司Axilica发布了EDA工具FalconML,帮助工程师从UML到SystemC,然后到FPGA或ASIC实现。
SoC(芯片上系统)的复杂度越来越高,基于C++、加上硬件扩展库的SystemC(http://www.systemc.org)成为新一代的设计语言。
2005年12月,SystemC通过IEEE标准协会的审查,取得IEEE1666标准,更值得我们投入精力去研究它。
《基于状态机的嵌入式系统开发》(21世纪高等学校嵌入式系统专业规划教材)内容简介基于状态机的嵌入式系统开发是当前流行、前景广阔的嵌入式系统开发方法。
本书是基于状态机的嵌入式系统开发的入门指导书,兼顾理论性与实践性,介绍了嵌入式系统及状态机的基础知识,同时加入了生动的实际案例程序。
  本书内容分为3篇。
第1篇为引入篇,介绍状态机建模平台与入门实验;
第2篇为理论与实践篇,主要介绍了UML状态机理论基础、visualSTATE状态机和丁具链、visualSTATE状态机建模案例以及系统整合;
第3篇为创新没汁篇,具体讲述厂将visualSTATE牛成的代码集成到STM32的具体例广ATM取款机设计,并在最后展示了实际中——款车灯系统应用visualSTATE快速建模的过程。
  本书由浅入深,循序渐进,适合刚接触基于状态机的嵌入式系统开发的初学者学习,也可作为大中专院校嵌入式相关专业本科生、研究生的教材,同时还可以作为从事嵌入式系统应用开发工程师的参考书。
2023/7/4 2:10:04 87.27MB visualSTATE 状态机 嵌入式
1
使用WebBrowser控件时,在打开https安全链接时,可能会弹出"安全警报"(SecurityAlert)窗口让用户确认.用户只有点击"是(&Y)"才能正常打开网页.这是多余操作.解决方法:定时监视是否有窗口弹出,如果有,获取窗口句柄,再获取窗口中的按钮"是(&Y)"或"否(&N)",模拟点击动作,自动点击"是(&Y)",打开页面.以中国铁路购票网站为例:https://www.12306.cn/mormhweb/
2023/7/3 23:48:42 667KB WebBrowser Https 安全警报 Security
1
修正上一版生僻字乱码问题数据来源:http://www.stats.gov.cn/tjsj/tjbz/tjyqhdmhcxhfdm/2018/其中:province:31条,city:343条,district:3,285条,town:43,563条,village:666,260条解压后60.3M数据表关系看字段名就能明白使用MySQL8.0.12使用Navicat导出的数据生成的插入语句是标准的MySQL语句,如果出现导入失败可能是MySQL版过低,在理解文件中的生成表的MySQL语句基础上,重建数据表就可以解决问题。
2023/7/3 21:17:34 6.64MB 省市区镇村数据库 MySQL
1
ES是一个基于Lucene的分布式全文搜索服务器。
windows系统下安装教程https://www.cnblogs.com/ljhdo/p/4887557.html
2023/7/3 14:11:04 26.06MB es2.4.4
1
【软件包合集】keilV5V4c51MDK420-423953-959512-526各版本软件包下载地址https://blog.csdn.net/qq_34901073/article/details/82887681如果下载慢可以下载这个我上传到网盘的,下载不限速网盘里也有其它东西,如果自己不会用可以看这个视频里的指导http://www.bilibili.com/video/av26404568
2023/7/3 11:34:07 350B 软件包 keil C51  mdk
1
使用步骤:https://sspai.com/post/64946AirServerforMac是一款能够通过本地网络将音频、照片、视频以及支持AirPlay功能的第三方App,从iOS设备无线传送到Mac电脑的屏幕上,把Mac变成一个AirPlay终端的实用工具。
下载自:https://www.airserver.com/download
2023/7/1 11:35:47 11.36MB airserver Mac投屏
1
SWAT模型中气象数据的计算翻译By:94527257TheProgrampcpSTATUser’sManualStefanLiersch,Berlin,August12,2003stliersch@freenet.de下载地址:http://www.brc.tamus.edu/swat/pcpSTAT.zip引言pcpSTAT.exe程序用来计算SWAT模型气象发生器所需要的每日降水数据的统计参数(userwgn.dbf)。
表1中列出的一些参数能毫不费力地利用MICROSOFTEXCEL等工具计算出来,而PR_W1和PR_W2比较难计算。
表1:SWAT所用的降水统计参数PCPMM(mon)=averageormeantotalmonthlyprecipitationPCPSTD(mon)=standarddeviationfordailyprecipitationinmonthPCPSKW(mon)=skewcoefficientfordailyprecipitationinmonthPR_W1(mon)=probabilityofawetdayfollowingadrydayPR_W2(mon)=probabilityofawetdayfollowingawetdayPCPD(mon)=averagenumberofdaysofprecipitationinmonth输入文件存储着每日降水数据的输入文件必须是只有一列数字的ASCII码文本文件(图1)。
观测期必须是开始于1月1日,结束于12月31日。
换句话说,第一个数据值是1月1日的,最后一个是12月31日的。
虽然对利用的总年数没有限制,但每一次的计算都必须是基于一整年。
若是有缺失的数据,需要用空值(必须是数字)来填充这些缺失的数据值。
程序会询问这些值,并用整个系列的平均值取代空值。
图1:ExampleofaPrecipitationInputFile翻译By:94527257创建输入文件降水数据文件通常是文本文件,一列是日期,一列为降水值。
用EXCEL打开数据文件,若有必要可以缩减日期,以使其从1月1日开始,12月31日结束。
随后,删除日期列,只剩降水数据列,并保存为文本文件(filename.txt)。
若是使用其它软件创建输入文件或是之后使用文本编辑器操作文件,确保最后存在一个空行。
若是没有空行或是超过一个空行,程序将会中断并弹出消息“Endoffileduringread”,且将会产生错误的输出数据运行pcpSTAT.exe程序将程序和输入文件放在同一个目录,双击pcpSTAT.exe或是从DOS窗口中启动程序(图2)。
键入输入、输出文件的名字(包括其扩展名),至于输出文件,可以任意命名。
下一步,需要输入起始年份,用来判断一个年份是否是闰年。
只要键入第一年(4位数字)回车。
此后,需要输入无数据值,若降水数据有缺测,需要输入一个并不存在的数字,例如“999”。
图2:ProgrampcpSTAT.exe在计算结束后,输出文件(图3)会自动保存在程序目录中。
此外,还会生成2个文件:totalpcp.sta和mean_pcp.sta。
totalpcp.sta(图4)包含了每年每个月的总降水,mean_pcp.sta则包含每年每个月的平均每日降水。
翻译By:94527257图3:ExampleofanOutputFile翻译By:94527257图4:ExampleoftheFiletotalpcp.sta
2023/6/30 21:10:04 752KB 降雨、露点
1
基于Android平台的记账理财APP,包括基本记账、账户管理、存钱计划、动态发布等功能,还有后台代码(使用SHH框架)。
原型设计可参考:http://www.pmdaniu.com/storage/81280/97a1e8f02bf21d2158e350a50742ff3e-34050/start.html
2023/6/29 10:36:03 34.11MB android 理财 管理
1
50款好看黑页!关注好友动态,请访问CSDN个人空间:http://my.csdn.net/技术精品文章,请访问CSDN博客:http://blog.csdn.net/全球最大的中文技术讨论区,请访问CSDN论坛:http://bbs.csdn.net/分享您认为最好的内容,请访问CSDN下载频道:http://download.csdn.net/业界新闻、人才、外包等等更多CSDN服务,请访问http://www.csdn.net/
2023/6/16 0:37:38 62KB 黑页
1
最新版的RemotelyAnywhere12.4.4569是一个小巧的,利用浏览器进行远程控制的小程序。
安装官方程序,并覆盖补丁文件,复制注册信息注册,安装程序下载地址:http://www.remotelyanywhere.com/files/RemotelyAnywhereNH.msihttps://www.crsky.com/soft/879.htmlhttps://www.softexia.com/windows/internet/remote-utilities/remotelyanywhere
2023/6/15 17:21:57 4.6MB Remotely Anywhere 远程控制
1
共 1000 条记录 首页 上一页 下一页 尾页
在日常工作中,钉钉打卡成了我生活中不可或缺的一部分。然而,有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚,我总是得牢记打开钉钉应用,点击"工作台",再找到"考勤打卡"进行签到。有时候因为工作忙碌,会忘记打卡,导致考勤异常,影响当月的工作评价。而且,由于我使用的是苹果手机,有时候系统更新后,钉钉的某些功能会出现异常,使得打卡变得更加麻烦。 另外,我的家人使用的是安卓手机,他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说,每次打卡都是一次挑战。他们总是担心自己会操作失误,导致打卡失败。 为了解决这些烦恼,我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习,我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03 15KB 钉钉 钉钉打卡