检索结果-维普期刊中文期刊服务平台

Apla→Java程序生成系统中泛型机制实现方法研究被引量：4: 1; 作者徐华珍薛锦云朱小征《江西师范大学学报（自然科学版）》 CAS 北大核心 2017年第1期52-55,92,共5页; 在对泛型程设本质特征深入研究的基础上提出了新型泛型语言机制构想,并在Apla→Java生成系统中具体实现的新方法.该方法比现有的Java、C++、C#等语言中泛型机制的实现方法简单,并通过经典算法实例演示实现效果,大量用例的成功测试表明... 展开更多; 关键词泛型语言机制软件可靠性安全机制 apla→java生成系统; 在线阅读下载PDF 职称材料

基于VRML和Java的三维地形生成方法研究被引量：3: 2; 作者崔汉国严承华《海军工程大学学报》 CAS 2002年第5期34-36,41,共4页; 三维地形是地理信息系统的重要组成部分.文中基于Internet,利用VRML、Java实现了三维地形自动生成系统,并介绍了该系统的工作流程、若干关键技术及三维山脉地形生成实例.; 关键词三维地形生成 VRML java Web仿真地理信息系统; 在线阅读下载PDF 职称材料

电网故障信息系统中可伸缩向量图形系统的设计与实现被引量：4: 3; 作者章坚民盛继光 +2 位作者金乃正周生苗龚新丰《电网技术》 EI CSCD 北大核心 2007年第19期74-78,共5页; 以电网故障信息系统为基础,提出以应用为驱动的可伸缩向量图形(scalable vector graphics,SVG)系统的设计方法,探讨了SVG图形系统、Java脚本(Java script,JS)系统、应用系统、数据库、通信系统之间的相互关系。对基于SVG的电网地理接线... 展开更多; 关键词可伸缩向量图形(SVG) java脚本自动生成电网故障信息系统; 在线阅读下载PDF 职称材料

基于ADL的抽象级嵌入式系统设计方法研究被引量：2: 4; 作者高晓清《计算机工程与设计》 CSCD 北大核心 2010年第14期3229-3232,共4页; 为提高嵌入式系统设计的效率,对一种抽象级嵌入式系统设计方法进行了初步探讨。采用该方法使用基于XML(ex-tensible markup language)的ADL(architecture description language)语言对嵌入式系统进行抽象级的模型描述,并编写与系统对应... 展开更多; 关键词嵌入式系统体系结构描述语言复杂指令集计算机 Eclipse建模框架 java代码生成模板现场可编程门阵列; 在线阅读下载PDF 职称材料

二叉树队列关系问题非递归算法的推导及形式化证明被引量：3: 5; 作者左正康方越 +2 位作者黄志鹏黄箐王昌晶《江西师范大学学报（自然科学版）》 CAS 北大核心 2022年第1期49-58,共10页; 该文对二叉树类问题进行分划,寻找其递推关系,并针对具有队列递推关系的一类问题,给出了其推导过程和形式化证明策略.再结合每个算法后置断言的不同,提出3种开发循环不变式的策略,并构造出该类问题的通用循环不变式模板.同时,发现该类... 展开更多; 关键词二叉树队列递推关系循环不变式 Dijkstra-Gries标准程序证明法 apla到C++程序自动生成系统非线性数据结构; 在线阅读下载PDF 职称材料

自动产生一个图书馆的快速原型: 6; 作者魏一宁何积丰《计算机应用与软件》 CSCD 北大核心 2007年第9期77-80,共4页; AutoPA1.0是一套基于形式化方法的应用程序。它是一个基于需求规范而自动生成软件快速原型的Java代码的软件,有着坚实、可靠的理论基础。给出一个图书馆管理系统的例子,阐述如何用UML建立需求模型,然后用AutoPA1.0生成该需求模型对应的... 展开更多; 关键词软件快速原型图书馆管理系统统一建模语言用况图类图 java代码自动生成; 在线阅读下载PDF 职称材料

