摘要：无人驾驶汽车的高层决策系统是其实现自主驾驶功能的核心,在决策系统的开发过程中,由于信号变量与状态数量庞大等原因,系统面临着可维护性与可拓展性差的难题。UNMANNED_RULE_EDIT是面向无人车高层决策系统的规则编辑与代码自动生成辅助工具,具有图形化编辑和代码自动生成的功能,有利于开发人员清晰直观地设计规则,并摆脱繁琐的编码工作。主要讨论了UNMANNED_RULE_EDIT的中间语言(规则语言)设计和代码自动生成算法。目前,该工具已初步应用在国内某单位研制的无人车上,为其决策系统的开发提供便利。

摘要：Google公司于2007年11月发布Android系统以来,短短四年时间,Android已经占据了智能手机市场的半壁江山,是目前最为炙手可热的智能手机操作系统。Android走进了越来越多人的生活,成为他们获取信息主要设备。随着拥有私家车的家庭越来越多,大部分司机朋友都希望能接收到导航服务,为自己的旅程提供准确便利的信息。除了购买导航仪以外,导航软件的出现为司机朋友增加了一个选择,通过手机就能实现导航功能,不但节省了一笔导航仪的费用,还能为获得除了导航服务以外的更多信息。目前市面上大部分导航软件都存在如占用空间大,地图数据不全面等弊端,一部分用户体验可能就不是很好。Google Map作为最先推出的网上地图,各种数据信息最为全面和准确,本系统通过Google Map Api设计一个能够实现定位、导航和交通信息发布等等功能的在线导航软件。在Android设备上具有良好的用户界面、响应速度和用户体验。

摘要：形式化方法起步于程序理论和语义的研究,历经50余年的发展,成为了计算机科学的重要领域.它使用严格的数学方法,研究并发展软件和硬件系统的建模、设计、开发、验证与演化等技术,为保障系统的正确性、可靠性和安全性提供了重要途径.本专题收录的13篇论文反映了近年来我国学者在软件形式化方法与应用领域的部分研究成果.