谈一种假性疑问祈使句

真性祈使（命令）是为了求取实物或服务,如果说话人使用祈使句并不是为了求取,而是给予信息,就形成了假意祈使.根据反问行为、请求命令行为的语用条件,假性疑问祈使句的形成途径有4种,其作用是为了讲理或提醒.从对方的反应来看,对于假性祈使句而言,可以针对其蕴涵意义进行反应,也可以像对待真性祈使句那样做出反应.     

现代汉语第二人称代词人称泛化探讨

现代汉语第二人称代词称代对象并不稳定，容易引起人称的泛化，主要有单称泛化、对称泛化、任指泛化、虚指泛化四种类型。第二人称代词在句法上与祈使句关系密切，不同人称在构成祈使句的可能性上存在一个明显的层级系统；另外，人称与祈使对象的关系，也是祈使句构成的重要因素。     

“别+A”祈使构式的语法转喻研究

"别+A"祈使构式是汉语中一类特殊的否定祈使句式,本文从语法转喻的视角探讨了该构式的生成机制。研究发现,概念转喻模型"结果代动作"是该祈使结构生成的认知理据,而构式义对形容词词汇义的语义压制是实现概念转喻具体操作的深层动因。"别+A"否定祈使构式形成的认知机制的构建有助于界定进入此构式的形容词的语义特征。     

歧义结构与歧义结构的组合

本文讨论一个歧义结构与另一个歧义结构组合的情况.本文考察了4个歧义因素:词语多义,结构层次不同,结构关系不同,语义关系不同.4个歧义因素的组合矩阵有16种可能性.分析了16种歧义结构与歧义结构的组合可能性的歧义情况.由分析得到结论,歧义结构与歧义结构组合有3种结果:歧义倍加,歧义部分消除,歧义完全消除.导致这三种结果的原因是:语义的全面相容性,语法的全面可组合性;语义的部分相容性,语法的部分可组合性.语义或语法的全面制约性.     

“V＋你的＋N！”句法语义分析

“V+你的+N！”句式是一种具有特殊表义功能的肯定祈使句，语义成分“你的”表层义值虽然虚化但实际蕴涵却很丰富。在该句式中动词“V”必须能形成“你+V+N”的语义结构，“N”在此句式中还隐含着被主观肯定的语义条件。     

BCI-代数中的(s,t]-模糊理想和R-模糊理想

本文在O.G.Xi于BCI-代数中给出模糊理想概念的有成效的工作的基础上,在BCI-代数中又定义了两种新的模糊理想.首先,我们利用模糊点与模糊集的关系定义了(s,t]-模糊理想,(∈,∈Vq)-模糊理想与(|∈-|,|∈-|Vq-)-模糊理想是它的两种特例.其次,我们运用模糊逻辑中的蕴涵算子的概念给出了R-模糊理想的定义,并讨论了R-模糊理想与(s,t]-模糊理想之间的关系.     

俄语祈使语句的常见表达法

祈使语句在俄语中是一种复杂的、多层面的语言现象。很久以来,人们就开始了对它的研究,尤其是对具体祈使类别的划分,更是人们所关注的焦点。根据祈使语句的表达方式、语境和实际应用情况,祈使句可以表达几种含义：命令、请求、邀请、劝说、警告等。本论文主要对祈使语句中表示请求、命令、邀请等意义的语句进行探讨。     

论“蕴涵”

＂蕴涵＂是词的上下一关系中的一个热点问题。基于leech《语义学》中＂蕴涵＂的观点,本文探讨了＂蕴涵＂的定义与特点,分析了双向＂蕴涵＂、部分与整体的关系,对语义＂蕴涵＂视角下的研究和应用进行了研究和探讨。     

谈谈“请求”的表达方式

英语交际用语中,“请求”是常用的意念功能项目之一,它的表达方式繁多。为了便于同学们掌握,本文广义地把“请求”、“邀请”、“建议”一并举释于此,以句子结构的形式加以分类。一、祈使类1.please、just或do结构的祈使句。这是一种较为随便的表达方式,其中do加动词原形的祈使句是一种具有强调色彩的祈使句。如:     

动词体的球态语义学

本文介绍由塔斯基的立体几何导出的球态语义学,并将其应用于自然语言中的动词体现象.球态语义学特别适合应用于英语的进行体.这种方法有以下优点:(i)它扩展了区间式语义,并同时避免了其缺陷,(ii)它解决了未完成体难题,(iii)它的解决方法无需诉诸最终结果策略.逻辑方法一般被认为难于处理自然语言的动词体问题.基丁点的时间结构以及建立在该结构之上的经典普莱尔时态逻辑([18])太弱了.而基于区间的时态语义则缺乏足够的表达力,并且难以解释进行体([4,8]).本文给出一种新的基于球上整体-部分关系概念的模型和时态语义.这种球态语义学建基丁塔斯基1927年引入的立体儿何之上.与基丁点和基丁区间的语义不同,在球态语义学中很多动词体区分都能由统一的逻辑方法刻画.在一个由封闭球构成的论域中,可达关系由相切性概念给出.相应地,我们可定义外切、内切、外径、内径以及同心等基本概念.与区间式语义不同,球是论域的初始概念,球态语义学不是在时间段而是在球中对事件赋值.冈此,仅将时间区问作为初始概念而不承认其端点初始性的问题不复存在.英语中的进行体由球上的连续行动米刻画.行动是非终止的,只要球没有由外切相离.相应地,外切相离刻画动作完成.我们区分在均匀球和非均匀球中发生事什的整体-部分关系.非持续动作视为直径为零的同心球.球态语义学根据动作或执行完成的时刻米定义时间概念,其中不需要时间端点的概念.在保持与基于区间的时间模型类似的基础上,球态语义学暗示了一种关于可能世界的定性概念,并且它有利于解决时间的循环概念问题.     

