NURBS曲面的算法分析及实现

讨论了ＮＵＲＢＳ曲线和节点矢量、控制点和基函数对曲面形状的影响，给出了ＮＵＲＢＳ的算法分析及其实现方案，最后，将ＮＵＲＢＳ曲面与老式曲面（如Ｂ样条、Ｂｅｚｉｅｒ曲面等）进行了比较。     

关于“建设生态文明”提出的依据及实现的途径

党的十七大适应国内外形势的新变化，顺应各族人民过上更好生活的新期待，提出了实现全面建设小康社会奋斗目标的新要求，并首次将“建设生态文明”写入报告，这是我们党科学发展、和谐发展理念的一次升华。而探讨生态文明形成的理论依据、现实依据以及建设生态文明的实现途径，对理解和落实十七大报告具有一定的借鉴作用。     

服装制板、打板在实践应用中的探索

从服装企业生产的角度,阐述了服装制板、打板在生产实践中的具体应用。并结合实践经验,分析总结了针对不同情况与要求如何快速、准确、合理地制板、打板,以便为服装生产企业提供优质、方便、快捷的技术服务,促进服装企业的快速发展。     

逻辑演算与形式化方法

逻辑演算对推理形式有效性的研究 ,比传统逻辑更抽象、更严格 ,其原因是形式化方法的运用。形式化方法包括构造形式系统 (语法的 )和对该系统进行解释 (语义的 )两个阶段。以一阶逻辑演算KL 系统为例 ,形式化方法的前期阶段 ,又包括符号化和系统化两个步骤 :符号化是用特制的人工语言符号将推理形式或演绎关系公式化 ;系统化是在符号化基础上构造形式系统 ,即用系统给定的公理和变形规则推导出一系列定理的形式证明系统 ,这是逻辑演算的主要内容。形式化方法的后期阶段或第三步骤是对系统的解释 ,也称模型化。经过解释 ,该系统的符号、公式有了内涵 ,从而就有了更普遍的适用价值。纯形式的逻辑演算的性质、意义和作用也因此变得十分清晰     

情态动词否定之研究

Palmer认为在英语语法中 ,最难描写的莫过于情态助动词系统 (Palmer,1 979:preface)。情态动词之所以纷繁复杂、难以描写是因为它们在各种英语文体中使用频率极高 ,并且表达的意义与人的情感和意念有着密切关系。由于情态动词的意义的多样性和模糊性 ,其否定形式及范围也是复杂多变的。我们可以依据Palmer对三类情态动词(推测性、义务性、原动性 )和两种情态级别 (可能级、必定级 )的划分 ,对情态动词的否定范围及语义进行分类分级研究 ;同时 ,鉴于可能级和必定级情态动词否定之间的语义约同现象 ,对逻辑等式Not -possible =Necessary -not;Not -necessary=Possible -not在情态动词句式中的操作规律加以探讨 ,结果表明该等式为解释情态动词否定形式间的互补现象提供了逻辑依据     

以太网光桥的研究

根据有关网络技术和具体的实验,提出一种以太网光桥的实现方案,并对光桥的几个性能参数进行了分析讨论。     

Progress and cumulation in the human sciences after the fall

What do we mean by progress and cumulation in the social and human sciences? Recent thinking in the philosophy and history of science has led to an abandonment of some versions of logical positivism and of verificationism that had a strong deductive and theory testing orientation. What is to replace them is less clear. This paper argues that progress and cumulation can be seen as a process of evaluation and retention within an epistemic community. Scholarly disciplines differ in their social structure and in their epistemic and normative commitments. Since sociology is a fragmented discipline, progress and cumulation differ within its multiple subdisciplines, which to varying extents represent epistemic communities. Brief sketches of progress (advance) and cumulation in several subdisciplines are offered.     

主体性问题大讨论在“以人为本”思想形成中的地位

20世纪80年代以来关于主体性问题的讨论,在＂以人为本＂的执政理念形成过程中占据着重要地位,产生了巨大作用。对于＂人＂的理解,已在不断地超越旧有的思想倾向,由抽象转向具体,由形式转向内容。     

变异修辞的理据探究

变异修辞是有意偏离语言某方面的规范而获得特殊的艺术效果的修辞活动,其理据就是在修辞活动中激发语言使用者采取偏离常规的修辞手段的动因。修辞是基于逻辑而存在的,而偏离常规的逻辑思维更能突显语言表达信息,这就是变异修辞的逻辑理据。理解变异修辞离不开语境,而变异修辞的存在也满足了人们对言语美的一种追求,这就构成了变异修辞的语用理据和美学理据。     

对先秦逻辑思想范畴“名”再认识

在对中国古代逻辑思想史研究的考察中,提出需要讨论的问题。沿着横向的研究路径,通过分析“名”的本义、“名”的产生、“名”的分类、“名”的作用、命“名”的要求、“名”与“实”的关系、“名”与“正名”的关系以及“正名”的规则,对“名”究竟是什么进行了较为全面地诠释,旨在不断逼近“名”在先秦逻辑思想史中的本真涵义。