论形式语义学

阐述了形式语义学关于“语法”、“句法和语义”,以及“语词和语句”等概念。传统语言学所谓语法讲究对语言符号串线形排列的成分分析,现代生成语言学的Chomsky学派认为语法就是有关语言层次结构的由小到大的生成规则,类型逻辑语法等形式语义学理论所谓的语法是指基于逻辑推演的关于自然语言的运行规律;形式语义学强调句法和语义的对应,这是形式语义学的灵魂;形式语义学在语句领域取得了较大成功,而语词领域是语言学侧重的研究方向。从形式语义学比较语言学的不足可以看到其未来发展的思路。     

包装设计中的语义学探究

包装设计既要有物质功能，又要有美学价值，包装设计语义学是指通过造型、材质、视觉几方面体现产品的特殊品位和文化含义。     

I-语义学对隐喻的诠释

乔姆斯基把语言分为外部语言（E-语言）和内在语言（I-语言）。语义学作为研究语言和世界之间关系的理论,相应地,也应有E-语义学和I-语义字之分。E-语义学研究语言与世界之间的关系。I-语义学研究语言使用者（大脑）中的语言知识。语义和认知关系密切。语义结构和概念结构是一致的。隐喻是现实世界中一种无所不在的语言现象。隐喻涉及到特殊认知领域,并具有许多心理语言学的特征。     

论形式语义学

阐述了形式语义学关于"语法"、"句法和语义",以及"语词和语句"等概念.传统语言学所谓语法讲究对语言符号串线形排列的成分分析,现代生成语言学的Chomsky学派认为语法就是有关语言层次结构的由小到大的生成规则,类型逻辑语法等形式语义学理论所谓的语法是指基于逻辑推演的关于自然语言的运行规律;形式语义学强调句法和语义的对应,这是形式语义学的灵魂;形式语义学在语句领域取得了较大成功,而语词领域是语言学侧重的研究方向.从形式语义学比较语言学的不足可以看到其未来发展的思路.     

语义学理论对英语词语搭配教学的启示

英语学习者常犯词语搭配的错误。本文试从母语负迁移、近义词代用和词汇记忆模式三方面来探讨英语词语搭配错误的主要原因,并尝试用语义学中语义场和语义成分分析理论来探索有效的词语搭配教学。     

情景语义学对条件句的语义刻画

情景语义学用情景类之间的制约关系来表示自然语言语句的意义,为合理解释条件句的意义提供一个新思路。情景语义学认为条件句的意义就是其前件和后件所涉及的情景类之间的制约关系。情景语义学对条件句的语义刻画适用于不同种类的条件句,对自然语言语义学和逻辑学领域产生重要影响。     

西方语义学与中国形名之学中的“意义”

对“意义”的分析一直是语言学特别是语义学的热点。主要从历时性的角度讨论东西方对“意义”理解的异同，意在揭示“意义”的含义。根据时代特点，讨论中西方各时期对意义的不同定义，阐释“语义三角”在中西方形成和发展的过程。     

现代机械产品设计中的“直觉语义学”探析

“功能至上”的理念长期主导着现代机械产品设计思想,“人—物—环境”的和谐关系未得到足够重视。中国在对事物的认知上,自古就有“直觉体悟”“顿悟”“移情会意”等善于抽象的文化传统,中国传统造物文化与造物实践活动早已形成特有的模式和先进的理念,将“直觉语义学”思想及元素融入到现代机械产品全生命周期乃至废弃状态的设计中去思考与研究,审视造物活动中人类情感与技术原理的关系,将推进现代机械产品设计思想的进化与完善。     

人工智能难题和程序语义学

句法机如何成为语义机是人工智能面临的难题,也是当代意向性理论研究的重点.程序语义学是试图解释这一问题的重要致思取向.它认为传统的人工智能、计算机科学等是以模态理论语义分析为基础的,其研究尚停留在符号的层面,而未涉及到真值、指称,即没有涉及到语言与世界的关联.在揭示语言与世界关联如何实现的问题上,程序语义学强调语义不是由对指称的计算所给予的,也不是由谓词逻辑的标准语义学所给予的,而是由程序给予的.程序语义学不但能够融合如福吉勒特等意义理论的局限,而且所提出的过程性分析和知识对于人工智能的研究、发展亦有启示性.     

色彩语义学在产品设计中的一些构想

研究色彩语义学的目的就是使产品设计更加人性化．笔者对一些工业产品的外观色彩及按键色彩个案做了比较性研究，发现色彩设计在体现产品功能、语意表达上具有很强的识别性和引导性，工业设计师应尽可能地把色彩语义学的设计思想运用到产品设计中，让消费者使用产品时不但感受到产品外观色彩赏心悦目，而且使用更加便利和惬意．     

语义学在产品设计中的应用

