量子程序设计语言NDQJava2处理系统——代码转换程序

1

作者 蔡希辉 徐家福 《计算机科学与探索》 CSCD 2013年第7期659-666,共8页

NDQJava2语言是一种混成式、结构化、命令式量子程序设计语言,它在NDQJava语言的基础上增添了更多的量子成分。NDQJava2处理系统则是在经典计算机上对NDQJava2语言进行模拟实现的处理系统。着重介绍了NDQJava2处理系统的代码转换程序,... NDQJava2语言是一种混成式、结构化、命令式量子程序设计语言,它在NDQJava语言的基础上增添了更多的量子成分。NDQJava2处理系统则是在经典计算机上对NDQJava2语言进行模拟实现的处理系统。着重介绍了NDQJava2处理系统的代码转换程序,详细讨论了其设计与实现过程,采用自顶向下、逐层转换的方式,将语法树转换成带量子汇编指令的Java代码。实验表明,该代码转换程序较好地完成了预期目标。 展开更多

关键词 NDQJava2语言 处理系统 语法树 代码转换程序

在线阅读 下载PDF 职称材料

数控加工程序的语法和仿真检查 被引量：4

2

作者 付振山 霍孟友 《工具技术》 北大核心 2004年第11期55-55,共1页

研究了一种数控G代码程序的语法分析和加工刀具路径仿真系统 ,该系统可以检查程序中的语法错误并提示和存储错误信息 ,用OpenGL静态或动态显示刀具路径 ,进行加工仿真。

关键词 动态显示 GL 加工仿真 错误信息 程序 语法分析 仿真系统 数控加工 G代码 加工刀具

在线阅读 下载PDF 职称材料

基于Master CAM的数控代码转换系统开发及应用

3

作者 何培英 樊宁 师展 《机械设计与制造》 北大核心 2011年第10期152-154,共3页

MasterCAM内部虽然带有许多后置处理程序,但并不能直接应用于一些在我国使用比较普遍的数控系统。针对这一状况,在分析了Master CAM后置处理程序特点的基础上,构思系统的开发流程,利用VB 6.0程序开发环境进行相应的界面设计和程序开发,... MasterCAM内部虽然带有许多后置处理程序,但并不能直接应用于一些在我国使用比较普遍的数控系统。针对这一状况,在分析了Master CAM后置处理程序特点的基础上,构思系统的开发流程,利用VB 6.0程序开发环境进行相应的界面设计和程序开发,开发出了一个小型软件系统,可使Master CAM生成的后置处理程序直接转换为多种数控系统所需的NC代码,从而满足不同数控系统的需求。并以实际应用验证系统运行的实用性和可靠性,以及操作的简便性。 展开更多

关键词 MASTER CAM 数控代码 后置程序 转换系统

在线阅读 下载PDF 职称材料

二进制程序整型符号转换缺陷的动态检测方法

4

作者 朱雪梅 王兴起 +1 位作者 方景龙 王大全 《计算机工程与应用》 CSCD 北大核心 2015年第18期56-61,共6页

针对符号转换错误引起缓冲区溢出的这类缺陷提出了一种面向二进制程序整型符号转换缺陷检测方法。以二进制插桩框架为基础,利用类型推断方法识别整型变量的符号类型信息,得到内存相关库函数中为冲突类型的参数的集合,并将其作为潜在的... 针对符号转换错误引起缓冲区溢出的这类缺陷提出了一种面向二进制程序整型符号转换缺陷检测方法。以二进制插桩框架为基础,利用类型推断方法识别整型变量的符号类型信息,得到内存相关库函数中为冲突类型的参数的集合,并将其作为潜在的整型符号转换缺陷候选集。在中间代码层面插入检测代码做运行时检测,最终确定真正的整型符号转换缺陷。原型系统Sconvcheck的实验结果表明:该方法可以有效地检测出程序中的整型符号转换缺陷,并准确地定位错误发生的位置,而且误报率较低。 展开更多

关键词 整数符号转换缺陷 类型推断 冲突类型 二进制程序 中间代码

在线阅读 下载PDF 职称材料

Java字节代码程序的部分计值

5

作者 侯忆铭 孙永强 《上海交通大学学报》 EI CAS CSCD 北大核心 2002年第9期1301-1303,共3页

为了有效地构造一个 Java部分计值器 ,并且形式化地描述计值规则 ,提出了 Java字节代码程序的静态语义 ,在此基础上构造了一个 online的 Java部分计值器 。

