基于语言属性的电子政务绩效评估模型研究 被引量：10

1

作者 何海波 钱钢 胡伟伟 《情报杂志》 CSSCI 北大核心 2007年第8期108-110,共3页

在设计较为全面的电子政务绩效评估指标体系基础上,运用模糊综合评估方法确定各指标的权重,借鉴多属性群决策领域的语言属性理论,将定性指标转换为数值型结论,建立基于语言属性的电子政务绩效评估模型并定义了电子政务成熟度。最后通过... 在设计较为全面的电子政务绩效评估指标体系基础上,运用模糊综合评估方法确定各指标的权重,借鉴多属性群决策领域的语言属性理论,将定性指标转换为数值型结论,建立基于语言属性的电子政务绩效评估模型并定义了电子政务成熟度。最后通过实证研究,验证了该模型的科学性和实用性。 展开更多

关键词 语言属性 电子政务 绩效评估

在线阅读 下载PDF 职称材料

从语言属性看外语教学的工具性和人文性 被引量：71

2

作者 蔡基刚 《东北师大学报（哲学社会科学版）》 CSSCI 北大核心 2017年第2期1-6,共6页

我国学者几乎都认同于外语教学既有工具性又有人文性,同时我国各教育阶段的外语教学都把语言的人文性和工具性分在不同的课程里体现和实施教学。事实上外语教学要兼顾工具性和人文性是一个伪命题,把语言教育分成人文主义和工具主义是没... 我国学者几乎都认同于外语教学既有工具性又有人文性,同时我国各教育阶段的外语教学都把语言的人文性和工具性分在不同的课程里体现和实施教学。事实上外语教学要兼顾工具性和人文性是一个伪命题,把语言教育分成人文主义和工具主义是没有理论依据的。外语教学的人文性是不存在的,人文性内涵应是文化和人文教育:前者是语言的基本属性,无法剥离出来,即使一个科技术语也蕴藏着丰富的文化信息;后者是一种有目的的活动。外语教学的主要功能就是工具,它既可以体现在语言学习、出国旅游、学习知识等方面,也可体现在了解世界和开阔眼界的素质培养方面。因此,开展人文教育和素质培养就是工具的一种功能。在大学英语教学中,培养学生用英语从事专业学习和今后工作的能力是工具的主要作用,人文教育的功能应该融入其中,而不应专门开设英美文化文学课程来进行此目的的教学,把外语教学定位人文教育,把人文教育等同文化知识是我国外语教学应用目标缺位的必然结果。纠正我国外语界对外语教学工具性和人文性的误解有助于我国外语教学的健康发展。 展开更多

关键词 语言属性 工具性 人文性 素质教育 外语教学

在线阅读 下载PDF 职称材料

“边境语言能力”多人谈

3

作者 戴庆厦 王锋 +4 位作者 梁晓波 陈春华 马晓雷 贾媛 董希骁 《语言战略研究》 北大核心 2025年第3期61-65,共5页

从边境语言属性谈边境语言能力戴庆厦(中央民族大学)边境语言因其分布在国家的边境而得名。其中一部分语言在邻国也有分布,被称为“跨境语言”。提高边境语言能力,是振兴国家必须研究和解决的一项工作,也是中国语言文字工作必不可少的... 从边境语言属性谈边境语言能力戴庆厦(中央民族大学)边境语言因其分布在国家的边境而得名。其中一部分语言在邻国也有分布,被称为“跨境语言”。提高边境语言能力,是振兴国家必须研究和解决的一项工作,也是中国语言文字工作必不可少的组成部分。语言能力受语言属性的制约,所以要提高边境语言能力,必须对其属性有正确的、科学的认识。 展开更多

关键词 语言文字工作 语言属性 国家边境 跨境语言 边境语言能力

在线阅读 下载PDF 职称材料

语言多属性决策的目标规划模型 被引量：40

4

作者 徐泽水 《管理科学学报》 CSSCI 北大核心 2006年第2期9-17,共9页

研究了只有部分属性权重信息、属性值以语言变量或不确定语言变量形式给出且决策者对方案有偏好信息的语言多属性决策问题.给出了语言变量和不确定语言变量的运算法则,以及不确定语言变量之间比较的可能度公式,定义了语言变量的偏离度概... 研究了只有部分属性权重信息、属性值以语言变量或不确定语言变量形式给出且决策者对方案有偏好信息的语言多属性决策问题.给出了语言变量和不确定语言变量的运算法则,以及不确定语言变量之间比较的可能度公式,定义了语言变量的偏离度概念.在属性值以1)语言变量和2)不确定语言变量,这两种形式给出的情形下,分别建立了一个基于偏离度的目标规划模型,并通过求解这两种模型分别获得相应的属性权重.然后对于情形1),利用语言加权平均(LWA)算子,对语言决策信息进行加权集成,继而对方案进行排序和择优;对于情形2),利用不确定语言加权平均(ULWA)算子,对不确定语言决策信息进行加权集成,并利用可能度公式构造可能度矩阵(互补判断矩阵),继而利用互补判断矩阵排序公式对决策方案进行排序和择优.最后进行了实例分析. 展开更多

关键词 语言多属性决策 语言变量 不确定语言变量 可能度 集成

在线阅读 下载PDF 职称材料

基于二元语义TAC积分算子的语言型多属性群决策方法 被引量：4

5

作者 索玮岚 《运筹与管理》 CSSCI CSCD 北大核心 2016年第2期63-70,共8页

针对属性之间存在模糊关联的语言型多属性群决策问题,给出了二元语义TAC(Two-Additive Choquet)积分算子的定义,分析和证明了算子的有关性质,并提出了相应的决策方法。该方法首先将各专家提供的语言短语形式的属性权重信息、属性关联信... 针对属性之间存在模糊关联的语言型多属性群决策问题,给出了二元语义TAC(Two-Additive Choquet)积分算子的定义,分析和证明了算子的有关性质,并提出了相应的决策方法。该方法首先将各专家提供的语言短语形式的属性权重信息、属性关联信息与属性评价信息转化为二元语义形式,然后利用二元语义TAC积分算子将转化后的属性相关信息集结为各专家的方案评价值,并进一步集结专家意见获得方案的综合评价值,从而确定其排序。最后,通过实例分析和方法比较说明了所给方法的有效性和优点。研究结果表明,该方法具有属性关联刻画细致、计算过程简单且无信息损失、决策结果可解释性强等优点,为求解属性之间存在模糊关联的语言型多属性群决策问题提供了一种新的途径。 展开更多

关键词 决策科学 语言型多属性群决策 属性模糊关联 二元语义TAC积分算子

在线阅读 下载PDF 职称材料

基于语言型多属性决策的人才培训与开发项目优选

6

作者 宋杰鲲 张在旭 王胜利 《技术经济与管理研究》 北大核心 2009年第4期54-56,共3页

人才培训与开发项目优选是人才培训与开发决策的一项重要内容。本文结合项目优选的多属性、不确定性和群决策等特征,运用群组层次分析法赋予指标权重,构建了人才培训与开发项目优选的语言型不确定多属性决策模型。实例表明,该方法切实可... 人才培训与开发项目优选是人才培训与开发决策的一项重要内容。本文结合项目优选的多属性、不确定性和群决策等特征,运用群组层次分析法赋予指标权重,构建了人才培训与开发项目优选的语言型不确定多属性决策模型。实例表明,该方法切实可行,操作简便,为人才培训与开发项目优选提供了新的思路。 展开更多

关键词 人才培训与开发 项目 优选 语言型多属性决策

在线阅读 下载PDF 职称材料

用属性说明语言验证硬件电路

7

作者 刘有耀 《现代电子技术》 2005年第21期104-106,共3页

过去对系统的设计要求说明都是采用自然语言,这种说明形式是比较含糊的,并且缺乏标准的机器可执行代码而无法进行验证。然而属性说明语言是一种易于读写、语法精简、语义严格清晰、表达能力强大、机器可执行的硬件设计属性说明语言。本... 过去对系统的设计要求说明都是采用自然语言,这种说明形式是比较含糊的,并且缺乏标准的机器可执行代码而无法进行验证。然而属性说明语言是一种易于读写、语法精简、语义严格清晰、表达能力强大、机器可执行的硬件设计属性说明语言。本文首先介绍了属性说明语言的属性定义,然后说明了用属性说明语言实现硬件电路验证的方法。通过实践证明,用属性说明语言验证硬件电路是非常有效的验证方法。 展开更多

关键词 硬件电路 属性说明语言 验证 自然语言

