安全攸关软件系统建模与验证专题前言

随着计算机技术应用的日益普及和不断深入,软件系统的规模和复杂性急剧增大,软件在越来越多的系统中成为主要的使能部件.在航空航天、武器装备、医疗设备、交通、核能、金融等安全攸关的应用领域,软件系统失效将导致灾难性的后果,保障软件系统的质量成为迫切的需求和挑战.建模、分析与验证是保障软件系统质量的重要环节和手段.本专题收录的14篇论文反映了近年来我国学者在安全攸关软件系统建模与验证领域的     

K60与动态集成模拟摄像头的智能车控制策略设计

本文设计了一种能在模拟跑道上顺利完成智能循迹的小车.该设计以嵌入式单片机MK60DN512ZLVQ10作为核心控制器,CMOS动态集成模拟摄像头OV5116作为图像传感器获取跑道图像信息.运用硬件二值化处理图像并提取赛道特征信息,通过控制舵机的转向和电机的转速,使车模能够按照规定的跑道和规则完成比赛.实验结果表明:该智能小车循迹精准,运行快速平稳,为相关循迹比赛和设计提供了参考.     

新型学校预警系统在山洪灾害防治项目中的应用

我国山洪预报预警系统的技术研究工作开展较晚,当下山洪、泥石流、滑坡等山地灾害频发,对人民群众的安全和经济的发展都产生了极大的影响。本文在这样的背景之下,探讨了学校山洪预警系统的技术应用问题,分别从系统构成、技术要求和实现功能等方面加以论述,为学校山洪预警系统的建设提供了很好的指导。该系统具有自动接收、发布、传递水文气象和地质灾害信息,提供各学校节点实时水文气象数据、山洪预警信息、灾害应急预案、校内在册师生人员资料登记以及通知公告等数据信息的发布等功能。在实际使用中,性价比高,实用性强,具有较大的社会效益和经济效益。     

Oracle RAC双通道在气象数据库中的应用研究

气象数据在民用航空、农业生产、城市气象等领域中的应用日益重要,随着气象事业的迅猛发展,新的观测手段不断涌现,产生了海量的气象数据.现在采用的双机热备架构的双主机模式面临系统效率低、无法实现负载均衡等问题.针对目前传统气象数据库系统在数据吞吐量、高可用性等方面存在的问题,文中介绍了一种基于Oracle RAC双通道技术的系统框架,并在典型应用场景下对系统性能进行测试分析.测试结果表明,该方案利用负载均衡技术提高了海量数据的查询及存储速度,有效提高了系统效率,并实现了故障情况下的无缝对接.     

基于灭点理论和平面控制场的相机标定方法研究

给出了一种基于灭点理论和平面控制场的相机解析自标定方法。在系统分析平面场景灭点几何的基础上,依据灭点理论并结合2维场景的共线方程严密论证和推导了平面控制场中相机外方位元素初值的实用算法。给出了一种圆形标志点的快速检测及定位方法,提出了一种基于计算可靠性矩阵QVVP的自检校光束法平差中各类观测值权值的确定方法。实验证明了该相机标定方法的正确性和有效性,为相机标定探索了一种可行的方法。     

不确定Van der Pol混沌系统的模糊同步控制

本文研究了不确定Van der Pol混沌系统的同步问题,并进行了基于规则的模糊逻辑控制器(FLC)的控制。首先寻找主从Van der Pol混沌系统满足Lyapunov稳定性理论的条件,在此基础上建立模糊规则,设计模糊控制器,实现不确定混沌系统的同步。通过不确定VanderPol混沌系统的两组仿真结果,验证了模糊同步控制方法具有很好的鲁棒性。最后为了进一步验证该方法的有效性,本文在相同条件下,利用反馈控制的方法实现不确定主从VanderPol混沌系统的同步,然后再将此方法的仿真结果与本文的模糊同步控制方法的仿真结果在稳态误差及同步所需时间这两个方面进行对比分析。分析结果验证了本文同步方法的可行性及有效性。     

基于IEEE802.11协议的分布式联合功率控制

在基于802.11协议族的无线局域网中,不同于目前针对单一ap或多ap集中式功率控制方案,该文提出了针对临时大规模场景应用的分布式联合功率控制方案,一方面通过独立的预测和局部遍历获得目标功率等级,达到了减小ap间干扰的目的,提高网络整体吞吐量约3.1 Mb/s(未饱和),1.0 Mb/s(饱和),另一方面通过细粒度时隙调度增强ap对环境的适应能力。     

工业现场级ZigBee手持控制器的设计与实现

考虑将ZigBee这种新兴的无线通信技术应用到实际工业现场,文中设计开发了一种便携式ZigBee手持控制器.该文首先概述了手持控制器工作原理,然后详细介绍了系统硬件结构及实现的总体方案,最后描述了系统软件设计部分并给出了相应流程图.目前该ZigBee手持控制器工作稳定、性能可靠,达到了相应性能指标,可满足一般工业应用的要求.     

关于“软件工程”课程体系的基本架构及课程系列设置的探讨

软件工程领域的大量最新研究成果源源不断地转向实用,成为软件产业应对新挑战的重要方法和工具,并因此被纳入大学的"软件工程"课程中,不断地充实和更新"软件工程"课程的内容。本文就"软件工程"课程体系建设中的一些基本问题进行了探讨,包括"软件工程"课程体系建设的总体目标、指导思想、课程体系的总体框架,以及每门课程的讲授内容、彼此之间的衔接等,并针对本学科的人才培养目标,提出了一些建议和想法,以供进一步的研究和探讨。     

结合本体筛选和文本挖掘的垂直搜索引擎研究

针对垂直搜索引擎研究领域的关键技术问题,提出了一个结合本体筛选和文本挖掘的垂直搜索引擎构建思想.首先探讨了作为研究基础的本体和文本挖掘技术,讨论了两者的作用;之后阐述了垂直搜索引擎构建的关键技术,包括基于本体筛选的智能搜索器、结合文本挖掘的网页信息分析及抽取、索引器及查询处理器的构造;最后,对提出的思想进行了实现验证,构造一个面向高校毕业生招聘的垂直搜索引擎原型.