“软件质量保证与测试”课程思政建设探索

“软件质量保证与测试”是软件工程专业的核心课程,旨在帮助学生全面了解现代软件测试技术及其主要发展方向,掌握软件测试的工作任务,培养批判性思维和问题解决能力,为学生未来的职业发展和进一步的学术研究奠定坚实的基础。通过将思政教育元素融入“软件质量保证与测试”课程教学中,可以引导学生思考软件质量保证与测试背后所蕴含的价值观,鼓励学生积极思考和讨论软件测试在社会发展中的重要作用,同时提高教师的教育教学水平,以更好地引导学生成长为具有社会责任感和良好道德品质的软件工程专业人才。

经济政策不确定性与企业现金持有价值——有调节的中介效应

随着宏观环境波动,企业受经济政策不确定性影响较大,其对现金持有价值的影响以及渠道机制值得关注。基于沪深A股2013—2021年上市公司面板经验证据,对经济政策不确定性与企业现金持有价值的关系进行探讨,分析发现:经济政策不确定性对企业现金持有价值具有积极效应,经济政策不确定性通过加剧融资约束程度进而提高企业现金持有价值,在投资者保护度较低、非国有企业以及企业成长性较高时该正向促进作用更强,客户集中度在“经济政策不确定性—融资约束—企业现金持有价值”的整个路径和前半路径具有显著调节作用。由此,提出政府应考虑企业的风险承受能力、引导企业建立风险应对机制、促进资本市场改革、完善资金信用机制等政策建议。

市场化进程、融资约束与现金持有价值

选取我国沪深A股上市企业2013—2021年财务数据为样本,运用固定效应模型检验市场化进程对企业现金持有价值的影响及其渠道机制。研究得出:市场化进程对现金持有价值具有显著负向效应,并且融资约束起中介效应;异质性分析中发现在投资者保护度较低、信息不对称程度较高以及企业成长性较高时该效应更明显。进一步研究得出,现金持有水平还有利于缓解企业的经营风险,促进经营业绩。渠道机制表明持有高额的现金能够发挥预防性功能,在市场化进程较低时可以提高现金持有价值;企业要制定较有弹性的现金持有政策以应对不断变化的外部市场环境;对于持有现金政策的制定不可忽略融资约束这一重要中介变量。

核心素养下小学音乐教学的信息化建构

随着课程核心素养理念的提出,教师格外关注音乐课堂教学的设计高度、智慧含量、科技品质,努力为小学生建构高体验、高效化的认知环境。为了促进音乐教学实现科技创新,教师深度研究音乐教学实现信息化建构的可行性以及价值性,全面详述音乐教学实现信息化建构的策略性,科学推动音乐教学活动走向信息化建构。因此,教师基于课程核心素养理念推动音乐教学实现信息化建构,能够为小学生创设出高品质、沉浸式、艺术化的美育空间,助力生命跃升。

基于消费者满意度的盒马鲜生末端物流服务质量研究

随着互联网经济的发展,生鲜电商发展迅速,然而末端物流却暴露出诸多问题。末端物流服务作为消费者与生鲜电商企业距离最近的消费体验,在极大程度上影响到消费者的满意度。本文基于消费者满意度对盒马鲜生末端物流服务质量进行研究,模型构建末端物流服务质量评价体系,并引入关系质量,判断中介效应。使用SPSS25.0软件对构建模型及问卷数据进行分析,并验证中介变量以及假设的科学性,基于评价结果,提出盒马鲜生末端物流服务质量各维度相关建议。

基于约束优化的Petri网可达性分析

Petri网的可达性判定问题是进行Petri网分析的基础。通过分析目前求解Petri网可达问题的判定方法和基于约束程序的Petri网可达问题判定方法,提出一种基于约束优化的Petri网可达问题判定方法,该方法是在状态方程法的基础上,利用约束程序寻求可行解,再利用优化求最优解,从而减少问题搜索的分支,达到减少状态方程的解空间的目的。最后通过实例的求解验证算法能够提高判定效率。

云计算在大学生创新创业训练计划中的应用研究

提出目前大学生创新创业训练计划项目中存在的问题,分析云计算在大学生创新创业训练计划中的应用情况,设计并说明基于云计算的大学生创新创业平台框架,以解决大学生创新创业训练计划项目的管理、创业孵化和就业问题。

基于Petri网的动态负载平衡双层调度模型研究

根据集中式和分布式动态负载平衡调度方式的优点,提出一种动态负载平衡双层调度模型(DLBDSM),并在Petri网上进行建模。该模型将分布式系统分成若干相对独立的任务调度组,调度组由1个调度服务器和3个工作站组成,组内采用集中式调度,组间采用分布式调度,顶层子系统和底层子系统分别由每个任务调度组的调度服务器和工作站组成。与现有的动态负载平衡调度模型对比,DLBDSM模型具有易实现、易管理和实时性等优点,并能有效地减少任务迁移所带来的系统开销。

基于CDIO工程教育模式的“软件工程”实践教学研究

