物联网服务建模：一种基于环境建模的方法

物联网服务是传统Web服务通过传感器网络向物理环境的延伸,它通过传感器网络感知物理环境中的实体,也向物理环境实体施加作用.与传统Web服务相比,由于物联网服务受到所依赖的物理环境的时间受限性、资源受限性和设备潜在故障概率的影响,物联网服务的响应速度、服务能耗和容错能力等特性成为影响物联网系统整体特性的重要因素.因此,对物联网服务进行全面建模,对物联网服务所处的外部环境进行形式化描述,并结合物理环境模型对物联网服务的性质进行分析,对于确保物联网系统的正确性、稳定性非常必要.本文针对物联网服务的特点,结合基于环境建模的需求工程思想,提出一种基于环境的物联网服务三元问题域建模框架,给出了物联网服务建模本体以及相应的建模原则.在此基础上,提出了一种物联网服务行为建模方法,该方法将物联网服务和物理环境建模为概率时间自动机,将用户期望的服务特性描述为时序逻辑公式,为物联网服务功能行为正确性验证和非功能性约束可满足性验证奠定了基础.     

面向增材制造的正向产品建模技术

传统CAD建模技术因其自身的局限性,极大地限制了增材制造产品的设计空间.为了最大限度地发挥增材制造的技术优势,需要在产品设计阶段通过综合产品形状、大小、层次结构以及物质组成实现产品性能的最优化及制造成本的节约化.本文根据增材制造的4种特性,从复杂形状建模、复杂材料建模、复杂层次建模以及面向制造的建模等4个方面论述了国内外对于面向增材制造的正向产品建模技术的研究概况.在此基础上,本文对该领域的发展趋势进行了探讨,认为综合一体化建模与轻量化建模将成为未来发展方向.     

城市建模的途径与关键技术

数码城市是信息时代发展的必然产物，城市建模是数码城市的重要内容与基础。到目前为止，城市建模虽然已经成为国内外建立数字城市的热点，人们正在通过各种各样的途径进行城市建模，而且已经取得非常重要的进展，甚至已经成为“产品”被应用于实际生产。但是城市建模还有不少关键问题与技术亟待解决。本文将城市建模分为几何建模与纹理映射两大部分，介绍了他们的基本原理与各种方案、存在的问题及其解决的途径。针对不同应用需求的几何建模途径，包括如何充分利用不同的数据，例如LIDAR数据、地图数据、航空、卫星影像、地面影像，实现房屋几何建模的半自动化；房屋墙面纹理影射的半自动化及房屋墙面纹理遮挡分析、数据压缩等。     

基于OPNET的AODV协议性能研究

针对目前移动自组网路由协议的研究,介绍了Adhoc网络路由协议设计的目标,对无线自组网Adhoc的按需距离向量协议AODV进行了研究,通过仿真分析了不同网络规模、不同的节点移动速度、源节点不同发包率对AODV的性能的影响,结果证明随着网络规模的扩大,路由开销、丢包率都有所增加;AODV协议对20米／秒以下的网络拓扑变化的适应性较好;发包率对AODV性能的影响比较明显,当发包率超过20包／秒时,网络性能恶化。     

一类飞行器姿态动力学特征建模研究

本文研究飞行器姿态动力学的特征建模问题.针对飞行器姿态动力学所具有的三角形式的仿射非线性系统,通过引入非线性系统的时间尺度和一类与系统状态有关的压缩函数,给出了将动力学压缩到特征模型参数中的一般方法,并且给出了特征模型的参数范围及其极限.从所给出的参数范围可以看出,特征模型参数的界与采样周期、建模误差、系统阶数、系统变化率有关.所建立的特征模型的建模误差可以按照控制精度的要求任意小,表明了特征建模和一般模型降阶方法是不同的,该方法并不丢失系统信息.在此基础上建立了挠性卫星姿态特征模型,并给出了参数的界和极限,为基于特征模型的飞行器控制设计奠定了理论基础.     

平面机械系统动力学建模的复合方法

针对平面机构拓扑结构组成特点,提出平面机构动力学建模的复合方法。依据机构结构学原理划分动力学建模的单元,采用状态空间方法表达系统动力学模型。采用平面四杆机构作为建模案例,与现有多体系统建模方法对比,验证了新方法的正确性。新方法可以很好地支持动力学模型的重用,揭示了平面机构动力学模型与拓扑结构的内在联系。     

带式输送机侧向稳定性的建模仿真

针对实际工况中大型带式输送机的跑偏问题,建立了带式输送机侧向动力学模型,其特点是综合考虑了带的粘弹性、带和物料重力的复位力和调心托辊的纠偏力。利用VC＋＋6．0对系统的状态方程编程求近似解,并对实际系统进行仿真,绘出二维图形显示动态参数值,得出了最大跑偏量,使结果直观,也证明了动力学模型的正确性。     

集成建模环境研究及其在黑河流域的初步应用

环境和水问题是跨学科问题,解决这些问题需要集成多学科模型．建模环境提供了有效的模型集成技术手段．现有建模环境由于技术设计和学科侧重点的原因,无法满足当前的需求,比如无法集成知识系统形成智能建模环境．本文建立了用于水文和地表过程领域的建模环境,采用高效灵活的模块控制和数据传递机制,实现了灵活的模块重用性和扩展性．本文介绍了本建模环境的体系结构、模块组件化表示、模块控制和数据传递、模块连接和重用等关键技术．最后,作为一个应用实例,在建模环境的支持下使用Noah陆面过程模型的蒸散发模块替换了TOPMODEL的蒸发模块,演示了基于建模环境的模型集成和模型比较是高效、可靠、有意义的．     