题名Apla→Java程序生成系统中泛型机制实现方法研究被引量：4: 1; 作者徐华珍薛锦云朱小征; 机构江西师范大学计算机信息与工程学院江西师范大学国家网络化支撑软件国际科技合作基地; 出处《江西师范大学学报（自然科学版）》 CAS 北大核心 2017年第1期52-55,92,共5页; 基金国家自然科学基金重大国际合作研究项目(61020106009) 国家自然科学基金面上项目(61272075 +1 种基金 61472167) 国家自然科学基金地区科学基金(61462041)资助项目; 文摘在对泛型程设本质特征深入研究的基础上提出了新型泛型语言机制构想,并在Apla→Java生成系统中具体实现的新方法.该方法比现有的Java、C++、C#等语言中泛型机制的实现方法简单,并通过经典算法实例演示实现效果,大量用例的成功测试表明该实现方法的可靠性和新型泛型语言机制的正确性.; 关键词泛型语言机制软件可靠性安全机制 apla→java生成系统; Keywords generic language mechanism software reliability safety mechanism apla→java generation system; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于VRML和Java的三维地形生成方法研究被引量：3: 2; 作者崔汉国严承华; 机构海军工程大学基础部; 出处《海军工程大学学报》 CAS 2002年第5期34-36,41,共4页; 文摘三维地形是地理信息系统的重要组成部分.文中基于Internet,利用VRML、Java实现了三维地形自动生成系统,并介绍了该系统的工作流程、若干关键技术及三维山脉地形生成实例.; 关键词三维地形生成 VRML java Web仿真地理信息系统; Keywords VRML java Web\|based simulation GIS; 分类号 P208 [天文地球—地图制图学与地理信息工程]; 在线阅读下载PDF 职称材料

