异构时空数据的转换机制研究

目前时空模型难以兼顾时空语义表达与计算机实现困难的现状,形成不同部门、不同应用、不同时期的时空数据在语义、模型、结构等方面的差异,阻碍了时空数据之间的相互转换,限制了历史数据在预测预报等领域重要作用的发挥.在总结时空数据模型特点的基础上,试图以一个崭新的视角分析时空模型的发展历程;在此基础上,采用图论这一通用数据结构与数学描述方法.构建具有完备性的时空数据描述模型;探讨由此引发的异构时空数据的转换机制.最后,在异构时空模型之间的转换机制中分析了该模型的特点.     

基于离散隐马尔科夫模型的语音识别技术

概述语音识别技术的基本原理,对当前三种主要识别技术--动态时间规整技术、隐含马尔科夫模型技术及人工神经网络技术进行比较,重点介绍基于离散隐马尔科夫模型(DHMM)的语音识别系统的实现.     

基于DLENN模型的沈阳地区PM2.5浓度预测

受到重工业发展规模、北温带季风气候、秋冬季燃煤取暖、机动车拥堵状况以及微观气象条件等各种因素影响,沈阳地区PM2.5浓度变化具有趋势性、周期性及随机性特征.针对上述三种特征,论文构建了一种集成双向长短期记忆网络的神经网络预测模型DLENN(Double-LSTM Ensemble Neural Network),内含的...     

模型算法控制器降阶方法的研究

使用模型算法控制理论设计的控制器,阶数较高,不利于工程实现和参数调整.针对这个问题,通过非参数模型和参数模型的转换对其进行降阶优化,调整闭环系统新极点的位置,可以获得动态特性和鲁棒性。仿真结果表明了该方法的有效性.     

Making the abstract concrete: The role of norms and values in experimental modeling

Experimental modeling is the construction of theoretical models hand in hand with experimental activity. As explained in Section 1, experimental modeling starts with claims about phenomena that use abstract concepts, concepts whose conditions of realization are not yet specified; and it ends with a concrete model of the phenomenon, a model that can be tested against data. This paper argues that this process from abstract concepts to concrete models involves judgments of relevance, which are irreducibly normative. In Section 2, we show, on the basis of several case studies, how these judgments contribute to the determination of the conditions of realization of the abstract concepts and, at the same time, of the quantities that characterize the phenomenon under study. Then, in Section 3, we compare this view on modeling with other approaches that also have acknowledged the role of relevance judgments in science. To conclude, in Section 4, we discuss the possibility of a plurality of relevance judgments and introduce a distinction between locally and generally relevant factors.     

What’s so special about model organisms?

This paper aims to identify the key characteristics of model organisms that make them a specific type of model within the contemporary life sciences: in particular, we argue that the term “model organism” does not apply to all organisms used for the purposes of experimental research. We explore the differences between experimental and model organisms in terms of their material and epistemic features, and argue that it is essential to distinguish between their representational scope and representational target. We also examine the characteristics of the communities who use these two types of models, including their research goals, disciplinary affiliations, and preferred practices to show how these have contributed to the conceptualization of a model organism. We conclude that model organisms are a specific subgroup of organisms that have been standardized to fit an integrative and comparative mode of research, and that it must be clearly distinguished from the broader class of experimental organisms. In addition, we argue that model organisms are the key components of a unique and distinctively biological way of doing research using models.     

基于ASP．NET的稿件管理系统的设计与实现

本文基于ASP．NET三层架构技术，提出并实现了稿件的整体管理解决方案，并着重研究了稿件管理系统中稿件的查询和稿件处理单报表下载等关键技术。     

地方本科院校音乐系核心竞争力研究——基于“钻石模型”

核心竞争力无论对于企业还是高等院校都是重要的。地方本科院校音乐系核心竞争力是其形成独特个性和持续获得竞争优势的能力,具有扩展性、核心性、独特性和动态性特征。文章借助钻石模型对地方本科院校音乐系核心竞争力的构成要素进行分析,并提出构建地方本科院校音乐系核心竞争力的建议。     

模型势MCP应用于分子间相互作用的研究

使用模型势MCP计算了含重元素的氢键和vail der Waals相互作用体系的几何结构与结合能。结果表明，在MP2水平，应用MCP基组研究分子间相互作用时，可以使用Boys和Bernardi提出的均衡校正法进行基函数重叠误差（BSSE）校正；与同一水平的全电子基组相比，经BSSE校正后的结合能AEcP平均相对误差为5．2％，结果准确，但是BSSE普遍较大；使用MCP基组的计算时间远小于全电子基组，MCP方法的效率随原子的电子层数增加而提高。     

关于机器证明

本文简介机器证明的理论与实践．并附一篇关于用模型论方法证明无限地图的四色定理．