图灵机模拟系统的设计与实现

图灵机模型是现代计算机科学的理论基础,学习图灵机理论对于研究计算机软件理论有重要意义。文章分析了在Von Neumann机上仿真图灵机存在的两个问题,并针对单带图灵机模型设计了一个完整的图灵机模拟系统。该模拟系统能够编译并执行图灵机程序,为基于图灵机模型或其扩展模型的理论研究提供实验平台,对构造基于中间语言解释执行的虚拟机提供实践指导。     

双语信息处理方法及原理

旨在阐述双语信息处理方法及其原理。该方法的特征在于人机双方都可按各自的特点来彼此协作或响应,具体含三个基本步骤:首先,从汉英翻译的困难发现问题;接着从跨学科、跨领域和跨行业的角度分析问题;最后,从人机分工与合作的角度解决问题。其结果是,不仅发现了大、小字符串并行的双重形式化进路,而且还发现并验证了广义双语信息处理方法的优点及其所遵循的科学原理。其意义在于:既可从理论上开阔思路,又可在实践中发挥作用。例如可兼容形式信息论的收敛性或封闭性与语义信息论的发散性或开放性;再如可采用算术和语文这样的广义双语信息处理方法驾驭强、弱两派的人工智能观点。不仅可很好地解释信息术语的约束条件,而且还可较为满意地规范不同的信息观和人工智能观的应用约束情景即兼顾人际、人机、机际、机人一系列双语应用的实际语境。     

图灵机的哲学意义

人类在创造人工自然的过程在中,如果不遵循自然规律而一意孤行,其结果必然对天然自然造成级大破坏,人类最终将自食苦果,计算机技术的发展也不例外。     

基于扩展通用图灵机的计算机病毒传染模型

在计算机基础理论模型——图灵机模型的基础上,提出了一种扩展的通用图灵机（EUTM）模型,这种模型突出了计算机病毒的传染特性,极大地简化了计算机病毒传染的形式描述,并根据EUTM模型给出了计算机病毒的形式定义,形式化描述了计算机病毒在单机和多机环境下的传染。最后指出了Fred Cohen关于病毒检测不可判定性定量证明的不足,并利用EUTM模型证明了病毒检测不可判定性定理。     

Pi演算对图灵机的表达

为了研究Pi演算的表达能力,我们试着用它来表达图灵机。研究结果表明,只要对Pi演算进行一定的的扩展,即引入某些函数符号,允许对发送的名字作一定的运算,就可以用Pi演算的规约来表达图灵机的运算过程。     

基本图灵机的Petri网建模研究

该文采用Petri网这种系统描述和分析工具对基本图灵机进行了建模与分析。首先介绍了基本图灵机和Petri网的基本概念与定义,然后给出了一个利用Petri网对基本图灵机进行建模的有效算法,研究了用Petri网为基本图灵机建模的一般方法,说明了该方法的优越性,并最终以一个建模实例验证了该方法的有效性和可行性。     

以机器翻译技术为核心的多语信息处理研究

该文介绍了哈尔滨工业大学教育部-微软语言语音重点实验室在多语信息处理方面的研究进展和成果.首先综述了国内外的研究现状,然后重点介绍在统计机器翻译、机器翻译应用、机器翻译评价、跨语言信息检索等方面的研究工作.     

采用教学辅助软件,开展启发式教学 ——以图像信息处理课为例

随着社会的进步,关于人类认知能力的研究深入开展,建构主义理论是认知领域一项重要的成果。根据建构主义理论,人们不断探索教育教学的新方法,提高教学质量。本文在建构主义理论指导下,结合图像信息处理课的长期教学经验,探索通过设计教学辅助软件开展启发式教学的方法,培养学生自主学习的兴趣与激情,并以"空域锐化滤波"子模块为例,介绍开展启发式教学的方法。结果表明,教学辅助软件有助于引导启发式教学的过程,带领学生深入探究和思考,实现知识内化。     

基于量子逻辑的图灵机及其通用性

