搜索筛选:
搜索耗时0.1317秒,为你在为你在102,285,761篇论文里面共找到 135 篇相符的论文内容
类      型:
[期刊论文] 作者:朱梧, 来源:数学教育学报 年份:1994
讨论了数学思维究竟包括哪些方面,文化素质在数学教育中应有的地位,并阐述了对数学教育改革的一些看法....
[期刊论文] 作者:朱梧槚, 来源:数学教育学报 年份:1994
讨论了数学思维究竟包括哪些方面,文化素质在数学教育中应有的地位,并阐述了对数学教育改革的一些看法....
[期刊论文] 作者:朱梧娜, 来源:新农村(黑龙江) 年份:2016
现在国内水稻、小麦和玉米价格都有不同程度下跌,很多种粮的合作社、家庭农场遭受了不小的损失。能不能利用国家补贴降低我们的损失呢?答案是可以的。现在来看看种粮食能拿到什......
[期刊论文] 作者:朱梧槚, 来源:自然辩证法研究 年份:1991
1951年暑假后,我进入大学本科数学系学习。但在一年后,我竟迷上了哲学,在我的哲学先师、革命家和马克思主义哲学家刘丹岩教授指导下,制订了自修哲学的计划。刘老师首先告戒我...
[期刊论文] 作者:朱梧槚, 来源:数学研究与评论 年份:1985
莫绍揆教授在[2]中一开始罗列了如下三个命题: (*) Epimcnides(克里特岛人)说:凡克里特岛人都说慌。 (1) 现在我说一句假话(Eubulides)。 (2) (再添附下列“事实”):而克里...
[期刊论文] 作者:周勇,朱梧, 来源:小型微型计算机系统 年份:2007
提出一种多agent逻辑程序,每个agent具有一个相信算子,讨论了其不动点语义和操作语义,证明了两种语义之间的等价性.提出了一种基于多agent逻辑程序的协议验证方法,以一种多方非否......
[期刊论文] 作者:李斌, 朱梧槚, 来源:南京航空航天大学学报:英文版 年份:2005
自主性是Agent的最重要的特征.本文提出一个自主Agent的框架及其相应的决策机制.首先介绍了用于描述自主Agent的语言;然后基于BDI模型和情境演算理论,提出一个自主Agent的框...
[期刊论文] 作者:朱梧槚, 王前,, 来源:曲阜师范大学学报(自然科学版) 年份:1993
在历史上,数学哲学对数学教育很少有直接影响,而现在,数学哲学的研究,已被置身于数学与社会相互作用的广阔背景上,因而若再不重视和探求数学哲学在数学教育中的应用,则将得不...
[期刊论文] 作者:陈桂正, 朱梧,, 来源:自然辩证法研究 年份:2004
论数字家与艺术家在创造活动中的同一性陈桂正,朱梧数学是一门科学,但将数学视为一门艺术,甚至把数学家称之为艺术家,目前还不可能为大多数人所认识和理解。然而,当代美国数学家A·......
[期刊论文] 作者:洪龙,朱梧槚, 来源:南京航空航天大学学报 年份:2006
基于目前可以使用的DNA实验技术并采用试管与表面相结合的方式,设计了解决Hamilton圈问题的DNA算法;详细地介绍了对图的顶点和边的分子编码;描述了算法的生物化学实现过程。由于......
[期刊论文] 作者:周勇,朱梧槚,, 来源:电子与信息学报 年份:2007
为了描述非否认协议中的各种不确定因素,在Kailar逻辑系统中引入了表示缺省信息的否定词,以及相应的推理机制。提出了安全协议验证的新方法,主要特点是:可以直接对协议的动态运行过程进行推理;推理具有非单调性;避免过多的理想化假设;可以分析含有多个子协议的......
[期刊论文] 作者:周勇,朱梧槚, 来源:南京理工大学学报:自然科学版 年份:2003
粗集理论在数据挖掘等领域得到了广泛的应用,对粗集理论进行推广可得到各种广义粗集.该文研究了广义粗集的多个公理组,证明了公理组中各公理的独立性,并给出了普通粗集理论的...
[期刊论文] 作者:周勇,朱梧槚,, 来源:南京航空航天大学学报 年份:2006
根据可信第三方(Trusted third part,TTP)参与通信的方式,安全协议可以分为在线TTP型和离线TTP型两类。分析了两类协议的优缺点,提出了一种复合型安全协议,在同一协议中结合了两种......
[期刊论文] 作者:周勇,朱梧槚, 来源:西南交通大学学报 年份:2006
为了统一并扩充回答集语义,在带有规则序的逻辑程序中,基于不动点原理,采用了处理优先序的新方法——直接在规则迭代过程中考虑规则序的作用.用此方法得到了9种不同的回答集语义,......
[期刊论文] 作者:朱朝晖,李斌,朱梧, 来源:计算机学报 年份:2001
择优模型是目前常识推理领域中最常用的语义结构之一.在择优模型中有一类重要的模型——单射择优模型,近年来,众多的学者对该模型类从各种角度进行了研究,但一个重要而基本的问......
[期刊论文] 作者:朱梧,肖奚安, 来源:自然辩证法研究 年份:1995
我们将在本文中讨论关于中介系统的下列问题:(1)中介系统目前的发展概况;(2)中介系统的哲学背景;(3)中介系统的思想原则,(4)数学研究对象的再扩充;(5)概括原则的修改问题;(6)精确性经典数学和中介数学......
[期刊论文] 作者:陈桂正,朱梧, 来源:自然辩证法研究 年份:1994
论数字家与艺术家在创造活动中的同一性陈桂正,朱梧数学是一门科学,但将数学视为一门艺术,甚至把数学家称之为艺术家,目前还不可能为大多数人所认识和理解。然而,当代美国数学家A&#......
[期刊论文] 作者:洪龙,朱梧槚, 来源:南京邮电学院学报:自然科学版 年份:2002
剖析了直觉主义学派的数学观、无穷观和逻辑观,从而论证了构造性是直觉主义学派在数学工作中的最基本出发点,同时叙述了构造性观点于计算机科学中的体现和对计算机科学的影响...
[期刊论文] 作者:周勇,朱梧槚, 来源:小型微型计算机系统 年份:2007
提出一种多agent逻辑程序,每个agent具有一个相信算子,讨论了其不动点语义和操作语义,证明了两种语义之间的等价性.提出了一种基于多agent逻辑程序的协议验证方法,以一种多方...
[会议论文] 作者:肖奚安,朱梧, 来源:中国系统工程学会模糊系统及其应用成果学术交流会 年份:1985
相关搜索: