近代民间年画中的女性及女性美

本文对近代年画中出现的传统女性形象进行了描述与分析,试图通过对视觉形象的剖析来寻找在中国传统文化下,有关女性美的审美传统,同时探究这一传统又以何种视觉形式在极为活跃的市民艺术领域得以传承。     

A short version of the visual aesthetics of websites inventory

The present paper addresses a need for a brief assessment instrument to measure perceived visual aesthetics of websites. A short version of the Visual Aesthetics of Websites inventory (VisAWI; Moshagen and Thielsch 2010 Moshagen, M., Thielsch, M. T., 2010. Facets of visual aesthetics. International Journal of Human-Computer Studies, 68, 689–709. doi: 10.1016/j.ijhcs.2010.05.006[Crossref], [Web of Science ®] , [Google Scholar]) called VisAWI-S was developed and evaluated in three studies comprising 1673 participants in total. The results indicate that the VisAWI-S is a reliable measure that captures a single dimension of perceived visual aesthetics and provides a good approximation to the full-length version. Convergent validity was established by a strong relationship to overall appeal. Evidence for divergent validity was obtained by weaker correlations to perceived usability, pragmatic quality and quality of content as well as by absence of a significant correlation to participants’ mood. In addition to this, the VisAWI-S was found to be substantially related to the intention to revisit a website. Overall, the results indicate that the VisAWI-S may gainfully be employed to measure perceived visual aesthetics of websites when assessment times must be kept to a minimum.     

药妆品胜肽的合成及作用机制研究进展

综述了胜肽在药妆品领域的应用、常用胜肽的合成方法及其研究进展,同时按照功能作用机理重点陈述了3类胜肽:信号类胜肽(Signal peptides)、神经递质抑制类胜肽(Neurotransmitter-inhibiting peptides)、承载类胜肽(Carried peptides)的皮肤护理作用机制.最后对我国胜肽产业的发展进行了展望.     

丽江西林瓦村纳西聚落美之要素研究

本文以云南丽江西林瓦村纳西聚落为研究对象。通过实地调研、案例分析、归纳总结等方法,分析其选址生聚、街道脉络、院落秩序、建筑造型、细部涵义诸方面对于生态之美、形式之美、生活之美的积极作用,提出院落组织的逻辑有序,因势相宜是纳西聚落之美的核心,是进一步研究和发扬的岀发点.     

抽象数据类型的双代数结构及其计算

程序语言中的许多抽象数据类型包含了可递归定义的语法构造和可共递归定义的动态行为特征,因此单纯利用代数或共代数难以给出完整的描述.双代数是同一载体集上的代数和共代数对,提供了一种从范畴论的角度探讨抽象数据类型上的语法构造和动态行为关系及性质的可行途径.给出抽象数据类型的双代数结构,并利用代数函子对共代数函子的分配律描述了语法构造与动态行为之间的自然转换关系;利用分配律对共代数和代数函子进行函子化提升,给出一种构造初始代数(或终结共代数)上的共代数(或代数)结构,并将其提升为初始(或终结)λ-双代数的方法.在此基础上,进一步将函子化提升应用于各种递归(包括迭代和原始递归)及共递归函数(包括共迭代和原始共递归)的定义及计算中,并给出相应的计算定律.     

基于DSRC协议的ETC应用研究与实现

基于DSRC协议的高速公路电子不停车收费(ETC)系统存在价格昂贵、通用性差的问题。为此,简化车载设备对错误信息帧的处理,采用微控制器设计并实现符合ETC复合消费交易应用流程规范的通信帧数据链路层及应用层信息的解析、封装。测试结果表明,程序移植到车载设备硬件系统后,系统运行稳定,时效性符合国家标准要求。     

Concepts and realization of a high-performance data type architecture

Fifth generation computers are expected to capitalize on the dramatic progress of VLSI technology, in order to offer an improved performance/cost figure. An even more important requirement, however, is that they will support by architectural means the generation, execution, and maintenance of quality software, as a way out of the software crisis. One approach towards the design and implementation of quality software is programming with abstract data types, in connection with elaborate type consistency checking. The objection raised against the abstract data type based programming style is poor run time efficiency when such programs are executed on a conventional machine. In this paper adata type architecture is described that offers efficient and convenient mechanism for constructing arbitrary data structures and encapsulating them into abstract data types, thus avoiding the inefficiency penalty mentioned above. Through a process of hierarchical decomposition, user-defined abstract data types are mapped on representations given in terms of a basicstructured machine data type. This approach combines high performance with generality and completeness. The hardware structure of the data type architecture can be classified as a strongly coupled, asymmetric multicomputer system with hierarchical function distribution among the computers. The system includes a pipeline for numerical and nonnumerical operations, performed on the vector-structured basic machine data type in the SIMD mode of operation. Software reliability and data security is enhanced through elaborate run time consistency checking. The computer, which was designed and built at the Technical University of Berlin, has recently become operational. This paper outlines the operational principle, the mechanisms, and the hardware and software structure of this innovative, fifth generation computer architecture.This work was sponsored by the German Science Foundation under grant no. Gi 42/13.     

多媒体在高等数学教学中的作用探讨

多媒体在高等数学教学中的作用一直以来倍受争议。本文从学习兴趣、数学美、数学建模以及留有思维空间等几个方面对多媒体在高等数学教学中的作用做一个初步的探讨。     

深层话语——城市设计的文化与美

随着我国城市的日益繁荣,城市形象成为令人关注的文化资本。为了改善形象,促进经济发展,城市设计作为城市规划与建筑设计衔接的重要阶段,也日趋成熟。但是,目前的设计似乎都存在重形式、轻本质的现象。本文从文化与美两个角度,结合实际案例阐述设计的本质,以求对城市设计的实践有所裨益。     

电力系统继电保护及故障信息子站系统的方案设计

电力系统继电保护及故障信息子站系统,既可以作为构成继电保护及故障信息管理系统的(配置在变电站端的)子系统,同时也可以作为一个独立的“通信网关”供其它层次化的电力自动化系统使用。该系统根据IEC 61850标准中的“信息模型”和“抽象通讯服务接口”的概念设计,采用OMG的分布式系统标准和技术实现,使得PRFIS子站系统完全可以满足以分布式系统体系构建的继电保护及故障信息系统要求。