排序方式： 共有10条查询结果，搜索用时 671 毫秒
1
1.
2.
Linux发行版的软件包数量增多,软件包相互之间的影响问题也日益凸显,有效地管理庞大的软件库是各种发行版需要考虑的问题．目前,大部分Linux发行版采用分散方式来实现软件库管理,存在效率和安全性问题．本文提出软件包状态概念,从这一角度研究Linux软件库的管理机制,并实现初步的Linux软件库管理模型． 相似文献
3.
4.
5.
传统的离散数学实验教学,通常使用C、C++等程序设计语言来完成相应的课程验证性实验.学生在花费大量的时间和精力完成程序设计后,依然对程序的正确性没有直观的认识.借助Isabelle/HOL交互式定理证明器工具和形式化方法,构建离散数学实验环境,解决离散数学课程实验教学的直观表达问题以及逻辑推理实验的设置.以二叉树这种离散结构的知识点学习为例,阐述如何使用Isabelle/HOL来完成"离散数学"课程的实验教学设计.通过这种实验教学,能使学生对逻辑演算和推理有清晰的认识,同时培养学生的数学和逻辑思维以及创新、应用能力. 相似文献
6.
7.
8.
随着移动互联技术的迅速发展,Android系统在移动智能终端的应用日趋广泛.但随之带来的恶意软件攻击、网络数据泄密、系统漏洞缺陷等安全问题也日益严重.权限管理机制是Android一项重要的安全保护机制,旨在约束应用程序的行为,限制其对系统资源的访问.但目前的权限机制不能很好地解决内核缺乏保护的问题,安全隐患依然存在.在结合权限机制的基础上,综合考虑应用层应用程序和内核层系统内核两方面的安全,将系统内核资源根据重要性进行分区隔离,提出了一个由应用层、虚拟机监控器层和可信根层组成的权限安全控制体系结构方案.实验结果表明该方案能很好地拦截带有敏感权限的应用程序,综合硬件机制来保障Android系统的安全. 相似文献
9.
10.
Debian GNU／Linux是Linux操作系统中一款优秀的发行版,凭借其完全免费、开放源代码、自由分发、强大的软件包管理机制以及多架构支持等特点,正获得越来越多用户的青睐．本文研究了在龙芯处理平台上Linux发行版的开发方案和实现过程．基于龙芯Mipsel架构的Linux发行版实现是其他各种龙芯应用的基础,也为Linux移植领域提供了宝贵的经验借鉴． 相似文献
1