自然事物的情感表现性

自然事物的情感表现性产生于人类与大自然事物生命情调上的相似，自然事物的形式美因素以及人类情感形式与自然物在“力的图式”上同形同构。     

GRAMMATICAL COMPLEXITY OF FEIGENBAUM TYPE ATTRACTORS IN PERIODIC WINDOWS

In [7,8] the grammatical complexity of the Feigenbaurn attractor and the general Feigenbaurn attractors, generated by period - n - tupling, are studied. In this paper we study the grammatical complexity of the Feigenbaurn type attractors, including Feigenbaurn attractors and general Feigenbaurn attractors,in periodic windows. It is shown that the languages determined by these attractors are CLS and are. not CFL.     

黑格尔审美话语的政治性

黑格尔美学理论的表述形式由于时间潮流的冲刷而渐渐风化,这是我们面对黑格尔美学理论的困境。为了应对这一难题,我们试图采用话语表述策略来还原黑格尔的审美世界,从而初步证明审美的理论世界能够而且应该从政治性话语世界汲取能量和活力这一观点。     

基于时间Petri网的密码协议分析

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案.     

非形式逻辑视野下的论证评价理论

论证可分为形式论证(人工语言论证)与非形式论证(自然语言论证)。前者是形式逻辑的研究对象,后者是非形式逻辑的研究对象。我们从几个代表性逻辑学定义出发,分析了非形式逻辑产生的背景,讨论了形式逻辑与非形式逻辑的区别,并从非形式逻辑角度探讨了自然语言论证评价的标准。     

化学教学中的美育初探

论述了化学审美在学生对客观事物的认识和改造过程中的重要性.试图将美的哲学渗透于整个化学教学中,并引导学生去感受、鉴赏、探索、创造物质在化学领域中所蕴含的美,铸就学生美的人生态度,从而使学生的综合素质得以提高.     

论中国现代城市建筑设计中形式美的科技应用趋向

通过对结构、空间、色彩中科技应用的分析,述评了中国现代城市建筑设计中形式美的科技应用趋向。     

动态等值论在文学翻译中的应用

美国的尤金·奈达博士(Dr.Eugene A. Nida)的动态等值论(Dynamic Equivalence)被许多学者推崇为评判译文质量优劣的标准以及翻译所追求的最终目标.在运用奈达的"动态等值"论来指导文学翻译时,应注意的问题是,译文如果要准确传递原文信息就要充分体现原作者的美学意图,这样才能使译文受众获得和原文受众基本一致的感觉.     

对生态美学的两点质疑

作为生态美学重要的哲学——美学原则的“生态中心主义”，潜藏着颠覆“人本位主义”的危险；而作为对自然进行所谓“生态学的重新审视”而提出的“自然的复魅”，也存在着容易导致另一个极端的不良趋势，并且缺乏可操作性。本文拟对上述观点提出质疑和批评。     

结构化面向对象形式规格说明语言OOZS——设计原理

形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现：形式方法使目标软件系统的需求规格说明简明、精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然．本文讨论了Ｚ规格说明语言的应用限制,并在Ｚ语言的基础上介绍了结构化面向对象形式规格说明语言——ＯＯＺＳ的设计方法．该语言吸收了面向对象程序设计语言ＳｍａｌＴａｌｋ、Ｃ＋＋以及形式规格说明语言ＶＤＭ、Ｚｃ、Ｚ．Ｓ等的优点,引入了类、继承、入口、出口、Ｐｒｅ谓词、Ｐｏｓｔ谓词等机制,并对Ｚ语言的符号进行结构化处理,提高了形式规格说明的层次性和模块化能力,可用于大型面向对象软件系统需求规格说明的编写