在线阅读 下载PDF 职称材料

硬件电路的属性说明语言

8

作者 刘有耀 《现代电子技术》 2005年第20期35-37,共3页

传统的对系统功能规范说明都是采用自然语言,这种说明形式一般都是比较含糊的,并且由于缺乏标准的机器可执行代码而无法进行验证。本文介绍的属性说明语言(PSL)是一种易于读写、语法精简、语义严格清晰、表达能力强大、机器可执行的标... 传统的对系统功能规范说明都是采用自然语言,这种说明形式一般都是比较含糊的,并且由于缺乏标准的机器可执行代码而无法进行验证。本文介绍的属性说明语言(PSL)是一种易于读写、语法精简、语义严格清晰、表达能力强大、机器可执行的标准硬件设计属性说明语言。并对他在M ode ls im SE 6.0仿真工具中的使用做了具体的介绍。 展开更多

关键词 硬件电路 属性说明语言 基于断言验证 自然语言

在线阅读 下载PDF 职称材料

论语言在族群认同中的地位和表现形式 被引量：30

9

作者 王锋 《云南师范大学学报（哲学社会科学版）》 CSSCI 2010年第4期72-78,共7页

语言是族群认同中的核心要素,其重要性在新时期的族群认同中将日益凸显。从语言的历史发展、文化属性、交际工具三种属性出发,语言与族群的历史认同、文化认同、社会认同有着必然的联系,这是语言作为族群认同核心要素的根本原因。只有... 语言是族群认同中的核心要素,其重要性在新时期的族群认同中将日益凸显。从语言的历史发展、文化属性、交际工具三种属性出发,语言与族群的历史认同、文化认同、社会认同有着必然的联系,这是语言作为族群认同核心要素的根本原因。只有促进族群认同,才能为族群的语言发展提供内在动力。我们以白族语言为例说明了语言的族群认同作用通常因为社会、历史和文化条件的差异而有不同的表现形式。 展开更多

关键词 语言 语言属性 语言认同 族群认同

在线阅读 下载PDF 职称材料

播音——语言艺术 被引量：2

10

作者 罗京 《语文建设》 CSSCI 北大核心 1999年第6期37-39,共3页

关键词 语言艺术 有声语言 播音员 主持人 科学用声 播音语言 现代汉语普通话 准确理解 语言规范 语言属性

在线阅读 下载PDF 职称材料

马克思恩格斯的语言思想与中国话语建构 被引量：5

11

作者 吴美川 《理论探索》 CSSCI 北大核心 2020年第3期38-45,共8页

民族伟大复兴和实现现代化强国往往伴随着话语的崛起和强大。语言的本质是思想、话语的直接现实和展示。马克思恩格斯关于语言生成论、语言属性论、语言革命论和语言使命论的深刻洞见为中国话语建构和发展提供了重要的理论资源、方法论... 民族伟大复兴和实现现代化强国往往伴随着话语的崛起和强大。语言的本质是思想、话语的直接现实和展示。马克思恩格斯关于语言生成论、语言属性论、语言革命论和语言使命论的深刻洞见为中国话语建构和发展提供了重要的理论资源、方法论基础和价值指引。语言生成论揭示了中国话语建构必须"始终站在现实历史的基础上";语言属性论揭示了中国话语建构是阶级性与公共性的辩证统一;语言革命论揭示了中国话语建构以"改变世界"为历史任务;语言使命论揭示了中国话语建构以"人类解放"为价值本位。 展开更多

关键词 语言生成论 语言属性论 语言革命论 语言使命论 中国话语建构

在线阅读 下载PDF 职称材料

乔姆斯基语言学术思想在中国--简约性“神奇原则”的科学魅力 被引量：3

12

作者 司富珍 李富强 康兴 《语言战略研究》 CSSCI 北大核心 2022年第6期77-84,共8页

