基于SysML的嵌入式软件系统建模与验证方法研究

嵌入式软件系统由于广泛采用分布式异构网络,使得软件系统复杂性呈现几何增长,因此需要在系统设计的论证阶段,对系统需求和设计方案进行正确性和充分性验证,进而发现系统性设计缺陷,避免可能引发或导致的严重系统性问题。为此,提出一种基于SysML的嵌入式软件系统结构与行为需求建模方法。通过对嵌入式软件系统的结构和逻辑行为进行层次化建模,并利用Modelica离散与连续融合的仿真特点,在系统需求论证阶段,基于建立的仿真模型对系统关键功能指标进行仿真,结果表明,该方法对系统需求论证具有可行性。     

一种OSS信息模型客观评价方法和工具

为了对海量的OSS(运维支撑系统)数据进行管理、存储和分析,各个机构和组织提出了多种OSS信息模型。对于运营商而言,如何评价这些信息模型的优劣成为了一个重要挑战。提出一种针对OSS信息模型的客观评价体系及评价工具,与现有评价方法相比,该评价方法是一个完全客观的评价体系,能够对OSS信息模型进行自动化客观评价,不需要任何人工参与。实际应用表明该模型和工具对运营商有较强的应用价值。     

基于加权特性关系的扩展粗糙集模型

综合考虑不完备信息系统中信息缺失的不同情况及属性本身的重要性,提出了加权特性关系,给出了基于加权特性关系的扩展粗糙集模型及其近似集的定义和性质,并用实际例子解释了该扩展粗糙集模型的近似集计算方法。     

NDN 安全机制初探

针对当前网络架构安全的问题,以内容中心网络(content-centric networking,CCN)为例对NDN的安全机制进行研究。分析NDN保护并信任内容本身的安全方式,引出通过减少内容到用户间的跳数,可以有效避免中间系统对数据的破坏的理念,并结合现有的基于NDN架构的应用ACT、VoCCN和ANDaNA,分析NDN安全机制在真实网络下的应用情况,指出现有NDN安全机制存在的漏洞。该分析结果可为今后研究海量数据下的信息过滤问题提供参考。     

基于以太网的嵌入式步进电机控制单元

基于以太网的嵌入式步进电机控制单元由PC104总线栈接处理器和电机控制模块组成.电机控制模块采用了2块CPLD芯片,设定步进电机专用控制模式,以实现步进电机控制单元与远程主机间的数据传输、控制状态的监控及运行模式的编程.底层控制单元上的芯片驱动、板级支持包、实时操作系统及电机控制应用程序在嵌入式实时操作系统VxWorks实现.     

基于AHP与AdaBoosting的软件可靠性组合模型

目前的各类软件可靠性模型的评估效果依赖于对失效行为的假设,导致模型适用性较差。为此,借助层次分析法选择合适的软件可靠性模型,依据AdaBoosting算法,对合适的可靠性模型进行组合建模。在失效数据集上对多个参与组合的模型进行学习训练,从而建立AMCM模型。在AMCM模型与4个经典软件可靠性模型上的应用结果表明,该组合建模方法是有效的,可明显提升模型的评估性能。     

基于协同管理的单件小批生产管理系统的实现

本文针对多品种小批量生产的特点,讨论了某制造企业在生产计划编制、动态生产调度、资源受限、生产执行情况反馈等方面存在的问题,在深入分析了生产计划、生产调度和多资源(工艺、物料、工装、设备、人员等)约束等有关的生产管理流程的基础上,提出了生产管理业务模型、数据模型和多资源生产调度机制,采用J2EE多层体系架构和构件开发技术,提供了生产任务管理、生产计划编制、动态生产调度、生产资源平衡配置和计划调整追踪等功能.该系统在纵向上集成了ERP和MES的部分功能,同时提供与PCS的接口,横向上提供与CAPP和PDM的接口,具有良好的扩展性,服务于实际生产,实现了生产过程的分级管理和协同共享.