杨夏妮
- 作品数：16 被引量：31H指数：3
- 供职机构：玉林师范学院更多>>
- 发文基金：广西教育厅科研项目广西高等教育教学改革工程项目广西省自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 云计算在大学生创新创业训练计划中的应用研究被引量：8
- 2015年
- 提出目前大学生创新创业训练计划项目中存在的问题,分析云计算在大学生创新创业训练计划中的应用情况,设计并说明基于云计算的大学生创新创业平台框架,以解决大学生创新创业训练计划项目的管理、创业孵化和就业问题。
- 杨夏妮
- 关键词：云计算大学生创新创业训练计划
- 基于Petri网的负载平衡双层调度模型的研究
- 负载平衡技术是一种提高分布式系统整体性能和吞吐量的有效方法。本文针对目前负载平衡调度算法存在的不确定性、不完全性和不稳定性问题，负载平衡调度一般模型的单一层次问题以及被大规模系统忽略的集中式调度策略优点的问题，提出一个将...
- 杨夏妮
- 关键词：PETRI网任务调度分布式调度工作站分布式系统
- 文献传递
- 校企合作培养实用型人才被引量：5
- 2007年
- 校企合作是我国普通高校改革与发展教育的必由之路,本文从我校计算机与电子信息学院的实验课独立设课课题出发,探讨校企合作的思路及措施,并介绍了实行校企合作后的一些成效,提出校企合作的一些新思路,达到培养社会所需要的高质量实用型人才为目标.
- 覃海生杨夏妮
- 关键词：校企合作
- 基于着色Petri网的双向搜索关键路径算法
- 2014年
- 提出一种基于着色Petri网的双向搜索关键路径算法,首先将AOE网转换成带时间状态的着色Petri网,然后运行带时间状态的着色Petri网,分别从源点和汇点双向搜索关键路径,最后给出了对典型实例的仿真实验,结果验证了双向搜索关键路径算法的执行效率优于传统单向搜索关键路径算法.
- 杨夏妮
- 关键词：双向搜索AOE网
- “软件质量保证与测试”课程思政建设探索
- 2024年
- “软件质量保证与测试”是软件工程专业的核心课程,旨在帮助学生全面了解现代软件测试技术及其主要发展方向,掌握软件测试的工作任务,培养批判性思维和问题解决能力,为学生未来的职业发展和进一步的学术研究奠定坚实的基础。通过将思政教育元素融入“软件质量保证与测试”课程教学中,可以引导学生思考软件质量保证与测试背后所蕴含的价值观,鼓励学生积极思考和讨论软件测试在社会发展中的重要作用,同时提高教师的教育教学水平,以更好地引导学生成长为具有社会责任感和良好道德品质的软件工程专业人才。
- 李露璐罗国星梁剑平李治强杨夏妮
- 关键词：教学改革
- 基于约束程序的变迁约束可达问题判定研究被引量：3
- 2007年
- 在分析各种可达分析方法求解变迁约束可达问题不足的基础上,采用约束程序的办法,针对变迁约束进行约束模型构造和算法研究.该约束模型构造的算法充分利用了T_向量提供的信息,对可达图进行展望搜索,实例验证表明,算法在多Token、多并发、大最大步集的情况下,将大大减少对不相关分支的搜索,并使变量(解)快速逼近于T_向量U.
- 覃海生蓝乾艺杨夏妮
- 关键词：PETRI网
- Petri网可达性的伪标识判定法
- 2013年
- Petri网标识的可达性判定问题是进行Petri网分析的基础。在分析目前现有的判定Petri网可达性的求解方法的基础上,提出一种伪标识判定法。该方法在状态方程法的基础上,利用关联矩阵来判断变迁发射向量是否能够发生来筛除伪标识。通过对实例的求解说明了求解过程并证明了算法能够确保对所得结果的可靠性,减少了算法的时间复杂度。
- 杨夏妮
- 关键词：PETRI网可达性
- 一种快速的基于稀疏表示的人脸识别算法被引量：1
- 2014年
- 基于稀疏表示的人脸识别算法(SRC)识别率相当高,但是当使用l1范数求最优的稀疏表示时,大大增加了算法的计算复杂度,矩阵随着维度的增加,计算时间呈几何级别上升,该文提出利用拉格朗日算法求解矩阵的逆的推导思路,用一种简化的伪逆求解方法来代替l1范数的计算,可将运算量较高的矩阵求逆运算转变为轻量级向量矩阵运算,基于AR人脸库的实验证明,维度高的时候识别率高达97%,同时,计算复杂度和开销比SRC算法大幅度降低95%。
- 龙法宁杨夏妮
- 关键词：人脸识别小波变换
- 排课系统的着色Petri网建模
- 2011年
- 根据玉林师范学院的实际情况,建立排课系统的模型,并利用建模工具着色Petri网对排课系统进行可视化建模,描述系统流程,以期对排课系统的开发有所帮助.
- 杨夏妮龙法宁
- 关键词：排课系统着色PETRI网
- 基于Petri网的动态负载平衡双层调度模型研究被引量：1
- 2008年
- 根据集中式和分布式动态负载平衡调度方式的优点,提出一种动态负载平衡双层调度模型(DLBDSM),并在Petri网上进行建模。该模型将分布式系统分成若干相对独立的任务调度组,调度组由1个调度服务器和3个工作站组成,组内采用集中式调度,组间采用分布式调度,顶层子系统和底层子系统分别由每个任务调度组的调度服务器和工作站组成。与现有的动态负载平衡调度模型对比,DLBDSM模型具有易实现、易管理和实时性等优点,并能有效地减少任务迁移所带来的系统开销。
- 杨夏妮覃海生
- 关键词：调度模型动态负载平衡分布式系统PETRI网
