Minkowski-type and Alexandrov-Type Theorems for Polyhedral Herissons

Classical H. Minkowski theorems on existence and uniqueness of convex polyhedra with prescribed directions and areas of faces as well as the well-known generalization of H. Minkowski uniqueness theorem due to A.D. Alexandrov are extended to a class of nonconvex polyhedra which are called polyhedral herissons and may be described as polyhedra with injective spherical image.     

Physics in Melbourne

I survey highlights of the practice of physics and allied sciences in Melbourne,Australia, from the 1850s, soon after Europeans first settled in the area, to the present. I note recognizable sites of past and current physical-science activity that may be visited, as well as exhibits of historic items of physics apparatus. I trace the role of physics, in the course of a century and a half, in the evolution of a pioneering settlement into a large city embedded in a modern industrial economy.     

光学系统光阑应用的实例

介绍了一种光学组合系统，通过构造光学系统虚拟的视场光阑实现人眼屈光度测量，它是光学系统光阑应用的生动实例.     

用于光学神经网络硬件系统误差纠正的虚拟神经网络

提出了一种用于修正光学神经网络硬件系统误差的虚拟神经网络模型，光学实验结果表明该网络能够有效地消除硬件系统误差对实验结果的影响。     

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.     

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.     

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.     

Optimal virtual orbitals to relax wave functions built up with transferred extremely localized molecular orbitals

Extremely localized molecular orbitals (ELMOs), namely orbitals strictly localized on molecular fragments, are easily transferable from one molecule to another one. Hence, they provide a natural way to set up the electronic structure of large molecules using a data base of orbitals obtained from model molecules. However, this procedure obviously increases the energy with respect to a traditional MO calculation. To gain accuracy, it is important to introduce a partial electron delocalization. This can be carried out by defining proper optimal virtual orbitals that supply an efficient set for nonorthogonal configurations to be employed in VB-like expansions.     

Large deviation analysis of the single server queue

We establish the large deviation principle (LDP) for the virtual waiting time and queue length processes in the GI/GI/1 queue. The rate functions are found explicitly. As an application, we obtain the logarithmic asymptotics of the probabilities that the virtual waiting time and queue length exceed high levels at large times. Additional new results deal with the LDP for renewal processes and with the derivation of unconditional LDPs for conditional ones. Our approach applies in large deviations ideas and methods of weak convergence theory.This work was supported in part by AT&T Bell Labs.     

“虚实结合”的EDA课程设计实验教学案例

为提高学生的工程实践能力,我校EDA课程设计结合自研在线教学平台,采用案例式教学方式,锻炼和培养学生对EDA开发工具综合运用的能力和动手实践能力。EDA课程案例包括Matlab设计仿真、Modelsim仿真及D/A电路设计调试等EDA完整工程设计流程,线上实验平台提供远程硬件调试功能,学生可以随时随地通过线上实验平台对设计进行验证并与教师进行在线交流。该案例的成功实施有助于虚实结合的实践教学方法探索。