面向不可移动文物自然灾害风险图生成的领域特定语言

针对当前不可移动文物自然灾害风险图生成领域需求快速增长、经常变更,而现有程序及工具无法满足实际使用需要的问题,提出了一种构建语义模型的方法,在语义模型的基础之上,为不可移动文物领域专家设计了一种贴近自然语言的领域特定语言(DSL)。首先,通过对不可移动文物本体各项指标数据、风险图生成方法和流程进行深入研究,提取出业务模型。之后,通过分析业务模型,抽象出风险值计算规则的元计算单元,构建语义模型。在此基础之上,设计出一种可表述语义模型中所有语义的领域特定语言。该语言脚本可由领域专家自行编写,能快速高效地生成风险图,且易于扩展,满足需求经常变更的要求。与目前国内外主流的通过地理信息系统(GIS)方法生成风险图相比,利用DSL生成风险图可缩短66.7%以上的工作时长。

面向稀疏计算的领域特定语言设计与实现

在稀疏计算领域应用模型的开发过程中,低层次的编程接口需要用户对底层硬件和算法模型同时具有全面、深入的了解.这种要求造成了稀疏计算领域的高门槛特性,不利于非专业人员的开发工作.为了降低稀疏计算领域的学习门槛,简化稀疏计算编程,提高编程的效率,本文提出了一种基于领域特定语言的解决方案,命名为Sparse Computing Programming Solutions:SCPS.SCPS设计和实现了专门的语法规则体系Sparse Computation by Domain Language:SCDL,并配备了相应的语法检查器.其次,SCPS会根据用户对数据和任务的划分进行代码优化,通过代码自动生成器将用户编写的应用模型转换为相关硬件的计算代码.为了提供良好的跨平台特性,代码生成器最终将生成相应模型的OpenCL代码.大规模的实验结果表明,使用SCDL语言构建的代码量仅为对应OpenCL代码的1/15,有效地提高了稀疏计算编程的效率.同时,实验证明了与串行代码相比,自动生成的代码能够达到优化的效果.

面向计算机编曲的领域特定语言及其开发环境

针对计算机编曲受限于专业设备和演奏能力导致的高成本、低效率的问题,基于Mish文本作曲语言,采用Aar-dio编程语言及Scintilla编辑器控件,设计了面向计算机编曲的领域特定语言及其开发环境。首先分析了Mish的短板、领域特定语言及其开发环境的设计思想与主要构成;然后设计了乐曲语法规则,并以此为基础设计了以编译器和代码编辑器为核心的开发环境;最后以经典的卡农和弦进行为例进行了演示。经测试,该领域特定语言能够根据编写好的代码,自动生成可用于导入数字音频工作站进行二次编辑的通用MIDI文件,提高编曲效率和灵活性。

一种领域特定语言的研究与实现

为满足软件设计中复杂和变化的业务逻辑及算法,以Smart Packer设计软件研发为背景,提出了一种新的软件设计方法,以帮助用户研发一套领域特定语言,达到用户自定义业务逻辑及算法的目的.此外,通过展示领域特定语言研究与实现过程,让用户对本领域业务逻辑描述更加接近自然语言,从而有效提高开发人员的生产力,并增进与领域专家的有效沟通.结果表明,领域特定语言的使用将大大提高软件的可用性.

轨道交通联锁领域特定语言的形式化

作为轨道交通系统的核心子系统之一,对联锁系统进行形式化建模与分析,是保证其安全性的重要手段.形式化建模需要领域知识和形式化知识的结合,由于形式化知识难以掌握,领域专家在建模整个过程中都需要形式化专家的帮助.为了解决这个问题,针对联锁系统的故障随机性、行为实时性、构件可重用的特点,提出设计联锁领域特定语言IS-DSL描述具体的联锁系统的参数,并基于随机混成自动机模板自动生成联锁系统的形式化模型,以进一步在此基础上进行安全分析.首先对联锁系统模型进行分析,根据不同案例设计其领域特定语言;其次,确定联锁系统的系统模型模板,包括环境构件模板和控制器模板,并举例抽取其随机混成自动机模板;在模板基础上定义系统模型生成过程,让领域专家可以通过领域特定语言,输入参数自动生成具体的随机混成自动机系统模型;最后以某站联锁系统为例,展示了基于模板的具体系统模型的生成过程,并通过基于系统模型的事故预测分析,证明了该方法的可行性与有效性.

