张琼声
- 作品数：26 被引量：81H指数：5
- 供职机构：中国石油大学（华东）计算机与通信工程学院更多>>
- 发文基金：中央高校基本科研业务费专项资金中国石油化工集团公司科技攻关项目山东省自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学电子电信自然科学总论更多>>
- 进程管理演示系统的设计与实现被引量：3
- 2009年
- 进程是资源分配和独立运行的基本单位,是操作系统的核心概念。"操作系统"教学中,进程的概念以及进程管理的实现原理抽象难懂,初学者难以掌握。本文阐述如何以图形化方式设计和实现进程管理的演示系统,以辅助课堂教学。该系统的演示内容包括:进程的概念、进程创建、进程组织、进程关系管理、进程阻塞、进程唤醒、进程撤销、进程调度、进程同步。
- 张琼声蒋玉新李春华刘童璇
- 关键词：进程管理操作系统
- 补丁管理系统的设计与实现
- 2009年
- 基于服务器/客户端结构设计补丁管理系统,补丁信息库采用XML文件存储。客户端只需从服务器下载XML文件,就可以得到所有补丁信息,极大的降低了服务器和客户端的耦合度。服务器端无需收集客户端的任何信息,保护了个人用户的隐私安全。提出了一种补丁信息存储结构。采用VC6.0实现补丁管理系统原型,验证了系统设计与补丁信息获取方法的可行性与有效性。
- 周冲张琼声
- 关键词：补丁管理系统漏洞
- 操作系统课程知识体系建设及教学探索被引量：12
- 2018年
- 文章围绕计算机系统能力培养目标,对操作系统课程建设和教学过程进行了有效探索与实践。首先,采用"垂直、水平交叉"模式梳理课程内容,引入计算机组成原理、计算机系统结构等课程中的关联知识,建立以"系统能力培养"为主线的"操作系统理论知识体系";然后,在实践环节中融入研究性课题和科技创新竞赛等形式,实现理论与实践的融会贯通;最后,参照"引导学生自由发展"的教学理念,实施研究性教学改革,实现教与学的有机融合。
- 李华昱张琼声郑秋梅张千
- 关键词：操作系统研究性教学
- 基于形成性和总结性评价的数据库原理考试改革探索被引量：6
- 2019年
- 在工程教育专业认证背景下,针对数据库原理课程考核中仍存在的问题,以遵循教育规律为前提,秉承平时形成性考核与期末总结性、鉴定性考试并重的原则,探索一种切实可行的、适合数据库课程特色的考试改革方法。该方法提出了"小考促学,机考促练,大考促固"考试方法改革,知识、能力和素质并重的考试内容改革,以及形成性和总结性成绩评定方法,为合理和客观评价学生提供一个良好方式。
- 马力张琼声
- 关键词：考试改革
- 面向方面测试技术的研究被引量：3
- 2007年
- 面向方面编程运用方面模块化横切关注点,构建出易于理解、易于扩展以及高质量的软件。然而,软件测试是软件质量保证的关键因素,那么开发有效的测试方法来检验AOP的正确性就显得十分重要。本文简述了面向方面编程的基本概念,详细介绍了四种AOP测试方法,并根据检验错误类型的能力对比了其中部分方法的性能,分析了AOP测试方法的研究现状、面临的技术问题以及未来的研究工作,最后总结了开发AOP测试技术和工具的重要性。
- 张琼声夏守姬黄亭宇
- 关键词：面向方面编程软件测试横切关注点模块性
- 一种基于属性的操作系统内核自动验证方法
- 2013年
- 传统的模型检测摒除了很多软件实现细节,要检测实际的代码,就需要从代码中直接建立抽象描述.而操作系统内核结构复杂,手动对源代码进行抽象存在建模工作量大、人工参与过多易出错以及属性难以描述和检测等问题.本文以Linux内核作为实验对象,提出了一种基于属性的OS内核自动验证方法,利用模型抽取工具Modex自动的从Linux内核源代码抽取模型,试图保证模型与实现代码一致性的同时减少因人工参与产生的人为错误,然后用时间轴属性来描述属性,最后用模型检测工具Spin对Linux内核代码模型进行检测.实验选取了Linux内核中接口和数据结构相对复杂的调度器进行模型的自动抽取与属性检测,验证了该方法在操作系统内核模型检测中的有效性和实用性.
- 张琼声吴明泉
- 关键词：操作系统SPIN
- 系统虚拟机实现技术综述被引量：8
- 2007年
- 本文简要介绍了虚拟化技术与虚拟机监视器(VMM)体系结构的分类,重点分析了系统虚拟机实现的核心技术-CPU虚拟化、内存虚拟化I、/O虚拟化以及硬件技术对虚拟化技术的支持,最后阐述了虚拟机应用现状以及虚拟化技术的发展前景。
- 黄亭宇张琼声夏守姬
- 关键词：虚拟化技术虚拟机监视器内存虚拟化I/O虚拟化
- 一种基于属性加权的决策树算法被引量：3
- 2010年
- ID3算法和C4.5算法是简单而有效的决策树分类算法,但其应用于复杂决策问题上存在准确性差的问题。本文提出了一种新的基于属性加权决策树算法,基于粗集理论提出通过属性对决策影响程度的不同进行加权来构建决策树,提高了决策结果准确性。通过属性加权标记属性的重要性,权值可以从训练数据中学习得到。实验结果表明,算法明显提高了决策结果的准确率。
- 张琼声陈晓伟李春华刘童璇
- 关键词：决策树属性约简属性加权粗糙集
- 反馈EDF调度算法对μC/OS-Ⅱ内核的改进与实现被引量：1
- 2008年
- 能耗问题已经成为嵌入式系统研究的热点之一,越来越多的嵌入式处理器支持动态电压调整(DVS)技术以减少电能消耗。分析了一种适用于硬实时系统的基于DVS的反馈EDF调度算法,针对其在实际应用中的不足进行了改进,详细介绍了如何利用改进后的算法修改μC/OS-Ⅱ内核的调度策略使其适用于采用DVS技术的硬实时系统。实验结果表明,改进后的μC/OS-Ⅱ符合硬实时应用的要求且节能效果显著。
- 张琼声黄亭宇夏守姬
- 关键词：动态电压调整硬实时系统动态调度内核
- 基于J2EE和J2ME的安全移动电子银行被引量：4
- 2006年
- 基于J2ME和J2EE,结合AES算法设计一个移动电子银行安全技术方案,通过移动用户与银行服务器之间的数据加密、身份认证和数据完整性实现端对端数据安全技术.在支持JavaMIDP技术的设备中进行实验,表明该方案可以取得良好的效果.
- 侯波张琼声苏卫
- 关键词：加密AES无线安全J2EEJ2ME