乔姆斯基语言学术思想通过文献翻译、学术研究、会议组织和平台建设等多种渠道的传播,对中国语言学术界产生了巨大影响。从乔姆斯基学术思想的核心要义即简约性“神奇原则”来看,可以围绕语言的普遍性与差异性、语言系统的简约性以及理... 乔姆斯基语言学术思想通过文献翻译、学术研究、会议组织和平台建设等多种渠道的传播,对中国语言学术界产生了巨大影响。从乔姆斯基学术思想的核心要义即简约性“神奇原则”来看,可以围绕语言的普遍性与差异性、语言系统的简约性以及理论建构与理论评价的标准与方法等3个核心论题加以梳理,其影响涉及的领域包括现代汉语、汉语方言、上古汉语、中国境内少数民族语言、儿童语言习得及老年语言认知等。乔姆斯基对中国的语言学学科建设理念也产生了深刻的影响:(1)语言学具有科学属性,可以是自然科学;(2)语言学是可以为其他众多学科提供研究课题、研究方法甚至研究范式的领先科学。 展开更多

关键词 乔姆斯基语言学术思想 “神奇原则” 理论建构与理论评价 语言学学科属性

在线阅读 下载PDF 职称材料

广告翻译中的矛盾及译者的抉择 被引量：4

13

作者 李蓂 马彩梅 《西北大学学报（哲学社会科学版）》 CSSCI 北大核心 2010年第4期165-167,共3页

为了明确广告译者的困境及应有的选择,从而在本质上提高广告翻译的质量,运用实例分析和文献研究相结合的方法,详细剖析了广告翻译中广告语言属性与商业属性、源语文化与译语文化以及译者主体性与译者隐身性这三大矛盾,指出广告原文的语... 为了明确广告译者的困境及应有的选择,从而在本质上提高广告翻译的质量,运用实例分析和文献研究相结合的方法,详细剖析了广告翻译中广告语言属性与商业属性、源语文化与译语文化以及译者主体性与译者隐身性这三大矛盾,指出广告原文的语言属性必须得到重视;适度的异化可增强作品的吸引力;译者在翻译过程中要体现出一种自觉的人格意识和创造意识。 展开更多

关键词 广告翻译 语言属性 文化 隐身性 主体意识

在线阅读 下载PDF 职称材料

信息产业集群成熟度评价模型研究 被引量：5

14

作者 胡伟伟 钱钢 《情报杂志》 CSSCI 北大核心 2007年第12期136-138,共3页

按照产业集群生命周期理论将信息产业集群划分为五个成熟度级别,在设计较为全面的信息产业集群成熟度评价指标体系的基础上,运用模糊综合评价的方法确定各指标的权重,采用基于语言属性的决策方法,将指标体系中的定性评价转换为数值型结... 按照产业集群生命周期理论将信息产业集群划分为五个成熟度级别,在设计较为全面的信息产业集群成熟度评价指标体系的基础上,运用模糊综合评价的方法确定各指标的权重,采用基于语言属性的决策方法,将指标体系中的定性评价转换为数值型结论,建立了完整的区域信息产业成熟度测算模型。最后利用2006年沪宁线信息产业集群的运行数据进行实证分析,分析结果与现实产业发展态势相符合,从而验证了模型的有效性与合理性。 展开更多

关键词 语言属性 信息产业集群 成熟度模型

在线阅读 下载PDF 职称材料

价值选择的非本质取向——重估影视概念之三

15

作者 赵莉 《现代传播（中国传媒大学学报）》 CSSCI 北大核心 2001年第3期88-91,共4页

关键词 价值选择 非本质属性 人文社会科学 艺术哲学 影视艺术创作 人的价值取向 布洛克 语言属性 审美价值 “一”

在线阅读 下载PDF 职称材料

面向SOC芯片的跨时钟域设计和验证 被引量：5

16

作者 罗莉 何鸿君 +1 位作者 徐炜遐 窦强 《计算机科学》 CSCD 北大核心 2011年第9期279-281,297,共4页