关键词 Java字节代码程序 静态语义 Java部分计值器 程序转换 计值规则 语法范畴

在线阅读 下载PDF 职称材料

量子程序设计语言NDQJava处理系统 被引量：10

6

作者 宋方敏 钱士钧 +2 位作者 戴静安 张云洁 徐家福 《软件学报》 EI CSCD 北大核心 2008年第1期9-16,共8页

简要介绍了量子程序设计语言NDQJava的一个处理系统.其特点是:程序中经典部分之处理借助Java系统,着重考虑量子部分之处理.该处理系统遵循编译-解释的途径,由词法分析程序、语法分析与代码转换程序以及量子汇编与解释程序3部分组成.文... 简要介绍了量子程序设计语言NDQJava的一个处理系统.其特点是:程序中经典部分之处理借助Java系统,着重考虑量子部分之处理.该处理系统遵循编译-解释的途径,由词法分析程序、语法分析与代码转换程序以及量子汇编与解释程序3部分组成.文末还给出了示例,该系统已于2006年6月底在经典计算机上模拟实现. 展开更多

关键词 量子程序设计语言 编译 解释 模拟 词法分析程序 语法分析与代码转换程序 量子汇编与解释程序

在线阅读 下载PDF 职称材料

面向对象详细设计及自动转换的研究 被引量：6

7

作者 全炳哲 张家晨 金淳兆 《计算机学报》 EI CSCD 北大核心 1996年第7期506-513,共8页

本文讨论了面向对象详细设计的规约（ｓｐｅｃｉｆｉｃａｔｉｏｎ）方法，并提出了详细设计到代码的自动转换方法．文中①提出了一种详细设计形式规约语言ＪＯＯＤＤＬ，其中引入了受限谓词的概念和称为ｃｏｍｐｕｔｅ语句的控制抽象机... 本文讨论了面向对象详细设计的规约（ｓｐｅｃｉｆｉｃａｔｉｏｎ）方法，并提出了详细设计到代码的自动转换方法．文中①提出了一种详细设计形式规约语言ＪＯＯＤＤＬ，其中引入了受限谓词的概念和称为ｃｏｍｐｕｔｅ语句的控制抽象机制，由此提高描述的抽象级．②提出了相关性及有效序的概念，并基于它们解决了自动转换中目标代码的重用问题，提高了转换效率．③提出了基于知识的一种过程式转换技术． 展开更多

关键词 面向对象 详细设计 程序设计 代码转换

在线阅读 下载PDF 职称材料

计算罗盘仪测绘平面图面积的ExcelVBA算法与程序实现

8

作者 赵浩彦 张洁 +4 位作者 张民侠 姚树人 闫德民 陈戈萍 周涧青 《林业调查规划》 2018年第5期19-24,共6页

为快速完成罗盘仪测绘法的内业工作,提出各角点的坐标系转换、坐标平移,并采用三角形法计算平面图面积的数学方法,从而实现了平面图展绘、平差和面积计算过程。在此基础上,提出了计算平面图面积的ExcelVBA算法并编写了相应的程序代码。... 为快速完成罗盘仪测绘法的内业工作,提出各角点的坐标系转换、坐标平移,并采用三角形法计算平面图面积的数学方法,从而实现了平面图展绘、平差和面积计算过程。在此基础上,提出了计算平面图面积的ExcelVBA算法并编写了相应的程序代码。结果显示,编写的计算平面图面积ExcelVBA程序不仅计算精度较高,且快速高效。 展开更多

关键词 罗盘仪测绘法 三角形法 坐标系转换 平面图面积 展绘 平差 ExcelVBA算法 程序代码

在线阅读 下载PDF 职称材料

采用USB-UART转换方式实现DSP与PC机的USB通信 被引量：2

9

作者 陈永波 洪永强 杨嘉 《厦门大学学报（自然科学版）》 CAS CSCD 北大核心 2005年第3期359-362,共4页

介绍了异步串行通信芯片SC16C550和USB- UART转换芯片FT232BM的功能、结构特点和内部寄存器.在此基础上设计了通信系统的硬件电路,针对一类应用于运动控制的DSP系统的数据传输需求较低且数据流零散的特点,提出了一种采用USB -UART转换... 介绍了异步串行通信芯片SC16C550和USB- UART转换芯片FT232BM的功能、结构特点和内部寄存器.在此基础上设计了通信系统的硬件电路,针对一类应用于运动控制的DSP系统的数据传输需求较低且数据流零散的特点,提出了一种采用USB -UART转换方式实现该类DSP系统与PC机USB通信的方案.这种方案不但满足了USB通信方便快捷的特点,而且继承了传统UART通信占用系统资源少、通信固件开发简单的优势.设计了通信系统程序流程图.选用ADSP- 21992为目标DSP,介绍了其代码开发平台VisualDSP++3. 5及其相关调试工具,并根据流程图简述了DSP内的程序代码组织结构和运行机制.最后说明了PC机上相关驱程的开发步骤和重要函数. 展开更多

