从汉语句子中提取逻辑函子的一种方法

文章介绍一种从汉语语句中提取逻辑函子的方法.该方法基于汉语配价理论,用组合逻辑方法将动词结构表示成逻辑函子,解决了多个NP竞争一个论元位置的问题.该方法体现了如何计算汉语语句语义的思想.     

类型化π演算的双代数语义

证明互模拟同余通常冗长且易出错.双代数为解决该问题提供统一的框架:若行为函子保持弱回拉,共代数范畴到基范畴的忘却函子有右伴函子,则最大共代数互模拟同余.但已有双代数理论建模类型化π演算存在以下困难:行为函子不保持弱回拉,进程互模拟与共代数互模拟不一致.为解决以上两个问题,用稠密拓扑导出布尔范畴作为语义范畴,令行为函子保持弱回拉;定义一类行为函子,使最大进程互模拟与最大共代数互模拟一致,而迟语义和早语义对应的行为函子属于该类函子.进而给出π演算最大进程互模拟同余的双代数模型,为进一步应用双代数框架对其他复杂演算建模奠定了理论基础.     

抽象数据类型的双代数结构及其计算

程序语言中的许多抽象数据类型包含了可递归定义的语法构造和可共递归定义的动态行为特征,因此单纯利用代数或共代数难以给出完整的描述.双代数是同一载体集上的代数和共代数对,提供了一种从范畴论的角度探讨抽象数据类型上的语法构造和动态行为关系及性质的可行途径.给出抽象数据类型的双代数结构,并利用代数函子对共代数函子的分配律描述了语法构造与动态行为之间的自然转换关系;利用分配律对共代数和代数函子进行函子化提升,给出一种构造初始代数(或终结共代数)上的共代数(或代数)结构,并将其提升为初始(或终结)λ-双代数的方法.在此基础上,进一步将函子化提升应用于各种递归(包括迭代和原始递归)及共递归函数(包括共迭代和原始共递归)的定义及计算中,并给出相应的计算定律.     

混合值逻辑控制系统的状态空间方法

对于混合值逻辑控制系统,提出确定一个正则子空间的补空间的充分必要条件.对于正则子空间已有的判别 准则,给出新的证明,并提出构造补空间的新方法.对于子空间,设计计算其友好子空间的新算法,引入没有正则性假 设的不变子空间的概念,获得判别不变子空间的一系列充分必要条件.     

新蚁群算法在烷基酚类化合物的QSAR中变量选择的研究

采用最子化学从头算方法在HF/6-311+G(d)水平上计算8种烷基酚类化合物的分子结构描述符,选用修正过的CP统计量为目标函和新蚁群优化算法,于烷基酚类化合物的定量结构--活性相关研究中的变量选择,建立烷基酚类化合物的生物降解速率常数与其量化参数之间的QSAR模型.结果表明,新蚁群优化算法用于定量构效中的变量选择比较简单,而且需要调节的参数少,是变量选择的有用方法,且应用量子化学结构参数建模的相关系数R=0.994,与文献中R=0.982相比相关性更好.     

PB—700计算机在测定金属催化剂表面活性集团性质中的应用

一、活性集团中原子数目的计算方法根据 Haugen 和 Walson 关于表面反应途径的假设,多活性中心反应的速率常数可以表示为:k=k~*S~(m-1)L (1)其中 k~*相当于一个中心参与反应时的速率常数,L 为活性中心总数,S 为距离合适的相邻位置上的活性中心数目,m 为参与反应的表面活性集团中原子数目,L 和 S 可以表示为:     

Fibrations理论在索引归纳数据类型不确定语义中的应用

应用Fibrations理论对索引归纳数据类型的不确定语义计算进行了研究。论证了索引范畴的构造,提出了索引Fibration及其真值函子与内涵函子,建立了索引范畴上自函子的一种保持真值的提升,提出了部分F-代数的定义,并应用折叠函数等工具抽象描述了索引归纳数据类型不确定语义计算,辅以实例进行了简要分析,最后通过相关工作的论述指出了Fibrations理论研究方法的优势。     

基于范畴计算的多目标语言程序生成架构

提出了一种基于范畴论的多目标语言程序生成架构,程序元素的元类型在程序元模型范畴中定义,常用的软件开发模式由元模型实例组成并带有可配置的参数,模式到可执行语言的表达式、函数、类型等映射由范畴函子统一定义。在实际应用开发时,通过函子计算将抽象模式精化到不同的目标语言程序范畴。各种语言的精化计算方式具有统一的契约规范,从而支持高度的灵活性和重用度水平。     

归纳数据类型的范畴论方法

