Using Maude to write and execute ODP information viewpoint specifications

The aim of the open distributed processing (ODP) information viewpoint is to describe the semantics of the information and of the information processing in a system, from a global point of view, without having to worry about other considerations, such as how the information will be finally distributed or implemented or the technology used to achieve such implementation. Although several notations have been proposed to model this ODP viewpoint, they are not expressive enough to faithfully represent all the information concepts, or they tend to suffer from a lack of (formal) support, or both. In this paper, we explore the use of Maude as a formal notation for writing ODP information specifications. Maude is an executable rewriting logic language especially well suited for the specification of object-oriented open and distributed systems. We show how Maude offers a simple, natural, and accurate way of modeling the ODP information viewpoint concepts, allows the execution of the specifications produced, and offers good tool support for reasoning about them.     

中国古典诗词研究中的“悬案”刍议

对中国古典诗词的研究,经常会因为对作品可以作不同的理解而造成研究者观点上的分歧,从而产生诸多诗词研究中的“悬案”。这种学术观点上的分歧固然没有标准答案,但只要掌握了正确的研究方法去分析辨别,不同观点间的优劣还是可以进行比较的。     

关于社会发展观的思考

科学的发展观是社会发展的正确描述,是制定社会发展宏观模式的理论依据。传统的发展观源于牛顿经典力学方法论,具有极为浓厚的单线决定论色彩,有必要以多途径、多线式的进化树发展机制所取代,这有助于中国现代化道路的正确选择和对中国命运的思考。     

ODP系统企业观点的形式化描述

ＯＤＰ系统的企业观点反映了开放分布式系统对象之间的合作关系，本文以模态逻辑为工具来讨论企业观点下ＯＤＰ系统的形式化描述方法，通过在合作的系统对象和模态逻辑的可通界关系之间建立联系，并使用多值逻辑来计算模态命题真值的方法来形式化地表述系统对象之间的合作关系，并用这种方法建立了一组共同体的存在性约束规则。     

生态学视角下健康城市规划理论框架的构建

伴随着快速城镇化和城市现代化,环境污染、气候变化等问题引发了新公共卫生问题,重构城市规划与公共卫生之间的合作关系对解决这些问题具有重要意义。在国际范围内,健康城市运动的发展为健康城市规划提供了行动框架和原则,但健康城市规划缺乏扎实的理论依据。城市系统的复杂性是构建健康城市规划理论框架的主要挑战,在复杂性科学背景下,研究基于生态学视角,将弹性概念和社会生态学理论引入健康城市规划理论框架的构建中,以期为健康城市规划的制定与实施提供一定的理论基础。     

论中国的能源安全战略

分析了目前中国能源形势及面临的挑战;提出了立足国内是解决能源安全问题的基本思路;并认为通过和平与合作途径,建立稳定可靠的国外能源供应体系,是解决中国能源供应不足的另一战略措施;最后阐述了新的能源安全观。     

基于视点的分块LOD大规模地形生成算法研究

针对虚拟战场环境仿真中构建大规模地形的速度问题,介绍了一种基于视点和分块的LOD大规模地形生成算法,能够快速地构建海量数据的地形模型.该算法首先对海量地形数据分块后以四叉树结构存储;然后应用简单的圆锥视景体快速裁剪地形块,丢弃与视景体相离的地形块,对于与视景体相交地形块剪裁出位于视景体内的四叉树结点.根据视点到节点距离和地形本身的粗糙度,选用合适的LOD渲染地形,最后应用基于视点的方法消除裂缝.在数据相同情况下,该算法比四叉树算法减少约1/2时间,并且更逼真地生成了大规模数据地形.本算法也可用于逆向工程设计中重建物体等问题.     

消费社会时空观视角下的城市空间发展特征

伴随着消费社会的来临以及科技的不断革新,传统的时空观发生了变化,出现了以时空压缩和时空分离为代表的新时空体验。在城市由生产中心向消费中心转变的发展过程中,一些新现象折射出消费社会时空体验变迁的痕迹,主要表现为城市的全球化、城市的快速更新、城市特色的趋同发展、临时性建筑的大量运用、拟像场景的不断出现等等。针对时空观的变迁,城市空间的发展应作出适时的应对。     

Prefrontal and parietal regions are involved in naming of objects seen from unusual viewpoints.

Object naming is commonly used for demonstrating semantic memory abilities, known to be affected in normal aging. Yet, neuropsychological assessments of older people do not reflect irregularities. The authors used a test with 2 levels of naming complexity by 2 kinds of stimuli: common objects pictured from a conventional viewpoint (usual condition) or from an unconventional viewpoint (unusual condition). The authors studied naming performance with 129 healthy participants, aged 20-85 years. For the usual stimuli, the success rate was high (90.9%), with no reduction in performance until 65 years of age. However, for the unusual stimuli, there was a marked reduction in performance with age. Brain activity was studied on 11 healthy young participants (20-30 years of age) using functional magnetic resonance imaging. The usual condition activated brain regions associated with visual perception, language, and memory. Additional brain regions associated with semantic searching and decision making were obtained in the unusual condition in the prefrontal cortex (Brodmann's area [BA] 9 and BA 47) and anterior cingulate (BA 32). The results suggest that the poor naming performance for unusual-viewed objects in older people might be related to the shrinkage of frontal gray matter with age. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

论中国古代自然观对当代环境艺术设计方法的科学贡献

环境是人们赖以生存和居住的场所,人类的所有时间都是在室内和室外空间当中度过的。在解决生存危机和摆脱威胁方面,中国传统自然观具有较强的生态优势,同时,它在环境艺术设计的风格和手法方面也具有一定的美学内涵。因此,本文从中国古代存在的自然观,尤其是儒释道三教的自然观来阐述中国古代自然观对当代环境艺术技术和艺术方法的科学贡献。