离散事件控制系统规则化描述方法的研究

离散事件控制系统(DECS)是离散事件系统(DES)在控制领域的一个应用类别,具有并发性、多值性、时序性和需求易变等特点。文章分析了现有的各类逻辑层DES建模方法在DECS建模和分析方面存在的缺陷,在此基础上,运用专家系统中的规则表达方法和递阶DECS简约技术,从逻辑层角度,建立了一套规范、简洁、贴近自然语言和易于理解的DECS规则化描述方法。     

基于UML的面向对象设计

UML作为一种面向对象的建模方法,以活动图模型来表达业务模型,以概念层的对象图、状态图及交互图模型表达系统的结构逻辑及行为逻辑,以用例图表达系统需求,讨论了需求分析及其建模的过程概念。一方面可方便地同大多数面向对象的设计语言链接;另一方面可运用到除软件设计以外的其他方面,如金融商务、信息系统、高校开放式学籍管理系统、甚至是面向对象设计语言的开发等。     

从两种变项及其差异看两种逻辑的本质

从传统逻辑变项的特征看,传统逻辑语言是自然语言的语法语言,所以传统逻辑本质上是自然语言的形式逻辑。传统逻辑只注重对自然语言的语法分析,而忽视对自然语言的语义分析,这就不能不产生其所特有的缺陷:一是拘泥于自然语言命题的表层形式,二是命题形式的语义不清。从数理逻辑变项的特征看,数理逻辑语言只是表意符号语言,而不是自然语言的语法语言,所以数理逻辑本质上只是符号逻辑,而不是自然语言的形式逻辑:首先,数理逻辑最多只能用来解释自然语言的逻辑涵义,而不能用来解释自然语言的形式结构;其次,即使是对自然语言作语义解释,数理逻辑也是难以胜任的。     

基于自然语言理解的机械产品需求分析及用例转换研究

本文论述了基于自然语言理解的机械产品需求分析基本模型和用例转换解决方案。在自然语言理解的基础上,通过对ICTCLAS分词系统的优化,利用计算机技术将需求分解为用例元,并对用例元进行分析,以获得产品需求信息和准则。     

相邻/相似视角下的移就话语生成机制研究

认知语言学为话语理解与生成研究提供了新的理论框架,认为心理模型的运用是人类进行语用推理的基本形式,在自然语言的意义建构和理解过程中起着至关重要的作用。本文在认知语言学的＂自主-依存分析框架＂内,以相邻/相似关系为中介分析语言运用中的移就话语现象,阐释移就话语生成的机制,并认为移就话语生成是人们对客观事物的常规关系（相邻/相似关系）的认知加工、心理建模的结果。     

基于RUP的UML在课程登记系统中的应用分析研究

文章探讨了基于RUP的UML进行面向对象的系统分析及设计方法,提出了一种实用的基于UML的需求分析及其建模方法,在获取系统的实际需求的基础上以应用例图表达系统需求并构建了需求模型;在此基础上,根据需求模型进行系统分析和设计,以活动图模型来表达业务模型,以概念层的对象图、状态图及交互图模型表达系统的结构逻辑及行为逻辑,由此完成了包括系统的分析建模、设计建模以及实施建模过程;讨论了需求分析及其建模的过程概念,并以课程登记系统模型作为案例示范。     

论弗雷格的概念

弗雷格将数学中的函数概念扩展到自然语言中并且称之为概念,从而在概念的基础上开启了他的逻辑主义事业。在数学中,函数有着严格的定义,但是,在自然语言中如何来理解弗雷格的函数呢?通过将数学中的函数与自然语言的概念进行比较,分析了弗雷格概念的逻辑结构以及概念的前域和后域,并概述了弗雷格概念的哲学意义。     

对机器自然语言理解本质的认识

由思维与语言的关系角度出发，从自然语言理解的思维过程、自然语言本身和逻辑作用三个方面，探讨了人与机器自然语言理解之异同，分析了人和机器自然语言理解的特点、机器自然语言理解的定性准则，尝试性地说明了机器自然语言理解的本质。     

形式化面向对象方法与并发系统的建模

将统一建模语言（UML）的面向对象可视化技术与代数规范语言CafeOBJ的形式描述相结合,对冗余磁盘阵列（RAID）系统中的并发特性进行建模、分析和规范。提供了RAID系统的清晰结构,以此来弥补形式化规范语言的不足,规范软件设计过程,保证程序的正确性。     

HNC知识处理研究院在北京中关村科技园区成立

ＨＮＣ研究院（工商注册名称为 :北京大正语言知识处理研究院）由中国科学院声学研究所和北京麦纳科技发展有限公司合资组建 ,是一家高科技研发机构。研究院的中心目标是 ,以中国科学院雄厚的技术力量为后盾 ,以创新的ＨＮＣ理论和技术为基础 ,致力于自然语言的计算机处理 ,研究和开发自然语言理解的核心技术 ,建立语言知识处理基地 ,开发语言理解的应用系统 ,提供智能化知识服务及其解决方案 ,其中包括机器翻译、语言信息搜索和咨询、情报发掘、网络信息过滤、电子客户服务、电子文本校对等。ＨＮＣ是ＨｉｅｒａｒｃｈｉｃａｌＮｅｔｗｏｒ…