归纳数据类型是类型论研究的重要分支,传统的数理逻辑或代数方法侧重于描述归纳数据类型的有限语法构造,在语义性质与归纳规则的分析与设计方面存在一定的不足.基于范畴论的方法,在集合范畴的框架内给出谓词的形式化定义,分析谓词范畴与代数范畴的构成与性质,并探讨集合范畴上自函子到谓词范畴上自函子的提升,最后利用伴随函子及其伴随性质深入分析了归纳数据类型具有普适意义的归纳规则.     

序半群范畴的反射子范畴

首先讨论了序半群范畴和Quantale范畴的若干性质以及它们之间的关系,其次证明了Quantale范畴是序半群范畴的反射子范畴,最后得到了由Quantale范畴到序半群范畴的含入函子的余伴随函子。     

一种带约束的多态类型系统

本文讨论了一种带约束的多态类型系统,引入了约束类型,约束与全称量化的结合使得参数化多态函数的应用更安全,同时也为重工的表示和实现提供了一个新的途径,提高了类型表示的抽象度。本文讨论的类型系统具有两个不同层次的类型结构,约束的引入与肖去是不同层次上的操作,最后,本文人出了类型检查算法Ｗｒ,并证明了此算法中约束的可满足性是可判定的。     

ND-P0lya中协变-反变问题的处理方法

协变－反变问题讨论面向对象语言中继承机制和多态计算的关系,晃当前面向对象程序设计语言中的一个重要的理论问题。反变的方法重定义不符合思维习惯,一盘采用协变精化的设计方法。但抛弃反变后的面向对象程序设计,在多态计算中会产生类型问题。针对这一问题,该文基于Ｃａｓｔａｇｎａ的重载函数模型,提出处理协变相关类型问题的类型系统和计算模型,并在ＮＤ－Ｐｏｌｙａ语言及系统中具体实现。该方法可以应用到其它协变面向对     

Image restoration techniques based on fuzzy neural networks

By establishing some suitable partitions of input and output spaces, a novel fuzzy neural network (FNN) which is called selection type FNN is developed. Such a system is a multilayer feedforward neural network, which can be a universal approximator with maximum norm. Based on a family of fuzzy inference rules that are of real senses, a simple and useful inference type FNN is constructed. As a result, the fusion of selection type FNN and inference type FNN results in a novel filter-FNN filter. It is simple in structure. And also it is convenient to design the learning algorithm for structural parameters. Further, FNN filter can efficiently suppress impulse noise superimposed on image and preserve fine image structure, simultaneously. Some examples are simulated to confirm the advantages of FNN filter over other filters, such as median filter and adaptive weighted fuzzy mean (AWFM) filter and so on, in suppression of noises and preservation of image structure.     

ITT系统的一些性质

作者给出关于不交并类型的新的消去规则，并且证明新规则与原先的消去规则等价。在本文中，Ｎｋ被定义成类型Ｎ的子集，以及Ｎｋ的所有规则被导出，这里ｋ≥１。文中对Ｎ的分离性也作了详细的讨论。     

CLS到IDL的语言类型系统映射研究

NET框架和CORBA系统在集成互操作中,必然要求语言的映射。语言映射中首要和基础的工作是双方的类型系统的映射。在文中,对．NET框架中的CLS语言到OMGIDL语言的映射必要性、类型系统映射的分类以及与实例转换的区分进行了分析,研究了具体的CTS类型映射到IDL类型,对于映射中遇到的问题给出了处理方法,从而定义了可以被映射的CLS的子集,并指出了在语言映射需要进一步研究的问题。     

遥感在农业地质背景调查研究中的应用

本文以遥感技术为主要手段,综合分析区域基础地质、区域化探、区域土壤和农林等多学科信息,提取农业地质背景,进而划分农业地质类型。为完善农业区划,调整农作物种植布局,开发土地潜力,给农业优质高产提供科学依据。     

代数规范描述及其语义的研究

用代数规范描述来描述抽象数据类型的基本思想是用它的标记和特征性质来说明抽象数据类型,它们的性质可用多类逻辑形式来表示,通常为受限的一价逻辑,例如等式     

一种新型的对象类型规范语言

本文介绍了一种新型的对象类型规范语言，它融汇了一些关于对象类型理论的最新成果，并给出了基于该语言的子类型概念。     

机器语言的类型化及代码的安全检查

根据类型系统思想，为Intel／x86体系结构的机器语言重新定义了类型表达式并建立一套类型系统，机器语言代码虽然是一种无类型的二进制编码，但其类型信息被隐含在指令的操作语义中，利用建立在类型系统基础之上的类型推理算法可以静态地推理机器代码的安全性，由于所讨论的机器语言包含了跳转、函数调用和返回等主要指令，因此，这种静态检查方法可广泛应用于其他体系结构的低级语言代码的检查中。     

VC++中集合类的使用

结合实例详细介绍了VC ++中表集合类和数组集合类的使用方法和步骤。