Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names

Bigraphs have been introduced with the aim to provide a topographical meta-model for mobile, distributed agents that can manipulate their own linkages and nested locations, generalising both characteristics of the π-calculus and the Mobile Ambients calculus. We give the first bigraphical presentation of a non-linear, higher-order process calculus with nested locations, non-linear active process mobility, and local names, the calculus of Higher-Order Mobile Embedded Resources (Homer). The presentation is based on Milner's recent presentation of the λ-calculus in local bigraphs. The combination of non-linear active process mobility and local names requires a new definition of parametric reaction rules and a representation of the location of names. We suggest localised bigraphs as a generalisation of local bigraphs in which links can be further localised.     

大学缩略名语言学研究

选取缩略语中特殊的一类现象——大学缩略名,采用共时研究的方法,总结出提缩法、截除法和截缩法三种构造大学缩略名的方法,重点提出大学名缩略的过程受到核义原则、最简化原则、易联想原则和区别性原则的制约,并根据这些原则发现和总结出大学缩略名存在缩略同名、缩略不统一和缩略不合理等问题,并据此提出若干可操作性缩略建议。     

SVM与规则相结合的中文地名自动识别

在分析中文文本中地名特点的基础上,提出了一种支持向量机(SVM)与规则相结合的中文地名自动识别方法:按字抽取特征向量的属性,然后将这些属性转换成二进制向量并建立训练集,采用多项式Kernel函数,得到SVM识别地名的机器学习模型;通过对错误识别结果的分析,构建规则库对识别结果进行后处理,弥补了机器学习模型获取知识不够全面导致召回率偏低的不足。实验表明,用SVM与规则相结合的机制识别中文文本中的地名是有效的:系统开式召回率、精确率和F-值分别达89.57%、93.52%和91.50%。     

翻译文学的语言品质与发展方向

谢天振的《译介学》可被视为中国学者对翻译文学研究的先锋之作,它奠定了翻译文学以一种独立的文学形式被接纳为民族文学的地位,但对翻译文本应当具备怎样的品质才够资格被纳入翻译文学的范畴,翻译文学被接受为民族文学后的未来发展方向是什么,探讨甚少。本文围绕这两个问题对翻译文学进行探讨,希望能为翻译文学的界定提供一个新的视角。     

语义三角理论视角下的物体名称翻译

从语义三角理论出发,通过对翻译过程中译者的具体思维过程和译文读者的阅读过程的分析,指出物体名称翻译中的误区,并且从词汇的三个层次分析了不同文化背景中具体物体名称的翻译.指出在翻译过程中,译者需要站在译文读者的角度,排除由于文化差异引起的误解和不解,实现译文信息的转达.     

Translation of article critical to formation of functionalist psychology now online.

Lange’s original article has long been inaccessible to English-speaking readers because it was published in German in Wundt’s Philosophische Studien. Now, however, David D. Lee of Kleio Academic Services in Amsterdam (http://www.kleioacademicservices.eu/) has produced a new translation of this important article, under the title “New Experiments on the Process of the Simple Reaction to Sensory Impressions.” The current article goes into more detail about the new access to old journal articles that are being translated and put online for access. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

从“萨斯”看译名的英汉翻译

中国的化体系和汉语言体系同西不同，是一种比较重“意”的体系，中的目的语读在潜意识里总是要求从事物当中寻求一定的意义。因此，除少数情况外，只有给译名赋予一定的“意”才能使其在汉语言中完成其语言功能，才能在汉化中立足。通过分析译名汉译的不同方式和适宜采用音译或零翻译的各种特殊情况便可看出在绝大多数情况下，译名的汉译应当使用意译和兼译的方式而不宜采用“不译”(即单纯的音译或零翻译)的方式。     

我国街道名称译写问题研究

针对我国不少城市街道名称译写不统一、不规范的现实,本文以天津市为个案,首先介绍了国家主权和单一罗马化的发展关系;基于此,进而列举了我国有关明确街道名称“译写”的各种法规,并结合理论（“名从主人”）和实践（国际惯例和有效省力）两个方面的思考,再而强调贯彻我国道路名称单一罗马化译写的必要性和紧迫性。     

Nominal logic, a first order theory of names and binding

This paper formalises within first-order logic some common practices in computer science to do with representing and reasoning about syntactical structures involving lexically scoped binding constructs. It introduces Nominal Logic, a version of first-order many-sorted logic with equality containing primitives for renaming via name-swapping, for freshness of names, and for name-binding. Its axioms express properties of these constructs satisfied by the FM-sets model of syntax involving binding, which was recently introduced by the author and M.J. Gabbay and makes use of the Fraenkel–Mostowski permutation model of set theory. Nominal Logic serves as a vehicle for making two general points. First, name-swapping has much nicer logical properties than more general, non-bijective forms of renaming while at the same time providing a sufficient foundation for a theory of structural induction/recursion for syntax modulo α-equivalence. Secondly, it is useful for the practice of operational semantics to make explicit the equivariance property of assertions about syntax – namely that their validity is invariant under name-swapping.     

Windows 2000远程关机管理

讨论了利用Windows NT自身功能，不利用其他任何软件进行远程关机的问题，对连接的可能出现的问题进行了探讨。解释了局域网内的计算机如何才能连接的上，什么情况下才要求输入用户名和密码的问题。