相容双有限domain及相关范畴性质

将建立在dcpo上的双有限domain等概念推广到相容定向完备偏序集上,定义了相容定向完备偏序集上的逼近单位、有限分离、相容双有限domain等概念,给出了相容双有限domain的等价命题．并从范畴学的角度考察证明了以相容双有限domain为对象,Scott连续映射为态射的范畴CBF是笛卡儿闭范畴．还讨论了相容定向完备偏序集及相容代数domain上的几个性质．     

P_2×P_n(n≡0(mod 4))的邻点可区别Ⅰ-均匀全染色

讨论笛卡儿积图P_2×P~n当n≡0(mod 4)时邻点可区别Ⅰ-均匀全染色问题,根据该类图的结构性质,通过构造法给出它们的邻点可区别Ⅰ-均匀全染色方法,从而有效地确定了其邻点可区别Ⅰ-均匀全色数为4.     

教学机器人运动学的笛卡儿解法

位置运动学的正问题和逆问题是机器人学中研究得比较多的问题，尤其是逆问题。针对一个教学型多关节机器人的机械特点，不用一般的齐次转换的方法而是用简单的笛卡儿几何的方法解决了其运动学逆问题。最后给出了实验结果，充分证明该方法的可行性。     

笛卡儿研究中的几个问题

阐述了笛卡儿《几何学》的指导思想、笛卡儿的主要贡献、笛卡儿数学思想的局限性及笛卡儿与费马数学思想的差异等问题，提出了一些新的观点和看法。     

一类笛卡儿乘积图的PM-紧邻性质

图G的完美匹配图,记为PM(G),是以G的每个完美匹配作为顶点并且两个顶点相邻当且仅当这两点对应于G中两个完美匹配的对称差恰好是一个圈而得到的图.若PM(G)是完全图,则称G是完美匹配紧邻的,简称G是PM-紧邻的.研究了一类笛卡儿乘积图的PM-紧邻性质,完全刻画在这类笛卡儿乘积图中所有的PM-紧邻图.     

多重乘积图的联结数

本文给出并证明了完全偶图与多个圈的多重笛卡儿乘积图的一些性质及其联结数的一个计算公式。     

Z-完备集上的一个扩张定理与范畴的性质

给出Z-完备集上的一个扩张定理．证明范畴ZP是一个笛卡儿闭范畴．     

积拓扑与箱拓扑的比较

积拓扑与箱拓扑是在拓扑空间族的笛卡儿积上引进的2种不同的拓扑，它们都是有限积拓扑的推广，对这2种拓扑作以比较是有益的。系统地讨论了积拓扑与箱拓扑的概念、性质，并对它们之间的差异作了比较。     

如何理解涉身认知？

国际逻辑学、方法论和科学哲学大会是由联合国教科文组织下属历史与科学哲学联盟(IUHPS)及逻辑学、方法论与科学哲学分会(DLMPS)主办的最高级别的国际学术大会。大会每四年举办一次。第13届国际逻辑学、方法论和科学哲学大会于8月9日至15日在北京友谊宾馆召开,这是该大会自1960年在美国召开以来,近半个世纪首次在亚太地区国家举办。来自40多个国家和地区的650多名学者参加了本届盛会,他们在为期一周时间里,交流学术成果,建立中外学者之间的友谊与合作。本届大会在推动国际学术交流、促进中国学术发展、使中国的人文社会科学走向世界等多方面发挥了积极作用。此次参会学者研究领域集中在哲学逻辑(包括非经典逻辑、逻辑与语言,逻辑的哲学基础,作为建模工具的逻辑)、一般科学哲学、认知科学、心理学与语言学的哲学等。在此,我刊特别就各个专题组织笔谈,以反映当前在逻辑学、方法论和科学哲学研究领域的现状、热点和学科发展趋势。