关键词 USB通信 转换方式 PC机 DSP系统 通信系统 程序流程图 转换芯片 通信芯片 硬件电路 结构特点 系统资源 UART 数据传输 运动控制 调试工具 开发平台 开发步骤 运行机制 组织结构 程序代码 寄存器 数据流 设计 方案 相关

在线阅读 下载PDF 职称材料

基于双重维度发现代码变更模式的挖掘方法 被引量：1

10

作者 左翔宇 刘婧 何璐璐 《计算机应用研究》 CSCD 北大核心 2017年第8期2252-2257,共6页

在代码演变的历史中,识别出重复的代码变更,对工具开发者、项目开发者、代码研究者都大有裨益。在代码演变的历史信息中,通过抽取细粒度的变更,采用两重维度划分事务,应用频繁项集挖掘算法提取出一些频繁的代码变更模式。以真实项目为... 在代码演变的历史中,识别出重复的代码变更,对工具开发者、项目开发者、代码研究者都大有裨益。在代码演变的历史信息中,通过抽取细粒度的变更,采用两重维度划分事务,应用频繁项集挖掘算法提取出一些频繁的代码变更模式。以真实项目为对象进行了实验分析,结果表明该方法能有效挖掘出项目演变历史中的频繁代码变更,检测出有意义的高层次程序转换。 展开更多

关键词 代码演变历史 代码变更模式 两重维度 频繁项集挖掘 高层次程序转换

在线阅读 下载PDF 职称材料

一个专用NC后置处理程序

11

作者 王家开 《兵工自动化》 1999年第4期39-40,共2页

通过对Euclid软件的CAM流程及90HVAR加工中心NC代码的分析和改进，实现了从Euclid软件到机床代码之间的自动转换．

关键词 NC后置处理程序 机床 代码转换

在线阅读 下载PDF 职称材料

UML中的关联关系及其实现模式 被引量：6

12

作者 王黎明 柴玉梅 《郑州大学学报（理学版）》 CAS 2002年第3期25-28,共4页

针对 UML模型到程序代码的转换问题 ,较全面地讨论了 UML模型中的关联关系 ,提出了 UML模型转换过程中的两种关联实现模式 ,并给出 UML简单模型到 Java代码的转换模式 .最后 ,按显式关联实现模式给出一个转换的例子 .

关键词 UML 关联关系 实现模式 类视图 JAVA 可视化模型语言 程序代码 转换模式 软件开发

在线阅读 下载PDF 职称材料

面向领域驱动设计的逆向建模支持方法 被引量：6

13

作者 钟陈星 李文君 +1 位作者 任贵杰 荣国平 《软件学报》 EI CSCD 北大核心 2022年第7期2562-2580,共19页

领域驱动设计作为一种应对领域复杂性的软件开发方法,近年来得到了广泛应用.作为其中的关键步骤,领域建模仍然面临着领域模型与程序设计之间松散的逻辑关系带来的种种问题.为了应对此问题,基于模型驱动的逆向工程,提出了一种面向领域驱... 领域驱动设计作为一种应对领域复杂性的软件开发方法,近年来得到了广泛应用.作为其中的关键步骤,领域建模仍然面临着领域模型与程序设计之间松散的逻辑关系带来的种种问题.为了应对此问题,基于模型驱动的逆向工程,提出了一种面向领域驱动设计的代码到模型的转换方法,以更好地支持领域建模,并实现了自动化工具原型.该方法能够实时抽象出程序设计对应的领域模型,一方面有助于通过对比程序设计与领域模型的分歧来避免设计偏离模型,另一方面减少了知识消化过程中对代码实现细节的依赖,从而促进了程序设计对建模过程的反馈.案例研究部分将该方法应用于实际软件项目,结果充分表明了其有效性. 展开更多

关键词 领域驱动设计 代码到模型转换 模型驱动的逆向工程 领域模型 程序设计

在线阅读 下载PDF 职称材料