OCL 2.0表达式语义学比较研究

从语法、语义域和语义映射三个方面,给出了基于UML元模型和形式化的OCL表达式语义描述.并探讨了OCL表达式上下文、OCL表达式赋值环境的概念.在OCL表达式语义的形式化描述中,定义了对象模型和OCL表达式语法,给出OCL表达式语义解释和OCL后置条件表达式的语义解释.通过对OCL表达式语义二种描述方法比较,可以看到OCL表达式语义学描述的关键是反映OCL表达式本质的语法描述.     

禁止字方法在元胞自动机中的一个应用

给出了使用禁止字理论、计算机搜索和符号动力学研究初等元胞自动机演化语言的一种方法，并且使用该方法得到了27号初等元胞自动机演化语言在数学上的精确描述．     

基于Strand Space模型的CCITT X.509协议分析

运用前沿的安全协议形式化分析方法--Strand Space模型理论,对CCITT X.509协议进行了分析,指出了该协议在保密性和认证正确性方面的缺陷,得到了BAN逻辑分析没有得到的保密性缺陷和相同的认证正确性缺陷.同时提出了改进的X.509协议,并用Strand Space模型论证了改进协议的保密性和认证正确性.     

公路建设项目景观分析评价

应用公路景观三元论,即视觉景观形象、公路的环境生态绿化、公路使用上的大众行为心理,从美学、环境、功能3个方面分析评价了公路建设项目的景观,并对分析评价内容进行了说明。通过对公路建设项目景观的分析评价,使公路建设决策者、建设者、运营管理者对公路景观从公路建设到运营整个过程所发挥的作用有一个全面的认识,从而更好地为建设公路、经营公路打下良好的基础。     

民族舞蹈服饰:艺术特征与文化内涵

舞蹈服饰不仅仅是简单的服装和饰件，而是舞蹈艺术不可缺少的因素。本文阐述民族盛装的来源和特征及其向民族舞蹈服饰的艺术转化，并由此观照其所折射出的民族文化内涵，揭示出民族舞蹈服饰的多重文化主题。     

二十世纪中国文学形式批评的困境及其对策

二十世纪中国学的形式批评陷于了难以有效言说，因而也愈来愈尴尬的困境。其主要原因有二：一是缘于我们自身消费性的阐释思路，这是一种被动消极的研究方法；二则与形式批评理论本身不无关系，其狭隘的研究思路使形式批评的思维空间过于逼仄，致使其话语空间受到限制，无法得到应有的拓展。走出困境的对策也有相应的两点：一是需要我们摆脱西方中心主义的思维立场。执行一种生产性的、也是积极主动且富有主体精神的研究方法；二则需要我们坚持主体性的原则。继续清理形式批评本身的内在理路，并执行“从形式分析进入意义”的阐释方法。     

UNI-SPEC：An Instruction Set Description Language

Microprocessor development emphasizes hardware and software co-design. Hw/Sw co-design is a modem technique aimed at shortening the time-to-market in designing the real-time and embedded systems. Key feature of this approach is simultaneous development of the program tools and the target processor to match software application. An effective co-design flow must therefore support automatic software toolkits generation, without loss of optimizin4g efficiency. This has resulted in a paradigm shift towards a language-based design methodology for microprocessor optimization and exploration. This paper proposes a formal grammar, UNI-SPEC, which supports the automatic generation of assemblers, to describe the translation rules from assembly to binary.Based on UNI-SPEC, it implements two typical applications, i.e., automatically generating the assembler and the test suites.     

物理学中的形式美及其在教学中的渗透

在物理学的发展中，物理学家追求物理的形式美是作为研究的一种动力而发挥着作用。该文从历史的角度对物理学形式美进行了讨论，论述了美与真的关系，并简要地讨论了如何在物理教学中渗透美育的问题。     

从"高情感"到"深生态"--论旅游文化产业的美学策略

从产业平衡，产业结构和休闲经济的角度看，旅游文化产业的勃兴有多种背景，如果能在“高情感”和“深生态”的理论平台上，提炼出“休闲美”和“生态美”的新概念作为美学策略，去细微地观照旅游产业活动的全过程，就可将之提高到文化和经济相融合的新高度。     

素描教学浅议

在素描教学中要培养学生的观察力和意志,并把关学教育渗透其中,还要采用正确的方法辅导学生。