王丽杰
- 作品数：6 被引量：23H指数：2
- 供职机构：电子科技大学计算机科学与工程学院更多>>
- 发文基金：国家电子信息产业发展基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术文化科学理学更多>>
- 传递性关系的枚举算法研究
- 2025年
- 通过分析二元关系的逐阶构造特性,创新性的提出了两种传递性关系枚举算法,即矩阵构造法和代数构造法,并进一步分析比较了两种算法对基本算法的改进效果以及算法与处理器并行的关系.两种算法均表现出对基本算法较为明显的改进效果.
- 王丽杰戴波高辉
- 关键词：关系矩阵代数运算
- 群论解决计数问题的一个教学改进
- 2022年
- 以经典的项链问题为例,从二面体群出发,仅使用基础的置换群知识给出了其直观解法,降低了教学难度要求,再由此引申出群对集合的作用和轨道的定义及伯恩赛德引理,使学生能够更容易的理解和使用这些晦涩的概念定理,获得更好的学习体验.
- 王丽杰王庆先
- 关键词：群论计数问题
- 嵌入式RTOS安全保护机制的研究与实现被引量：14
- 2005年
- 在分析安全相关的ARINC653规范的基础上,提出了满足安全关键应用的嵌入式实时操作系统S-CRTOS体系结构,较详细阐述了该体系结构所采用的隔离和保护原理,以及所解决的区间调度、进程池和异步机制等几种关键技术。该体系结构已在多种目标板上成功实现,可用于航空电子、汽车电子等安全关键系统。
- 王丽杰熊光泽罗蕾
- 关键词：内存管理单元嵌入式实时操作系统
- 离散数学双语教学浅析
- 离散数学是计算机及相关专业的一门基础核心课程，在专业教学体系中占有较为重要的地位。这门课程不仅覆盖的知识面广、涉及的概念多，而且要求学生拥有一定的数学基础。在离散数学教学中引入双语教学可增强学生利用外语获取专业领域知识的...
- 高辉王丽杰
- 关键词：离散数学双语教学教学原则
- 嵌入式软件生产线的构建技术研究
- 2011年
- 嵌入式软件复杂度的提高加剧了软件风险。研究了嵌入式软件的特点和发展趋势,提出了基于Trustie环境的嵌入式软件生产线的构建方法,阐述了调度分析、代码自动生成和多余度调试的基本原理和实现技术,介绍了嵌入式软件生产线在飞行控制领域的应用情况。
- 李允罗蕾王丽杰
- 关键词：调度分析代码自动生成飞行控制软件
- 离散数学慕课建设及OBE教学实践被引量：9
- 2019年
- 基于离散数学的教学现状,分析慕课的出现对教学模式的影响,说明离散数学的慕课建设思路、方法和上线运行情况,提出基于慕课实施OBE教学的理论,并介绍实际教学实践过程。
- 王丽杰戴波
- 关键词：离散数学
