期刊文献+
共找到14篇文章
< 1 >
每页显示 20 50 100
可逆编程语言R-JAVA及其语言处理系统的设计 被引量:8
1
作者 朱鹏程 管致锦 卫丽华 《计算机工程与设计》 CSCD 北大核心 2013年第10期3502-3510,共9页
为了给基于可逆逻辑综合、可逆电路技术的可逆硬件平台设计可逆软件系统,提出基于JDK的可逆编程语言RJAVA。首先总结可逆编程语言的设计原则,然后为可逆语言R-JAVA设计文法规则和语言处理系统,其语言处理系统提取源程序中的可逆代码段... 为了给基于可逆逻辑综合、可逆电路技术的可逆硬件平台设计可逆软件系统,提出基于JDK的可逆编程语言RJAVA。首先总结可逆编程语言的设计原则,然后为可逆语言R-JAVA设计文法规则和语言处理系统,其语言处理系统提取源程序中的可逆代码段并将其翻译成分别对应正反语义的等价JAVA代码,再将翻译后的JAVA代码交由JDK解释执行。最后通过示例程序表明R-JAVA源程序中的可逆函数既可正向运行,又可反向运行,从软件层次上实现了可逆计算。 展开更多
关键词 可逆逻辑综合 可逆电路 可逆编程语言 语言处理系统 文法规则 可逆计算
下载PDF
可逆编程语言R-JAVA及其语言处理系统的设计 被引量:2
2
作者 薛慧君 《电子测试》 2017年第2X期38-38,40,共2页
可逆编程语言是可逆计算研究中的重要内容,利用可逆编程语言编写的程序,能够实现正向和反向的双向运行,从而分别实现结果获取和恢复输入两方面功能。因而,可逆编程语言的研究十分必要。
关键词 可逆编程语言r-java 语言处理系统 设计
下载PDF
可逆编程语言R-JAVA及其语言处理系统的设计
3
作者 韩宏峰 《通讯世界》 2017年第14期55-56,共2页
可逆编程语言是可逆研究中的重要内容。可逆编程语言在程序编写中的应用是在实现正向运行和反向运行的基础上,对结果获取功能或恢复输入功能进行完善。本文主要对可逆编程语言R-JAVA的设计原则和语言处理系统设计问题进行了探究。
关键词 可逆编程语言r-java 语言处理系统 设计原则
下载PDF
Aspect-oriented software reverse engineering 被引量:1
4
作者 苏旸 李凡 +1 位作者 胡圣明 陈平 《Journal of Shanghai University(English Edition)》 CAS 2006年第5期402-408,共7页
To solve the identification and comprehension problem of crosscutting concerns in existing legacy software system, a framework of aspect-oriented software reveme engineering is proposed. An approach on re-modularizing... To solve the identification and comprehension problem of crosscutting concerns in existing legacy software system, a framework of aspect-oriented software reveme engineering is proposed. An approach on re-modularizing traversal features of legacy system is presented based on various unified modeling language (UML) diagrams. While modeling crosscutting concerns in UML use case diagrams, the non-functional requirements that affect several use case modules can be enveloped into aspect modules with a stereotype mechanism. The recurring message transmission patterns can be re-modularized as aspects in UML sequence diagrams with UML collaborations. Standard UML activity diagram notations are extended and modified by node fusion and addition, which support the graphical composition operation between crosscutting behaviors and primary business roles of concurrent systems. Case study indicates that travernal features of software system can be extracted and re-modularized from various perspectives in aspect-oriented reverse engineering, which improves comprehensibility and maintainability of legacy systems. 展开更多
关键词 crosscutting concerns aspect mining reverse engineering aspect oriented programming (AOP) unified modeling language (UML).
下载PDF
PSR-SQUARES:基于程序空间约简器的SQL逆向合成系统
5
作者 窦全胜 张顺 +2 位作者 潘浩 王荟贤 唐焕玲 《通信学报》 EI CSCD 北大核心 2023年第11期249-259,共11页
针对SQUARES程序空间增长过快,导致程序合成效率偏低的问题,在SQUARES的基础上,增加了以深度神经网络为核心的程序空间约简器,将给定的<被查询表,查询结果>示例表示成二维张量,作为深度神经网络的输入,网络的输出是关于目标SQL语... 针对SQUARES程序空间增长过快,导致程序合成效率偏低的问题,在SQUARES的基础上,增加了以深度神经网络为核心的程序空间约简器,将给定的<被查询表,查询结果>示例表示成二维张量,作为深度神经网络的输入,网络的输出是关于目标SQL语句合成规则的相关性标记向量。约简器根据神经网络的输出结果,采用末N位淘汰策略,删除与目标SQL语句相关性弱的合成规则,以减少候选SQL语句的生成和验证,提升系统合成效率。对约简器中深度神经网络的结构设计、训练样本集的生成方法和网络训练过程进行了详细描述。同时将PSR-SQUARES与当前有代表性SQL逆向合成系统进行实验对比,实验结果表明,PSR-SQUARES的综合性能不同程度地优于其他合成系统,平均合成时间由SQUARES的251 s降低至130 s,目标程序合成成功率由80%提升至89%。 展开更多
关键词 程序合成 SQL逆向合成 SQUARES 程序空间约简器 领域特定语言
下载PDF
基于动态程序切片的软件水印方案
6
作者 邓小鸿 孙星明 +1 位作者 孙光 拜亚萌 《东南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2007年第A01期193-196,共4页
针对中间码中水印信息抗逆向工程差的问题,提出基于动态程序切片的软件水印方案.利用动态程序切片技术将系统分割为隐秘部分与公开部分,然后改变交互模块间数据依赖关系嵌入水印信息,记录执行历史中的数据依赖关系提取水印信息.恢复隐... 针对中间码中水印信息抗逆向工程差的问题,提出基于动态程序切片的软件水印方案.利用动态程序切片技术将系统分割为隐秘部分与公开部分,然后改变交互模块间数据依赖关系嵌入水印信息,记录执行历史中的数据依赖关系提取水印信息.恢复隐秘部分复杂性实验证明算法对逆向工程攻击是鲁棒的;系统分割前后的运行时间对比实验证明算法对系统效率的影响在合理范围内.隐秘部分放在安全主机中确保水印系统的安全性,该方案适用于对移动计算与分布式软件进行保护. 展开更多
关键词 动态程序切片 软件水印 中间码 逆向工程 鲁棒性
下载PDF
地方本科院校在C语言双语教学上的探索和思考 被引量:1
7
作者 张坤 李成 《黄山学院学报》 2016年第3期116-118,共3页
随着中外交流的深入,软件外包和国外IT企业的入驻,国内计算机市场对从业人员的国际化水平要求越来越高。文章结合黄山学院实际情况,通过对C语言双语教学的研究与实验,探索其在地方本科院校实施的可行性及有效方案,以期对其他兄弟院校在... 随着中外交流的深入,软件外包和国外IT企业的入驻,国内计算机市场对从业人员的国际化水平要求越来越高。文章结合黄山学院实际情况,通过对C语言双语教学的研究与实验,探索其在地方本科院校实施的可行性及有效方案,以期对其他兄弟院校在计算机人才国际化方面起到一定的参考和借鉴作用。 展开更多
关键词 国际化 双语 C语言程序设计 翻转课堂 逆向思维
下载PDF
基于M-GEP的可逆逻辑综合方法研究
8
作者 赵曙光 罗霄 崔平 《电子科技》 2017年第11期4-8,共5页
可逆逻辑综合是设计和实现可逆逻辑电路的基础和难点。将改进的基于多层染色体基因表达式编程算法应用到可逆逻辑电路的综合与优化中,利用多层染色体构建的调用模型对个体进行表达,可根据预期的逻辑功能,自动求取便于构造可逆逻辑网络... 可逆逻辑综合是设计和实现可逆逻辑电路的基础和难点。将改进的基于多层染色体基因表达式编程算法应用到可逆逻辑电路的综合与优化中,利用多层染色体构建的调用模型对个体进行表达,可根据预期的逻辑功能,自动求取便于构造可逆逻辑网络的最简"积之异或和"表达式。经初步验证,在解决可逆逻辑电路的多输入单输出的问题上,比现有的综合方法更有效。 展开更多
关键词 多层染色体基因表达式编程 可逆逻辑综合 积之异或和 C语言编程实现
下载PDF
新工科下高级语言通识课程的建设
9
作者 贾丽娟 高爽 王乾 《软件》 2019年第9期67-70,共4页
新工科下基于互联网的教学,是当前信息社会对大学相关课程的要求和必然趋势,各学校应根据自身教师与学生特点确定相应的网络教学模式,而基于O2O的翻转课堂教学模式具有一定的普遍性。在O2O课程体系建设中,需要团队教师间的配合,同时它... 新工科下基于互联网的教学,是当前信息社会对大学相关课程的要求和必然趋势,各学校应根据自身教师与学生特点确定相应的网络教学模式,而基于O2O的翻转课堂教学模式具有一定的普遍性。在O2O课程体系建设中,需要团队教师间的配合,同时它也是一个不断完善的动态过程。在近两年的高级语言课程的教学运行过程中,我们始终以培养大学生计算思维能力为目标,对前期的基于O2O的翻转课堂教学模式进行了反复运行与修改,并针对本校师生情况总结出了较为完善的翻转课堂教学模式,为今后更好地因材施教提供了良好经验和方法。本文重点阐述基于O2O教学中网络资源的建设与教学。 展开更多
关键词 高级语言程序设计 计算思维 翻转课堂 O2O
下载PDF
基于IDA-Pro的软件逆向分析方法 被引量:4
10
作者 秦青文 王戟 +1 位作者 孙旭光 梅文华 《计算机工程》 CAS CSCD 北大核心 2008年第22期86-88,99,共4页
二进制程序转换作为软件逆向分析的主要手段发挥着积极作用。该文给出一种程序转换方法,应用软件二进制程序经IDA Pro反汇编得汇编语言程序,依据下推自动机原理设计汇编文法识别该汇编文件、制定相应的转换规则和优化措施将汇编语言转... 二进制程序转换作为软件逆向分析的主要手段发挥着积极作用。该文给出一种程序转换方法,应用软件二进制程序经IDA Pro反汇编得汇编语言程序,依据下推自动机原理设计汇编文法识别该汇编文件、制定相应的转换规则和优化措施将汇编语言转换成中间语言。转换所得中间语言可读性较强,具有通用性且易于理解。该方法达到了较高的自动化程度,缩小了目标程序的代码量,其应用可有效地减少软件分析和调试人员在追踪代码时所需的时间和工作量。给出应用上述方法进行程序转换的实例。 展开更多
关键词 逆向分析 程序转换 中间语言
下载PDF
GAL十进制可逆计数器的设计
11
作者 谢富珍 《新余高专学报》 2004年第5期25-27,共3页
介绍用通用阵列逻辑器件GAL设计十进制可逆计数器的方法。通过计算机编程 器对GAL编程,实现设计目的。整个设计电路简单,工作稳定可靠,编程灵活方便。
关键词 通用阵列逻辑器件GAL 十进制可逆计数器 ABEL语言程序
下载PDF
针对微软中间语言的逆向分析
12
作者 熊贻青 《计算机应用》 CSCD 北大核心 2006年第7期1523-1525,共3页
首先比较了微软中间语言(MSIL)与一般汇编的异同,并以元数据、指令特征、控制流和数据流分析为基础,提出了采用特征结构提取和虚拟执行两个手段来识别上层语言构块(变量、表达式和语句等)的方法。分析结果验证了该分析方法可有效地识别... 首先比较了微软中间语言(MSIL)与一般汇编的异同,并以元数据、指令特征、控制流和数据流分析为基础,提出了采用特征结构提取和虚拟执行两个手段来识别上层语言构块(变量、表达式和语句等)的方法。分析结果验证了该分析方法可有效地识别程序结构。 展开更多
关键词 微软中间语言 逆向工程 程序分析
下载PDF
C语言程序设计课程的UbD逆向教学设计 被引量:2
13
作者 周岚 《电子技术(上海)》 2023年第2期304-306,共3页
阐述课程教学设计的背景和现状,C语言程序设计课程的特点,探讨基于追求理解的UbD逆向教学设计,包括理解的可迁移性、理解与迁移关系、使用UbD逆向设计法修订后的C语言课程教学设计案例。
关键词 C语言程序设计 UbD逆向教学设计 追求理解 课程教学设计
原文传递
Automatic Identification of Use Cases from Codes: A User’s Goal Driven Approach
14
作者 ZHOU Xiaoyu QIAN Ju +1 位作者 CHEN Lin XU Baowen 《Wuhan University Journal of Natural Sciences》 CAS 2009年第5期409-414,共6页
Based on the different roles played by base flow and alternative flow in the process to achieve user's goals, we have found that loop structure is frequently used to implement alternative flow and/or to connect diffe... Based on the different roles played by base flow and alternative flow in the process to achieve user's goals, we have found that loop structure is frequently used to implement alternative flow and/or to connect different use cases. This paper presents an approach to identify base flows and alternative flows of different use cases by traversing control flow graph in which back edges are eliminated. The effectiveness of the approach is verified by identification of the use case structure of an ATM system. The workload of human intervention of the approach is relatively slight, and the manner of human intervention closely follows the usual process of software comprehension. 展开更多
关键词 use case identification control flow graph program analysis reverse engineering unified modeling language (UML)
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部