对纺织服装营销专业教改的研究

改革开放以来,各行各业都在飞速发展,为了使市场营销和纺织服装更好的结合,同时代发展接轨,培养出符合时代需求的专业学生是当前的重要课题。如何改变以往的传统教学模式,使教学内容跟上实际发展的需求,提高学生的学习积极性和实践能力,成为纺织服装营销教育改革的主要方向。     

CTCS-3级列控系统车地交互流程形式化建模与验证

正在建设的时速300 km/h以上的高速铁路已采用CTCS-3级列车运行控制系统.车地信息交互流程是影响CTCS-3级列控系统的效率、可靠性和安全性的主要因素之一.基于时间自动机理论对车地交互流程进行建模与验证具有重要意义.首先将车地交互流程分为4个典型的子流程:任务启动流程、正常行车流程、RBC切换流程和任务结束流程,然后针对这些子流程建立无线闭塞中心(RBC)、车载设备(ATP)和铁路专用移动通信网(GSM-R)的时间自动机网络模型,最后利用时间自动机模型验证工具UPPAAL进行仿真分析,验证了CTCS-3级列控系统的车地交互流程的安全性和受限活性.     

基于强化学习的新型列控系统区间行车间隔控制方法

列车间隔控制是保证列车运行安全和提高列车行车密度的关键.基于车-车通信的新型列控系统能够感知更多的列车运行环境信息,缩小列车行车间隔,提升列车运行效率.本文将列车速度控制视为一个决策过程,采用强化学习算法来实现新型列控系统中列车区间速度的实时控制.首先,结合车-车通信获得所处环境的列车状态信息,采用蒙特卡洛树搜索算法实时生成列车动态速度调整序列;然后,通过动态规划算法对序列进行分析处理,并在此基础上,确定列车当前时刻所应采取的速度控制策略;最后,仿真模拟了多车在不同初始条件下的列车间隔控制运行场景.仿真结果表明,在相同场景下强化学习算法对比模糊控制算法在行车间隔控制的响应速度、调节时间、总体波动以及超调量上具有一定的优势.     

基于生物电人机交互的单片机课程设计实施探索

针对目前高校实践教学要密切联系技术热点,为社会应用服务的要求,开展了基于生物电人机交互的单片机课程设计。该文首先阐述了其实施的依据,并着重分析了选题所遵循的综合实践性、适用可行性和新颖创造性共性特征;然后对开展该课程设计所采取的实施思路以引导激发、适时指导、评价考核三个方面进行了讲解;最后以基于表面肌电信号的人机交互控制系统为案例进行了具体说明。     

民事公诉制度之论证

司法实践的不断发展要求检察机关对涉及国家公益和社会利益的民事案件要提起民事诉讼，有其特殊的价值意义。检察机关提起民事诉讼必须坚持依法监督原则，保护公益原则和权力严格行使原则。因此，法律应对国家公益和社会利益的范围做出明确的界定，规定检察机关提起民事诉讼的范围、时限和检察机关在提起民事诉讼中的法律地位。     

基于随机价格时间博弈理论的车-车通信列控系统控制策略稳定性建模与验证

基于车-车通信的新型列控系统，通过等距离间隔、等时间间隔和变时距3种控制策略实现高效率的列车追踪控制。由于在车队控制中，领航车的控制具有随机性，如何保证不同控制策略中车队的稳定性至关重要。提出了一种基于随机价格时间博弈理论（stochastic priced timed game,SPTG）的车-车通信控制策略建模与验证方法。首先，针对不同控制策略要求，利用随机价格时间自动机，建立包含领航车和跟随车的车队控制模型，并进行稳定性验证；然后，以时间为成本函数，通过对建立车队随机价格时间博弈自动机模型，利用Q-learning强化学习方法得到车队的最优驾驶策略；最后，结合多车运行追踪场景，进行车队的稳定性仿真优化。结果表明：相比于车队的随机运行策略，该方法使得车队的稳定误差更小。