期刊文献+
共找到24篇文章
< 1 2 >
每页显示 20 50 100
Monad表示的OO程序自动生成 被引量:3
1
作者 袁琦 金成植 《计算机研究与发展》 EI CSCD 北大核心 2000年第6期668-671,共4页
Monad的研究,目前集中在函数语言领域,且主要研究本身的内部形式和性质等问题,而对Monad与实际程序设计语言之间的关系,以及如何用Monad具体构造程序,如何将Monad应用于软件形式化等方面研究得甚少.探讨了Monad技术与OO技术之间... Monad的研究,目前集中在函数语言领域,且主要研究本身的内部形式和性质等问题,而对Monad与实际程序设计语言之间的关系,以及如何用Monad具体构造程序,如何将Monad应用于软件形式化等方面研究得甚少.探讨了Monad技术与OO技术之间的关系,主要研究Monad与Class之间的关系,并给出从Monad到Class(C++)的一种转换方法. 展开更多
关键词 MONAD CLASS 面向对象 程序自动生成
在线阅读 下载PDF
一个测试程序自动生成器的设计与实现 被引量:1
2
作者 胡正国 朱志强 《软件学报》 EI CSCD 北大核心 1993年第5期58-62,共5页
本文介绍了一个用于编译程序测试的程序自动生成器,该生成器以编译程序对象语言的前后文无关文法作为输入,根据该语言的具体特点,对语言的数据对象采用了一种表结构的描述方式,并通过对表的操作,有效的解决了语言的前后文相关问题,该生... 本文介绍了一个用于编译程序测试的程序自动生成器,该生成器以编译程序对象语言的前后文无关文法作为输入,根据该语言的具体特点,对语言的数据对象采用了一种表结构的描述方式,并通过对表的操作,有效的解决了语言的前后文相关问题,该生成器不但可按语言文法的描述自动生成覆盖该语言各种语法现象的程序,而且还可按用户要求生成具有某种语法现象的程序,另外,该生成器在生成策略、生成算法及推导机制等方面也有自己显著的特色。 展开更多
关键词 编译程序 程序自动生成 设计 测试
在线阅读 下载PDF
关于实时设备驱动程序自动生成的研究
3
作者 范植华 邢国光 《软件学报》 EI CSCD 北大核心 1996年第1期25-30,共6页
软件系统的自动生成是90年代软件工程的主流.由于专用实时设备的高效管理与灵活加接是任何计算机专用实时系统不可或缺的基本功能,加之它们的类别和型号、数量和质量的与日俱增,如何克服专用外设驱动模块的易变性成为任何专用实时... 软件系统的自动生成是90年代软件工程的主流.由于专用实时设备的高效管理与灵活加接是任何计算机专用实时系统不可或缺的基本功能,加之它们的类别和型号、数量和质量的与日俱增,如何克服专用外设驱动模块的易变性成为任何专用实时系统自动生成的关键.本文介绍作者在专用实时设备驱动程序自动化研究中的初步成果,重点是他们自行研制的专用实时设备驱动程序半自动生成器RTDG(realtimedevicegenerator)的内部构造与实现技术,以及一个经过实践考验的应用实例.此项实时系统自动生成研究过程中的阶段性成果已通过部委级鉴定,并获部委级三等奖. 展开更多
关键词 设备驱动程序 程序自动生成 软件工程
在线阅读 下载PDF
对语法分析程序自动生成器YACC的改进
4
作者 高玉兰 刘磊 金成植 《吉林大学自然科学学报》 CAS CSCD 1992年第2期36-41,共6页
本文介绍了对YACC的改进方法,解决了由于合并同心项而产生的归约/归约冲突问题。给出了改进后的确定自动机DFA的算法。改进的YACC巳在IBM PC/AST机上运行。
关键词 YACC 语法分析程序 程序自动生成
在线阅读 下载PDF
问卷式调查统计程序自动生成的设计
5
作者 胡正红 谢荣传 《安徽大学学报(自然科学版)》 CAS 1995年第S1期66-68,共3页
问卷式调查统计程序自动生成的设计胡正红,谢荣传(安徽大学计算机科学与工程系合肥230039)问卷式调查广泛地运用于民意测验、社会调查、综合测评、标准化测验等,实际应用中,调查性质的多样性对计算机的数据录人、统计处理以... 问卷式调查统计程序自动生成的设计胡正红,谢荣传(安徽大学计算机科学与工程系合肥230039)问卷式调查广泛地运用于民意测验、社会调查、综合测评、标准化测验等,实际应用中,调查性质的多样性对计算机的数据录人、统计处理以及结果输出带来困难,需要根据不同性... 展开更多
关键词 程序自动生成技术 数据字典 数据模型 调查统计 问卷 数据库文件 统计程序 系统结构 面向用户 数据库模式
在线阅读 下载PDF
多机实时通信系统及其程序自动生成器的设计
6
作者 杨根兴 耿刚勇 《火力与指挥控制》 CSCD 1997年第1期44-50,共7页
介绍了多机实时通信系统的设计方法,并在此基础上介绍了多机实时通信系统自动生成器的设计原理和方法。
关键词 多机系统 实时通信 程序自动生成 军事通信
在线阅读 下载PDF
基于自适应静态数据布局策略的深度学习张量程序自动生成框架
7
作者 樊哲 南子渊 +2 位作者 郝一帆 杜子东 陈云霁 《高技术通讯》 CAS 2023年第11期1160-1171,共12页
如何确定静态数据布局是深度学习张量程序自动生成框架面临的重大挑战。Ansor作为目前应用最广泛、最具前景的此类框架,其根据预先指定的单一静态数据布局策略,训练性能预测模型,依据该模型搜索最佳性能的张量程序。但其存在单一策略非... 如何确定静态数据布局是深度学习张量程序自动生成框架面临的重大挑战。Ansor作为目前应用最广泛、最具前景的此类框架,其根据预先指定的单一静态数据布局策略,训练性能预测模型,依据该模型搜索最佳性能的张量程序。但其存在单一策略非最优和性能预测模型不准确的问题。为此,本文提出基于自适应静态数据布局(AL)策略的深度学习张量程序自动生成框架AL-Ansor。AL-Ansor在搜索过程中自适应地选取多种静态数据布局策略,共同训练性能预测模型,从而搜索得到性能更高的张量程序。本文以32核Intel Xeon CPU为目标硬件平台,在多个卷积层上进行实验,结果表明,在同样的搜索次数下,相较于基于3种指定静态数据布局策略的Ansor,AL-Ansor生成的张量程序分别有13.81%、12.41%和16.59%的平均性能提升。 展开更多
关键词 深度学习 张量程序自动生成框架 静态数据布局策略 自适应策略 性能预测模型
在线阅读 下载PDF
整体化软件工程与程序自动生成系统
8
作者 宫一兴 陶葆兰 《计算机工程与应用》 CSCD 北大核心 1992年第3期58-64,共7页
软件工程的基本目的是改进软件质量、提高软件生产率。整体化软件工程是开发软件系统的一个新范式,注重用户接口的开发,通过改进可使用性提高软件整体质量。程序自动生成可以数量级地提高软件生产率。本文基于“会话独立”思想,阐述了... 软件工程的基本目的是改进软件质量、提高软件生产率。整体化软件工程是开发软件系统的一个新范式,注重用户接口的开发,通过改进可使用性提高软件整体质量。程序自动生成可以数量级地提高软件生产率。本文基于“会话独立”思想,阐述了整体化软件工程的概念,过程与分离软件的方法;给出了一个按照这种方法程序自动生成系统的组成与实现思想。新颖的软件开发方法与程序自动生成技术相结合。 展开更多
关键词 软件工程 程序自动生成
在线阅读 下载PDF
流体网络仿真程序的自动生成 被引量:3
9
作者 晏水平 张燕平 张东伟 《计算机应用》 CSCD 北大核心 2001年第5期82-83,共2页
根据流体网络仿真程序自动生成软件的设计要求 ,确立了该软件的主要数据结构 ,给出了相应的主要程序设计流程。
关键词 软件设计 程序自动生成 流体网络仿真 数据结构
在线阅读 下载PDF
Oracle数据库系统中PL/SQL程序的自动生成 被引量:1
10
作者 管有庆 张顺颐 《南京邮电学院学报》 1997年第4期117-121,共5页
介绍了Oracle数据库系统中含SELECT、INSERT、UPDATE和DELETE语句的PL/SQL程序自动生成工具的设计与实现。分析了SQL中SELECT、INSERT、UPDATE和DELETE语句的语法结构... 介绍了Oracle数据库系统中含SELECT、INSERT、UPDATE和DELETE语句的PL/SQL程序自动生成工具的设计与实现。分析了SQL中SELECT、INSERT、UPDATE和DELETE语句的语法结构,介绍了Oracle数据库中系统表USER-TAB-COLUMNS的内容和结构,最后介绍了采用三遍扫描的方法实现PL/SQL程序自动生成的过程。 展开更多
关键词 数据库系统 PL/SQL 程序自动生成
在线阅读 下载PDF
FMS仿真程序的自动生成
11
作者 吕韶义 刘复岩 《计算机应用》 CSCD 1997年第3期63-65,共3页
本文首先分析了传统仿真系统的局限性,以及智能化仿真系统应具有的主要功能,然后介绍作者开发的一个智能化FMS仿真系统,其中成功地利用各种知识。
关键词 模型 传统仿真 智能化仿真 程序自动生成
在线阅读 下载PDF
自动程序生成工具QUICK
12
作者 胡宏强 祝锡永 《杭州大学学报(自然科学版)》 CSCD 1993年第3期317-322,共6页
本文介绍的QUICK工具以构造通用事务处理系统的样板程序模式为基础,通过对软件规格说明信息作非过程性描述,实现了微机管理信息系统中许多应用软件FoxBASE源程序的自动生成.该工具在微机上实现,由FoxBASE和PASCAL语言混合编写而成.
关键词 样板程序 自动程序生成 软件工具
在线阅读 下载PDF
基于约束求解的微处理器功能验证程序生成
13
作者 马竹青 章建雄 王玉艳 《计算机工程》 CAS CSCD 北大核心 2011年第18期266-268,共3页
针对伪随机方法生成微处理器功能验证程序缺乏完备性、灵活性的问题,构建一种用于生成验证程序的C++约束函数库。以微处理器指令系统为对象,以约束满足问题的数学模型为理论依据,结合用户验证需求,利用约束函数库生成功能验证程序。验... 针对伪随机方法生成微处理器功能验证程序缺乏完备性、灵活性的问题,构建一种用于生成验证程序的C++约束函数库。以微处理器指令系统为对象,以约束满足问题的数学模型为理论依据,结合用户验证需求,利用约束函数库生成功能验证程序。验证结果表明,该方法开发验证程序简单、高效,加快了验证收敛速度。 展开更多
关键词 功能验证 验证程序自动生成 约束满足问题 约束函数库 CSP模型
在线阅读 下载PDF
基于XML的构件自动组装系统的设计与实现 被引量:6
14
作者 谢晓芹 李涓子 +1 位作者 王沛 王克宏 《计算机工程与应用》 CSCD 北大核心 2005年第4期4-8,共5页
该文利用基于XML和Java的程序自动生成技术给出了一个构件组装系统的设计,提出了SAML应用模板语言的定义。连接器利用了消息总线的思想,通过共享消息资源的方式连接构件,从而将构件之间的连接关系解耦。在自动生成应用系统时对SAML模板... 该文利用基于XML和Java的程序自动生成技术给出了一个构件组装系统的设计,提出了SAML应用模板语言的定义。连接器利用了消息总线的思想,通过共享消息资源的方式连接构件,从而将构件之间的连接关系解耦。在自动生成应用系统时对SAML模板文件进行分析、转换,自动生成消息分发器和最终可执行应用程序,并结合B2C电子购物领域给出一个原型实现。该设计方法为实现自动的构件组装技术提出了一种解决方案。 展开更多
关键词 构件 构件组装 XML 程序自动生成 体系结构描述语言
在线阅读 下载PDF
面向数据库结构的管理系统程序设计 被引量:1
15
作者 李明新 《小型微型计算机系统》 CSCD 北大核心 1996年第11期42-45,共4页
本文介绍了应用数据库技术(面向数据库结构)开发数据库管理系统的一种方法。使用这种方法开发数据库管理系统、再生新的应用管理系统时,操作人员不必为实现其基本功能而编写程序,即可实现多管理系统的共存。
关键词 数据库结构 程序自动生成 管理系统 程序设计
在线阅读 下载PDF
基于知识的程序设计
16
作者 鲁汉榕 《计算机应用》 1986年第4期9-12,共4页
大程序开发的困难是众所周知的。为了克服软件危机,人们设计新的编程语言,使用合适的开发支持环境和工具,使软件开发工程化,以及试图程序编制自动化等等。基于形式化技术(如公理化方法或形式逻辑方法)的自动程序设计(或程序自动生成)还... 大程序开发的困难是众所周知的。为了克服软件危机,人们设计新的编程语言,使用合适的开发支持环境和工具,使软件开发工程化,以及试图程序编制自动化等等。基于形式化技术(如公理化方法或形式逻辑方法)的自动程序设计(或程序自动生成)还远未达到实用水平。近年来,(知识库)专家系统的概念和技术得到广泛的研究和应用。基干知识(库)的程序设计包括编程专家系统辅助程序设计和基于知识的程序自动生成两个方面。本文初步介绍有关的思想。 展开更多
关键词 基于知识 程序自动生成 专家 应用域 形式化技术 自动编程 编程方法 编程语言 构造程序 程序开发
在线阅读 下载PDF
重复写与重新写:文学史写作的数字化可能与科幻式想象
17
作者 陈舒劼 《扬子江文学评论》 CSSCI 北大核心 2024年第6期35-42,共8页
必须承认,从创作、研究到呈现、传播,现今的科技深度嵌入了文学活动的各个环节。科技与文学的融合不断催生出新的突破,借助某种软件程序写作和在移动载体上阅读已是再普通不过的日常细节,人工智能模型向创作领域进军成为新进的流行趋势... 必须承认,从创作、研究到呈现、传播,现今的科技深度嵌入了文学活动的各个环节。科技与文学的融合不断催生出新的突破,借助某种软件程序写作和在移动载体上阅读已是再普通不过的日常细节,人工智能模型向创作领域进军成为新进的流行趋势。2024年3月,华东师范大学的团队宣称成功“制作”“国内首部”以“人机融合方式写作”的中文智能长篇小说《天命使徒》,但“人机融合”的写作方式至迟在2018年就已经出现--长期从事搜索引擎和知识图谱相关软件研发工作的王咏刚和作家陈楸帆在科幻小说《恐惧机器》中使用AI程序自动生成了“分裂者”的对白。 展开更多
关键词 知识图谱 科幻小说 软件研发 移动载体 创作领域 搜索引擎 程序自动生成 软件程序
在线阅读 下载PDF
面向类Agent的程序设计
18
作者 梁朝祖 费敏锐 《上海交通大学学报》 EI CAS CSCD 北大核心 2002年第z1期18-20,共3页
概述了软件工程的程序设计方法的发展过程,描述了面向Agent编程的特点,并分析了面向Agent编程发展缓慢的原因.着重阐述了面向类Agent进行程序设计的思想,解释了在实际工程中所创建的类Agent的组成部分,最后指出了面向类Agent编程时会遇... 概述了软件工程的程序设计方法的发展过程,描述了面向Agent编程的特点,并分析了面向Agent编程发展缓慢的原因.着重阐述了面向类Agent进行程序设计的思想,解释了在实际工程中所创建的类Agent的组成部分,最后指出了面向类Agent编程时会遇到的一些关键技术问题. 展开更多
关键词 AGENT 类Agent 面向Agent编程 面向类Agent编程 自动生成程序源码
在线阅读 下载PDF
统计分析软件SPSS在化探数据处理中的应用 被引量:15
19
作者 蔡朝阳 韩秀梅 +1 位作者 吴国学 孙德有 《矿床地质》 CAS CSCD 北大核心 2010年第S1期635-636,共2页
社会科学统计软件包(SPSS-Statistical Package for the Social Science)是公认的最优秀的统计分析软件包之一。该软件以易学易用的操作界面、强大而成熟的资料处理和统计分析功能、人性化的图形操作界面以及美观的结果输出等优点,被广... 社会科学统计软件包(SPSS-Statistical Package for the Social Science)是公认的最优秀的统计分析软件包之一。该软件以易学易用的操作界面、强大而成熟的资料处理和统计分析功能、人性化的图形操作界面以及美观的结果输出等优点,被广泛应用于自然科学、社会学、经济学、教育学、心理学、医学等各个领域(黄燕波,2007)。近年来,运用SPSS对东北地区多个勘查区的水系沉积物测量、 展开更多
关键词 化探数据处理 统计分析软件 土壤地球化学测量 操作界面 异常下限 程序自动生成 东北地区 统计软件包 元素含量 水系沉积物测量
在线阅读 下载PDF
软件开发过程中的形式化方法 被引量:7
20
作者 朱冰 梅宏 杨芙清 《计算机科学》 CSCD 北大核心 1995年第1期31-36,共6页
本文简要介绍了软件开发过程中使用的形式化方法、典型的规范说明语言以及有关的实践活动。
关键词 软件开发 规范说明语言 形式化法 程序自动生成
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部