基于水联网及智慧水利提高水资源效能

针对水资源供需系统的“动态性、关联性、预期性、不确定性”,以信息技术当前快速发展和应用的物联网理论与技术为基础,提出了水联网及智慧水利概念：其总体架构是集物理水网、虚拟水网和市场水网一体的现代化水资源系统;其核心特征是实时感知、水信互联、过程跟踪、智能处理;其关键技术是基于云技术的监测、计算和服务,基于多水源高效能的智慧调度,基于多通道优拓扑的精准投递;其核心目标准确预报、精准配送和高效管理,全面提高水资源效能,促进我国水资源高效利用水平的跨越式提升。     

Modeling and control of discrete event systems using finite state machines with variables and their applications in power grids

Control theories for discrete event systems modeled as finite state machines have been well developed to address various fundamental control issues. However, finite state machine model has long suffered from the problem of state explosion that renders it unsuitable for some practical applications. In an attempt to mitigate the state explosion problem, we propose an efficient representation that appends finite sets of variables to finite state machines in modeling discrete event systems. We also present the control synthesis techniques for such finite state machines with variables (FSMwV). We first present our notion and means of control under this representation. We next present our algorithms for both offline and online synthesis of safety control policies. We then apply these results to the control of electric power grids.     

User-configurable semantic home automation

The ideas of smart home and home automation have been proposed for many years. However, when discussing homes of the future, related studies have usually focused on deploying various smart appliances (or devices) within a home environment and employing those appliances automatically by pre-defined procedures. The difficulties of supporting user-configurable automation are due to the complexity of various dynamic home environments. Moreover, within their home domains, users usually think semantically; for example, “I want to turn off all the lights on the second floor”. This paper proposes a semantic home automation system, USHAS (User-configurable Semantic Home Automation System), which adopts Web Service and WSBPEL for executing automated process; OWL and OWL-S for defining home environments and service ontology; and a self-defined markup language, SHPL (Semantic Home Process Language), for describing semantic processes.     

智慧城市之危险源远程监控解决方案

随着城市化建设的不断发展,一些有毒、有害、易燃、易爆等危险源有明显向城市整体区域扩散的趋势,因此为了城市的安全,必须把城市重大危险源的控制与管理提到重要位置。针对智慧城市建设中的危险源远程监控系统,本文提出了详尽的解决方案,并且介绍了力控科技产品在此系统中的应用。     

基于XML 的电子病历系统

文章针对传统病历书写中存在的医疗信息传递慢,历史病历调阅繁琐等问题,提出并实现了基于XML技术的电子病历系统设计方案。该系统作为临床信息数据的载体,以患者诊疗信息为主线,借助Web Services开发平台,集成了医嘱、医技、护理及传染病报病等信息,实现了数据查询与集成。本系统克服了传统手写病历管理只重病历的终末监控的问题,强化了对病历的多点、多方位监控。     

基于 SAP 的 Adobe 交互式表单

SAP与Adobe公司的合作,在SAP NetWeaver平台上引入Adobe表单,无疑为双方都带来了巨大的优势。首先,介绍SAP与Adobe公司的合作背景以及远景规划,介绍交互式表单的几大优势。接下来,研究交互式表单的原理以及工作模式。最后,通过一个具体的实现来说明交互式表单的应用。     

基于Android平台的通讯帮手的设计与开发

Android是由Google推出的源码公开的智能手机操作系统,从推出至今得到越来越多的人的研究和使用。通过搭建Android应用开发平台,完成了Android应用程序的开发以及从总体设计到详细设计的工作。设计了一款基于Android的通讯帮手软件,它主要实现了手机联系人的分组存储、联系人资料的详细存储以及快捷的电话呼叫、短信发送、邮件发送功能。应用程序界面都通过Android UI设计完成,通过虚拟机调试分析直至最后编码通过。     

基于无线网络的智能家居安防系统

设计了一种无线网络的智能家居安防控制系统。利用各种传感器及摄像头对无线网络覆盖区域进行监控,集成GPRS模块使用户能够远程控制网络主控节点,完成与无线网络交互并获得各监控子节点的监控状况。实践表明系统低成本,性能稳定,易于扩展,有广阔的市场前景。     

智慧家庭服务系统过程建模与设计

智慧家庭服务系统是现代服务计算和云计算环境下服务系统的新形态和新应用,对智慧家庭服务业务过程的分析、建模与设计问题进行了研究。介绍了智慧家庭的新理念,提出了智慧家庭服务系统的体系结构。在详细分析家庭服务业务过程基础上,提出了基于BPMN建模语言的智慧家庭服务过程建模方法。最后以具有典型性的采购服务为例,建立了服务过程模型,并给出了设计与实现方案。