随着高性能、低功耗芯片的发展,多时钟域和跨时钟域(Clock Domain Crossing,CDC)设计越来越多,CDC设计和验证越来越重要。阐述了5种常用的同步器设计模板。验证方法提出了层次化的验证流程:结构化检查,基于断言的验证(assertion-based v... 随着高性能、低功耗芯片的发展,多时钟域和跨时钟域(Clock Domain Crossing,CDC)设计越来越多,CDC设计和验证越来越重要。阐述了5种常用的同步器设计模板。验证方法提出了层次化的验证流程:结构化检查,基于断言的验证(assertion-based verification,ABV),对关键模块进行形式化验证。CDC设计应用于研发的一款65nm工艺SOC芯片(最高主频1GHz、10个时钟域设计、多种工作模式),该芯片已流片回来。经测试,芯片的功能正确,说明设计和验证方法是完备的。 展开更多

关键词 跨时钟域设计 基于断言的验证 PSL属性说明语言 符号模型检查 LTL线性时序逻辑

在线阅读 下载PDF 职称材料

PSL逻辑及验证技术研究进展与展望 被引量：3

17

作者 虞蕾 赵宗涛 《计算机应用研究》 CSCD 北大核心 2010年第7期2414-2420,共7页

在简要介绍PSL的分层结构和语法与语义基础上,综述了PSL验证技术的应用研究现状,分析了各种方法、技术的优缺点,最后指出了PSL验证技术的未来研究展望。

关键词 属性规约语言 基于断言的验证 形式化验证 运行时验证

在线阅读 下载PDF 职称材料

通用SPI Flash控制器的设计与验证 被引量：11

18

作者 罗莉 夏军 邓宇 《计算机工程》 CAS CSCD 北大核心 2011年第8期22-24,27,共4页

为提高X处理器的可靠性、节省其芯片管脚及功耗,以串行外设接口(SPI)Flash作为程序加载存储器,设计一款通用的SPI Flash控制器,给出其组成结构及具体实现方法。采用基于属性描述语言(PSL)的断言检查对该控制器进行功能验证,以降低验证... 为提高X处理器的可靠性、节省其芯片管脚及功耗,以串行外设接口(SPI)Flash作为程序加载存储器,设计一款通用的SPI Flash控制器,给出其组成结构及具体实现方法。采用基于属性描述语言(PSL)的断言检查对该控制器进行功能验证,以降低验证复杂度、提高验证速度和质量。实验结果证明,其功能覆盖率达到了100%。 展开更多

关键词 串行外设接口Flash FLASH控制器 属性描述语言 断言 功能覆盖率 覆盖率驱动的验证

在线阅读 下载PDF 职称材料

片上系统的模型检验 被引量：2

19

作者 郭建 《现代电子技术》 2005年第14期95-97,共3页

片上系统(SoC)的验证是一个比较复杂的问题,仅靠模拟仿真无法保证SoC设计的正确。形式化方法是利用数学推理的方法来证明其正确,是对SoC设计进行验证的一条重要途径。模型检验技术是一种完全自动化的形式化方法,针对模型检验技术,讨论了... 片上系统(SoC)的验证是一个比较复杂的问题,仅靠模拟仿真无法保证SoC设计的正确。形式化方法是利用数学推理的方法来证明其正确,是对SoC设计进行验证的一条重要途径。模型检验技术是一种完全自动化的形式化方法,针对模型检验技术,讨论了在SoC验证中的应用,指出在SoC设计中,只有把模拟仿真与形式化、半形式化的方法结合起来,才能更好的对SoC进行验证。 展开更多

关键词 片上系统 形式化验证 模型检验 属性描述语言

在线阅读 下载PDF 职称材料

描述逻辑SHIN的ABox一致性判定算法

20

作者 彭立 杨恒伏 《计算机工程与应用》 CSCD 2013年第20期55-62,共8页

为了判定描述逻辑SHIN的ABox一致性,提出了一种Tableau算法。给定TBox T、ABox A和角色层次H,该算法通过预处理将A转换成标准的ABox A′,按照特定的完整策略将一套Tableau规则应用于A′,直到将它扩展成完整的ABox A″为止。A与T和H一致... 为了判定描述逻辑SHIN的ABox一致性,提出了一种Tableau算法。给定TBox T、ABox A和角色层次H,该算法通过预处理将A转换成标准的ABox A′,按照特定的完整策略将一套Tableau规则应用于A′,直到将它扩展成完整的ABox A″为止。A与T和H一致,当且仅当算法能产生一个完整且无冲突的ABox A″。算法所采用的阻塞机制可以避免Tableau规则的无限次执行,该机制允许一个新个体被在其之前创建的任意新个体直接阻塞,而不仅仅局限于其祖先。通过对算法的可终止性、合理性和完备性进行证明,算法的正确性得以确认。 展开更多

关键词 支持补集 传递角色 角色层次 反向角色和数量约束的属性语言(SHIN) ABox一致性判定 TABLEAU算法 阻塞机 制 可终止性 合理性 完备性

在线阅读 下载PDF 职称材料