基于虚拟机的内核完整性保护技术

针对云计算中客户虚拟机内核完整性面临的威胁,该文提出了一种保护虚拟机内核完整性的技术—CTVM。该技术在KVM虚拟机环境中实现了虚拟化可信执行环境的创建,使多个客户虚拟机同时拥有可信计算功能,能对客户虚拟机提供启动完整性度量;在此基础上利用硬件辅助虚拟化技术,通过为客户虚拟机构造隔离的地址空间,使客户虚拟机中不可信模块与内核运行在逻辑隔离的地址空间。从这两个方面实现对客户虚拟机的启动和运行时的完整性保护。最后,以某国产服务器为实验平台实现了CTVM原型系统,系统测试与分析验证了技术的可用性,系统性能损耗在可接受的范围内。     

Xen的虚拟机网络优化研究

针对一类流行的IP网络应用,提出了一个性能优化的虚拟机网络原型。多个虚拟机运行在高性能虚拟机监控器Xen上,通过它复用了其下的一台物理宿主机,Xen创建和管理这些虚拟机。优化原型的核心是一个新的虚拟网卡,所有的虚拟机通过它被互连成一个网络,用于虚拟机间的通信。与Xen的标准相应模型相比,实验和评估表明该原型改善了虚拟机间的通信性能,减少了约42%的用户请求响应时间。     

网络实时通信的实现

Socket网络编程原理Socket是BSD UNIX提供的网络应用编程接口,它采用客户机/服务器的通信机制,使网络客户机方和服务器方通过Socket实现网络之间的连接和数据交换。Socket提供了一系列的系统调用,使用这些系统调用可以实现TCP、UDP、ICMP和IP等多种网络协议之间的通信。本文介绍了Sockets通信原理,着重讨论了Windows Sockets为支持异步通信对Sockets的功能扩充,实现网络实时通信的应用。     

面向网络的一种新分布式事务处理协议

提出了一种新的适合于当前网络环境，基于客户机／服务器应用方式及远程过程调用（ＲＰＣ）的分布事务处理模型及其实现协议。分析与实验表明它不仅满足网络中客户机／服务器应用的具体特点与要求，而且可以克服各种两段式提交协议中由于协调者故障造成的阻塞，同时避免了三段式提交等协议为解决阻塞而引起的开销过大，实现复杂等问题     

基于虚拟机的网络实验课程的教学研究

随着Internet技术的飞速发展,实验教学的实现成为了研究的重点和难点,而虚拟实验是解决这一问题的有效途径。对计算机课程实验教学中存在的问题,采用虚拟机技术改进计算机实验教学;介绍了计算机网络系列课程中的计算机组网虚拟实验系统的设计与实现。     

基于知识情境协作的企业竞争信息语义获取与过滤研究

从系统整体的知识情境视角出发,可以很好地解决企业面对复杂信息资源环境如何获取高质量企业竞争信息的问题。通过分析企业竞争知识情境在竞争信息语义获取与过滤中的作用,从任务、领域、用户等三个层面阐述了竞争信息获取知识情境协作内容,并在探讨企业竞争知识情境的动态联动与重组的基础上,提出了基于知识情境协作的企业竞争信息语义获取与过滤方法。     

基于网络传播的经济学分析

在网络环境下,信息的传播将由单向传播方式向以传播与客户主动的信息搜寻的双向交流模式演变,这种信息传播与交流方式的创新,一方面使人们以前所未有的便利手段获取所需的一切信息资源,另一方面可以极为迅速地反馈信息。从信息要素的角度来看,网络传播的运行中包含着一些重要的经济运行机理,它改变了政府宏观调控及商品流通的方式,使生产要素结构优化。     

能动获知义句式的语义分析

从人类对信息进行获取和加工的认知角度来考察能动获知义句式所包含的认知语义。根据信息接收方式的不同,将能动获知义句式分为＂能动地获得信息＂与＂能动地验证信息＂两类,并找出句式义与结构之间的对应关系,再对这类句式的两种语义加以进一步分析,找出句中动词与语义的对应关系。     

现代图式理论对英语听力理解程序分析的新启示

以图式理论为基础,从认知心理学的角度出发,分析了听力理解程序中“自下而上”和“自上而下”两种程序的相互作用,并探讨了现代图式理论对英语听力理解程序分析的新启示:1)“自下而上”能使听者利用已知语言图式来诠释所获得的信息;2)“自上而下”能使听者使用语言知识来理解所获得的信息。     