题名电网故障信息系统中可伸缩向量图形系统的设计与实现被引量：4: 3; 作者章坚民盛继光金乃正周生苗龚新丰; 机构杭州电子科技大学电子信息学院华北电力大学电气与电子工程学院绍兴电力局衢州电力局; 出处《电网技术》 EI CSCD 北大核心 2007年第19期74-78,共5页; 文摘以电网故障信息系统为基础,提出以应用为驱动的可伸缩向量图形(scalable vector graphics,SVG)系统的设计方法,探讨了SVG图形系统、Java脚本(Java script,JS)系统、应用系统、数据库、通信系统之间的相互关系。对基于SVG的电网地理接线图和变电站一次接线图进行功能分析,提出实现构架。采用JS自动生成的方法,降低了应用和维护的难度。; 关键词可伸缩向量图形(SVG) java脚本自动生成电网故障信息系统; Keywords scalable vector graphics （SVG） java script automatic generation programming power grid fault information system; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于ADL的抽象级嵌入式系统设计方法研究被引量：2: 4; 作者高晓清; 机构武汉科技学院计算机科学学院; 出处《计算机工程与设计》 CSCD 北大核心 2010年第14期3229-3232,共4页; 基金湖北省自然基金项目(2008CDB332); 文摘为提高嵌入式系统设计的效率,对一种抽象级嵌入式系统设计方法进行了初步探讨。采用该方法使用基于XML(ex-tensible markup language)的ADL(architecture description language)语言对嵌入式系统进行抽象级的模型描述,并编写与系统对应的模板文件,再利用EMF(eclipse modeling framework)提供的JET(Java emitter templates)技术自动生成该系统的硬件描述语言源代码。最后将代码经过综合和适配后下载到FPGA(field programmable gate array)芯片,实现了嵌入式系统。该方法设计效率高,具有灵活和实用的特点。为说明该方法的可行性和特点,描述了利用该方法设计一个八位CISC模型CPU的完整过程,该设计通过仿真和实验得到了验证。; 关键词嵌入式系统体系结构描述语言复杂指令集计算机 Eclipse建模框架 java代码生成模板现场可编程门阵列; Keywords embedded systems ADL CISC EMF JET FPGA; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名二叉树队列关系问题非递归算法的推导及形式化证明被引量：3: 5; 作者左正康方越黄志鹏黄箐王昌晶; 机构江西师范大学计算机信息工程学院; 出处《江西师范大学学报（自然科学版）》 CAS 北大核心 2022年第1期49-58,共10页; 基金国家自然科学基金(61862033,61902162) 江西省教育厅科技重点课题(GJJ210307) 江西省自然科学基金(20202BAB202015)资助项目.; 文摘该文对二叉树类问题进行分划,寻找其递推关系,并针对具有队列递推关系的一类问题,给出了其推导过程和形式化证明策略.再结合每个算法后置断言的不同,提出3种开发循环不变式的策略,并构造出该类问题的通用循环不变式模板.同时,发现该类问题是基于2个母算法的功能加以实现的,由此派生出3类问题.首先,对这3类派生问题进行推导,得到递推关系表达式和循环不变式,由此导出非递归Apla算法;然后,使用Dijkstra-Gries标准程序证明方法证明这些算法的正确性;最后,通过Apla到C++程序自动生成系统自动生成C++代码,实现了从抽象规约到具体的可执行程序的完整求精过程.; 关键词二叉树队列递推关系循环不变式 Dijkstra-Gries标准程序证明法 apla到C++程序自动生成系统非线性数据结构; Keywords binary tree queue recursion relation loop invariant,Dijkstra-Gries standard proving technique apla to C++program automatic generation system nonlinear data structure; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名自动产生一个图书馆的快速原型: 6; 作者魏一宁何积丰; 机构华东师范大学计算机科学技术系联合国大学国际软件技术研究所; 出处《计算机应用与软件》 CSCD 北大核心 2007年第9期77-80,共4页; 文摘 AutoPA1.0是一套基于形式化方法的应用程序。它是一个基于需求规范而自动生成软件快速原型的Java代码的软件,有着坚实、可靠的理论基础。给出一个图书馆管理系统的例子,阐述如何用UML建立需求模型,然后用AutoPA1.0生成该需求模型对应的软件快速原型的Java代码。采用的需求模型主要包括一个用况模型和一个概念类模型,分别用UML中的用况图和类图描述。生成的软件快速原型将包括用况图中每个用例的执行,用一个系统数据库来描述当前系统状态,该系统数据库保存了当前系统中存在的所有对象以及对象之间的关系。; 关键词软件快速原型图书馆管理系统统一建模语言用况图类图 java代码自动生成; Keywords prototype Library system UML Use-case diagram Class diagram java code generation; 分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	Apla→Java程序生成系统中泛型机制实现方法研究	徐华珍薛锦云朱小征	《江西师范大学学报（自然科学版）》 CAS 北大核心	2017	4	在线阅读下载PDF 职称材料
2	基于VRML和Java的三维地形生成方法研究	崔汉国严承华	《海军工程大学学报》 CAS	2002	3	在线阅读下载PDF 职称材料
3	电网故障信息系统中可伸缩向量图形系统的设计与实现	章坚民盛继光金乃正周生苗龚新丰	《电网技术》 EI CSCD 北大核心	2007	4	在线阅读下载PDF 职称材料
4	基于ADL的抽象级嵌入式系统设计方法研究	高晓清	《计算机工程与设计》 CSCD 北大核心	2010	2	在线阅读下载PDF 职称材料
5	二叉树队列关系问题非递归算法的推导及形式化证明	左正康方越黄志鹏黄箐王昌晶	《江西师范大学学报（自然科学版）》 CAS 北大核心	2022	3	在线阅读下载PDF 职称材料
6	自动产生一个图书馆的快速原型	魏一宁何积丰	《计算机应用与软件》 CSCD 北大核心	2007	0	在线阅读下载PDF 职称材料