计算机操作系统的功能和分类研究

计算机操作系统是一种系统的体系,是计算机运行的核心,同时它精确的掌管着计算机软件,资源硬件,精确的管理着计算机的各项工作,组织计算机工作的各个重要的流程。随着时代的发展和科技的日新月异,计算机技术的更新换代的加快,计算机技术进入了新的阶段,人们对计算机的要求越来越高,计算机技术也发展到了一个崭新的时期,所以人们对作为计算机的核心的计算机操作系统的要求也随之提高。人们更加要求计算机技术朝着人性化,便捷化,万能化的方向发展,要求计算机的占用空间更小,计算机的体积能更小,重量更轻,更便捷的携带,计算机的硬件技术不断的挺高,能够支持多功能的操作系统。     

兼容Windows程序的KgdLinux操作系统研究

针对当前国产自主Linux操作系统因用户不熟悉和应用软件少而推广困难的问题，提出了一种兼容Windows程序的Linux操作系统KgdLinux。采用层次式体系结构，由应用层、兼容层、核心层组成。应用层由Windows和Linux应用程序构成，核心层由Linux内核和各种共享库组成，而兼容层采用用户空间内核虚拟化方法兼容Windows程序，提供了PE程序的加载、虚拟Windows环境、模拟Windows API的功能。采用各种基准程序和常用程序对KgdLinux上运行Windows程序的性能进行测试，测试结果表明:与在VMWare Workstation、Longene上运行的Windows程序相比，在KgdLinux上运行的Windows程序拥有更好的性能，且接近程序在本地Windows XP上运行的性能。     

操作系统病毒传播模型及混合防御策略

针对现实网络中用户业务需求偏好和单一防御策略的局限性,研究提出操作系统病毒传播模型及混合防御策略。首先,将网络按照采取的防御策略拆分成子网,综合考虑子网间的交叉感染和网络中病毒传播的关联性,构建多防御策略下的操作系统病毒传播模型,给出了系统的平衡点求解和稳定性分析。其次,引入网络业务评估指数及负面成本定义,提出了抑制操作系统病毒传播的混合防御策略,设计了策略最优配置计算方法、执行流程和参数辨识算法。理论和实验结果表明,所提出的操作系统病毒传播模型及混合防御策略能有效补充传统防御手段的空档期。     

OMT功能模型的改进及实例分析

该文提出了将对象交互图和ＣＲＣ技术相结合来表示对象建模技术中的功能模型。原ＯＭＴ中的功能模型采用数据流图表示。     

用函数依赖观点解读E-R模型转换为关系数据模型的法则

关系型数据库是当前广泛应用的数据库类型,关系数据库设计是指对于一个给定的应用环境,构造最优的数据库模式,建立数据库及其应用系统,使之能够有效地存储数据,满足不同用户的应用需求。而数据库设计的核心部分就是设计数据库逻辑结构,要更好地进行数据库逻辑结构设计,就必须准确地将概念结构设计的E—R模型转换为关系数据模型。本文将用函数依赖观点解读E—R模型转换为关系数据模型的法则。     

智能卡操作系统的补丁机制研究

简要介绍智能卡操作系统的基本概念及操作系统的文件结构;以接触式51智能卡为例,说明补丁在智能卡操作系统中的应用,并针对当前补丁下载方法的不足,提出一种操作系统的补丁管理机制,以实现发卡后可以实时更新卡片应用程序,或者修改卡片操作系统中存在的问题．文中给出具体的实例,并进行分析,给出实现方法和步骤．同时验证了此补丁下载方法的可行性．本文中提出的补丁管理机制,较一般的补丁下载具有很强的灵活性,可以一次下裁多个补丁,并方便对多个补丁进行管理．     

产品功能信息模型研究

对机械产品的功能和功能结构进行分析,提出产品的功能模型结构和组成。方法采用功能单元和功能特征对产品进行信息建模,建立产品的功能结构树和功能结构网络模型。     

在用户空间扩展Linux操作系统功能方法研究

论述了如何动态地扩展标准Linux操作系统来增强其功能和安全性，阐述了在用户空间扩展Linux操作系统的方法，然后提出了一种基于代理的改进的扩展方法，并借助该方法给出了一个简单网络文件系统的实现框架，它允许用户就像访问本地文件那样来访问远程文件。     

线程模型实现机制的研究

随着计算模式由单处理机计算模式向多处理机计算模式的转变，传统的进程模型已不能适应新的计算模式的需要，必须引进线程模型，为此讨论了几种线程模型的实现方法，包括在不支持线程玫支持线程的OS上实现线程模型的方法，以及在语言级实现线程模型的方法。这对操作系统的研究具有指导意义。     

具有Ⅲ类功能函数的捕食—食饵模型的定性分析

