检索结果-南通市图书馆

江西农业大学学报 2001年第5期23卷 90-92页

作者：毛红梅南昌航空工业学院计算机系江西南昌330034

任何工程学科的发展都必须建立在坚实的理论基础之上 ,软件工程也不便外。软件工程的理论基础难以应用于实践是迫切需要解决的问题。本文将分析问题产生的原因、解决的方法 ;

关键词：软件工程形式化方法

在线全文

学校读者我要写书评

暂无评论

论推理的实质、作用和条件

重庆师范大学学报（哲学社会科学版） 1995年第2期 58-64页

作者：任达远

论推理的实质、作用和条件任达远本文主要是以马克思主义认识论的基本观点分析普通逻辑有关推理的一些问题。一、推理的实质什么是推理，一般下定义是：“推理是关于从已知判断推出未知判断的思维形式。”这是从思维的一定方面来界定的... 详细信息

论推理的实质、作用和条件任达远本文主要是以马克思主义认识论的基本观点分析普通逻辑有关推理的一些问题。一、推理的实质什么是推理，一般下定义是：“推理是关于从已知判断推出未知判断的思维形式。”这是从思维的一定方面来界定的。但是，从普通逻辑出发，一个概念的...

关键词：推理形式普通逻辑思维形式的相对独立性辩证逻辑演绎推理归纳推理形式化方法认识过程认识论形式逻辑

在线全文

学校读者我要写书评

暂无评论

现代西方哲学的时代性和它对思维方式的探索

福建师范大学学报（哲学社会科学版） 1989年第3期 6-11,25页

作者：戚文藻

一1、1.正如洪谦教授所指出的:“现代西方哲学在中国的情形有了改变,它不仅是批判的对象同时也还有研究的价值。”(见《光明日报》1988年5月30日,中国大百科全书哲学卷编委、现代西方哲学编写组主编洪谦《确立现代西方哲学的地位》)

关键词：思维方式时代精神马克思主义哲学现代西方哲学社会生活公理方法现时代社会意识形态形式化方法形式逻辑

在线全文

学校读者我要写书评

暂无评论

时间的形式化表示

中文信息学报 1988年第3期 11-19页

作者：朱盛桓中南范师大学外语系

本文讨论时间词语的形式化表示,提出表示所需的数学模型 Ptij,及四个主要的时间范畴:时段、时序、时态、时体及若干次范畴。各范畴的表示在 ti与与tj 的比较中取值。这一研究的价值是:一、有助于中文时间词语编码加工的研究二、有助于... 详细信息

本文讨论时间词语的形式化表示,提出表示所需的数学模型 Ptij,及四个主要的时间范畴:时段、时序、时态、时体及若干次范畴。各范畴的表示在 ti与与tj 的比较中取值。这一研究的价值是:一、有助于中文时间词语编码加工的研究二、有助于时间词语机器翻译的研究;和三、有助于深化对时间性质的研究。

关键词：形式化表示次范畴形式化方法参照点计算语言学文在汉语句子编码法数学模型做早操

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

相对论的创立与数学形式的能动作用

湖北师范学院学报（哲学社会科学版） 1994年第5期14卷 47-52页

作者：杨耀坤

关于相对论的创立过程,人们发表了许许多多各具特色的见解,有将相对论的创立归结为对实验事实的概括(传统经验主义的信奉者),有认为相对论的建立是想象、猜测、直觉的产物(证伪主义者波普尔、历史主义者库恩等),有将相对论的产生看作是... 详细信息

关于相对论的创立过程,人们发表了许许多多各具特色的见解,有将相对论的创立归结为对实验事实的概括(传统经验主义的信奉者),有认为相对论的建立是想象、猜测、直觉的产物(证伪主义者波普尔、历史主义者库恩等),有将相对论的产生看作是统一性、对称性、简单性等哲学、科学美学以及方法论的原则、准则指引的结果(例如G·霍尔顿).这些看法虽说有失偏颇,但却都不能说全错,因为它们确实抓住了相对论创立过程中起作用的某些因素.而有的人,例如李春泰同志将相对论的创立归结为形式化的产物,其不能令人满意之处却不在于它有失偏颇,而在于它对某些基本概念和理论界限的理解和把握有所失误.笔者想对数学形式在相对论创立过程中所起作用问题作些探讨,并对李文的见解捎带作点分析.

关键词：数学形式证伪主义波普尔霍尔顿公理化理论创立过程形式化方法实验事实信奉者经验事实

