支持属性立即撤销的可复用属性基签名及其密钥协商方案

为了解决后台分布式微服务-前端反向代理网络架构中统一细粒度访问控制和数据安全通信的问题,提出了可撤销属性的认证方策略属性基签名,基于Type-3配对的属性基签名及其互认证密钥协商方案。在所提方案签名算法中,无须关联访问策略,生成的签名只和用户部分属性有关,访问策略在验证算法中输入,来校验与签名相关联的用户属性是否真实合法并满足访问策略,所以签名与访问策略实现了解耦,使得一个签名可复用于多个访问策略的认证过程。另外,提出了属性哈希过滤算法,并基于该算法实现了属性的立即撤销机制,使得签名者不能用过期无效的属性继续用于策略认证。并在选择策略模型下严格地验证了所提属性基签名方案的存在不可伪造性。进一步地,为了实现数据的安全通信,提出了与所提属性基签名方案配套的满足扩展Canetti-Krawczyk安全模型的认证密钥协商方案。最后,通过理论和实验对比分析得知,在安全级别为128 bit高级加密标准的要求下,所提方案中的微服务器端的认证算法比其他属性认证算法消耗更少的时间,因此所提方案更加适用于复合微服务请求的场景。

High-frequency Grammatical Errors in Academic Writings by Chinese Students in International School

This research investigates four categories of high-frequency grammatical errors from 45 students’academic writings via script analysis.A group of 36 students responded to a questionnaire focusing on their beliefs regarding these grammatical constructions.The participants are enrolled in an international school in Suzhou City.A total of 646 sentences were analyzed,among which295(45.7%)are inaccurate.Of the 364 errors found,most of them(64.0%)fall into the category of Subject-verb agreement,followed by subordinate clauses(28.6%);errors in English existential construction and the passive voice are a few.Also,the usage rate of subordinate clause is 42.7%,of which a large proportion was incorrect.

英语存在句研究二题——确指性与一致

主要论述了存在句的两个基本问题：副主语的确指性和动词的一致。大量例句表明，存在句除了可有泛指的副主语外，还可以有确指性副主语，但是，确指受句法、语篇、情景诸多因素的限制。一致现象也很复杂。Sobin的病毒理论认为，体现指示语一中心语一致的单数一致是经济的、常规的推导，复数一致则是受病毒规则(优势结构形式)影响的结果。笔者认为，确指性和一致涉及句法及非句法因素，诸如语篇、情景等。

英语存在句定指限制的认知语法研究

运用认知语法的心理空间、心理接触、搜索域等理论解释英语存在句定指限制及其反例的认知动因。定指限制的实质是在听话者和某一个存在客体的具体例示之间建立起独特性心理接触,从而在说话者和听话者之间达到指称的完全协调。there是一个搜索域,当引入新信息时,无法建立独特性心理接触,故要用非定指修饰成分。但是,如果能满足独特性心理接触和信息的焦点性两个条件,定指修饰成分也是可以接受的。提供独特性线索的手段主要有明心理空间意识手段、潜心理空间意识手段和语言本身意识手段,仅仅注意第一种手段是不够的,还要注意第二、三种手段。从认知语法的视角研究该问题可以从眼前的物理情景推动到抽象的心理空间,从客观存在物推动到虚拟存在物。指称并不总是指向具体事物,有时仅仅是交际双方一致地意识到某物。

广义量词理论对一阶逻辑的扩展

广义量词理论是一阶逻辑的扩展。该理论已经成为逻辑学和语言学中重要的推理工具之一。广义量词是对来自于一阶逻辑中两个标准量词(全称量词和存在量词)的推广。对一阶逻辑进行扩展的主要原因有二:其一是为了解释亚氏三段论形式以外的大量的有效推理;其二是为了提升一阶逻辑的表达力,使得计算机能够更好地处理自然语言。文章阐述了广义量词理论来自于哪里,是如何得来的。现代谓词逻辑首先通过固定一阶逻辑中的全称量词和存在量词的真值定义,然后把它们的真值定义推广到〈1〉类型的广义量词,之后把〈1〉类型的广义量词的真值定义推广到任意的广义量词。这样就可以把任意的广义量词添加到一阶逻辑中,从而得到表达力更强的逻辑——广义量词理论。

