期刊文献+
共找到21篇文章
< 1 2 >
每页显示 20 50 100
语言解释器的面向对象构造模式 被引量:6
1
作者 高勇 吴健 《计算机应用》 CSCD 北大核心 2003年第z2期254-257,共4页
把编译器的实现分为若干相对独立的阶段已成软件模式的经典示例 ,但各阶段缺少具体的设计模式 ,需要进一步丰富。文中借鉴JVM和 .NETCLR的原理 ,利用面向对象方法给出了一个工业监控组态语言C2 0 0 0的解释器的设计 ,并以此为基础探讨... 把编译器的实现分为若干相对独立的阶段已成软件模式的经典示例 ,但各阶段缺少具体的设计模式 ,需要进一步丰富。文中借鉴JVM和 .NETCLR的原理 ,利用面向对象方法给出了一个工业监控组态语言C2 0 0 0的解释器的设计 ,并以此为基础探讨了语言解释器的设计模式 ,同时说明了面向对象构造模式在虚拟机解决方案中的可行性和优势。 展开更多
关键词 编译器 虚拟机 语言解释器 设计模式
下载PDF
一种基于受限语言解释器的CAD可视化仿真
2
作者 蒋珂 尹大力 汪国平 《系统仿真学报》 CAS CSCD 2004年第11期2547-2551,共5页
生产流程的过程仿真,可以通过可视化方式发现生产设计中的缺陷。本文设计了一种基于受限语言解释器的可视化仿真系统,用于CAD仿真过程,并具体实现了一个工业流程的可视化仿真。根据可复用的微指令集和受限语言的特点,我们依照不同逻辑... 生产流程的过程仿真,可以通过可视化方式发现生产设计中的缺陷。本文设计了一种基于受限语言解释器的可视化仿真系统,用于CAD仿真过程,并具体实现了一个工业流程的可视化仿真。根据可复用的微指令集和受限语言的特点,我们依照不同逻辑控制条件设计的解释器系统结构简单,易于实现,使系统具有一定的通用性和灵活性。通过实例表明,本文设计的基于受限语言解释器的系统可以满足具有一定复杂度的生产流程的可视化仿真。 展开更多
关键词 受限语言解释器 CAD 可视化仿真 微指令集
下载PDF
基于改进PCFG的语言解释器模糊测试
3
作者 刘志昊 孙晓山 张阳 《计算机工程》 CAS CSCD 北大核心 2019年第8期22-24,30,共4页
为在语言解释器的模糊测试中构造符合语言规范的样本,并尽可能地得出异常测试结果以便发现漏洞,采用改进的概率上下文无关语法模型控制样本的变异过程,对变异结果中的未定义变量进行修正以提高符合语言规范的样本比率。在此基础上,对语... 为在语言解释器的模糊测试中构造符合语言规范的样本,并尽可能地得出异常测试结果以便发现漏洞,采用改进的概率上下文无关语法模型控制样本的变异过程,对变异结果中的未定义变量进行修正以提高符合语言规范的样本比率。在此基础上,对语言解释器进行模糊测试,结果表明,该测试所生成样本中符合语法、语义规范的比率高达96 %。 展开更多
关键词 模糊测试 马尔科夫模型 概率上下文无关语法 机器学习 语言解释器
下载PDF
Tcl/Tk:一个新的解释器语言及X11图形用户界面建筑工具箱综述
4
作者 华庆一 《微型计算机》 北大核心 1996年第4期67-70,共4页
关键词 解释器语言 图形用户界面 TCL语言 Tk语言
下载PDF
面向嵌入式软件测试的脚本语言CATScript
5
作者 徐思刚 桑楠 《计算机工程》 CAS CSCD 北大核心 2005年第11期82-84,共3页
提出了一种基于仿真构件、面向嵌入式软件测试的脚本语言CATScript,介绍了脚本解释器体系结构,并将它们应用到计算机辅助测试系统中,取得了显著的效果,达到了预期的目标。
关键词 嵌入式软件测试 仿真构件 脚本语言 脚本语言解释器
下载PDF
安全协议验证模型的高效自动生成 被引量:4
6
作者 吴昌 肖美华 +2 位作者 罗敏 刘俏威 熊昊 《计算机工程与应用》 CSCD 北大核心 2010年第2期79-82,共4页
为了能高效地利用模型检测技术对安全协议进行分析与验证,提高工作效率,提出了一种适用范围广,自动化程度及验证效率均较高的建模算法。开发了一个基于该建模算法"网络安全协议验证模型生成系统",该系统可高效地对安全协议进... 为了能高效地利用模型检测技术对安全协议进行分析与验证,提高工作效率,提出了一种适用范围广,自动化程度及验证效率均较高的建模算法。开发了一个基于该建模算法"网络安全协议验证模型生成系统",该系统可高效地对安全协议进行分析与验证,系统在对攻击者建模时采用偏序规约、语法重定序及类型检查等优化策略以提高验证效率,有效地缓解了模型检测过程中的状态爆炸问题。 展开更多
关键词 安全协议 模型检测 简单进程元语言解释器 状态爆炸
下载PDF
智能卡操作系统自动测试中的脚本技术 被引量:5
7
作者 周章慧 王同洋 +1 位作者 吴俊军 张新访 《计算机工程与设计》 CSCD 北大核心 2008年第8期2068-2071,共4页
介绍了智能卡的特点,用巴科斯范式(BNF)给出了SCML脚本语言的主要语法定义。重点介绍了SCML解释执行的相关技术及如何对SCML语言进行扩展以满足不断变化的需求。把SCML应用到智能卡大师测试系统中可以实现测试自动化,实际表明该脚本技... 介绍了智能卡的特点,用巴科斯范式(BNF)给出了SCML脚本语言的主要语法定义。重点介绍了SCML解释执行的相关技术及如何对SCML语言进行扩展以满足不断变化的需求。把SCML应用到智能卡大师测试系统中可以实现测试自动化,实际表明该脚本技术可以适应各类智能卡测试的要求,并得到广泛应用。 展开更多
关键词 智能卡芯片操作系统 测试自动化 脚本语言 语言解释器 智能卡大师
下载PDF
基于SPIN的网络认证协议高效模型检测 被引量:4
8
作者 缪力 谭志华 张大方 《计算机工程与应用》 CSCD 2012年第21期62-67,共6页
为了有效地提高网络认证协议建模和验证的效率,基于模型检测方法提出一个通用的网络认证协议模型描述方法,结合模型检测工具SPIN可以方便地进行性质验证。通过一些模型的简化策略,不仅可以对不同协议进行高效建模,而且减小了模型的状态... 为了有效地提高网络认证协议建模和验证的效率,基于模型检测方法提出一个通用的网络认证协议模型描述方法,结合模型检测工具SPIN可以方便地进行性质验证。通过一些模型的简化策略,不仅可以对不同协议进行高效建模,而且减小了模型的状态空间。与现有的文献相比,自动化程度较高,模型验证的效率较好。基于该方法,对PKM认证协议进行了模型检测,实验证明该模型分析验证方法的有效性,可用于其他网络认证协议的分析验证。 展开更多
关键词 网络认证协议 模型检测 简单进程元语言解释器(SPIN) 模型简化策略 密钥管理(PKM)协议
下载PDF
RS274_NGC在RT_Thread操作系统中的改造与应用 被引量:1
9
作者 尹贺 郝志刚 +1 位作者 董鑫正 文全刚 《计算机与网络》 2016年第13期64-68,共5页
项目使用RT-Thread嵌入式操作系统,以"ARM+FPGA"架构集成电路为嵌入式控制系统硬件开发平台,对RS274_NGC数控语言解释器的2个版本进行整合和改造,使G代码的预处理减少了编译时间,保证了复杂的机械运动程序的安全准确运行。使... 项目使用RT-Thread嵌入式操作系统,以"ARM+FPGA"架构集成电路为嵌入式控制系统硬件开发平台,对RS274_NGC数控语言解释器的2个版本进行整合和改造,使G代码的预处理减少了编译时间,保证了复杂的机械运动程序的安全准确运行。使用该应用的数字运动控制卡,可以实现对机床上的伺服电机和气缸协调和精确的运动控制。 展开更多
关键词 数控语言解释器 嵌入式控制系统 嵌入式操作系统
下载PDF
基于软件芯片的快速原型制造系统软件设计方法
10
作者 史玉升 黄树槐 周祖德 《计算机应用与软件》 CSCD 北大核心 2001年第10期7-11,49,共6页
本文把软件芯片的概念引入快速原型制造(RPM)系统的软件设计之中,根据RPM系统软件结构的特点,对其进行了软件芯片划分,并论述了每个软件芯片的功能。以数控语言解释器软件芯片为例,详细地介绍了RPM系统软件芯片的研制过程。研究了如何... 本文把软件芯片的概念引入快速原型制造(RPM)系统的软件设计之中,根据RPM系统软件结构的特点,对其进行了软件芯片划分,并论述了每个软件芯片的功能。以数控语言解释器软件芯片为例,详细地介绍了RPM系统软件芯片的研制过程。研究了如何用软件芯片构造RPM系统软件。 展开更多
关键词 软件芯片 数控语言解释器 快速原型制造系统 软件设计
下载PDF
UML模型检测方法的研究 被引量:6
11
作者 张频 罗贵明 《计算机应用》 CSCD 北大核心 2007年第10期2493-2497,2500,共6页
统一建模语言(UML)是设计和分析软件系统最常用的方法,如何保证UML模型满足某些特性是一个非常重要的问题,而模型检测是一种能够有效提高系统可靠性的自动化技术。研究了使用简单进程元语言解释器(SPIN)对UML模型进行检测的方法。首先对... 统一建模语言(UML)是设计和分析软件系统最常用的方法,如何保证UML模型满足某些特性是一个非常重要的问题,而模型检测是一种能够有效提高系统可靠性的自动化技术。研究了使用简单进程元语言解释器(SPIN)对UML模型进行检测的方法。首先对UML模型进行形式化描述,使用层次自动机来描述状态图,然后根据层次自动机的操作语义将状态图和类图的部分信息转化为SPIN的输入语言PROMELA,使用SPIN来验证模型是否满足给定的线性时序逻辑所描述的系统约束,通过LTL公式描述顺序图的方式来验证与状态图之间的一致性问题。项目组基于此方法还开发了一套模型检测工具UMLChecker。 展开更多
关键词 模型检测 统一建模语言 层次自动机 简单进程元语言解释器 PROMELA
下载PDF
ESpin:基于SPIN的Eclipse模型检测环境 被引量:2
12
作者 吕威 黄志球 +2 位作者 陈哲 阚双龙 魏欧 《计算机工程与应用》 CSCD 2013年第7期45-51,共7页
信息化社会中人们对软件可信性的要求越来越高,传统的测试技术已经不能充分保证系统的安全性,基于模型的形式化验证技术成为解决此类问题的重要途径。SPIN作为典型的模型检测工具,在学术界和工业界都得到了广泛应用。在Eclipse平台上设... 信息化社会中人们对软件可信性的要求越来越高,传统的测试技术已经不能充分保证系统的安全性,基于模型的形式化验证技术成为解决此类问题的重要途径。SPIN作为典型的模型检测工具,在学术界和工业界都得到了广泛应用。在Eclipse平台上设计并实现了一个基于SPIN的易扩展的模型检测环境ESpin,通过一个优化了的代码分区算法和可迅速支持SPIN升级的文法分析器,构造了一个高效、易扩充的Promela编辑器。编辑器除了支持Promela的全部语法规则外,还提供了包括实时语法反馈、关键字高亮、大纲视图、代码折叠、代码提示、代码补全在内的多种功能,提高了复杂模型的建模效率。ESpin还为用户提供了多种运行模式和特有的向导、配置界面,简化了SPIN的操作过程。 展开更多
关键词 软件验证 模型检测 简单进程元语言解释器(SPIN) Promela模型
下载PDF
智能CAD系统的分析与设计 被引量:4
13
作者 蔡良朋 席平 毛雨辉 《工程图学学报》 CSCD 北大核心 2008年第3期1-5,共5页
针对智能CAD的实用化,分析了传统CAD方法面临的重复设计问题以及智能CAD系统的实现难点。提出了具有复合类型参数、支持有序嵌套规则并同时具备过程式描述能力的解释型知识语言设计方法。为配合知识驱动和与CAD平台的集成,提出了动作执... 针对智能CAD的实用化,分析了传统CAD方法面临的重复设计问题以及智能CAD系统的实现难点。提出了具有复合类型参数、支持有序嵌套规则并同时具备过程式描述能力的解释型知识语言设计方法。为配合知识驱动和与CAD平台的集成,提出了动作执行器,并把系统核心转移到知识语言解释器中。分析了人工知识获取和机器学习两种方式并分别提出了可行的实现思路。在此基础上设计了一个完整的智能CAD系统,在与某研究所的合作项目中得到应用并有良好效果。 展开更多
关键词 计算机应用 智能计算机辅助设计 解释型知识表示 知识语言解释器 知识获取
下载PDF
智能卡操作系统自动化测试方法的研究与实现 被引量:4
14
作者 严婷婷 张志鸿 《计算机应用与软件》 CSCD 北大核心 2013年第5期87-89,96,共4页
针对现有智能卡操作系统COS(Chip Operating System)测试难、效率低,以及现有测试工具通用性差、测试脚本复用程度低的问题,结合智能卡软件测试的特点,提出一种针对智能卡操作系统测试的通用测试脚本语言UCSL;并对该语言的语法结构及其... 针对现有智能卡操作系统COS(Chip Operating System)测试难、效率低,以及现有测试工具通用性差、测试脚本复用程度低的问题,结合智能卡软件测试的特点,提出一种针对智能卡操作系统测试的通用测试脚本语言UCSL;并对该语言的语法结构及其相应解释器的设计进行研究和实现。应用实践表明:UCSL脚本语言具有语法简单、结构清晰、易于维护,便于扩展等优点,能够用于多种COS的测试。 展开更多
关键词 智能卡操作系统(COS) 自动化测试 UCSL脚本语言 语言解释器
下载PDF
走进Apache世界进阶篇
15
作者 林慧琛 《在线技术》 2004年第9期81-83,共3页
刊上期介绍了如何在Linux下通过Apache架设一个Web网站。但更高级的设置,比如何让Apache支持CGI、PHP(如果你要安装各种论坛,则这些是必须的),商业用户甚至需让Apache支持JSP。这就需要更进一步的设置。
关键词 LINUX 操作系统 阿帕齐软件 网络管理 运行环境 语言解释器
下载PDF
新书上架
16
《程序员》 2004年第11期133-133,共1页
CSDN 每月精选上市的新书,由编辑和业界专家亲自点评。诚邀读者推荐新书!! Windows Forms 程序设计作者:[美]Chris Sells译者:荣耀蒋贤哲出版社:人民邮电出版社CSDN 编辑评论:不要以为这是一本仅仅介绍 Windows Form 编程的书,ChrisSell... CSDN 每月精选上市的新书,由编辑和业界专家亲自点评。诚邀读者推荐新书!! Windows Forms 程序设计作者:[美]Chris Sells译者:荣耀蒋贤哲出版社:人民邮电出版社CSDN 编辑评论:不要以为这是一本仅仅介绍 Windows Form 编程的书,ChrisSell 作为在 Windows 开发社区中备受尊敬的人物,鬓发斑白的时候依旧抵制不了.NET 托管开发环境的诱惑,而本书正是在这样的背景下应运而生的。如果你的目标用户是 Windows 用户,那么此书将是你最好的选择,如果你是 Web 开发人员,那么其中的很多内容依旧值得参考,特别是设计期集成、资源、数据集与设计器支持等等。通过本书,Chris 展开更多
关键词 《Windows Forms程序设计》 《Delphi源代码分析》 《Java编程艺术》 书评 语言解释器 Email客户端
下载PDF
名师著作,尽现Java魅力——评《Java编程艺术》
17
《电脑编程技巧与维护》 2004年第12期90-90,共1页
《Java编程艺术》,这本各大书城和网站都在热销的名师佳作,相信已经吸引了很多程序员的注意。它能过将Java应用于某些有趣、实用的计算问题中,提示了Java程序员如何创建高质量软件的奥秘,全面展示了Java语言的强大功能、敏捷性和多... 《Java编程艺术》,这本各大书城和网站都在热销的名师佳作,相信已经吸引了很多程序员的注意。它能过将Java应用于某些有趣、实用的计算问题中,提示了Java程序员如何创建高质量软件的奥秘,全面展示了Java语言的强大功能、敏捷性和多样性。书中各章内容分别涉及到Java精髓、递归下降的表达式解析器、用Java实现语言解释器、用Java创建下载管理器、用Java实现E_mail客户端和Internet搜索、用Java修饰HTML、 展开更多
关键词 《Java编程艺术》 书评 Internet搜索 语言解释器
下载PDF
通过IE管理Linux的利器Webmin
18
作者 林慧琛 《在线技术》 2005年第1期82-83,共2页
从各地政府都投入巨资扶持Linux产业不难看出,目前我国政府正大力支持Linux的发展普及,许多政府机构和企事业单位已经将Linux作为服务器首选的操作系统,原本基于Windows平台的服务器也纷纷转到Linux平台下。但是对于那些刚刚接触Linu... 从各地政府都投入巨资扶持Linux产业不难看出,目前我国政府正大力支持Linux的发展普及,许多政府机构和企事业单位已经将Linux作为服务器首选的操作系统,原本基于Windows平台的服务器也纷纷转到Linux平台下。但是对于那些刚刚接触Linux不久的新手,别是那些习惯于使用Windows图形界面的管理员而言.Linux下各种复杂的命令和配置文件他们望而却步。不过.有了功能强大.使用方便的图形管理工具Webmin后,我们不必使复杂的命令和手工修改复杂的配置文件,就可以非常方便快捷地实现Linux服务器的管理和置。Webmin是Linux和Unix下基于Web的集系统管理和网络管理于一身的强大图形化管理具,管理员使用浏览器通过Webmin友好的用户界面即可轻松管理本地或远程的服务器.从将管理员从复杂的字符配置界面中解放出来。下面笔者以Red Hat AS 3 Update 3操作系为例.介绍使用Webmin管理和配置Linux服务器的方法。 展开更多
关键词 WEBMIN 网络管理 LINUX操作系统 语言解释器
下载PDF
基于“物理路径泄露”漏洞谈网络安全问题防范
19
作者 魏玉冰 孙海波 《广播电视信息》 2020年第12期61-62,共2页
本文就工作中发现的一起“物理路径泄露”漏洞,浅谈如何做好网站的安全漏洞防范工作,防止攻击者利用该漏洞或其他网络安全漏洞与渗透工具结合对服务器入侵提权,避免造成损失。
关键词 物理路径 URL地址 脚本语言解释器 网络安全漏洞
下载PDF
OFF LINE INTERPRETER OF AGENT ORIENTED PROGRAMMING LANGUAGE AOPLID
20
作者 李斌 张东摩 朱梧槚 《Transactions of Nanjing University of Aeronautics and Astronautics》 EI 1999年第1期8-13,共6页
AOPLID is a novel agent oriented programming language whose theoretical framework is the existed situation calculus theory and agent model based on intention driven manner. An AOPLID program is represented in set ma... AOPLID is a novel agent oriented programming language whose theoretical framework is the existed situation calculus theory and agent model based on intention driven manner. An AOPLID program is represented in set manner. In this paper, an off line AOPLID interpreter in Prolog is implemented, based on the off line AOPLID program semantics. At the same time, the set of rules is given which transforms an AOPLID program represented by sets into Prolog clauses so that it can be interpreted by the off line interpreter. Finally, the sound codes of the off line interpreter are listed. 展开更多
关键词 programming language INTERPRETER situation calculus
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部