刘世林
- 作品数：6 被引量：17H指数：1
- 供职机构：西华大学数学与计算机学院更多>>
- 发文基金：国家自然科学基金四川省科技支撑计划更多>>
- 相关领域：自动化与计算机技术电子电信文化科学更多>>
- 子句集Σ的极大Horn下界被引量：1
- 2012年
- 自动推理是人工智能领域的重要研究课题。基于Horn子句的快速推理是一种重要的自动推理方法。研究了子句集的极小模型与子句集的极大Horn下界的关系,给出了一种获取极大Horn下界的方法,所得结论可用于基于Horn子句的快速推理。
- 刘世林裴峥
- 物理机windows与虚拟机linux之间的文件交换方法
- 2012年
- 介绍运行于windows系统之上的VMware虚拟机软件,叙述在linux虚拟机内添加物理盘的方法。然后详解了在虚拟机linux环境下,如何将添加的物理盘挂载于linux的文件系统之上,实现物理机windows系统与虚拟机linux系统的文件交换;文中还介绍了虚拟机linux系统下网络参数的设置,linux系统下的ftp服务组件的安装,利用ftp服务实现物理机与虚拟机之间的文件交换。
- 刘世林
- 关键词：WINDOWSVMWARELINUX虚拟机
- VC对话框数据交换机制的深入分析
- 2012年
- 介绍了VC对话框数据交换过程,分析了与数据交换有关的函数和类,特别是DDX_函数和CDataExchange类,给出了用手工方式实现对话框数据交换的步骤以及一个简单具体的DDX_函数代码。
- 刘世林
- 关键词：数据交换
- Linux系统网络服务的安装配置与应用
- 2013年
- 在Windows系统上,借助VMware虚拟机软件,运行Linux系统。对于由物理机、虚拟机、路由器组成的网络,给出网络环境参数配置,以及运行于Linux系统上的DNS服务、Web服务、FTP服务的安装和参数文件配置方法,和访问这些服务的运行实例。
- 刘世林
- 关键词：DNS服务WEB服务FTP服务LINUX系统WINDOWS系统
- 第五代移动通信初探被引量：16
- 2013年
- 在对3G、4G技术现状进行讨论基础上,指出了5G技术出现的必然趋势。通过对未来5G可能采用的技术的分析,研究认为在5G时代,信号带宽将不是主要关心的问题,而提高频谱效率的CR技术和改善接入平台的HAPS技术将可能成为人们考虑更多的问题。
- 董利陈金鹰刘世林谢斌红
- 关键词：移动通信技术CRHAPS