基于WEB课件的安全技术研究与实现

提出并实现了一个基于安全套接字层 (SSL)技术的安全Web课件系统。该系统可为Web客户机和服务器的应用层通信应用软件提供数据加密、信息完整性、实体鉴别和防抵赖等安全服务     

图式理论指导下的阅读教学

图式理论是心理学关于记忆研究的一项重要成果,该理论认为阅读是一个复杂的心理过程,人们从语言材料中所获取的新信息与已有知识图式(Schema)相互作用,以实现对重要信息的理解。本文试分析该理论,并运用它来探索改进阅读教学的方法和途径。     

一种用决策树技术区分许可营销中潜在用户的方法

经过客户许可的电子网络营销形式,是信息时代一对一营销的主要形式。对获取的电子信息资源分类以实现许可营销的收益最大化是其中的关键技术。目前,在我国许可营销尚处于起步阶段,企业大多采取Opt-out方式获取用户许可,它速度较慢,解释性差。运用决策树技术能最大限度地获得潜在客户的许可响应,挖掘客户的消费潜力。     

Java同步线程模型分析与改进

目前普遍采用急救包(Band-Aid)类库的方式解决Java线程模型存在的同步问题,但类库中的代码很难或无法实现优化。该文针对Java同步线程模型的缺陷,扩展synchronised关键字语法,使它支持多个参数和能接受一个超时说明;重新定义wait()使它返回一个boolean变量来解决超时检测问题;通过扩展语法方法解决了同步问题,以确保使用Java线程所开发的程序的稳定、可靠和可优化。     

一种用决策树技术区分许可营销中潜在用户的方法

经过客户许可的电子网络营销形式，是信息时代一对一营销的主要形式。对获取的电子信息资源分类以实现许可营销的收益最大化是其中的关键技术。目前，在我国许可营销尚处于起步阶段，企业大多采取Opt—out方式获取用户许可，它速度较慢，解释性差。运用决策树技术能最大限度地获得潜在客户的许可响应，挖掘客户的消费潜力。     

基于客户/服务器模式的非正常RPC的研究

分析了客户／服务器模式下远程过程调用(RPC)原理及其实现方法，重点讨论了五种非正常情况下RPC的处理方法。     

语篇转换能力之交互模式

本研究目的是建构一语篇转换能力之交互模式。该模式强调译者与源语及目的语文本的互动以及理解和再表达中自下而上与自上而下信息处理模式的互动。正是自上而下模式的预见力使译者在面对意义含混的语篇时,能够借助自下而上模式判断出最有可能的预期信息。实例分析说明该交互模式使译者更能充分地再现原作者通过其作品所欲展现的整体世界。     

逻辑学研究

正[主持人语]本期发表两篇逻辑学的技术性论文。熊明的论文对艾尔布朗语义下的真理论进行初步探讨,试图比较艾尔布朗语义下和塔斯基语义下真谓词的异同。王淑庆的论文在已有形式化结果的基础上,提出一种基于ASP(回答集编程)逻辑的偏好多语境系统PMCS,并利用其偏好语义实现PMCS的偏好桥规则的删除功能,以及使用偏好语义来处理MCS的不一致性问题。     

制造业信息化管理中的客户需求采集与响应

获取并响应顾客需求信息是实现以客户需求为驱动的制造业信息化管理的重要前提.论文提出一种客户需求获取与处理方法,探讨了需求获取和处理的关键技术,构建了客户需求响应的一般机理.     

Java中Excel操作类的设计与实现

为解决Java应用程序中复杂报表的打印问题,提出了一种采用JNI和COM技术、在Java中操纵Excel实现强有力报表工具的方法.在Java中利用JNI与COM的通信方式,通过对Excel各COM对象的调用,完成在Java中对Excel的操作;同时将Excel的各COM对象映射为Java对象,调用自行设计开发的一组纯Java API,实现在Java中的复杂报表功能.首先描述了该方案提出的方法和功能,然后给出了系统构架,最后讨论了Java和VC 的实现代码.     

VirtualBox在高校EDA实验室的应用研究

高校EDA实验室遇到安全隐患多、环境多样化等难题。本文分析了VirtualBox技术的原理、优势和特性,提出利用VirtualBox构建虚拟机环境,降低安全隐患、适应EDA软件要求多样化的思路。实践证明,VirtualBox能满足高校EDA实验室的需求,效果显著。