基于扩展SysML活动图的嵌入式系统设计安全性验证方法研究 被引量：5

1

作者 黄传林 黄志球 +2 位作者 胡军 徐丙凤 曲长亮 《小型微型计算机系统》 CSCD 北大核心 2015年第3期408-417,共10页

能源、交通等领域中复杂嵌入式系统设计的安全性分析与验证工作已经成为当前的重要研究热点之一;本文提出一种结合MARTE语义信息的扩展Sys ML活动图模型,用于描述安全关键应用中的嵌入式系统动态行为的设计,并对此扩展模型展开基于模型... 能源、交通等领域中复杂嵌入式系统设计的安全性分析与验证工作已经成为当前的重要研究热点之一;本文提出一种结合MARTE语义信息的扩展Sys ML活动图模型,用于描述安全关键应用中的嵌入式系统动态行为的设计,并对此扩展模型展开基于模型转换的系统设计安全性特征的形式化分析与验证方法的研究;包括:构建了Sys ML活动图与MARTE中非功能性质建模语义相结合的元模型,以及验证工具UPPAAL的时间自动机元模型,并且给出了二者之间的语义映射规则;建立了从时间自动机模型描述到UPPAAL工具输入格式之间的语法转换方法;设计了一个基于AMMA平台的面向扩展Sys ML活动图的模型转换与验证框架;最后,给出了一个高铁控制系统设计模型的安全性验证的实例分析. 展开更多

关键词 嵌入式系统安全性分析 SysML活动图 MARTE 模型转换 形式化方法

下载PDF 职称材料

从英语单音节词看叶斯柏森的语言进步论——语言事实与语言刻板印象

2

作者 曲长亮 《语言教育》 2024年第3期36-47,共12页

叶斯柏森是语言学领域的达尔文主义者,其所提出的“语言进步论”与达尔文“适者生存观”之间存在微妙联系。本文以叶斯柏森1886至1941年间以英、德、丹等文字撰写的著作为文本依据,以他对英语单音节词音系演化过程的思考为起点,为他的... 叶斯柏森是语言学领域的达尔文主义者,其所提出的“语言进步论”与达尔文“适者生存观”之间存在微妙联系。本文以叶斯柏森1886至1941年间以英、德、丹等文字撰写的著作为文本依据,以他对英语单音节词音系演化过程的思考为起点,为他的“语言进步论”思想探源,证实“语言进步论”不仅是达尔文主义在语言学领域的反映,更是叶斯柏森研究音系演化史的必然结果。 展开更多

关键词 叶斯柏森 语言进步论 达尔文主义 音系演化

下载PDF 职称材料

索绪尔与结构主义音系学——与约翰·E.约瑟夫教授对谈

3

作者 约翰·E.约瑟夫 曲长亮 《语言教育》 2024年第3期27-35,共9页

本文是访谈人与索绪尔研究专家、国际知名语言学家约翰·E.约瑟夫教授的访谈内容。《普通语言学教程》中呈现的索绪尔音系学思想向来被认为是模糊且矛盾的,约瑟夫教授结合索绪尔研究界近几十年来的最新发现,对索绪尔音系学的关键概... 本文是访谈人与索绪尔研究专家、国际知名语言学家约翰·E.约瑟夫教授的访谈内容。《普通语言学教程》中呈现的索绪尔音系学思想向来被认为是模糊且矛盾的,约瑟夫教授结合索绪尔研究界近几十年来的最新发现,对索绪尔音系学的关键概念及索绪尔音系学思想的影响力作了全新论述。 展开更多

关键词 索绪尔 约翰·E.约瑟夫 音位 响音系数 结构主义音系学

下载PDF 职称材料

语际文本差异与时代误植风险——雅柯布森早期区别特征思想新探 被引量：1

4

作者 曲长亮 《外语与外语教学》 CSSCI 北大核心 2019年第3期67-76,145,146,共12页

版本考证常可澄清语言学史中的事实细节。2013-2014年新出版的《RomanJakobson选集》第9卷,未收录《标准斯洛伐克语音位论》和《音位与音系学》的捷克语原文,这使多数研究者依然需要依赖《选集》第1卷中的英语译文来思考早期区别特征概... 版本考证常可澄清语言学史中的事实细节。2013-2014年新出版的《RomanJakobson选集》第9卷,未收录《标准斯洛伐克语音位论》和《音位与音系学》的捷克语原文,这使多数研究者依然需要依赖《选集》第1卷中的英语译文来思考早期区别特征概念。但英语译文中的某些细节具有误导性,掩盖了一些重要史实。本文对比音系学史研究中上述两份重要文献的捷克语原文和英语译文,指正语际版本差异在音位可分论、区别特征聚合论、区别特征名称与类别等方面可引发的误解,为论证应如何避免语言学史研究中的时代误植提供一份实例。 展开更多