提升高性能计算程序性能可移植性的领域特定语言

高性能计算(HPC)应用程序大多基于标准函数库和编译制导语句进行编写,这种做法可以有效提升高性能计算应用的可编程性和可移植性。相比传统优化方法中针对单个函数库进行优化,本文的研究将优化注意力放到不同函数库调用之间,提出了一种用于高性能函数库的领域特定语言及编译器,实现了对原始C代码的源代码到源代码优化,解决了因为胶水代码而产生的高性能计算程序性能可移植性欠佳的问题。实验结果表明,在真实应用中,使用支持该领域特定语言的编译器,在通用处理器硬件架构上,可以取得相比原始版本最高4.89倍的优化加速;而在实验性的异构高峰值加速器架构上,可以取得最高8.21倍的优化加速。

面向金融领域的智能合约特定语言设计

基于区块链的智能合约专业性强、可读性差、生产效率低,近年来已有多个基于智能合约的面向金融各细分领域的领域特定语言(domain-specific language,DSL)被提出,并被用于解决不同领域专业人士直接书写智能合约难度大的问题.然而,面向金融资产证券化的DSL尚未开发出来.首先介绍智能合约与金融领域现有的结合状况;然后提出资产证券化合约的流程,并设计了一种书写该合约的领域特定语言ABS-DSL;最后用ABS-DSL编写资产证券化合约,并通过将其转化为采用Solidity代码书写的智能合约验证了其准确性.

融合特定语言适配模块的多语言神经机器翻译

多语言神经机器翻译利用单一的编码器-解码器模型对多种语言之间的翻译同时进行建模。多语言神经机器翻译不仅能够促进关联语言之间的知识迁移,提高低资源语言的翻译质量,并且能够实现未见语言对之间的翻译。现有多语言神经机器翻译仍然存在语言多样性建模能力不足和未见语言对翻译质量不佳的问题。为此,首先在现有的适配器模型基础上提出变维双语适配器模型,在Transformer模型的每个子层之间加入双语适配器以抽取每个语言对的独特特征,并通过改变适配器隐层维度调整编码器和解码器两端的特定语言表达空间;其次,提出一种共享单语适配器模型,对每种语言的独特特征进行建模。在IWSLT多语言翻译数据集上的实验结果表明,变维双语适配器模型能够显著提升多语言翻译的性能,而单语适配器模型能够在不影响多语言翻译性能的条件下提高未见语言对的翻译质量。

面向计算机视觉的领域特定语言

在Computer Vision(CV)领域应用模型的开发过程中,领域专家和技术人员之间的沟通存在很大问题,同时,种类繁多的CV算子间的组合调用较为困难,难以集成.为解决以上问题,本文基于Xtext框架,采用模型驱动开发的方式,设计实现了面向计算机视觉的领域特定语言--Computer Vision Domain Specific Language(CVDSL). CVDSL整合了常用CV算子,为CV领域的应用模型开发提供了统一的平台.本文首先为CV领域构建了领域元模型;其次在领域元模型的基础上,本文定义了语法规则体系,并针对领域相关语法规则库,定制了语法检查器;最后本文设计实现了可将CVDSL转换为C++的代码自动生成器.本文通过具体的CV领域应用模型的开发和DSL定性评估框架(FQAD),对CVDSL进行了评估,验证了CVDSL的优点.

MetaHDL:面向自动推断和参数追踪硬件描述域特定语言