本文研究具有Ⅲ类功能函数的捕食——食饵模型其中。得到较完整的结果。     

一般关系下的变精度粗糙集模型

通过分析一般关系下基本粗糙集模型的不足,定义了一般关系下的多数包含关系,借助引入的误差参数α(0≤α＜1/2),给出了一般关系下的变精度粗糙集模型.在该模型中,当α=0时,退化为一般关系下的基本粗糙集模型(Z.Pawlak模型);当|Rs(x)|·α=k时(|Rs(x)|表示元素x后继邻域Rs(x)之基数,k为非负整数),退化为常见的程度粗糙集模型.通过它与一般关系下基本粗糙集模型(Z.Pawlak模型)的比较,可以看出,在引入误差参数α后,能够使尽可能多的有用信息被提取、挖掘.从而克服了基本粗糙集模型中由于要求绝对精确的包含关系而使大量有用信息丢失的现象,并讨论了所给模型的一些性质.最后,在所给模型基础上讨论了一种广义近似空间中集合的相对可辨性、近似依赖和属性约简.     

高安全等级信息系统中的权限分离模型

为消除系统中作为超级用户的管理员权限,提出了一种高安全等级信息系统中的权限分离模型。将原有管理员分解为三个不同角色,形式化定义了权限的支撑关系和制约关系,给出了模型中的三权分立的权限制约算法、安全定理及安全性质,分析证明算法中不同角色的权限满足支撑及制约关系,保证了系统中最小特权原则的有效实施。     

混合模型及其导出模型下可估函数的最佳线性无偏估计研究

讨论了在混合模型(y,Xβ+Uζ,σ_0~2V_0)及其导出模型下,可估函数的最佳线性无偏估计之间的关系,证明了当可估函数的最佳线性无偏估计存在时,它在混合模型及其导出模型下的一致性。     

连续采煤机工作机构的优化模型

为了提高连续采煤机工作机构的设计效率和工作性能,采用相似理论和单因素试验的方法,对连续采煤机滚筒的结构特点和工作状况分析,建立了以截割比能耗、载荷波动系数、煤岩块度和生产率为目标函数的多目标、多变量、复合约束的工作机构优化模型,该模型为提高工作机构的设计质量和设计效率以及生产中合理选择工作参数提供了一定的理论依据.     

服装CAD系统数学模型的研究

从服装CAD系统功能的需要出发，运用计算机图形学中的相关方法，建立服装CAD系统中主要功能模块的数学模型．为服装CAD系统开发提供了基本的方法和思路．     

二元关系传递性的探讨

通过对二元关系传递性定义的深入研究,本文给出传递性的两种等价定义,应用他们可以方便、快捷地进行传递性的判定。     

基于径向基函数神经网络的功率器件集总参数热模型

功率器件易发生热击穿故障,为准确估计其运行温度,需建立器件的热分析模型。然而,当多个功率器件排布距离较近时,器件间的热耦合作用会导致模型中的热参数难以获取。为此,引入导热时间常数τ和温升变化率k两个热参数,建立了功率器件集总参数热模型;并提出通过径向基函数神经网络,对参数τ和k进行估计,克服模型热参数难以获取的问题。以单相全桥电路为对象,通过温升实验,对所提功率器件热模型的有效性进行了验证。     

基于三角模型的机场拦阻功能评估

机场工程应用中,拦阻系统是飞机滑出跑道时的重要安全保障,评价拦阻系统功能的有效性与可靠性对保证飞机安全尤为必要。以舰载机拦阻索为主要研究对象,将拦阻系统在拦阻飞机过程中的具体功能分为阻碍功能、缓冲功能、导向功能等,分别对以上三项功能建立量化指标,采用函数分析方法确定不同指标量化数值,与权重组合得到相应指标评价值;最后结合三角图论构建模型对拦阻系统进行综合评价,分析拦阻系统功能变化趋势,确定具体评价结果。以某机场拦阻系统为例,收集拦阻过程各项数据进行实例分析。评价结果表明：利用所建立的拦阻功能评价方法,可得到拦阻系统在具体拦阻过程中的各项功能评价数值,其中拦阻系统阻碍功能、非缓冲功能、非导向功能所得值依次为0.83、0.46、0.64,根据结果对拦阻系统有效性和可靠性变化趋势做出判断。研究结果可为拦阻系统功能作用评估提供参考依据。     

高校实验教学示范中心管理模式与运行机制的研究与实践

通过对实验教学示范中心管理模式和运行机制的研究与实践,阐述了如何对实验教学示范中心的管理模式和运行机制进行改革,更好的发挥示范中心的示范和辐射作用,加强学生的创新意识和实践能力,提升学校的办学水平和教学质量。