语言学转向之后的“艺术定义”如何可能?

当代哲学中的语言学转向,不仅宣告了传统形而上学的瓦解,同时也宣告了传统本体论艺术哲学、传统本质主义艺术理论的瓦解——形而上学美学或艺术哲学因之进入其终结阶段。当代艺术哲学应如何在语言学转向之后展开有别于传统的艺术本体论追问?"艺术是什么""艺术能否定义"等艺术哲学基本问题将以怎样的方式呈现出来?在诸多哲学转向中,当代哲学开辟了生存论美学的路径,为后形而上学时代的艺术哲学反思提供了新的向度。

有定存现宾语及其语篇功能

当有定名词短语所表征的已知实体被当成新的实体用以提醒听话人时,或当有定名词短语含有会话含义,或表达唯一可辨认的实体,或已知类型中的新的实例时,或当名词词组为形式上有定、意义上无定的假有定短语时,都可做存现宾语,不存在所谓的有定性效应。有定存现宾语不但能激活后续语篇的重要话题,而且能激活后续语篇的局部话题、语篇参与者、背景或后续事件等信息。

英语存在句中名词词组的确指限制

通常认为英语存在句中名词词组应该为非确指性。人们曾提出各种观点来解释这种确指限制产生的原因。然而大量例句表明 ,只要语境允许 ,所有种类的名词词组都可以用于存在句。至于应该有一种什么样的语义或语境条件 ,目前还没有统一的理论阐释 。

格理论和存在句

格理论是Chomsky生成语法中的一个重要理论,对句子的生成以及句中名词短语的句法分布起着重要作用。但格理论对存在句的解释却不尽人意,虽然先后有过几种解决方案,但仍然是众说纷纭,意见不一。以格理论为指导,结合格传递说和LF词缀说对存在句的一致问题和名词短语的确指问题进行再探讨,解释存在句的主谓一致受制于there和其后的NP,其后的NP大部分情况下是不确指的NP,但有时也有确指的NP。

功能语类的移位性特征与话题/主语优先的类型学差异——以英语there-be存现句和汉语领主属宾句的推导生成为例

英汉语的类型学差异源于功能语类上的移位性特征。英语主语的优先性源于功能语类T上EPP特征的必选性,因此必须先把主格名词置于动词词组之外的论元位置(spec-TP),而汉语话题的优先性则源于功能语类C上EF特征的必选性,因此先要把任何可作话题的有定成分移动到动词词组之外的非论元位置(spec-CP)。EF特征对于英语的功能语类C来说具有可选性,而EPP特征对于汉语的功能语类T来说具有可选性。基于不同探针可以同时探测的主张,汉语领主句内部构造的常态是显性话题+隐性主语,属于多重判断,而英语存现句表达的认知行为单一,只能是隶属简单判断的显性主语句。

我国《反补贴条例》规定的补贴定义质疑

在中国对美国部分汽车和鸡肉产品已经发起"双反调查"(反倾销和反补贴调查的同时进行)的情况下,根据《SCM协定》规定的补贴定义,严格考察我国《反补贴条例》所规定的补贴定义与国际法规定的一致性,指出后者的错误所在,建议将其修正为"补贴是一个国家的政府和公共机构通过提供财政资助为接受者所带来的利益"。

三种特殊There-be结构中的确指限制

There-be存在句中的确指限制要求be后的名词组不能是确指性名词。然而这一规则在类别式存在句、列举式存在句和部分式存在句这三种特殊的There-be结构中受到了挑战。通过对这三类存在句的探究,发现受话者新信息理论能够解释这一语言现象。

基于语料库的存在句主语确指性及其习得研究

