对并行设计基于约束的一致性检测算法进行了研究,建立了Petri网模型.分析了模型的性质,给出了适用于并行设计冲突检测的算法,并且通过具体应用实例进行了验证,说明了方案的可行性

(一)远程教育辅导教师基本条件(要求) 1.熟练掌握C语言及其调试开发环境; 2.具有用C语言编写调试中等规模以上(数百行源码)程序的经验; 3.掌握《数据结构与算法》课程有关的知识,具有较好的算法设计和分析的能力;

个别指导，学生演示，分析多种解法，指出错误点，记好笔记，鼓励多做快作算法

上海交通大学：《C程序与算法设计》课程教学资源（课件讲稿）Lecture 14 内存检测、剖面分析

 C特性简介  第一个C程序 —— HelloWorld  C开发环境  HelloWorld分析  更多示例

学科基础课平台必修课 《高等数学 B1》 《高等数学 B2》 《大学物理 A1》 《大学物理 A2》 《大学物理实验》 《C++程序设计》 《C++程序设计实验》 《C++程序设计实训》 《线性代数》 《概率论与数理统计 B》 《离散数学Ⅰ》 《计算机组成原理 I》 《数据结构 I》 《数据结构 I 实验》 《计算机网络原理Ⅰ》 《操作系统 I》 《操作系统Ⅰ》 学科基础课平台选修课 《数字逻辑》 《Java 程序设计》 《Java 程序设计实验》 《数据库原理 A》 《编译原理》 《软件工程概论 A》 《汇编语言与接口技术》 《算法分析与设计》 《人工智能导论》 专业课平台必修课 《计算机类认识实习》 《美术基础》 《平面图像处理》 《设计美学》 《数媒毕业设计Ⅰ、Ⅱ》 《数字媒体毕业实习》 《数字媒体技术概论》 《数字媒体生产实习》 《数字摄影与视频处理》 《数字图像处理 A》 《数字音频处理》 《数字音频处理实验》 专业课选修平台 《计算机图形学》 《Java ME 程序设计实验》 《计算机游戏设计与开发实验》 《传播学》 《动画原理与设计》 《计算机游戏角色设计基础》 《静态网页开发技术》 《三维动画设计及建模基础》 《色彩基础与配色》 《移动媒体游戏设计》 《计算机游戏设计与开发》 《数字影视编导与剪辑》 《数字影视特效技术》 《数字作品鉴赏》 《虚拟现实技术》 《虚拟现实技术课程设计》 《用户界面设计与测试》 《纪录片创作》

学科基础课平台必修课 《高等数学 A1》 《高等数学 A2》 《大学物理 A1》 《大学物理 A2》 《大学物理实验》 《C++程序设计》 《C++程序设计实验》 《C++程序设计实训》 《线性代数》 《概率论与数理统计 B》 《离散数学Ⅰ》 《计算机组成原理 I》 《数据结构 I》 《数据结构 I 实验》 《计算机网络原理Ⅰ》 《操作系统 I》 《操作系统Ⅰ》 《电工电子技术 C》 学科基础课平台选修课 《数字逻辑》 《Java 程序设计》 《Java 程序设计实验》 《Java 程序设计》实训 《管理信息系统》 《管理信息系统实训》实践 《数据库原理 A》 《编译原理》 《软件工程概论 A》 《汇编语言与接口技术》 《汇编语言与接口技术》考查大纲 《汇编语言与接口技术》实践 《算法分析与设计》 专业课平台必修课 《C#程序设计》 《AspNet 程序设计 A》实践 《软件项目管理》 《软件工程专业毕业设计（论文）》 《软件工程》毕业实习 《UML 建模语言》 《软件设计与规范》 《UML 软件建模》 《软件设计模式》 《软件工程生产实习》 《软件验证与确认 A》 《软件验证与确认 A》课程实验 《单元测试与软件质量》 《软件工程综合实训 I》 《软件验证与确认 B》 《软件验证与确认 B》课程实验 《软件工程综合实训 II》 专业课平台选修课 《软件工程综合实训 III》 《软件测试技术与工具》 《软件测试技术与工具》课程实验 《单元测试实训》 《集成测试实训》 《软件测试设计与文档规范实训》 《搜索引擎》 《搜索引擎》课程实验 《JavaScript 与 Ajax 开发》实验 《Fortran 与科学计算》 《Java 软件开发实训》 《Oracle 高级数据库开发设计》 《安卓系统编程实训》 《工程数据库技术》 《工程数据库技术》课程实验 《计算方法》 《软件安全测试》 《软件安全测试》课程实验 《经典代码与文档阅读》 《软件安全》 《软件安全》课程实验 《软件部署与维护》 《计算机游戏基础》 《人机交互工程》 《人机交互工程》考查大纲 《网络软件开发技术》

