基于中介逻辑的多模态逻辑系统

多模态逻辑作为模态逻辑的扩充，是模态逻辑进行时态和动态扩充的基础。中介逻辑是一个新的逻辑系统，自创立后得到了很大发展，并在数理逻辑及计算机科学领域中得到广泛应用。为将中介逻辑进行时态和动态扩充，本文构造了一种基于中介逻辑的多模态逻辑系统ＭＭＫ，讨论了它的推理规则和语义解释，并证明了ＭＭＫ的可靠性和完备性，在此基础上给出了一种基于中介逻辑的时态逻辑系统ＭＴ，对它的可靠性和完备性进行了讨论。最后，分析了相应的经典多模态逻辑系统与ＭＭＫ系统及经典时态逻辑系统和ＭＴ系统之间的关系。     

刚性模型风洞试验确定大跨屋盖结构风振系数的多阶模态力法

风流经过大跨屋面时,由于气流分离在屋面的大部分区域产生强大的吸力,并引起柔性屋面结构的振动,因此大跨屋面结构抗风设计需考虑风振响应和风振系数.本文根据振型迭加原理,提出了利用刚性模型风洞试验确定大跨度柔性屋盖结构风振响应和风振系数的多阶模态力法,并推导了风振响应和风振系数的计算公式.该方法可以考虑高阶振型的贡献.通过与气动弹性模型风洞试验结果以及直接时程法相对比,发现多阶模态力法能够得出令人满意的结果.     

基于K-means的深度跨模态哈希量化优化方法

互联网应用的普及使得多模态数据快速增长,跨模态检索技术已成为相关领域的关键技术之一。针对现有跨模态哈希算法存在的网络结构和量化方法等方面的问题,本文在新的深度跨模态哈希检索模型之上,提出了一种基于K-means的深度跨模态哈希量化优化方法（K-means-based quantitative-optimization for deep cross-modal hashing,KQDH）。该方法通过K-means聚类算法对多模态数据特征向量分类,并通过集体量化方式来控制量化误差,使得哈希码更好地表示出多模态特征。实验结果表明,该方法能在多模态数据之间保持相似性并最大程度地捕获语义信息,从而提高跨模态检索的准确性和效率。     

Variable Granularity in Route Directions

Abstract

This paper addresses changes of spatial granularity in route directions in relation to information needs in multimodal traveling. We outline a model of variability in granularity and apply this model to empirical data. Results reveal that linguistic route directions produced by humans as well as automatically generated web-based services provide the most crucial route elements in hierarchically structured ways that reflect the salient structure imposed by multimodal traveling. However, although the web-based information is impressively comprehensive, human route directions exhibit more flexibility regarding switches of place-related granularity, and they provide more detailed information at complex locations or decision points.     

结合逻辑和决策论方法的Agent模型研究

分析了目前Agent模型与实现相分离的原因,将逻辑与决策论方法相结合,以自主为前提,面对个体自主性和群体交互的社会性要求,研究如何建立理性Agent以及理性Agent构成的多Agent社会。对Agent的信念、愿望、效用、约定和意图等心智状态之间的关系进行了直观的描述,阐明了理性行为的决策过程,并采用量化多模态逻辑对该模型进行了形式化描述。完善了Cohen和Levesque的BDI模型理论,使其能更准确地反映理性A-gent的行为,为多Agent系统设计与实现提供了理论基础。     

A study of people's sketching habits in GIS

Sketching is traditionally associated withdoodling simple strokes on a piece of paper.Only few professionals outside of design andthe fine arts have recognized the expressivepower of this intuitive modality. However,sketching seems particularly well suited tocapture objects and situations in a spatialenvironment, such as geographic space. To learnmore about the techniques and strategies peopleuse when sketching, a survey of sketching wasconducted. The study showed that paper andpencil sketches contain mostly simple andabstract objects that are composed of only fewstrokes. The spatial configuration of a sceneis primarily expressed through the topologicalordering of objects relative to each other.Metric relationships are used to refine spatialconfigurations. These and other findingssuggest that sketching is an appropriatemodality to interact with a computer where onewants to describe and capture objectconfigurations in a spatial environment, suchas a geographic information system (GIS).