从产品设计的形态语言入手,提出产品语言在设计中应运用各种设计方法,并结合实例说明产品设计中形态语言的表达方法.这样不仅能让使用者理解产品的使用功能,还能在看见产品之后理解形态的内涵和象征意义,领会设计师的创意.     

产品语意学在工业设计中的应用

产品语意学是研究人造物体的形态在使用环境中的象征特性，并且将其中知识应用于工业设计上的一门新学科，它在提高人机沟通效率、提高产品品质、提供更好的服务上发挥着作用.在探讨产品语意适用范围的基础上，提出了产品语意学的两个重要特性，并阐述了其在设计中的作用，得出：充分利用语意学的特性，把语意学的象征性与指示性两大要素融入到产品设计中，从而实现语意学的“产品识别”和“产品传播”两大特征，使产品能够传达足够的信息，准确地表达内容和形式之间的有机联系.     

基于联结语义的概念结构建模方法研究

针对零件结构中几何元素与附着于几何元素之上的设计意图的统一表示问题，提出了基于联结语义的概念结构建模方法.该方法在零件概念结构抽象和分解的基础上，以更符合设计者表达习惯的语义形式简洁地表示零件结构间的约束关系.分析了在结构设计过程中的联结语义及其蕴涵的约束信息，建立了联结语义的约束规则集描述方法.采用联结语义关联图给出了面向概念设计的零件结构模型，实现了结构联结约束信息的抽象表达.实例研究结果表明，该建模方法使设计者可以更直观、自然地在高层次的语义层表达产品设计信息，实现工程语义的形式化表述.     

论产品语义学与产品符号学之间的差别

产品语义学和产品符号学已经成为产品设计的重要理论,但至今还少有文章着重阐述两者之间的关系,尤其是两者之间的差别.文章从产品设计的历史出发,探讨两者之间的差别.指出虽然两者在理论基础和产生的原因及发展过程上相互交织,但两者在理论意义和实践作用上,以及在未来的发展方向上还是存在着明显的差别.并强调指出,研究产品语义学和产品符号学要从产品设计出发,不能囿于符号学的理论.     

论住宅设计发展趋势

以人为本是住宅规划设计应追求的目标 ;住宅的房型设计应坚持经济、适用、合理的原则 ,以满足不同层次人们的需求 ;提高科技含量是住宅建设健康发展的动力     

住宅建筑给水排水设计探讨

分别从卫生间、厨房的平面布置、设备设施、水表煤气表设置，管道设置及管材选用五方面介绍住宅建筑给水排水设计。     

大规模定制下的产品配置设计研究

产品配置设计是实现大规模定制的关键技术之一，本针对产品配置设计的全过程进行了分析研究，提出了产品配置系统的总体框架、体系结构，开发了原型系统，并以儿童车为对象，给出了系统的应用实例。     

基于关键字语义信息的XML文档分类

针对XML数据半结构化的特点及传统的tf-idf方法仅考虑关键字在文档中出现的频率和包含关键字的文档数,而未考虑XML文档中关键字语义信息的不足,提出了一种新的关键字权重度量方法。该方法充分考虑了XML文档中关键字所出现的路径、路径包含关键字的个数、包含路径的文档个数、路径的层次等影响关键字语义的因素,用于计算关键字权重,从而提高了关键字权重度量的准确性。在多个数据集上的实验结果表明,将该方法应用于XML文档的分类时,与传统的tf-idf方法和基于规则的方法相比,分类的查全率、查对率及F1均有所提高。     

机构运动的变换式进化设计

现有的基于几何约束关系的CAD系统不能很好地解决面向方案设计的机构运动模型表示这一问题，为此提出了一种新的基于功能语义的运动进化建模方法.以功能单元的定义实现机械产品功能运动约束的抽象表达，研究了在机械产品运动进化建模过程中功能语义的表达、功能运动约束的进化模式以及机构运动综合技术.建立了功能运动约束与机构组合约束间的进化关系，实现了由语义层向几何约束层传递运动意图.将功能语义与运动功能综合求解的变换式进化过程相结合，实现了对设计者功能意图的映射转化.结合企业具体应用将上述理论应用于实际产品开发中，取得了良好的效果     

Disjunctive logic and semantics of disjunctive logic programs

In common sense reasoning with incomplete knowledge bases, conclusions are made by defaultHowever, it is observed that when the negation-by-default operator not is defined as not provable , the disjunctive logic program { a V b, not a, not b} should be consistent because a being not provable and b being nor provable does not imply a V b being riot provable. Such an observation is significant for non-monotonic reasoning, but none of the major current semantics for disjunctive logic programs is able to support it because they are all based on classical first-order logic in which assuming not a and not b implies assuming no: (a V b) A new first-order logic (disjunctive logic ) is developed that fully complies with this observation and new semantics for disjunctive logic programs are established This theory is able to formalize and solve some paradoxical problems, such as the lottery paradox