学科基础课平台必修课 《高等数学 A1》 《高等数学 A2》 《大学物理 A1》 《大学物理 A2》 《大学物理实验》 《C++程序设计》 《C++程序设计实验》 《C++程序设计实训》 《线性代数》 《概率论与数理统计 B》 《离散数学Ⅰ》 《计算机组成原理 I》 《数据结构 I》 《数据结构 I 实验》 《计算机网络原理Ⅰ》 《操作系统 I》 《操作系统Ⅰ》 《电工电子技术 C》 《复变函数与积分变换》 学科基础课平台选修课 《数字逻辑》 《Java 程序设计》 《Java 程序设计实验》 《管理信息系统》 《管理信息系统实训》 《数据库原理 A》 《编译原理》 《物联网工程导论》 《软件工程概论 A》 《汇编语言与接口技术》 《算法分析与设计》 《数字通信原理》 专业课平台必修课 《计算机体系结构》 《嵌入式系统概论》 《软件设计与规范》 《计算机类认识实习》 《计算机生产实习》 《计算机毕业实习》 《计算机毕业设计（论文）I》 《计算机毕业设计（论文）II》 专业课平台选修课 《单片机原理及应用》 《嵌入式操作系统》 《嵌入式系统设计》 《软件项目管理》 《软件测试技术与工具》课程实验 《单元测试实训》 《集成测试实训》 《软件测试设计与文档规范实训》 《信息服务概论》 《离散数学 II》 《操作系统原理Ⅱ》 《数据结构Ⅱ》 《计算机组成原理Ⅱ》 《计算机网络原理Ⅱ》 《Oracle 高级数据库开发设计》 《C#程序设计》 《基于组件的软件开发》 《UML 软件建模》

学科基础课平台必修课 《高等数学 A1》 《高等数学 A2》 《大学物理 A1》 《大学物理 A2》 《大学物理实验》 《C++程序设计》 《C++程序设计实验》 《C++程序设计实训》 《线性代数》 《概率论与数理统计 B》 《离散数学Ⅰ》 《计算机组成原理 I》 《数据结构 I》 《数据结构 I 实验》 《计算机网络原理Ⅰ》 《操作系统 I》 《操作系统Ⅰ》 《电工电子技术 C》 《复变函数与积分变换》 学科基础课平台选修课 《数字逻辑》 《Java 程序设计》 《Java 程序设计实验》 《管理信息系统》 《管理信息系统实训》 《数据库原理 A》 《编译原理》 《物联网工程导论》 《软件工程概论 A》 《汇编语言与接口技术》 《汇编语言与接口技术》考查大纲 《汇编语言与接口技术》实践 《算法分析与设计》 《数字通信原理》 专业课平台必修课 《网络信息安全》 《传感器技术及应用》 《短距离无线通信技术》 《RFID 技术》 《无线传感器网络》 《嵌入式系统设计》 《嵌入式 linux 应用程序开发》 《云计算技术》 《Linux 网络操作系统》 《模式识别与人工智能》

5.1 回溯法算法框架 （ Backtracking Algorithm Paradigm ） 5.2 NP完全性问题简介 （ Introduction to NP-Complete） 5.3 旅行商问题 （ Travelling Salesman Problem） 5.4 0/1背包问题 （ 0/1 Backpack Problem） 5.5 装载问题 （ The Container Loading Problem） 5.6 n-皇后问题 （ The n-queens puzzle） 5.7 最大团问题 （ Maximum Clique Problem） 5.8 批处理作业调度问题 （ Batch Job Scheduling Problem） 5.9 图的m着色问题 （ The M-Coloring Problem） 5.10 回溯法的效率分析