关键词 音系学 区别特征 语际文本差异 时代误植

原文传递

浅谈公交服务英语中存在的问题 被引量：1

5

作者 曲长亮 《英语知识》 2005年第1期39-40,共2页

近年来，国内许多大城市相继在公交车上增加了用英语报站，在公交站牌上增加了英文站名。这些举措适应了改革开放的要求，不仅方便了外籍乘客，更为建设国际化现代都市营造了良好的氛围。

关键词 英语 氛围 举措 适应 要求 建设 营造 英文 增加 存在

下载PDF 职称材料

特鲁别茨柯依“音系学”与“音位学”考辨——语言学史视角下的名与实 被引量：1

6

作者 曲长亮 《浙江外国语学院学报》 2021年第2期9-18,共10页

在语音研究领域,“音系学”和“音位学”曾被视为同义词。近年来,“音位学”这一术语的使用率骤减,但仍未完全消失。本文以语言学史一手文本为依据,回顾英文和中文文献中这两个术语的变迁过程,指出“音位学”这一术语淡出历史舞台的必然... 在语音研究领域,“音系学”和“音位学”曾被视为同义词。近年来,“音位学”这一术语的使用率骤减,但仍未完全消失。本文以语言学史一手文本为依据,回顾英文和中文文献中这两个术语的变迁过程,指出“音位学”这一术语淡出历史舞台的必然性,提出在今天的语音研究中彻底放弃这一历史名称的必要性。 展开更多

关键词 音系学 音位学 特鲁别茨柯依 术语翻译

下载PDF 职称材料

音系单位的共现性与顺次性——区别特征概念早期发展历程新探

7

作者 曲长亮 《语言学研究》 CSSCI 2016年第2期95-107,共13页

Jakobson的区别特征概念虽然因《言语分析初探》(Jakobson,Fant & Halle,1952)、《语言基础》(Jakobson & Halle,1956)而广为人知,但是事实上,区别特征术语和思想在20世纪30年代布拉格学派经典时期已提出,并随后得到充分探讨。... Jakobson的区别特征概念虽然因《言语分析初探》(Jakobson,Fant & Halle,1952)、《语言基础》(Jakobson & Halle,1956)而广为人知,但是事实上,区别特征术语和思想在20世纪30年代布拉格学派经典时期已提出,并随后得到充分探讨。本文以Jakobson、Trubetzkoy、Vachek等人此阶段用英、法、德、捷等文字撰写的著述为文本依据,试证明音位和区别特征在此阶段分别呼应音系单位的顺次性和共现性属性,让二者同时扮演基本音系单位之角色并非相互冲突。 展开更多

关键词 区别特征 音系单位 共现性 顺次性

原文传递

一种基于操作表达式模型的关键软件安全性验证方法研究

8

作者 曲长亮 胡军 +1 位作者 徐丙凤 黄志球 《小型微型计算机系统》 CSCD 北大核心 2014年第7期1578-1584,共7页

目前在安全关键领域,软件系统的安全性分析与验证已经成为软件工程研究中的热点问题,本文工作给出一种基于镜像理论中操作表达式模型的关键软件安全性的验证方法.设计了从操作表达式模型到其分析树的自动转换方法;采用镜像理论的语义公... 目前在安全关键领域,软件系统的安全性分析与验证已经成为软件工程研究中的热点问题,本文工作给出一种基于镜像理论中操作表达式模型的关键软件安全性的验证方法.设计了从操作表达式模型到其分析树的自动转换方法;采用镜像理论的语义公理、定理及计算规则对分析树节点进行语义谓词计算,从而得到完整的附有语义谓词的语义树;使用镜像理论的定理证明规则验证语义树中各节点需要满足的安全性质规约;还给出了相应的原型工具和验证实例分析;此方法已在航空航天领域得到实际应用. 展开更多

关键词 软件分析 安全性验证 操作表达式 镜像理论 语义树

下载PDF 职称材料

英语词汇教学历时音系视角例析——英语德语重读闭音节中的字母a对比

9

作者 曲长亮 《教育教学论坛》 2017年第31期188-189,共2页

