• 基于多值决策过程的广义可能性多值时序逻辑模型检测

    基于多值决策过程的广义可能性多值时序逻辑模型检测

    论文摘要模型检测(ModelChecking)是一种重要的形式化验证方法,广泛用于软硬件系统行为的自动验证.为了使包含非确定性信息、不完全信息和不一致信息的并发系统得到有效验证...
  • 基于事件驱动的通信卫星传输功率的最优控制

    基于事件驱动的通信卫星传输功率的最优控制

    论文摘要本文提出服务请求、能量获取随机情形下,通信卫星在衰落信道中的通信随机模型,研究基于吞吐量最大的事件驱动的传输功率控制问题。本文将通信系统随机模型转换为混合状态且具有有限...
  • 基于服装消费行为的职业装设计探析

    基于服装消费行为的职业装设计探析

    论文摘要需求决定动机从而决定购买行为,职业装的消费行为可以概括为购买决策的4个阶段,每个阶段都具有不同的信息需求,职业装生产公司的行为基于这些需求构成了职业装设计的流程。分析每...
  • 结构化道路中动态车辆的轨迹预测

    结构化道路中动态车辆的轨迹预测

    论文摘要为提高结构化道路中自动驾驶汽车周边动态车辆运动轨迹预测的准确率,提出了基于交通场景特征辨识的轨迹预测策略。基于激光雷达与组合导航系统实现周边车辆的检测跟踪与定位,通过驾...