摘要：基于一种虚拟机设计思想,用C语言实现了一个虚拟机平台,通过在虚拟机中加入管理程序以实现对用户作业的并发控制。该方法提供了利用串行程序设计语言进行并发程序开发的一种实现方法。通过实验证明不通过机器低层及硬件的手段也能有效地在顺序执行的平台上实现并发程序。

摘要：介绍了一种基于Apla-Java可重用部件库并行(并发)程序的开发方法,包括Apla-Java可重用部件的设计策略以及部件库并行并发机制的实现方法。并通过一个并行计算的实例验证了Apla-Java可重用部件库应用于并行(并发)程序设计的正确性。

摘要：课程文化是教师与学生双方互动的产物。计算机学科课程文化具有审美体验性、理性思考性、实践创造的实验性学习模式、确定性与解释性的结合要求等特性。提高教师素质,教学内容的设计要适应学生学习活动的要求,教学策略思维的改革是计算机学科课程文化建设的三个途径。

摘要：Apla-Java可重用部件库是PAR方法的重要研究成果.实验证明它对基于PAR平台进行串行Java程序开发提供了有效的支持.实现部件库的并行、并发机制,使其支持并行、并发程序设计,对于提高并行、并发软件开发效率具有重要意义.该文研究并提出了并发类库的若干设计策略并实现了Apla-Java可重用部件库并行、并发机制.

摘要：针对科学知识普及的途径单一、传播程度不够深入,图书馆文献信息的传播缓慢等问题,提出了基于移动互联网的掌上科普电子图书馆设计思路。在分析前端本地存储技术和个性化推荐技术的基础上,采用HTML5 local Storage持久化存储技术,实现了搜索历史记录、书架路径数据的持久化存储。采用基于空间向量的个性化推荐技术实现了科普书籍精准推荐。该应用用户体验好,为科普知识的高效传播提供了一种新的途径。

摘要：针对目前求解0-1背包问题算法的优缺点,开发了一种新的非递归算法。从计算0-1背包问题最优值的递归方程出发,使用形式推导技术及序列抽象数据类型。在开发出循环不变式的同时,归纳得到用抽象程序设计语言Apla描述的非递归算法,并形式化证明了其正确性,在相关工具及部件库的支持下进一步得到C++程序。理论分析和实验结果表明,该算法的时间耗费受背包容量变化的影响很小,是一种有效的方案。

摘要：目前多核软件的发展远滞后于多核硬件的发展,多核程序开发的瓶颈集中在软件上.文中介绍了Apla-Java可重用部件库的设计方法,提出了一种基于该部件库的多核程序开发方法,通过实例说明了该部件能够正确应用于多核程序设计.该方法对提高多核程序开发效率具有积极意义.

摘要：分析了基于角色的访问控制的工作原理,提出了一种基于Web应用的RBAC权限控制有效实现方法,并将其应用于高校办公自动化系统设计。介绍了OA系统的设计与配置方法,重点阐述了基于Web的RBAC控制模型在OA系统中的实现方法。基于该模式开发的系统具有较高的安全性与稳定性,很好地满足了高等学校办公自动化的需求。

摘要：提出了一种新的基于子程序关键类型的对象抽取方法,使用该方法实现的对象抽取工具通过计算面向过程的C系统中各子程序参数的类型复杂度,找出每个子程序的关键类型,将子程序与关键类型打包,抽取出独立的对象。本文还提出了可以简化数据类型复杂度计算的类型系数概念,这些概念及方法对非面向对象系统的软件维护与代码重用技术的研究具有一定的参考价值。

摘要：为实现面向对象程序设计(OOP)课程的培养目标,针对综合实践能力培养,提出以“举一反三”能力作为突破口,用OBE理念指导基于案例的内容重塑和教学设计,形成以“精通基础设计框架、拥有丰富实践经验、具备专业思维能力”为特色的教学实施方案;通过六轮实践的结果分析,说明学生学习的主动性被有效激发,综合设计水平显著提升。