虚拟机在操作系统开发中的应用研究

虚拟机是使用软件模拟的方法在电脑上模拟出来的计算机，利用它来开发OS软件能显著地缩短开发周期，降低开发难度。本文从实战出发，介绍了将虚拟机应用在OS开发实战中的应用方法。     

Development of a finite-element analysis methodology for the propagation of delaminations in composite structures

Analysing the collapse of skin-stiffened structures requires capturing the critical phenomenon of skin-stiffener separation, which can be considered analogous to interlaminar cracking. This paper presents the development of a numerical approach for simulating the propagation of interlaminar cracks in composite structures. A degradation methodology was introduced in MSC.Marc, which involved the modelling of a structure with shell layers connected by user-defined multiple-point constraints (MPCs). User subroutines were written that employ the virtual crack closure technique (VCCT) to determine the onset of crack growth and modify the properties of the user-defined MPCs to simulate crack propagation. Methodologies for the release of failing MPCs are presented and are discussed with reference to the VCCT assumption of self-similar crack growth. The numerical results obtained by using the release methodologies are then compared with experimental data for a double-cantilever beam specimen. Based on this comparison, recommendations for the future development of the degradation model are made, especially with reference to developing an approach for the collapse analysis of fuselage-representative structures. Russian translation published in Mekhanika Kompozitnykh Materialov, Vol. 43, No. 1, pp. 15–42, January–February, 2007.     

关于太原市节约用水及中水利用的思考

中水利用对解决太原市缺水问题有着现实的必要性和可行性.推进中水利用应通过制定完善的法律法规体系,建立科学合理的水价格体系,理顺城市水业管理关系,培育中水市场体系等方法来解决.     

具有转向点超曲面的奇摄动椭圆型方程边值问题

本文利用多重尺度法和比较定理，研究了n维空间中一类具有转向点超曲面的奇摄动椭圆方程边值问题，研究了该值问题解的渐近性态。     

The Method of Virtual Experts in Mathematical Diagnostics

Mathematical Diagnostics (MD) deals with identification problems arising in different practical areas. Some of these problems can be described by mathematical models where it is required to identify points belonging to two or more sets of points. Most of the existing tools provide some identification rule (a classifier) by means of which a given point is assigned (attributed) to one of the given sets. Each classifier can be viewed as a virtual expert. If there exist several classifiers (experts), the problem of evaluation of experts’ conclusions arises. In the paper for the case of supervised classification the method of virtual experts (the VE-method) is described. Based on this method, a generalized VE method is proposed where each of the classifiers can be chosen from a given family of classifiers. As a result, a new optimization problem with a discontinuous functional is stated. Examples illustrating the proposed approach are provided. The work of the second author was supported by the Russian Foundation for Fundamental Studies (RFFI) under Grant No 03-01-00668.     

对教育技术学实验室建设的探讨

教育技术学作为一种理论和重要教学内容的实验教学,一直支持和影响着教学质量和办学水平.根据中国教育技术学实验室20多年的建设与发展的实践经验,结合当前的技术发展水平,分析其存在的问题,对教育技术学实验室建设的可持续发展进行了探讨.     

媒介形态视角的网络空间探讨

随着网络时代的到来,网络空间的探讨成为学界关注的话题,从内容和角度来看,大多限于现象层面的剖析。本文从媒介形态理论的视角出发,通过对网络虚拟实质的分析以及对传媒工具的不可消解性的认同,着重说明网络作为传媒工具在现实生活中的本质特征,以及网络虚拟与网络媒介发展的关系;试图对网络虚拟给出一种新的解释。     

Distributed and Parallel Component Library

Software component library is the essential part of reuse-based software development. It is shown that making use of a single component library to store all kinds of components and from which components are searched is very inefficient. We construct multi-libraries to support software reuse and use PVM as development environments to imitate Iargescale computer, which is expected to fulfill distributed storage and parallel search of components efficiently and improve software reuse.     

数字虚拟技术在室内设计中的应用

数字虚拟技术是近年来计算机应用领域的热点，介绍了数字虚拟技术的相关概念以及在室内设计中的应用情况，同时结合室内空间环境设计的专业特点，探讨了室内环境的虚拟场景制作的基本方法、步骤和技术。     

Representing workloads in GI/G/1 queues through the preemptive-resume LIFO queue discipline

We give in this paper a detailed sample-average analysis of GI/G/1 queues with the preemptive-resume LIFO (last-in-first-out) queue discipline: we study the long-run state behavior of the system by averaging over arrival epochs, departure epochs, as well as time, and obtain relations that express the resulting averages in terms of basic characteristics within busy cycles. These relations, together with the fact that the preemptive-resume LIFO queue discipline is work-conserving, imply new representations for both actual and virtual delays in standard GI/G/1 queues with the FIFO (first-in-first-out) queue discipline. The arguments by which our results are obtained unveil the underlying structural explanations for many classical and somewhat mysterious results relating to queue lengths and/or delays in standard GI/G/1 queues, including the well-known Bene's formula for the delay distribution in M/G/l. We also discuss how to extend our results to settings more general than GI/G/1.