历时音系演化不仅是理论语言学的研究问题,也可运用于英语教学实践中。本文以英语重读闭音节中字母a的读音为例,对比英语和德语中的相关同源词,来说明历时音系视角如何在英语词汇教学中使用。

关键词 历时音系 闭音节 同源词

下载PDF 职称材料

雅柯布森区别特征概念的英语术语源头再思考

10

作者 曲长亮 《语言教育》 2017年第1期57-61,共5页

区别特征概念的提出与系统化通常被视为雅柯布森对音系学的最大贡献。不过,20世纪30年代见证这一术语的萌发及其早期发展的著作均系用捷克语、法语、德语撰写,相对应的英语术语迟至40年代末才出现。本文以雅柯布森及其他相关学者这一时... 区别特征概念的提出与系统化通常被视为雅柯布森对音系学的最大贡献。不过,20世纪30年代见证这一术语的萌发及其早期发展的著作均系用捷克语、法语、德语撰写,相对应的英语术语迟至40年代末才出现。本文以雅柯布森及其他相关学者这一时期的音系学著作文本为依据,探寻英语术语distinctive feature的来源,并研究该来源是否对雅柯布森的区别特征聚合观产生重要影响。 展开更多

关键词 区别特征 术语 亚音位结构 聚合单位

下载PDF 职称材料

从相关关系和功能对立看超音位概念在雅柯布森音系学中的兴衰

11

作者 曲长亮 《外语与外语教学》 CSSCI 北大核心 2013年第5期26-29,68,共5页

超音位这一术语曾频繁出现于雅柯布森的早期作品中,成为布拉格学派经典时期的音系学重要研究对象,但是后来却逐渐趋于消失。本文追溯超音位产生的理论源头及其本质特征,并对这一概念和其他语言学学派中与之类似的概念进行对比,证明雅柯... 超音位这一术语曾频繁出现于雅柯布森的早期作品中,成为布拉格学派经典时期的音系学重要研究对象,但是后来却逐渐趋于消失。本文追溯超音位产生的理论源头及其本质特征,并对这一概念和其他语言学学派中与之类似的概念进行对比,证明雅柯布森音系学中的超音位概念具有相关关系特征和功能对立特征,阐释正是上述特征使之成为促使区别特征理论产生的重要理论环节。 展开更多

关键词 超音位 相关关系 功能对立 雅柯布森音系学

原文传递

例谈历史比较法在英语词汇教学中的运用

12

作者 曲长亮 《英语教师》 2017年第5期34-36,共3页

概述英语词汇拼写与读音的不一致性及其起源,认为历史比较法不仅是理论语言学中的研究方法,还可将其运用到英语教学实践中。以英语字母组合ai的历时演化为例,从英语自身的纵向发展以及英语词汇与德语、法语同源词的横向比较两个方面出发... 概述英语词汇拼写与读音的不一致性及其起源,认为历史比较法不仅是理论语言学中的研究方法,还可将其运用到英语教学实践中。以英语字母组合ai的历时演化为例,从英语自身的纵向发展以及英语词汇与德语、法语同源词的横向比较两个方面出发,探究历史比较法在英语词汇教学中的运用。 展开更多

关键词 语音 拼写 同源词 演化

下载PDF 职称材料

论语音定律问题(1886)

13

作者 曲长亮(译) 亓晨(校) 《语言学研究》 2020年第1期197-222,共26页