运载火箭全箭动特性三维建模技术

目前国内运载火箭动力学特性建模以梁模型为主,但梁模型是对运载火箭三维结构的一种简化,存在若干弊端.采用三维建模方法可以克服这些弊端.总结了作者近几年开展的运载火箭三维建模的研究工作,提出了运载火箭三维建模方法,包括硬壳与半硬壳结构建模方法、夹芯结构建模方法、发动机架及发动机建模方法、燃料液体建模方法、非结构质量建模方法以及连接建模方法.尤其针对液体建模,提出了燃料液体杆单元建模方法,使液体建模工作大为简化.通过工程实例应用以及和试验的对比,证明了建模方法的适用性.同时也提出了运载火箭建模当中的不确定因素.     

基于OPNET仿真平台的DSR协议性能研究

Ad Hoc网络的路由算法是在网络拓扑高度变化的情况下,无线自组网能否实现网络自组的关技术.本文介绍了AdHoc网络的基于源驱动的按需路由选择协议DSR,重点分析了基于OPNET的DSR模型的节点及其所支持的特性,并基于OPNET对全部采用固定节点的Ad Hoc网络,利用DSR作为其路由协议,分设场景进行仿真,对DSR协议随着节点数增多所表现出来的性能进行了比较和分析,最后总结了目前DSR协议存在的问题并提出了适当的改进建议.     

基于CORBA规范的新型事件机制的研究与设计

现有事件机制多采用客户端/服务器端的模式,虽然很灵活,但会导致服务器端负担过重的问题.本文将CORBA事件服务引入到传统的事件机制当中,在客户端与服务器端增加了事件通道,使客户端和服务器端关系变得松散,以此减轻服务器端负载.     

技术创新市场化适应机制的研究

本文建设性地提出了“企业技术创新市场化适应机制”的重要问题,通过分析技术创新的经济学特征及其市场化的本质要求和社会、经济意义,提出技术创新市场化及其经济规模化是最终体现企业技术创新能力和衡量创新成败的根本准则;指出适应市场是技术创新的根本导向;探讨了技术创新与市场相适应的理论机理;并根据技术创新与市场在一个适应整体中磨合形成的主次定位关系及对技术创新及其产品进行了分类界定,提出了“导向市场型创新”、“市场导向型创新”及其“导向市场型产品”、“市场导微型产品”等新的科技管理概念。在此基础上,结合实际具体研究了技术创新市场适应机制的建立问题以及由此促进科技经济一体化融合的运作方法,同时阐明了在建设企业技术创新系统过程中应该注重抓好市场开拓体系建设的配套问题。     

农业科研机构创新动力机制研究

农业科研机构创新动力不足已成为我国农业科技创新低效的重要原因。农业科研机构建立一种有效的动力机制是农业科技体制改革的客观要求。本文对农业科研机构的动力机制进行了理论探讨,在总结国外经验和分析我国现状的基础上,提出了构建我国农业科研机构新型动力机制的主要措施。     

基于市场机制的网格资源分配策略研究

网格资源的分配策略是网格资源管理体系的核心,它决定了该体系对资源的组织能力和分配能力,体现了网格资源管理体系管理的有效性和服务质量的优劣性.本文从市场的角度入手,把网格资源的供需方比拟为市场中的买卖方,引入柯布-道格拉斯效用函数,用数学方法具体分析了在时间和费用需求的保障前提下,供需方最优的资源出价.此决算方法给网格资源分配提供了科学的依据,是市场机制下实现网格资源分配策略的核心.     

英国公共科研机构技术转移机制研究

对英国多家公共科研机构技术转移的管理模式、组织模式、商业模式、运行成效以及配套政策状况进行了较为系统的分析。研究结果显示,在英国公共科研机构技术转移机制中,集中管理模式与分散管理模式并存,实施主体多元化、商业模式多样化,激励政策多层次化,但不同机构取得的成效存在差异性。     

水稻光温敏核不育调控基因及作用机理研究进展

我国两系法杂交水稻理论与技术体系研究已取得重大突破,进入大规模生产应用实践阶段。本文综述了水稻光温敏核不育系的类型、育性转换特性,以及近五年来对其不育基因的定位克隆和育性调控机理研究方面的新进展,并对研究中存在的问题进行了讨论。     

建筑垃圾资源化的长效机制研究:以重庆为例

基于对建筑垃圾管理政策研究的基础上,着重考察三种环境经济政策(填埋收税、资源化补贴和绿色采购)对建筑垃圾资源化的影响;根据不同环境经济政策下垃圾资源化参与主体的成本和效益,选择利于建立建筑垃圾资源化长效机制的环境经济政策,为政府主管部门制定政策提供参考.     

基于机制设计理论的企业自主创新促进机制研究

近年来,国家将自主创新确立为发展战略,并制定了一系列的激励措施.但是,由于现有的自主创新激励机制并不同时具备机制设计所设定的三个约束条件,企业界对国家的自主创新战略响应不够积极.文章根据机制设计理论,从＂技术可行性＂（机制设计者目标在技术上可行）、＂参与约束＂（人们自愿参与）和＂激励相容约束＂（人们自愿付出实现目标的努力）三个方面进行企业自主创新促进机制的建设,使得企业具备自主创新的能力,自愿参与自主创新、自觉实施自主创新战略,并主动为实现国家的自主创新发展战略而努力.