基于量子逻辑的自动机理论是量子计算模型的一个重要研究方向.该文研究了基于量子逻辑的图灵机(简称量子图灵机)及其一些变形,给出了包括非确定型量子图灵机l-VTM,确定型量子图灵机l-VDTM以及相应类型的多带量子图灵机,并引入量子图灵机基于深度优先与宽度优先识别语言的两种不同定义方式,证明了这两种定义方式在量子逻辑意义下是不等价的.进一步证明了l-VTM、l-VDTM与相应类型的多带量子图灵机之间的等价性.其次,给出了量子递归可枚举语言及量子递归语言的定义,并给出了二者的层次刻画,证明了l-VTM与l-VDTM不等价,但两者作为量子递归语言的识别器是等价的.最后,文中讨论了基于量子逻辑的通用图灵机的存在性问题,给出了一套合理编码系统,证明了基于量子逻辑的通用图灵机在其所取值的正交模格无限时不存在,而在其所取值的正交模格有限时是存在的.     

K带实时图灵机计算能力与图灵机带数的关系

本文证明了对任意整数k,至少存在一个语言能被k带实时图灵机接受,但不能被(k—1)带实时图灵机所接受,从而证明了k带图灵机计算能力严格强于(k-1)带实时图灵机。     

基于工作研究的信息系统人机交互设计研究

基于"以用户为中心"的设计理念,提出信息系统的"流设计"理念。从用户体验要素出发,将信息系统设计分为五层,分别为战略层、范围层、结构层、框架层和表现层。将工作研究中的思想和工具,包括5W1H,ECRS和程序分析、操作分析、动作分析等应用于信息系统设计逐层,实现人机交互的"流状态"。     

机器学习与网络信息处理

机器学习在网络信息处理中占有重要地位。GHunt是一个采用多项机器学习技术的网络信息智能获取与处理系统。首先,这一系统支持分布式的网络信息并行搜索与内容过滤;其次,采用机器学习技术,包括文本分类、聚类,文本概念抽取,从概念层次理解文本信息;再次,基于概念语义空间有效地统一文本信息管理;最后提供高效的基于概念语义的文本信息检索,以及个性化的专题组织与信息推送服务。文中着重阐述了系统中所用到的机器学习技术。     

Virtually Documented Environments: A New Interface Paradigm for Task-oriented Access to Information

We present a suitable virtually documented environment system providing the user with high level interaction possibilities. The system is dedicated to applications where the operator needs to have his hands free in order to access information, carry out measurements and/or operate on a device (e.g. maintenance, instruction). The system merges video images acquired through a head-mounted video camera with synthetic data (multimedia documents including CAD models and text) and presents these merged images to the operator. Registration techniques allow the operator to visualise information properly correlated to the real world: this is an essential aspect in order to achieve a feeling of presence in a real environment. We increase the sense of immersion through high level Human-Computer Interaction (HCI) allowing hands-free access to information through vocal commands as well as multimodal interaction associating speech and gesture. In this way, the user can access information and manipulate it in a very natural manner. We discuss the construction of the documentation system and the requested functionalities which led to the system architecture.     

浅谈对中文信息处理的认识

中文信息处理是一个未来具有广阔前景的科研领域。从中文信息处理的研究内容、主流技术等几个方面浅谈了对计算机中文信息处理的认识。     

普通高校《管理信息系统》课程双语教学方法探讨

从教学模式选取、教学内容遴选和教学组织等方面探讨普通高校进行《管理信息系统》课程双语教学时的具体实施方法,介绍教学中的经验,并给出普通高校双语教学的几点建议。     

Tolerant Information Retrieval with Backpropagation Networks

Neural networks can learn from human decisions and preferences. Especially in human-computer interaction, adaptation to the behaviour and expectations of the user is necessary. In information retrieval, an important area within human-computer interaction, expectations are difficult to meet. The inherently vague nature of information retrieval has led to the application of vague processing techniques. Neural networks seem to have great potential to model the cognitive processes involved more appropriately. Current models based on neural networks and their implications for human-computer interaction are analysed. COSIMIR (Cognitive Similarity Learning in Information Retrieval), an innovative model integrating human knowledge into the core of the retrieval process, is presented. It applies backpropagation to information retrieval, integrating human-centred and soft and tolerant computing into the core of the retrieval process. A further backpropagation model, the transformation network for heterogeneous data sources, is discussed. Empirical evaluations have provided promising results.     

产品方案创新的信息处理与知识发掘技术

产品方案创新的信息处理与知识发掘就是根据方案创新的需要 ,利用信息建模技术 ,在信息处理的基础上进行知识发掘 ,以利于基于知识的CAD技术在产品方案创新中的运用 ,最终达到用发掘出的知识来支持产品方案的概念设计、初步设计和详细设计等整个产品方案的创新过程。结合国内外研究现状 ,对产品方案创新的信息处理与知识发掘技术进行阐述与总结 ,并对应用前景进行展望