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

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

泡沫铝汽车碰撞吸能器仿真分析

提出了在汽车保险杠和前纵梁之间安装泡沫铝吸能器的方案,并对此结构进行了总体设计.采用 CATIA ANSYS DYNA3D联合建模求解技术对汽车碰撞进行了仿真分析,得出了安装泡沫铝吸能器前后汽车质心加速度曲线、吸能曲线及车体应力分布图.结果表明,应用泡沫铝汽车碰撞缓冲吸能器可提高汽车的安全性.本研究为泡沫铝在汽车中的应用提供了参考依据,也为汽车满足轻质、节能、环保、安全等方面的需要提供了新途径     

工业互联网驱动的流程工业智能优化制造新模式研究展望

本文首先综述了各国工业互联网的发展愿景和流程工业运行现状,给出流程工业智能优化制造的内涵,并分析了工业互联网驱动的流程工业智能优化制造的机遇与挑战;结合工业互联网作为实现智能制造纵向集成、端到端集成和横向集成的基础设施,探讨了工业互联网驱动的流程工业智能优化制造新模式:(1)工业互联网驱动的流程制造企业智能优化制造模式...     

VOIP中TTS增值服务的设计与实现

TTS（Text-to-Speech，文本转语音）的作用是通过TTS引擎将文本转化为语音输出，VOIP（VoiceoverInter-net）借助于TTS服务器可将文本信息转换为语音信息，然后将语音信息拨打到用户的手机或固定电话上，这样用户可以通过手机或固定电话接收并收听到如电子邮件之类的文本信息。本文分析了VOIP调用TTS的流程以及MSSAHSDK的模块结构，详细介绍了TTS服务的设计与实现，并给出了TTS服务的性能测试结果。     

基于DSM的产品协同开发流程优化方法研究

针对传统的按职能分工部门之间的壁垒造成产品开发过程中的信息传输迟滞，以及流程活动冗余造成的流程运行时间长的问题，从时间的维度进行产品开发活动的协同管理，建立流程活动间信息交互模型，以实现流程活动间信息传递的量化和无量纲化。根据流程活动间信息依赖关系，建立基于设计结构矩阵（Design Structure Matrix，DSM）的产品协同开发流程结构矩阵，用模糊聚类方法对流程进行优化，并建立了流程优化算法，通过实例验证该方法的可行性。     

美国和日本汽车节油比较研究

本文对美国和日本的汽车用油状况、节油法律法规、节油政策、节油技术和城市智能化交通管理五个方面,比较分析了这两个国家汽车节油的做法,指出了两者的共同点和差异点,以及对我国的启示。     

移动计算环境下不确定性组合服务的事务建模与执行分析

移动计算环境中,服务面临资源受限与连接波动,同时存在越区切换和弱一致性需求等事务性挑战.为了确保移动环境下组合服务的事务有效性,本文以服务的不确定性和事务属性为基础,提出了一种基于Markov链的移动组合事务模型.首先通过形式化方法构建移动环境下原子服务模型和原子服务的事务机制,并基于状态概率实现了原子服务的2维不确定性表征,然后运用Markov链完成移动组合服务的模型表达,提出了该模型下的不确定性处理与事务方法,最后基于典型业务结构分析了移动组合事务的执行语义与实施.实验表明:该事务模型能有效描述移动环境下组合服务的事务需求,且服务不确定性的不同指标和各事务架构皆对组合事务成功率产生较大影响.     

事件驱动、面向服务的物联网服务提供方法

物联网无缝集成了用户域、信息空间域和物理空间域,实现了＂人—机—物＂的动态协同,其应用常常涉及到跨业务域甚至跨组织的用户、业务流程和物理实体的实时动态交互.因此,物联网服务系统往往需要集成多个分布式的企业应用系统从而形成一个大规模复杂服务系统来实时协作完成一定的业务目标.目前,大多数已有研究工作主要集中于解决不同实体和应用系统间在动态交互环境下的互联和互操作问题.然而,如何在信息的提供方和消费者之间按需的分发感知信息、并基于物理世界所发生的变化动态的实时协同相关的企业服务或者业务流程做出快速反应尚没有系统深入地研究.为此,本文结合事件驱动架构和面向服务架构的设计思想,提出了一种事件驱动、面向服务的物联网服务提供方法,该方法能够便捷地支持感知信息的按需分发和聚合,并实现事件驱动的跨业务域甚至跨组织的服务动态协同.这种实现了＂时间、空间和控制＂解耦的服务提供方法极大地增强了物联网服务系统的灵活性和敏捷性,允许系统及时地对物理世界的动态变化做出快速响应.最后,通过实际部署的区域集中供热监控及热计量物联网应用进行了验证.     

智能飞行汽车关键技术及发展趋势

城市立体交通是未来智慧出行发展的热点方向,近年来受到了广泛的关注.作为城市立体交通的载体,智能飞行汽车融合了飞机与汽车两种运动模态,能够灵活地在空中与地面进行切换.本文介绍了智能飞行汽车的背景、历史与现状,阐述了其与城市空中交通载具的区别,分析与讨论了飞行汽车的系统设计,并介绍了智能飞行汽车的关键技术创新,包括动力技术和机电总体设计、多模态切换、模块复用与飞车脑认知等.重点讨论了飞行汽车的智能化技术,包括近地感知、决策与规划、智能控制与智能通信系统的关键技术与瓶颈.最后,结合现有技术,对智能飞行汽车的技术进行了剖析,并讨论了潜在的解决方案与发展趋势.     

社会系统创新过程的反馈机制研究——以新能源汽车为例

新能源汽车的推广扩散是整个社会系统的创新,但传统汽车在长期发展之后形成了社会系统的"锁定",使得新能源汽车难以突破。本文以多层次模型分析社会系统结构,对不同层次之间的反馈机制进行研究探讨,分析传统汽车"锁定"背后的成因,传统汽车和新能源汽车之间如何相互作用。分析结论认为,政府、企业、消费者三者在不同情境下对新能源汽车的扩散作用不同,可形成多种多样的交通工具新体制。