工业设计中的“绿色设计”

绿色设计是20世纪80年代末出现的一股国际设计潮流.绿色设计反映了人们对于现代科技文化所引起的环境及生态破坏的反思.绿色设计(Green Design)就是在设计阶段将环境因素和预防污染的措施纳入产品设计之中,将环境性能作为产品的设计目标和出发点,力求使产品对环境的影响降至最小.     

《经络是什么》中的经络是什么

通过分析<经络是什么>中的经络定义与<内经>中经络概念的差异,提出了<经络是什么>的经络定义实质上是指经气通道的观点,认为经络研究不应是"翻译"古代文献的现代意义的研究,而应将古代科学思想提炼成现代意义上的科学问题,从现实的针灸临床出发,并以为针灸临床服务为目的,以阐明人体有机联系的过程和方式为最终目标.     

身体·影像——女艺术家辛迪·舍曼的女性主义解读

20世纪60年代中期以来女性主义艺术逐渐成为一个重要的艺术思潮.许多女性艺术家和女性理论家开始思考并致力于改变社会中以男性为主导的、性别不平等的现象,重新思考女性的自身价值、社会地位以及与男性之间的关系.美国女性主义艺术家辛迪·舍曼(Cindy Sherman,1954-)便是其中的杰出代表.她的作品将后现代艺术和摄影融于一体,在后现代领域中独树一帜,可以说她的作品从整体上成功地触摸到当代文化的敏感神经.她不拘于一般女性艺术那种纤细、精致的传统,冲破女性艺术追求坦诚,实在及修养的外观束缚,创造了其独特的具有自述性和女性主义特点的艺术形象,值得我们去关注和探讨.     

中央重新定向对听觉返回抑制的影响

采用线索一靶子范式考察听觉中央重新定向对听觉返回抑制的影响。结果表明：1）听觉中央重新定向的有无不是听觉返回抑制产生的关键因素,但它的存在能够较好地引导听觉选择性注意进行快速转移,提高听觉选择性注意的搜索效率;2）听觉中央重新定向对听觉返回抑制量的大小没有显著影响。     

亚里士多德论复合实体的定义——从自然哲学著作出发

亚里士多德是继苏格拉底和柏拉图之后对古希腊定义理论贡献最大的哲学家之一,他不仅在逻辑学著作中详细讨论了针对一般性概念的"属加种差"这一分类法定义,还在《形而上学》中讨论实体时提出质形复合定义.然而,后一种定义方式在传统中被认为只是前一种定义方式的扩展和深化,而非针对不同对象的全新的定义方式.因此很有必要联系《物理学》《...     

对抗原概念的分析

本文对抗原概念的形式和内容进行了分析,指出抗原概念的通常定义是循环定义,而它的有效定义是：抗原是一种物质,它能剌激机体产生能与该物质发生特异性结合的蛋白质和淋巴细胞。在此基础上,对与抗原概念内容有关的一些问题进行分析。     

论“中医学”的定义

“医学”是“研究人类生命过程以及同疾病作斗争的一门科学”。作为“科学”下位的两个种概念,即“中医学”与“西医学”,至今没有见到确切的定义。中医研究的是整体层次上的机体反应状态;西医研究的是组成整体的各个局部的结构与功能。中医运用的阴阳五行学说实质上是朴素、自发的系统方法;西医则选择了还原性研究方法。中医理论是综合、演绎的机体反应状态变化规律的系统状态模型;西医理论是分析、归纳的人体结构与功能的物质     

关于构建五台山学的思考

五台山文化是中国传统文化的缩影。五台山独特的自然遗产、宝贵的文化遗存、丰富的历史文献资料、近年来成效显著的五台山研究、专门的研究人员等,有机构成了＂五台山学＂的基石。积极构建＂五台山学＂,大力推进文化发展繁荣,必将对三晋文化乃至中华文化、世界文化的研究、发展起到积极地促进作用,必将对文化强国、文化强省及文化产业的发展注入新的活力和赢得新的绩效。     

体育锻炼与疲劳关系的综述研究

通过文献综述法简要地总结了疲劳的概念、研究历史及现状,介绍了疲劳的机理研究,探讨了体育锻炼与疲劳的关系及疲劳的判断、消除等。研究结果表明：（1）目前,有关体育锻炼的生理疲劳的研究相当系统、全面;但体育锻炼的心理疲劳的研究相当薄弱、少见。（2）体育锻炼的心理疲劳并非生理疲劳的必然结果,而受个人心理因素以及个体周围环境的影响等等。（3）随着心理健康的日渐重要,未来有关心理疲劳的研究将倍受重视。     

辅助变元之于命题与量化布尔公式的作用

使用辅助变元来引入定义,在知识表达中是一个流行和有力的技巧,能够得到更短、更自然的编码而无需冗长的重复。这篇论文中,我们形式地定义了辅助变元的概念,检验了其表达力并讨论了有趣的相关应用。我们把以下两者联系起来:一是,反复使用中间结果而不通过定义重复;二是,布尔函数其他表达中的相似概念。特别的,我们表明带定义的命题逻辑与具有任意输出端的布尔线路以及约束变元满足Horn性质的存在量化布尔公式(记作(?)HORN~b)具有相同的表达力。本文还考虑了定义结构的限制,以及命题定义的扩充。特别的,我们检验了正命题定义与带存在量化的正定义之间的关系(或等价地,检验了(?)HORN~b公式和约束变元未被Horn限定的存在量化的CNF公式(记作(?)CNF~*)之间的关系)。对命题定义的进一步扩充,是允许在定义中使用任意的量词,或等价地,允许布尔公式的嵌入。我们还证明了,量化CNF公式中的约束变元的表达力,是由子句中被约束部分的极小不可满足子公式或极小假子公式的结构所决定的。