教学改革的关键在于教育模式的转变,目前"软件工程"课程实践教学存在的一些问题反映出对"软件工程"课程进行教学改革的迫切性,因此本文探索将国际化工程教学理念CDIO应用于"软件工程"课程的实践教学中,并根据本校的教学实际情况,设计出适应本校的教学模式.

依托竞赛提高计算机专业学生的应用能力

分析计算机专业学生应用能力较弱的原因,指出竞赛对提高计算机专业学生应用能力的作用,提出通过竞赛来提高计算机专业学生应用能力的具体措施。

基于用户任务的云计算资源组合与计费模式研究

从用户为了完成计算任务所需的云计算资源出发进行研究,提出了基于用户任务的云计算资源组合与计费模式,利用Petri网工具进行建模,通过应用实例分析表明,用户只需提交任务后,系统就可以输出完成用户任务的资源组合与费用列表,从而帮助用户在订购云计算资源时进行决策分析.

Petri网可达性的伪标识判定法

Petri网标识的可达性判定问题是进行Petri网分析的基础。在分析目前现有的判定Petri网可达性的求解方法的基础上,提出一种伪标识判定法。该方法在状态方程法的基础上,利用关联矩阵来判断变迁发射向量是否能够发生来筛除伪标识。通过对实例的求解说明了求解过程并证明了算法能够确保对所得结果的可靠性,减少了算法的时间复杂度。

排课系统的着色Petri网建模

根据玉林师范学院的实际情况,建立排课系统的模型,并利用建模工具着色Petri网对排课系统进行可视化建模,描述系统流程,以期对排课系统的开发有所帮助.

基于着色Petri网的双向搜索关键路径算法

提出一种基于着色Petri网的双向搜索关键路径算法,首先将AOE网转换成带时间状态的着色Petri网,然后运行带时间状态的着色Petri网,分别从源点和汇点双向搜索关键路径,最后给出了对典型实例的仿真实验,结果验证了双向搜索关键路径算法的执行效率优于传统单向搜索关键路径算法.

基于约束程序的变迁约束可达问题判定研究

在分析各种可达分析方法求解变迁约束可达问题不足的基础上,采用约束程序的办法,针对变迁约束进行约束模型构造和算法研究.该约束模型构造的算法充分利用了T_向量提供的信息,对可达图进行展望搜索,实例验证表明,算法在多Token、多并发、大最大步集的情况下,将大大减少对不相关分支的搜索,并使变量(解)快速逼近于T_向量U.

校企合作培养实用型人才

校企合作是我国普通高校改革与发展教育的必由之路,本文从我校计算机与电子信息学院的实验课独立设课课题出发,探讨校企合作的思路及措施,并介绍了实行校企合作后的一些成效,提出校企合作的一些新思路,达到培养社会所需要的高质量实用型人才为目标.

一种快速的基于稀疏表示的人脸识别算法

基于稀疏表示的人脸识别算法(SRC)识别率相当高,但是当使用l1范数求最优的稀疏表示时,大大增加了算法的计算复杂度,矩阵随着维度的增加,计算时间呈几何级别上升,该文提出利用拉格朗日算法求解矩阵的逆的推导思路,用一种简化的伪逆求解方法来代替l1范数的计算,可将运算量较高的矩阵求逆运算转变为轻量级向量矩阵运算,基于AR人脸库的实验证明,维度高的时候识别率高达97%,同时,计算复杂度和开销比SRC算法大幅度降低95%。

农信社小额信贷的发展现状及建议——以云南省为例

云南省地处中国西南边陲,是一个国家重点扶持的传统农业大省,而农村金融的健康发展是解决三农问题的重中之重。在云南省政府的大力支持下,云南省农信社自2002年起全面推广小额信贷,不断将覆盖面积扩大到贫困的低收入农户,以期帮助农户脱贫致富,提升农村经济的发展。本文通过对云南省农村信用社小额信贷发展现状的深入剖析,旨在发掘影响其可持续发展的问题,进而引导云南省农信社小额信贷健康发展。

基于固定投资模型的增长前景与公司流动性风险管理研究

流动性作为企业的活力所在,是保证企业经营活动正常运行的必要条件。本文运用非对称信息的外部融资框架,在标准固定投资模型基础上引入了增长前景这一要素,通过理论建模探讨了增长前景对企业流动性风险管理的影响。理论研究与数值模拟均表明:有利的增长前景能够降低企业融资难度、增加深化投资临界值,进而提高企业应对流动性冲击的能力;相较于在流动性冲击出现后进行再融资的策略而言,企业在事先储备充足的流动性以应对流动性风险是占优策略。

农村信用社小额信贷发展对策研究——以云南省为例

云南省农村信用社小额信贷经过十几年的实践发展,在实现农民增收、改善农村经济现状方面作出了重要贡献。但是由于云南省农村金融体制的制约,导致农信社和小额信贷的融合出现诸多问题,严重影响到小额信贷具体实施的效果,从而对农信社小额信贷的可持续发展构成威胁。因此,本文基于农信社、小额信贷机制、农户三个角度来全面探讨影响其发展的不利因素,试图寻求促使农信社小额信贷合理健康发展的有效对策。