针对利用工业标准的硬件描述语言(HDL)进行可配置参数化系统芯片(SoC)设计工作繁琐、代码不易维护的问题.提出域特定语言MetaHDL,用于可配置数字集成电路的可综合功能描述,范围从面向逻辑的底层模块设计到IP集成的SoC设计.MetaHDL利用自动推断和参数追踪技术,针对电路结构功能描述作了专门的语法优化,提高了语言的描述力和表现力,进而提升了代码的可读性和可维护性,并达到65%以上的代码精简;通过封装寄存器传输级(RTL)设计规则,降低了RTL描述的复杂度,提高了团队工作质量和工作效率;由MetaHDL预处理器和参数追踪机制构成的二级代码配置体系,大大简化了面向重用的可配置参数化模块的设计和IP集成过程.MetaHDL被应用在"统一威胁管理"芯片设计项目中,很好地应对了复杂重用环境下代码配置的设计挑战,提高了项目开发的效率和质量.

upDSL:一种描述动态更新策略的领域特定语言

定义了一种刻画软件动态更新策略的领域特定语言upDSL.该领域特定语言可以对OSGi平台中模块动态更新策略进行结构化描述,并可提供动态更新关键步骤的必要信息,从而实现动态更新的可控性和安全性,并为不同的动态更新机制实现提供良好的描述和推理基础.

语文教学点滴体会——语义在特定语言环境中的变异

从事语文教学多年,常遇到这样的情况:一个词或一个句子,有时事义确定,不能作别的解释,有时一个词或一个句子在通常情况下是一种含义,在特定的语言环境中又是一种含义。比如:“这个人有问题”一语,既指“这个人有问题要求解答”,又可理解为“这个人有可疑之处”,句中的后义是前义的“引伸义”。又比如“他大手大脚”一语,既可指“他的手大,脚也大”,也可以理解为“他不知爱惜钱物”的意思。

面向计算机视觉的领域特定语言设计与实现

在Computer Vision(CV)领域应用模式的研究过程中,领域专家与科研人员之间的信息交流面临着很多问题,同时类型众多的CV算子之间的整合调用也相当麻烦,且不易整合。为了克服上述问题,本文借助Xtext框架,以建模驱动研究方式,完成了面向电脑视觉的领域特定语言——Computer vision domain specific language (CVDSL)。CVDSL集合的一种CV算子,为CV领域研究而搭建了一种理论基础与运用模型。结合参考CV领域应用模式,设计出了DSL定性评价框架(FQAD),并对CVDSL实现了准确评价,有利于确保与证明CVDSL优势。

面向智能汽车赛博物理系统的领域特定建模语言研究

智能汽车信息物理系统(IVCPS)是具有多领域交叉融合特征的复杂大系统,在设计IVCPS领域特定建模语言时,应用现有建模语言存在扩展性差、成熟度低、学习成本高等问题,因此,本文根据V模型和创新架构方法,分别从IVCPS顶层设计流程、IVCPS元语言对象集语言要素定义两部分对面向IVCPS领域特定建模语言(DSML)进行研究,对IVCPS系统层元语言和组件化元语言的规范化进行定义,研究赛博物理组件中表达物理实现、动态特性和赛博计算的组件,以期为赛博物理组件的封装和创建提供参考。

特定型语言障碍儿童语言能力与心理理论关系的研究进展

特定型语言障碍(SLI)儿童在非语言智商方面表现正常,然而其语言能力存在缺陷。SLI群体内部的语言缺陷呈现出较大的异质性,是研究语言能力和心理理论关系的最佳对象。本文从各个要素综述了国外关于SLI群体语言能力和心理理论关系的实证研究,发现特定型语言障碍与心理理论发育存在延迟,并且与其语言能力缺陷有关,在各个语言要素中,句法缺陷对心理理论影响的证据最为集中。SLI儿童为理解语言和心理理论之间的关系提供了重要见解,但仍需要进一步的研究来全面理解这种关联。

