-
题名FOR-NEXT语句的循环次数
- 1
-
-
作者
王永德
王家信
-
出处
《绥化学院学报》
1997年第3期102-106,共5页
-
-
关键词
循环变量
循环次数公式
NEXT
嵌套语句
循环结构
循环执行
外层循环
内循环
STEP
循环语句
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-
-
题名循环条件的形式化推导在程序验证中的应用
被引量：1
- 2
-
-
作者
雷富兴
张来顺
石荣刚
杨科
-
机构
解放军信息工程大学电子技术学院
西安通信学院
[
-
出处
《计算机工程与设计》
CSCD
北大核心
2010年第14期3193-3197,共5页
-
文摘
提出了一种求解命令式程序中循环执行和终止条件的方法。该方法基于循环代码本身进行循环执行和终止条件的分析推导,可以定义一个原型工具进行自动化推导。现有的形式化方法依赖于形式化规范,而提出的方法适用于未被形式化的程序。提出的形式化方法可以在一个原型工具中实现,通过该工具来推导循环执行和终止条件,辅助程序验证和程序缺陷修正。
-
关键词
循环执行
循环终止
形式化方法
自动化
程序验证
缺陷修正
-
Keywords
loop progress
loop termination
formal method
automated
program verification
defect correction
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名main函数的循环执行在实验中的运行
被引量：1
- 3
-
-
作者
杨张利
-
机构
重庆电子工程职业学院建筑与材料学院
-
出处
《电子制作》
2014年第11X期41-42,共2页
-
文摘
单片机程序中,扫描程序按指令程序从主函数开始进行逐句运行,直到最后一句,若程序中没有死循环语句,则机器又从主函数main()开始运行直到结束,周而复始、以此循环,这给初学者在编写程序时带来不少的麻烦。如果要想通过程序实现某个功能而忽略了此知识点,那么这个程序错误之处是非常隐蔽的,且该程序在进行编译、调试过程中不是语法错误,更是难以发现。
-
关键词
主函数
循环执行
任务驱动法
-
分类号
TP311.1
[自动化与计算机技术—计算机软件与理论]
-
-
题名面向DSP的零开销循环编译优化
- 4
-
-
作者
项利萍
王向前
-
机构
中国电子科技集团公司第三十八研究所
-
出处
《电脑知识与技术》
2015年第4X期100-102,共3页
-
文摘
魂芯DSP是一款具有分簇结构的、支持SIMD的VLIW高性能通用处理器。为了提高循环执行的效率,魂芯DSP设计了硬件支持的零开销循环机制。提出了一个通用的从编译层面支持的零开销循环的识别转换算法。以典型的DSP测试用例进行实验评测,零开销循环的识别可以带来6%~37%的性能提升。
-
关键词
循环执行
零开销循环
识别转换算法
-
Keywords
loop execution
zero-overhead loop
recognization and transformation algorithm
-
分类号
TP314
[自动化与计算机技术—计算机软件与理论]
-
-
题名可编程控制器扫描周期分析及程序设计
被引量：1
- 5
-
-
作者
王庭有
-
机构
昆明理工大学机电工程学院
-
出处
《工业控制计算机》
2007年第5期77-78,共2页
-
文摘
可编程控制器通过循环执行控制程序来实现用户要求的控制功能,循环执行控制程序称为扫描周期。分析了可编程控制器的这种工作方式对编程的影响,介绍如何利用扫描周期分析设计程序。
-
关键词
可编程控制器
核心技术
循环执行控制程序
扫描周期
-
Keywords
programmable logic controller,key technique,cyclical execution of programs,scan cycle
-
分类号
TM571.61
[电气工程—电器]
-
-
题名一种适用于向量处理器的新型归约网络
- 6
-
-
作者
庄巍
杨惠
刘衡竹
-
机构
国防科技大学计算机学院微电子与微处理器研究所
-
出处
《小型微型计算机系统》
CSCD
北大核心
2012年第11期2498-2502,共5页
-
基金
核高基重大专项(2009ZX01034-001-006)资助
-
文摘
现代通信和图像处理等应用领域中向量运算的宽度灵活多变,且程序可循环执行.为了支持宽度的灵活多变,研究并提出一种新颖的分层计算模型,在基于有16个向量运算单元的向量处理器上用该模型构建了一种可配置成多组多宽度的归约树结构,向量宽度为2至16.设计了控制模块,在无需修改程序的情况下可通过隐式自增的方式指定归约目标,使单程序可以多次循环执行.对所实现的归约网络部件在TSMC65nm工艺库下用Synopsys的Design Complier工具进行综合,结果显示其工作频率可达700MHz,面积为92363.04um2,功耗为17.30 mW.在相同工艺库和工作频率下,该设计的性能开销比是一种精简归约网络的2.36倍.
-
关键词
向量运算
归约网络
分组多宽度
程序循环执行
-
Keywords
vector computation
reduce network unit
grouping and various width
program executed looply
-
分类号
TP303
[自动化与计算机技术—计算机系统结构]
-
-
题名循环可执行事件的PLC编程实现
- 7
-
-
作者
董国日
柳建设
周洪波
杨宇
徐竞
-
机构
中南大学资源加工与生物工程学院
-
出处
《甘肃科技》
2007年第2期55-57,共3页
-
文摘
通过对循环可执行事件的PLC编程特点进行研究,提出了其PLC编程的一个模式,利用该模式可迅速实现该类型事件的PLC编程。
-
关键词
PLC
模式
循环可执行事件
-
分类号
TP273
[自动化与计算机技术—检测技术与自动化装置]
-
