时间自动机状态空间的一个极小化构造方法

对时间自动机的转换系统进行改进,提出了一个状态空间的极小化构造方法。该方法用位置和停留在该位置时的可能时钟值集合来表示状态,以此隐藏因时间流逝而引发的无穷状态,得到了改进的转换系统——时间段转换系统;并通过对转换可能发生时间的分析,去除无效转换;然后使用转换互模拟合并等价状态,实现了状态空间的极小化,有效地避免了状态空间爆炸。     

主辅模块相结合的计算机多媒体技术专业教学体系研究

示范性软件职业技术教育是计算机类人才培养模式的一次改革,其核心问题是教学体系的研究与完善。本文根据我院计算机多媒体技术专业的实际,从培养目标、专业定位、培养模式、教学体系、课程设置、教学方法、实训方法等方面提出了两年制高职计算机多媒体技术专业教学改革和建设的实际问题。     

混杂系统的扩展时间自动机模型及验证研究

混杂系统复杂度高且涉及领域广,没有通用的方法来解决分析、设计等问题。为解决一类工业控制混杂系统的建模和验证问题,对时间自动机进行了语义扩展,使其含有连续变量以及映射在其上的约束,使用扩展后的时间自动机对此类混杂系统进行建模,采用验证工具UPPAAL进行模型分析模拟,并使用简化的CTL对系统需求规范进行验证。具体实例研究表明,该方法对于分析设计一类混杂系统具有可行性和有效性。     

基于Android平台的移动个人助手设计与实现

为了满足人们随时随地通过互联网进行日常交流和信息共享的目的,采用移动终端设备Android操作平台的系统功能,开发出MVC模式的移动个人助手系统。服务器端由SSH框架搭建而成,负责系统的后台管理及数据的存储;在实验中数据库通过hibernate实现了对象的持久化操作;Spring的控制反转机制控制对象之间的依赖关系,避免硬编码所造成的过度程序耦合。客户端界面友好,操作简洁,便于携带。该系统具有各个层面相互独立,便于后续开发及维护等特点。     

一种非线性动态的传感器建模算法

针对传感器动态的非线性、动态特性,精确建模比较难.为此,提出一种非线性的传感器动态建模方法.首先将LSS-VM参数作为蚂蚁的位置向量,传感器动态建模精度作为目标函数,然后采用动态随机抽取的方法来确定目标个体引导蚁群进行全局搜索,并在最优蚂蚁邻域内进行小步长局部搜索,找到算法的最优参数,最后建立传感器动态模型.结果表明,ACO-LSSVM所建模型具有较强的实用性和可靠性,为改善传感器动态性能及在线补偿提供了参考依据.     

示范性软件职业技术学院教学模式的研究与实践

本文对示范性软件职业技术学院的教学模式进行了有益的探讨,给出了围绕一条主线、设立两个机制、搭建三个平台、坚持四个原则、提供五个保障、实现六个结合的改革思路,对提高示范性软件职业技术学院的教学质量具有重要的应用价值。     

机务段整备区股道安排的算法研究

该文研究了采用基于矩阵编码的自适应遗传算法求解机务段外勤整备区股道安排的问题。通过对各种约束条件和多目标优化模型的分析,提出了基于N×M二维矩阵的染色体编码设计,并构造了基于矩阵操作的新的遗传算子,采用了自适应变换等技术。相对于传统的遗传算法而言,基于矩阵编码与自适应策略的遗传算法具有易操作性、不过早收敛、有很好的收敛精度等特点。此算法的实施克服了人工操作的主观性与繁琐性,为整备区股道安排提供了准确的决策支持。采用遗传算法求解整备区股道安排问题,具有适用广泛和计算稳定等特性。仿真试验结果表明了该算法的可行性和有效性。     

复杂环境下基于价格时间自动机飞机着陆调度

目前航空运输系统飞机着陆调度环节普遍存在调度策略单一、效率低、附加成本较高等不足,提出了以价格时间自动机作为基础模型架构的飞机着陆调度设计,在满足着陆时间窗、最小尾流间隔等约束条件下优化额外成本消耗,并考虑复杂气候地理环境,构建出飞机着陆过程中各交互实体的价格时间自动机模型,采用UPPAAL CORA中的分支界定算法求解飞机着陆调度最优成本的可达性.仿真实验结果表明:此研究方法可应用于复杂环境下、大吞吐量的飞机着陆调度,能够显著降低着陆消耗,提升跑道容量,具有安全性、智能性与经济性.     

污水处理泵站智能节能控制方法研究与仿真

研究的污水处理降低泵站运行能耗问题.污水排放量随着季节和时段变化非常大,大范围、高强度的降雨会让排水量在短时间内产生较大幅度的变化,短时强度变化,使系统存在非线性,造成提升泵工作功率和时间模型不稳定,传统的调度方法多是采用调度模型完成调度,调度的不稳定会造成提升泵频繁的启停,消耗大量电能.提出一种利用扩展时间自动机的泵站节能控制算法,通过集水井液位变化控制泵站的工作状态.对传统的时间自动机进行语义扩展,可包含连续变量和变量约束,并组成扩展时间自动机ETA,使用ETA对泵站控制进行建模和验证;实验表明,改进方法能减少提升泵频繁启停,可降低泵能耗.     

基于UPPAAL的实时系统模型验证

UPPAAL是一种使用时间自动机模型的实时系统验证工具，它可以避免时间自动机求积时状态空间的爆炸。介绍了时间自动机理论和工具UPPAAL，着重说明如何用UPPAAL进行模型检查，并给出了一个应用实例。