领域特定语言开发现状与展望

泛在计算环境下的软件系统横跨多个领域并使用大量领域特定语言,迫切需要一个高效可行的领域特定语言开发环境。文章简要介绍领域特定语言的发展脉络与特点,从设计、实现和编程开发环境3个维度梳理国内外在领域特定语言开发方面的研究现状,分析和定位现有工作面临的挑战,进而提出一种敏捷的领域特定语言开发工作台的构想,并突出其中有待重点探究的问题。

特定型语言障碍患儿舌尖中音音系异常阶梯式语音干预个案研究

目的对1例特定型语言障碍患儿舌尖中音音系异常进行干预并验证阶梯式语音干预模式的有效性,证实语音干预策略促进同类泛化的可能性。方法采用单一被试A_(1)-B-A_(2)研究设计,遵循阶梯式语音干预模式,灵活选取针对性策略对患儿舌尖中音音系异常进行6次干预,比较患儿基线期(A_(1))、干预期(B)及撤回期(A_(2))舌尖中音与不同韵母组合的单音节发音正确率的变化。结果干预后,该患儿含舌尖中音/d/的单音节发音总正确率由25%提升至干预期的80%,撤回期维持在79.08%;未经直接干预的含/t/音的单音节发音总正确率由基线期的26.30%提升至撤回期的90.96%。结论阶梯式语音干预模式能够改善特定型语言障碍患儿音系异常现象,当异常发音表现具有共性时,仅对同类中某个音系的全面干预能够促进患儿发音能力的同类泛化,提高临床干预的效率。

特定领域语言MISPC及其编译框架实现技术

基于C语言扩展定义一种新的特定领域编程语言MISPC,并描述其应用于多媒体和无线网络领域主流场景的特征,利用Backus-Naur范式对其数据类型等进行描述.针对该语言特点,提出一个面向异构平台的编译框架,以生成较高性能的目标代码.结合领域中一个经典算法进行验证,实验结果表明,对比不同输入规模、不同版本的代码实现,显著提高了领域开发的效率,并可获得最高5.59倍的执行加速比.通过定义相应高层语言并构建编译框架,提供领域编程框架的系统解决方法和技术,有效降低了领域编程和调试的难度,提升了领域开发效率及程序性能.

基于对象的特定域语言构造方法

针对特定域语言(DSL)的定义问题,提出了一种基于对象的语言构造方法,该方法将特定域语言语义划分为领域相关语义和领域无关语义,针对领域相关语义,采用对象将其封装,并通过视图对象和模型对象分别完成领域相关语义的定义与解释;针对领域无关语义,利用现有语言开发工具,直接定义并生成语言基本特性的解释模块,最后将对象和语言基本特性相集成,从而完成DSL的定义与实现.采用基于对象的构造方法可迅速地定义DSL,且具有较强的扩展性.

4～5岁普通话特定型语言障碍儿童的筛检与诊断

目的探讨学龄前4～5岁儿童语言发展现状，筛检并诊断特定型语言障碍儿童，为特定型语言障碍的相关研究及其干预奠定基础。方法本研究应用台湾版《修订学前儿童语言障碍评量表》，采用家长报告和教师报告的方法对某幼儿园中班与大班共136名4～5岁儿童进行语言能力测查。结果①4～5岁学龄前儿童普通话语言能力无显著的性别和年龄差异；②在此阶段，儿童的口语表达能力出现显著提升；③幼儿园4～5岁学龄前儿童存在特定型语言障碍儿童的发生率约为4．41％，值得关注和重视；④教师报告方式对特定型语言障碍检测的灵敏度较高：标准化测验对特定型语言障碍检测的特异度较高。结论台湾版《修订学前儿童语言障碍评量表》适用于大陆地区幼儿园4～5岁学龄前儿童；教师报告方式适用于语言发育迟缓儿童的筛检；标准化语言能力测试适用于语言发育迟缓儿童的诊断。