The Construction of Minimal DNA Expressions

We describe a formal language/notation for DNA molecules that may contain nicks and gaps. The elements of the language, DNA expressions, denote formal DNA molecules. Different DNA expressions may denote the same formal DNA molecule. We analyse the shortest DNA expressions denoting a given formal DNA molecule. We determine lower bounds on their lengths and explain how we construct these minimal DNA expressions.     

Review of Forms of feeling: The heart of psychotherapy.

Reviews the book, Forms of feeling: The heart of psychotherapy by Robert F. Hobson. Robert Hobson calls this book his autobiography as a therapist. As such it provides interesting glimpses into some of his more meaningful sessions with clients, illuminating his approach to therapy and enabling the reader to see a master therapist at work. Hobson also presents a new method of therapy, which he calls the conversational model. On this level, his book is considerably less satisfying. Hobson succinctly outlines the general principles of the conversational model and basic skills required of the therapist, but in so doing offers essentially little new information, however valid the points may be. According to Hobson, the conversational model is designed for clients whose problems arise from disturbances in their significant relationships, and those problems are best solved not by talking about them but by being in a relationship such as therapy that provides "a special kind of friendship." Hobson puts great stress on the use of metaphorical language in therapy and learning how to use the language of art as well as of science. He relies heavily on literary quotations, prefacing each section with one or two, and liberally interspersing many more within the pages of text. The net result is not so much illuminating as it is wearisome, and the general tone is slightly pretentious and, when Hobson addresses his "dear Reader" directly, somewhat condescending. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Simultaneous translation of lectures and speeches

With increasing globalization, communication across language and cultural boundaries is becoming an essential requirement of doing business, delivering education, and providing public services. Due to the considerable cost of human translation services, only a small fraction of text documents and an even smaller percentage of spoken encounters, such as international meetings and conferences, are translated, with most resorting to the use of a common language (e.g. English) or not taking place at all. Technology may provide a potentially revolutionary way out if real-time, domain-independent, simultaneous speech translation can be realized. In this paper, we present a simultaneous speech translation system based on statistical recognition and translation technology. We discuss the technology, various system improvements and propose mechanisms for user-friendly delivery of the result. Over extensive component and end-to-end system evaluations and comparisons with human translation performance, we conclude that machines can already deliver comprehensible simultaneous translation output. Moreover, while machine performance is affected by recognition errors (and thus can be improved), human performance is limited by the cognitive challenge of performing the task in real time.     

英语谚语的修辞和汉译特点

从语音、语义、结构3个方面分析了英语谚语的语言修辞特点,在此基础上,提出了等值、直译、意译、直意结合等4种汉译方法。另外,还提及了引申、对衬、格言、借用等4种具体翻译技巧。     

Reasoning, Integration, Inference Alteration, and Text Comprehension.

This paper reports how the study of formal logical reasoning provides insight into more everyday types of reasoning, such as that involved in language comprehension. Both of these types of cognition are thought to involve the use of mental models, and so it is reasonable to think that the cognitive operations needed for formal logical reasoning would be involved in everyday reasoning as well. We focused on three aspects of formal reasoning: (a) the integration of information into a common mental model, (b) the drawing of inferences, and (c) the coordination of alternative possibilities. We were able to show that the integration and inference components were related to narrative comprehension processes, but the coordination of alternative models was not. Thus, there is evidence for some overlap in the mental processes used in formal and everyday reasoning. This further justifies the study of formal logical reasoning as a window into certain types of everyday reasoning. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

C51嵌套汇编子程序在阻抗测试仪研制中的应用

C51嵌套汇编子程序，充分发挥了两种语言自的优势，介绍了C51调用汇编子程序的接品规则，并通过阻抗测试仪程序开发的例子予以详细说明。     

MatLab在提升机性能测试数据自动分析中的应用

介绍了运用MatLab工具分析提升机性能测试数据的方法。     

CETRAN系统中的英语词汇结构与功能

本文介绍了汉英机器翻译系统中从中间媒介语言生成英语的生成系统的词汇结构和功能，描述了生成系统各个层次之间的转换原理。为了说明清楚，在叙述中注意了列举从中间媒介中间媒介语言到目标语句的生成实例。     

Have it your way and mine: The theory of styles

Olsen is right to note what can be done with a good theory and the right machine. His particular theory, however, is not transferable to literary studies. If we need a new model, I would suggest that cognitive science can provide a few interesting ones. I have begun to do some work based on David Marr's VISION, in which he hypothesizes two levels of processing within the visual module. My speculation has been on the parallel existence of distinguishable levels of conceptual or language organization which would correspond to the viewer and object centered perspectives Marr describes for vision. I propose to explore the possibility that we may find here the model for the existence of stylistic individualism within overarching historical stylistic generalizations, and even more, that this may be what feminists are searching for when they try to resist being coopted by the masculine language of objectivity. Ellen Spolsky teaches English literature and literary theory and is the Director of the Lechter Institute for Literary Research at Bar-Ilan University, Israel. Her latest book is Gaps in Nature: Literary Interpretation and the Modular Mind(SUNY Press, 1993).     

多功能滚齿机的数字控制系统

本文叙述了以ＳＴＤＰＣ／ＸＴ（或ＰＣ／ＡＴ）机为主要核心构成的滚齿机数字控制系统的结构，软件设计和特点，系统采用混合语言编程，极大地提高了软件设计的灵活性与快速性，也分析了ＣＮＣ系统的加工过程，提出了加工中的软件预处理控制方法，并给出了轴伺服控制的并行算法分析与实现。