切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
会议论文
PLC软件测试方法研究
PLC软件测试方法研究
来源 :四川省电子学会电子测量与仪器专委会第十四届学术年会 | 被引量 : 0次 | 上传用户:fengxuemin
【摘 要】
:
本文介绍了PLC可编程控制器的特点和主要应用领域,对PLC软件的测试方法进行了探讨,就其形式化等价和验证方法进行了重点说明,对PLC软件的测试和质量控制具有一定的借鉴作用。
【作 者】
:
颜运强
【机 构】
:
中国工程物理研究院软件评测中心四川绵阳621900
【出 处】
:
四川省电子学会电子测量与仪器专委会第十四届学术年会
【发表日期】
:
2009年10期
【关键词】
:
软件测试
形式化方法
可编程控制器
质量控制
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文介绍了PLC可编程控制器的特点和主要应用领域,对PLC软件的测试方法进行了探讨,就其形式化等价和验证方法进行了重点说明,对PLC软件的测试和质量控制具有一定的借鉴作用。
其他文献
棚室西葫芦 靠接能增产
采 用 黑 籽 南 瓜 作 砧 木 、西 葫 芦 为 接 穗 的 靠 接 育 苗 技 术 ,进 行 棚 室 西 葫 芦 高 产 栽 培 ,可 明 显 提 高 西 葫 芦 耐 低 温 能 力 ,植 株 长 势 健 壮
期刊
靠接
南瓜苗
山东省兖州市
崔海
济宁市任城区
光时
走向生态文明时代的公路生态绿化理念
在系统梳理人类生态意识、生态实践和生态文明的基础上,回顾国内外公路建设的生态理论、技术和工程实践,辨析了国内外“生态公路”学术观点,提出建设生态文明社会“公路生态绿化
会议
生态文明社会
文明时代
生态公路
学术观点
生态意识
生态实践
生态绿化
生态理论
公路建设
工程实践
系统
梳理
概念
甲基睾丸素配伍米非司酮米索前列醇在抗早孕中的应用
为解决米非司酮配伍米索前列醇终止孕7周内的早孕后出血多及出血时间长等问题,我们在配伍中加用了甲基睾丸素,提高了抗早孕率,明显减少了出血量,缩短了出血时间,现报道如下
期刊
甲基睾丸素
早孕
出血时间
药流
米非司酮
完全流产
停经天数
血量
不全流产
雌孕激素受体
公路景观设计现状及发展趋势探讨
本文通过对我国公路景观设计发展中存在的不足的思考,大胆展望了公路景观发展的未来,即在项目技术创新、景观设计理念和手法、动态视觉和法律、法规、标准、规范等方面将不断健
会议
公路景观
景观设计现状
健全和完善
设计理念
设计发展
景观发展
技术创新
动态视觉
项目
手法
法律
法规
标准
面向未来可持续发展的生态公路设计
生态环境的恶化已经威胁到人类的生存和发展,公路的可持续发展也受到越来越多的人的关注,本文从生态学角度出发,探讨公路的可持续发展的迫切性和可能性,进而从设计观和技术观两方
会议
可持续发展
生态环境
公路设计
生态学
设计观
技术观
剖析
浅谈初一生物教学策略
对于刚升入初中的学生来说,生物是一门新开的课程,如何帮助学生尽快入门,保持长久的学习兴趣,提高生物学习成绩,下面结合我这几年的教学经历谈几点体会,以求教于同仁。
期刊
初一生物
学习兴趣
学习成绩
帮助学生
同仁
课程
经历
教学
初中
浅谈如何提高初中英语成绩
枯燥无味是学习的大敌,如果学生对学习不感兴趣,那么即使再好的环境、再好的学习条件,学生的学习成绩也休想得到提高。因此,要想让初中学生的英语成绩普遍提高,教师就要消除学生对
期刊
学生学习积极性
学习成绩
初中英语教学
教学经验
质量
学习英语
基于PCL的USB打印机驱动设计
打印机作为主要的输出设备之一,越来越广泛地应用于各类智能化仪器之中。本文在以ADI的DSP为核心处理器的示波器上,通过研究嵌入式系统技术、USB通信技术以及打印机工作原理,
会议
打印机
嵌入式系统技术
智能化仪器
控制器芯片
硬件平台
通信技术
输出设备
控制命令
工作原理
操作系统
示波器
处理器
驱动
高中物理教学中培养学生自主学习能力的策略
高中物理教学受到新课改的影响,其关键任务在于大力提升学生在学习方面的能力。在高中学习过程中,能够对学生在学习思维以及学习能力方面占据主要地位的就是自主学习能力。基于
期刊
高中物理
提升
自主学习能力
基于标准约束恒模准则的Lagrange神经网络盲多用户检测算法的研究
本文将标准约束恒模算法与Lagrange神经网络算法相结合,提出了一种新的盲多用户检测算法一基于标准约束恒模准则的Lagrange神经网络算法。仿真结果表明,该算法比传统的恒模算
会议
基于标准
约束恒模准则
神经网络
网络算法
盲多用户检测算法
恒模算法
远近效应
仿真结果
多址干扰
信干比
误码率
与本文相关的学术论文