关于英语存在句"实义主语"是否具有"确指性限制",争论已久。为了解决这一理论问题并探究确指性限制的二语习得问题,本研究利用语料库实证方法,对2个英美经典语料库和3个中国二语学习者语料库进行检索。根据前2个语料库,发现"确指性限制"总体看并不存在,但人称代词表现出绝对的限制性,且存在句中使用确指性主语的现象并不常见。而根据后3个语料库,一方面,中国学生使用存在句的频率稍微偏高,但与L1使用者并无显著差异。另一方面,中国学生使用确指性主语的频率大大低于L1使用者,P值=0.00,表现出显著的差异性。这些现象是由于语言迁移和回避策略造成的。

政治哲学的“规定”及其当代性

与“什么是哲学”的答案始终悬而未决一样，“什么是政治哲学”这个问题也为学界争论多年而从未有过“公论”。可以明确的是，尽管政治哲学是具有深远历史传统和丰厚思想资源的研究领域，但将这种研究领域命名为政治哲学却是现代学科构建过程中的晚近事件。以现代政治的现实视角对古典政治哲学的回顾和归纳大致界定了政治哲学的本性、研究对象与致思方式，也在古典与现代的贯通中明晰了政治哲学的当代性。可以说，

ICSID仲裁中投资定义的扩张及其反思——兼论中国双重身份的应对

几乎所有的国际投资协定都对投资进行了界定。在国际投资自由化的大背景下,无论是法律文本中的投资定义,还是ICSID仲裁实践中的投资定义,都呈现出扩张趋势。这一扩张反映了给予投资者充分保护的价值取向,但也会招致投资者滥诉。因此,有必要对ICSID仲裁庭对投资定义进行扩张解释这一现象进行合理限制,实现私人投资者与投资东道国间的共赢。我国目前已兼具资本输出国和输入国双重身份,在投资定义扩张已成为主流的趋势下,我国在投资定义文本的应对上应扩大投资的类型,但要进行合理限制;在投资仲裁实践的应对方面,我国要积极利用ICSID仲裁机制,并善用仲裁的替代性机制。

确指限制与语境存在

大多数情况下 ,英语存在句中名词组不能是确指形式 ,也就是要受到“确指限制”。近年来 ,人们从句法、语义、语用各方面对确指限制产生的原因和确指名词在存在句中出现的条件进行了各种分析。本文提出了“语境存在”的概念 ,并以此重新分析了确指名词组在存在句中出现的理据。

违反管辖协议的权利界分、性质认定与合目的性检验

为推进我国违反管辖协议救济体系的进一步完善、厘清违反管辖协议适用损害赔偿救济的法律基础,以实体与程序的区分方法为视角,对违反管辖协议的性质进行了研究。首先,界分违反管辖协议的权利,应当包含当事人所订立的合同和管辖协议本身两个方面。其次,通过判断争议是否会在实质上影响案件结果来认定其性质,应当根据起主导作用的性质,将违反管辖协议认定为特殊的程序问题。最后,这种性质认定与符合法院地的公共利益、实现当事人的正当期待、追求当事人的正义对待等目的相契合。

行政协议的范围界定问题研究

行政协议作为一种更为缓和的行政权行使方式,在政府从“干预型”向“服务型”转化的过程中得到越来越广泛的使用。最高法颁布的《关于审理行政协议案件若干问题的规定》中对行政协议范围界定模糊,使得地方规定中对行政协议认定标准不一致,司法实践中行政协议认定结果有偏差。行政协议的范围界定问题需要立法上依反向排除来限定行政协议的范围、地方上明确行政协议的类型、司法上法官辨明公共服务,各个阶段相互配合来解决。

一种面向工业控制的串口通信控制技术

介绍了串口通信的接口定义、接线标准、通信协议和梅钢热轧喷印控制系统使用串口通信的网络组态、数据交换、信息通信及喷印系统进程软件的功能实现。

英语存在句信息传递再探索——兼与谷化琳先生商榷

本文对谷化琳先生“英语存在句的信息传递探索”(《外国语》1998年第6期)一文提出商榷。讨论主要涉及英语存在句的定义、引导词there的含义、存在句的话语功能以及存在句的主位结构。目的在于从理论上澄清某些概念,并提出我们的一些看法。