在线全文

学校读者我要写书评

暂无评论

电子支付也需要协议

互联网天地 2007年第2期 47-47页

作者：叶凯

电子支付协议是一种特殊的安全协议，利用形式化方法进行电子支付协议分析是电子支付研究的一个重要方面。电子支付协议结构较认证协议远为复杂，协议执行不一定是顺序结构，有时含有条件分支或循环等非顺序执行。一个电子交易协议还可... 详细信息

电子支付协议是一种特殊的安全协议，利用形式化方法进行电子支付协议分析是电子支付研究的一个重要方面。电子支付协议结构较认证协议远为复杂，协议执行不一定是顺序结构，有时含有条件分支或循环等非顺序执行。一个电子交易协议还可能是若干子协议的复合体。因此，

关键词：电子支付协议安全协议形式化方法协议分析认证协议协议结构顺序结构条件分支

在线全文

学校读者我要写书评

暂无评论

大系统控制论模型化

控制与决策 1988年第4期 1-4页

作者：薜玉炜涂序彦中科院自动化所北京钢铁学院

兼有数学模型和知识模型、采用模块化构造的大系统控制论模型已被证明适于复杂社会经济系统的分析和辅助决策。本文主要讨论这种模型的形式化构造以及形式化描述。

关键词：大系统控制论社会经济系统形式化方法数学模型辅助决策建模基础知识模型形式化语言原子公式数学方法

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

论概念的性质及其应用

重庆师范大学学报（哲学社会科学版） 1990年第2期 10-15,53页

作者：任达远

辩证唯物主义认为,“概念来自本质,本质来自存在”,概念是“对客观事物的全体、本质和内部联系的反映”。逻辑理论的研究应该坚持上述基本观点,不过,对具体逻辑学科的特点要有具体的说明。本文着重考察概念的一般性质及其应用中的一些... 详细信息

辩证唯物主义认为,“概念来自本质,本质来自存在”,概念是“对客观事物的全体、本质和内部联系的反映”。逻辑理论的研究应该坚持上述基本观点,不过,对具体逻辑学科的特点要有具体的说明。本文着重考察概念的一般性质及其应用中的一些问题。

关键词：概念理论特有属性形式化方法逻辑错误逻辑理论对象性语法研究荣誉主席逻辑意义汉语语法体系

在线全文

学校读者我要写书评

暂无评论

泛系与语言的一些研究

天水师范学院学报 1991年第4期11卷 62-66页

作者：吴小璐武汉大学

本文通过泛系与语言的生成性、工具性、跨域性、网联性等共性来重新介绍泛系方法论的一种框架,论述了泛系范畴的生成,泛系观的概貌与核心,同时具体地结合语言学介绍了一些泛系理法:三变法、简化法、活治法、泛系法、泛系聚类、译模拟、... 详细信息

本文通过泛系与语言的生成性、工具性、跨域性、网联性等共性来重新介绍泛系方法论的一种框架,论述了泛系范畴的生成,泛系观的概貌与核心,同时具体地结合语言学介绍了一些泛系理法:三变法、简化法、活治法、泛系法、泛系聚类、译模拟、五转法、再现法、六宏法、四元术、集散显生、扩形显生等.此外,本文从泛系观论述了泛语的研究、语言形式化以及翻译、理解和外语教学的一些机理.

关键词：泛系方法论四元术网联形式化方法外语教学跨域简化法广义系统泛系理论短语结构规则

基于ASN.1的OSI应用层协议的描述与开发

在线全文

学校读者我要写书评

暂无评论

通信技术 1990年第3期23卷 38-41,16页

作者：戴珂机电部五十四所

介绍一种采用形式化描述语言ASN.1对应用层协议进行描述与开发的方法。协议的ASN.1描述具有简洁、可读性好、精确和无二义性等特点。在基于ASN.1的开发环境下对应用层协议的开发具有高效、可靠和易于维护等优点,解决了目前OSI应用层协... 详细信息

介绍一种采用形式化描述语言ASN.1对应用层协议进行描述与开发的方法。协议的ASN.1描述具有简洁、可读性好、精确和无二义性等特点。在基于ASN.1的开发环境下对应用层协议的开发具有高效、可靠和易于维护等优点,解决了目前OSI应用层协议开发中存在的许多问题。

关键词：应用层协议 ASN.1 OSI 形式化方法开发环境数据结构网络协议网络软件表示层给定值