程序变换相关论文
提到爱心灯,大部分人可能会觉得比较陌生,但对于单片机工程师来说,它是一件非常浪漫的作品,它可以根据不同的程序变换不同的颜色和......
本文介绍了一种用于简化Java循环语句的程序变换方法.这种方法通过将循环语句do-while、for句变换为while句,消除break、continue......
过去，对内燃动车柴油机的控制回路，大约需用１００个继电器进行控制。现在，九州铁路客运公司决定将此种控制方式改为电子控制，以提高柴油机可......
本文介绍的多刀半自动组合车床微机控制系统,可实现908种循环程序变换,操作方便灵活,可靠性高。由于系统控制采用国内大批量生产的......
移动代理是由用户创建并代表其创建者执行特定任务的程序对象。它的特点是其移动性和智能性。当移动代理迁移到某一台主机上执行时......
云计算是国家重要信息基础设施,以服务外包的方式为智慧城市、智能制造、金融证券等各个行业提供计算平台支撑。资源所有权和使用......
选矿生产过程自动化,对于提高金属回收率和精矿品位等技术经济指标,改善劳动条件,减轻劳动强度,实行科学管理都有着重要的作用,它......
电脑与音乐MIDI信息总共有11类。除去“控制变换”较为复杂;“系统专用”学问太多,其余都很简单易懂。由于MIDI编码是以二进制为......
强弱变化 ＭＩＤＩ音乐的强弱是由多种因素决定的。首先，每个音符都带有力度值，也就是Ｎｏｔｅ Ｏｎ／Ｏｆｆ信息中的第三字节Ｖｅｌｏｃｉｔｙ，这个字节不可以省略，数值由 １至 １２７。不具......
ＧＭ和ＧＳ标准 １９９１年在ＭＩＤＩ的发展史上有一件重要的事情，就是ＧＭ和ＧＳ标准诞生。 当时，ＭＩＤＩ １．０规定问世已近十年，市场上的ＭＩＤＩ器材不计其数，但由于ＭＩＤＩ １．０在某些方面规定得比......
1982年底诞生的MIDI在电脑音乐的发展中起到划时代的重要作用,随后又制订了通用MIDI(GM),GM的一个重要内容是对128种乐器预置音色......
《一种简单的继电器程序控制系统》(见《工程机械》一九八○年第七期,以下简称《简单控制》)一文及其线路,我认为看来似乎“简单......
通过将多入口子程序变换为一段与主程序“同等”地位的程序，并在主程序与变换后的程序之间“架桥”的方法简便地实现了多入口子程序......
本文综述了近几年来国外开发的硅编译系统及其优点和实现方法。指出硅编译技术(SILI)是 VLSI 自动设计的方向。
This article rev......
栏目寄语:在电视、电影中,我们都见过机器人,很多同学也想到了星球大战、高达战士。记得我小时候也很爱玩机器人——变形金刚。也......
文中提出了Ｄａｔａｌｏｇ程序的正规变换，并构造了Ｄａｔａｌｏｇ程序的约束模型图，从而把正规变换的求解转化为对约束模式图的搜索．约束模式图搜索算法与经典的ＡＯ＊搜......
该文来自云南大学信息技术研究所与英国De Montfort大学软件技术研究实验室之间的一个国际合作项目"软件开发与再生工程化",主要介......
Garment是一种基于"面向模型的变换型软件开发方法"的语言抽象和封装机制,用抽象程度高的Garment元语言描述领域语言的语法结构及......
在描述程序变换系统时,需要确定目标程序的数据表示.用字符串表示目标程序,虽直观自然,但无法保证目标程序的语法正确性;用树或项......
领域语言(Domain Specific Language,又称Little Language等)以其简明易用、可靠性高、符合领域使用者的习惯、有利于提高领域软件......
本文的目的是设计开发一个领域语言。领域语言是面向特定领域设计的语言。本文在分析“数据结构和算法”课程的特点的基础上，借鉴已......
摘 要 由于目前程序变换与分析算法的复杂程度越来越高，因此简化处理显得尤为必要。本文主要探讨了程序变换方法在简化Java循环语句......
讨论了循环优化的目标和循环优化的各种程序变换方法，程序变可大大减少下标变量的访问时间，消除某些类型的相关，提高软件流水的“深度......
关于递归程序变换的注记蔡经球（厦门大学计算机科学系，厦门３６１００５）程序变换技术是自动程序设计和程序设计方法学中的重要研究课题之一。一般......
本文介绍了Ｃｏｏｐｅｒ变换与函数反演变换的不同特点，并通过一系列的示例来加深对这些特点的认识。......
随着越来越多成功的软件系统成为遗留系统，软件再工程已日益显现其重要性。但对原系统理解的难度影响了软件工程师对原系统进行再工......
代码Shell化技术是一种实现程序从源码形态到二进制形态的程序变换技术。该技术可用于实现Shellcode生成,生成包括漏洞利用过程中......
<正>如何提高函数式程序设计语言在传统冯·诺依曼机器上的执行速度.及效率,一直是该领域中研究的主要论题,对此,并行图归约技......
本文阐述了如何利用递归技术快速自动生成图案的方法,对纺织、印刷等行业很有现实意义。......
本文给出一种程序变换模式,它使用数组消除二元双重递归函数的递归,直接得到其等价的迭代解。然后,通过例子说明变换模式的用法,并......
本文旨在介绍一个自动语义查错交互式系统中所给出的变量定值作用域的划分算法和以循环结构为单位的语义诊断策略。使用所给出的算......
随着程序规模和复杂性的增加,代码重构在改善软件质量、性能以及提高软件的扩展性和维护性等方面至关重要。目前的Eclipse中,C源代......
程序变换过程的分析与设计张乃孝（北京大学计算机科学与技术系北京１００８７１）ＡＮＡＬＹＳＩＳＡＮＤＤＥＳＩＧＮＯＦＴＨＥＰＲＯＧＲＡＭＴＲＡＮＳＦＯＲＭＡＴＩＯＮＰＲＯＣＥＳＳ￥ＺｈａｎｇＮａｉｘｉａｏ（ＤｅｐａｒｔｍｅｎｔｏｆｃｏｍｐｕｔｅｒＳｃｉ.........
代码迷惑是一种以增加理解难度为目的的程序变换技术，用来保护软件免遭逆向剖析．代码迷惑是否有效是代码迷惑研究中首要解决的问题．目......
寻求更好的消除递归方法一直是程序变换所面临的问题。本文从动态图出发，探讨了如何利用动态图消除程序递归的新途径......
本文介绍了由FORTRAN语言变换为C语言程序的方法和技术．并在IBM PC AT机上实现了一个实用的转换系统．同时．应用大量实例对系统进行了......
数据迷惑是代码迷惑中重要的一类迷惑变换,在软件保护领域中应用广泛,常被用于防止攻击者对程序进行数据流分析、程序切片等逆向工......
本语言介绍函数式语言提供的集合描述方法以及实现集合的一种程序变换优化算法，集合的引入改善限函数式程序的表达能力，并且为提高程......
部分计算是一种重要的程序变换方法和编译优化技术，Prolog程序特别适合于部分计算。目前，国际上已开始了几个Prolog程序部分计算的原......
自动并行编译为并行化现有的串行程序及编写新的并行程序提供了重要的支持，因此２０多年来一直受到重视。近几年来，自动并行编译技术的研......
基于时序逻辑CTL（computation tree logic）的一种扩展CTL-FV对优化编译中的语句交换和变量替换这两种常见变换的保义性条件给出了形......
本文对我们近几年来在递归程序等价变换方面之一系列研究工作做了分类总结,所提出的一些新变换模式和技术进一步丰富了人们对横向......
在文章[10]中,我们详细地讨论了如何用函数式硬件描述语言对数字电路进行描述、综合和模拟验证的方法。本文将在此基础上,进一步研......
