小额诉讼程序中裁判文书的简化

简化裁判文书体例和说理是提升诉讼效率、适应小额诉讼程序改革的基本要求。当前，通用的裁判文书格式固化、式样单一、内容繁杂冗长，已无法适应广大人民群众对高效司法的需要，难以与小额诉讼程序完全匹配，束缚了小额诉讼程序改革。简化裁判文书、提高诉讼效率，需要从增强法官的专业能力出发，以信息化建设为依托，在加强说理和法治宣传的同时，对裁判文书的体例结构进行适当简化，创新裁判文书的式样，拓展无裁判文书适用的案件范围，完善当事人司法监督和权利救济渠道，做到程序规范、格式简化、说理透彻、处理得当，从而更好地服务于小额诉讼程序改革，体现法治精神和社会价值。     

多调机环境下的树枝形铁路专用线作业车同步取送优化

围绕服务铁路枢纽地方货物流的小运转作业系统，研究一类多调机环境下的树枝形铁路专用线作业车同步取送优化问题。考虑取送顺序间隔、调机牵引能力等约束条件，以调机作业均衡为上层优化目标，以调机取送成本和货车停留成本最小化为下层优化目标建立双重目标规划模型。根据模型特点，提出融合综合关联度和异步启发式过程的两阶段融合求解方法。该方法首先基于聚类划分思想，引入综合关联度确定调机最佳数量，并对作业区进行划分，从而为调机指派作业范围。进而基于迭代寻优思路，设计异步循环启发式过程，该过程根据多调机取送车作业特点赋予循环体表述，设计循环体更新规则，引入遗传算法中的交叉与变异操作对循环体进行寻优，进而导入人工鱼群聚群行为实现循环体二次寻优，从而完成所有调机在各自作业区内取送顺序的逐步寻优过程。最后，设计实验场景对所提出的两阶段算法进行过程验证，并设计不同规模试验进行对比测试，结果表明了所提算法的有效性和较优性。