基于格路模型的组合恒等式证明

组合恒等式在组合数学中占有重要地位,它有多种证法,模型的转换是组合计数的基本方法,其方法简洁直观。将格路模型应用在证明组合恒等式中,使证明方法十分灵活。在用这一方法时,要认真审题,观察每一项的结构以及各项的相同点,再建立相应的模型。     

基于人工神经网络的施工安全性预警模型研究

在研究施工安全性特征的基础上,提出了施工安全性评价指标体系,结合人工神经网络模型,提出了基于人工神经网络的施工安全性预警模型,最后结合实例验证了该安全预警模型的可行性。     

瑞利衰弱仿真器几种实现方法的仿真

小尺度衰落信道的建模和仿真是信道建模的重点和难点所在.本文在阐述了对小尺度衰弱信道的建模思想以后,说明了瑞利衰弱仿真器的实现是衰弱信道仿真的关键.然后文章从目前比较流行的三种实现瑞利衰弱仿真器的方法入手,依次讨论了这三种方法的原理、实现手段以及各自的优劣性.然后对每一种方法利用数学工具Matlab做出了仿真.根据仿真结果分析了每一种瑞利衰弱仿真器的特点及需要改进之处.     

普适计算环境下三维模型的错误保护编码

 普适计算环境普遍存在传输信道误码率高的问题。三角网格模型由于不规则的网状结构,对于传输错误非常敏感。为提高三角网格模型在普适计算环境下的传输质量,提出了一种三维模型的错误保护编码方案。将三维模型数据编码为类似二维图像的方式,三角网格模型不规则的网状结构被消除,数据关联性大为降低,误码弹性得到根本改善。为了进一步提高编码效率,给出了基于错误保护的压缩编码方案。为了控制创建过程中产生的参数化误差,还提出了一种均匀准保角平面参数化方法,确保了重建的三维模型忠实于原始三维模型。模拟试验的结果表明,与常规的三角网格编码方法相比,这种编码方法改善了三维模型数据的误码弹性,并只需较少的存储空间。     

基于托达罗模型的辽宁沿海经济带农村人力资源转移模式

运用托达罗基本分析模型分别从宏观和微观两个层面研究辽宁沿海经济带农村人力资源转移问题,分析农村人力资源状况、城乡收入差距、总体就业形势等因素以及教育水平、文化差异、心里舒适度等个人心理成本因素的影响.在托达罗分析模型的基础上,结合辽宁沿海经济带整体开发背景,提出坚持政府推动和市场主导相结合、增强城市吸纳能力和扩大在农业(农村)内部就业相结合的人力资源转移方向,构建辽宁沿海经济带农村人力资源转移的基本模式.     

基于物联网的产品质量监管系统

针对当前产品质量监管的现状,为了实现产品质量的动态监管,设计了一种基于物联网技术的产品质量监管系统。该系统综合运用射频识别技术、条码技术、GIS空间信息处理技术等,实现了对产品实施全程监管和质量追溯。     

The landing zone – Ground for model transfer in chemistry

This essay proposes a new notion - the landing zone - in order to identify conceptual features that allow modelers to transfer mathematical tools across disciplinary borders. This discussion refers to the transferable models as ‘templates’. Templates are functions, equations, or computational methods that are capable of being generalized from a particular subject matter. There are formal and conceptual prerequisites for the transfer of a template to a new domain. A landing zone is an ontology that contributes to the satisfaction of these conditions for successful transfer. This paper presents a case study on a model in chemistry - the Quantum Theory of Atoms in Molecules (QTAIM) - that makes use of transferred templates from physics - the virial theorem and the wave function. The landing zone in this case is a new ontological notion, that of the topological atom, which prepares ground for the use of the virial theorem and the wave function in chemistry. The virial theorem requires that there exists in-principle stability to the system that it represents, and the wave function requires transformation in its representation that is justified. The ontology of QTAIM - the landing zone for these templates - grounds the scientific use of these templates in the context of chemistry.     

煤矿环境中人体ESD模型

在有瓦斯的煤矿环境中,井下工作人员等效于移动的孤立静电导体,人体静电比井下器材静电更具有隐蔽性、偶发性、危险性.本文通过实验确定能代表煤矿特殊环境中的人体电容、人体电阻,建立煤矿环境中的人体ESD物理模型,为制定煤矿人体静电安全标准提供实验依据.     

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

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

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

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