一个匹配生成更新语义的条件句系统

条件句系统通常用择类语义来刻画,此语义对条件句逻辑来说是标准的.一个择类模型可以用一个三元组(W,f,V)来表示,其中W≠φ,f是从 (W)×W到 (W)中的择类函数,且V是从一命题变元集PV到 (W)中的赋值函数.本文我们提出一个更新语义,它保留择类框架,但V被从PV到 (W) (W)中的一个更新函数代替,因为更新函数能表示动态命题而赋值函数则不能.最后我们证明一个条件句系统相对这样的语义有框架可靠性.     

Innovation in teacher education: towards a critical re-examination

ABSTRACT

In the course of introducing a themed issue of the journal on “Innovation in Teacher Education’, we lay out an argument for re-examining the meaning of innovation in the field, shifting it away from the dominance of the economistic and technological. Acknowledging its status as a ‘buzzword’, we distinguish between purposes for innovation and, in particular, between changes driven by arguments for social mobility and those driven by social justice and equity. Two imperatives for innovation underpinned by arguments for social justice and equity are identified: the concept of a ‘teacher education debt’, built on Ladson-Billings’ more general notion of ‘education debt’; and the humanization of learning, teaching and becoming a teacher as person-centred, relational practices. The final section of the article introduces each of the six papers in the context of the discussion in previous sections about these imperatives for change.     

Web服务组合规范WS-CDL的类型化形式化模型

为了形式化地推理和验证web服务编排规范WS-CDL所描述的web服务组合,提出了一个WS-CDL规范的类型化形式化模型——typed abstract WS-CDL.在typed abstract WS-CDL中,定义了类型和会话的语法、类型判定规则和操作语义;web服务间的协作由会话来描述;利用会话的操作语义能对web服务编排的执行进行推理;利用类型判定规则能检查web服务间交换信息类型一致性并捕获由于类型不一致导致的运行时错误.特别地提出了类型假设集的外延和类型假设集相容性的概念,并定义了类型假设集的合并算法以消除类型假设冲突.在该模型基础上,还定义了从choreography到orchestration的类型化映射规则,通过这组规则,可以从一个给定的web服务choreography得到orchestration桩代码及其类型假设集,因而web服务组合能在choreography和orchestration层被验证.提出的模型被证明具有类型安全性,并且通过一个案例分析说明了所提出的模型是有助于对web服务组合进行推理和验证的.     

从树库的实践看句本位和中心词分析法的生命力

树库是一种带句法标注的语料库,它记录着真实文本中每个句子的句法分析结果——句法树。上世纪90年代,自然语言的自动句法分析再次成为国际计算语言学界关注的焦点,一个重要原因是美国宾州树库PTB的建成。根据树库自动归纳出来的概率型上下文无关语法,使英语的句法分析器在性能上显著超越了先前基于规则和合一运算的句法分析器。世界上为各种自然语言构建的树库,不论是短语结构树库还是依存结构树库,都以句子为基本的描述单位。依存语法是一种词例化语法,它不采用短语结构的语法概念,而直接描写句子中词与词之间的依存关系,即认为句子中任何两个具有依存关系的词中必有一个是中心词(支配词),而另一个是被支配词。因此,依存语法直接体现了一种语言的句法层面和语义层面之间的天然联系。这充分说明,黎锦熙先生在《新著国语文法》中倡导的句本位语法体系和中心词分析法具有鲜活的生命力。它们不仅在我国解放前后的中学语文教学中数十年长盛不衰,而且至今仍在指导着树库的建设和应用。     

Professional Socialization and Mode 2 Knowledge in the Neo-liberal University Prototype

ABSTRACT

The National Association for Kinesiology in Higher Education conference theme – Leading Beyond the Campus: Driving Change as Experts – responds to public policy demands and signals consequential choices. Many choices are illuminated by the prototype for the Neo-liberal university. Essentially, economic development imperatives give rise to accountability requirements to demonstrate the value-added effects of degree programs and research. Two frameworks – one for professional socialization and the other for knowledge production – invite and necessitate outreach/engagement partnerships and networked improvement communities. These collective action formations facilitate professional socialization/education, fuel knowledge generation/sharing/use, and announce a helping discipline which accepts shared accountability for desirable outcomes and societal impact.     

高校教务信息管理系统常见问题及对策分析

高校教务信息管理系统在应用中凸现出可操作性与兼容性、通用性与个性化需求、开放性与安全性、软件更新速度与维护之间的矛盾。因此,我们应从标准化的统一、兼容性的提高、安全性的保障、市场化的服务等方面入手,寻找相关对策,进一步推进教务信息管理系统在信息化管理中的应用和实践。     

循环描述逻辑 TBOX 中的完备格

描述逻辑中含有循环定义的TBox通常使用固定点模型来刻画循环定义的语义,对于固定点模型,不仅需要研究其存在性,还需要研究模型之间的关系,如是否存在最大、最小固定点模型。TBox中所有模型扩展集合上的偏序关系可以诱导出格结构,而且是完备格,现有的研究得出的一些结论主要是针对此完备格。考虑在特定固定点下,概念解释域上的偏序关系同样可以诱导出格。对这种格进行研究得出了一些有益的结论,这些结论为深入研究循环描述逻辑语义提供了新的思路。     

关于单值与集值映象的公共不动点

在单值与集值映象相容或次相容的条件下，给出了完备度量空间中两个单值与两个集值映象的公共不动点定理．     

设备更新时期选择问题的新思考

阐述设备更新的涵义、方式以及更新对象的基础,对目前设备更新时期选择的两类代表性方案进行介绍,并提出它们所存在的问题,从而探求出最佳的设备更新时期选择方案。