软件工程论文

本文是软件工程硕士论文，本文首先研究了交互时序逻辑 ATL 在博弈游戏必胜策略验证中的应用。通过交互式有穷状态自动机描述系统模型，通过 ATL 公式描述博弈游戏的必胜策略。...

本文是软件硕士毕业论文，本文在已获取需求的基础上，重点分析具有代表性的核心业务流程，阐述了量化选股回测平台采用的指导设计思想和实现方案，实现过程中选择的开发方法、框架。...

本文是软件硕士毕业论文，本文提出一种面向位置数据的位置语义发现方法，结合地理位置坐标具有的空间意义，将其隐含的功能区域特征从位置数据中挖掘出来，为后续的行为模式抽取研究。...

本文是软件硕士毕业论文，本文系统解决了散热器生产企业在日常生产管理中的大量繁琐计算，实现了生产各个环节的信息共享，能够解决生产管理中当前最急迫的问题。...