我国的语言学界和外语教学界对奥托·叶斯柏森(Otto Jespersen)的名字并不陌生。早在20世纪初,他的语言演化思想就已通过胡以鲁《国语学草创》而为国人所知。至30、40年代,他的语言学思想深刻影响过何容、吕叔湘、王力等汉语语法大... 我国的语言学界和外语教学界对奥托·叶斯柏森(Otto Jespersen)的名字并不陌生。早在20世纪初,他的语言演化思想就已通过胡以鲁《国语学草创》而为国人所知。至30、40年代,他的语言学思想深刻影响过何容、吕叔湘、王力等汉语语法大师,对林语堂等其他领域的学者亦有一定影响。进入80年代,他的《英语语法要略》《语法哲学》两部著作得到了汉译。不过,除了我们所熟悉的三品级等语法理论之外,叶斯柏森还在早年致力于语音学研究,既在语音理论方面著述丰硕,又将理论积极运用于语言教学、方言研究、文字改革、词典编纂等应用领域,后世学者因而指出:"早期生涯中,他获得了经典语音学领军型代表人物之地位"(于恩·里舍尔《奥托·叶斯柏森对丹麦语音学和普通语音学的贡献》[Jorgen Rischel,Otto Jespersen’s Contribution to Danish and General Phonetics],1989,p.43)。叶斯柏森对语音的研究不仅包含静态的描写与归纳,更涉及语音的历时演变规律。1886年,他长达29页的《论语音定律问题》(Zur Lautgesetzfrage)一文,发表于德国莱比锡出版的《普通语言学国际学报》(Internationale Zeitschrift f(u|")r allgemeine Sprachwissenschaft)上,对新语法学派的"语音定律无例外"这一知名论断中存在的缺陷提出了独到的见解。正如语言学史专家科尔纳(E.F.K.Koerner)所指出,《普通语言学国际学报》创办出版的年代,正是新语法学派运动最强势的年代,该时代"可比作20世纪60年代中期至70年代初的‘生成主义范式’之时代"(《论泰希默<学报>的重要性》[The Importance of Techmer’s"Zeitschrift"],1973,p.22)。因此,在新语法学派如日中天的19世纪80年代,时年26岁的叶斯柏森,能够在该学派的大本营发表这样一篇长文,不难从中体会出由泰希默(Friedrich Techmer,1843-1891)、莱斯琴(August Leskien,1840-1916)、保罗(Hermann Paul,1846-1921)等学派 展开更多

关键词 普通语言学 语言学史 叶斯柏森 王力 德国莱比锡 亲自出马 学报编委 丹麦语

原文传递

论元音音系系统普遍理论(1929)

14

作者 曲长亮(译) 亓晨(校) 《语言学研究》 2022年第1期189-211,共23页

1从语音学思考语音,和从音系学思考语音,二者间的差别是根本性的,无论如何也不会被夸大。语音学是一门自然科学(Naturwissenschaft),研究人类言语的声音,与之相比,音系学研究的是音位,也就是人类语言的语音印象。音系学因而是语言科学(S... 1从语音学思考语音,和从音系学思考语音,二者间的差别是根本性的,无论如何也不会被夸大。语音学是一门自然科学(Naturwissenschaft),研究人类言语的声音,与之相比,音系学研究的是音位,也就是人类语言的语音印象。音系学因而是语言科学(Sprachwissenschaft)的一部分。音系学就像词法学和句法学一样,是语法的一部分。 展开更多

关键词 音系学 元音 语音学 音位 句法学 自然科学 语言

原文传递

论现代英语中的句子观

15

作者 郑莉莉(译) 曲长亮(校) 《语言学研究》 2020年第2期222-228,共7页

这篇简短的论文致力于展示,在现代英语中,有许多特点相互间清晰地联系在一起,并由此产生了方法论的需求,即在历史研究中需要注意这些联系。我把英语语法主语(Grammatisches Subjekt)的功能作为出发点。如果我们从这个角度比较不同的语言... 这篇简短的论文致力于展示,在现代英语中,有许多特点相互间清晰地联系在一起,并由此产生了方法论的需求,即在历史研究中需要注意这些联系。我把英语语法主语(Grammatisches Subjekt)的功能作为出发点。如果我们从这个角度比较不同的语言,很快我们就会相信,在个别语言中,有两种可能性在相互竞争,时而是这种,时而是另一种占得上风。 展开更多

关键词 现代英语 语法主语 方法论 语言 简短 可能性

原文传递

从节能减排角度谈富氧燃烧 被引量：2

16

作者 陈廷山 曲长亮 《企业技术开发（下半月）》 2009年第9期84-84,共1页

介绍了富氧燃烧的特点，富氧燃烧能够提高理论燃烧温度，减少烟气排放量，减少烟气排放带走的热量，提高烟气辐射黑度，促进燃烧完全，提高能源利用率，减少污染，文章介绍了富氧燃烧对烟气量的影响，同时理论燃烧温度及烟气量随着氧气... 介绍了富氧燃烧的特点，富氧燃烧能够提高理论燃烧温度，减少烟气排放量，减少烟气排放带走的热量，提高烟气辐射黑度，促进燃烧完全，提高能源利用率，减少污染，文章介绍了富氧燃烧对烟气量的影响，同时理论燃烧温度及烟气量随着氧气舍量的变化函数。 展开更多

关键词 富氧燃烧 理论燃烧温度 烟气量 节能减排

下载PDF 职称材料