Service stage Petri net models with product form solution

A class of service stage Petri net models whose equilibrium probabilities satisfy local balance equations is presented. Examples of their applicability include bus oriented multiprocessor interconnections, the classical dining philosophers problem and the alternating bit protocol. The natural topological space for embedding the state transition lattice for this class of SSPN is shown to be a multidimensional toroidal manifold.     

含内裂纹的有限圆盘的平面问题

本文用弹性理论复变函数方法讨论了在内部任意位置含直线裂纹的有限圆盘在一般载荷作用下的平面问题,得到了复应力函数和应力强度因子用级数表示的一般表达式,并对此问题讨论了三种特殊情形,即裂纹受均布压应力,均布剪应力和圆盘匀速旋转的情形,其中还给出了计算应力强度因子的近似式.计算结果表明,对位于圆盘内部且不靠近外边界的中、小裂纹,这些近似式给出好的或较好的近似.     

波动方程反演问题的一种新的逼近方法

本文给出了一种求解波动方程反演问题的“多目标函数法”.这种方法简单、有效,并具有明确的物理意义.对于三维问题的程序化它有很强的优越性.     

The Perturbation of the Interface of the Two-dimensional Diffraction Problem and an Approximating Muskat Modal

ln this paper, a new transformation is found out to straighten the interface Γ_2 x = f(y), f ∈ C^{2+a}([0, a]), f_y|_y =0, δ < f < l-δ,δ > 0,δ,l=constants and a perturbation of the interface is considered for a two dimensional diffraction problem. And the existence, uniqueness and regularity of an appeoximating Muskat model are proved.     

平面波超声成像中的波束合成方法研究进展

平面波成像通过单次全孔径发射-接收即可获取整幅图像,将成像帧频显著地提升至1000帧/秒以上.然而,平面波成像过程中发射的非聚焦波束将导致回波信号信噪比降低,进而使图像的分辨率和对比度变差.通过多角度相干复合成像技术可以改善平面波成像的图像质量,但是会以牺牲帧频为代价.因此研究人员们开始将新型波束合成技术引入平面波成像...     

Positive solutions of singular boundary value problem of negative exponent Emden—Fowler equation

This paper investigates the existence of positive solutions of a singular boundary value problem with negative exponent similar to standard Emden-Fowler equation. A necessary and sufficient condition for the existence of C[0, 1] positive solutions as well as C¹[0, 1] positive solutions is given by means of the method of lower and upper solutions with the Schauder fixed point theorem.     

Near-optimal design of Global Positioning System (GPS) networks using the Tabu Search technique

This paper describes an optimization technique based on an heuristic procedure which is applied to analyse and improve the efficiency of the design of Global Positioning System (GPS) surveying networks. GPS is a valuable survey tool because of its ability to increase the accuracy, speed and flexibility of a survey. A GPS network can be defined as a number of stations, which are co-ordinated by a series of sessions, formed by placing receivers on stations. The goal is to select the best order in which these sessions can be organised to give the best possible schedule. Generally, solving large networks to optimality requires impractical computational time. This paper proposes a Tabu Search technique which provides optimal or near-optimal solutions for large networks with an acceptable amount of computational effort. Computational results for several case studies with known and unknown optimal schedules have been presented to assess the performance of the proposed technique.     

Some Properties for the Euclidean Distance Matrix and Positive Semidefinite Matrix Completion Problems

The Euclidean distance matrix (EDM) completion problem and the positive semidefinite (PSD) matrix completion problem are considered in this paper. Approaches to determine the location of a point in a linear manifold are studied, which are based on a referential coordinate set and a distance vector whose components indicate the distances from the point to other points in the set. For a given referential coordinate set and a corresponding distance vector, sufficient and necessary conditions are presented for the existence of such a point that the distance vector can be realized. The location of the point (if it exists) given by the approaches in a linear manifold is independent of the coordinate system, and is only related to the referential coordinate set and the corresponding distance vector. An interesting phenomenon about the complexity of the EDM completion problem is described. Some properties about the uniqueness and the rigidity of the conformation for solutions to the EDM and PSD completion problems are presented.     

On Fučik Spectra and Periodic Solutions

In this paper, we continue extending the theory of boundary-value problems to ordinary differential equations and inclusions with discontinuous right-hand side. To this end, we construct a new version of the method of shifts along trajectories. We compare the results obtained by the new approach and those obtained by the method of Fuik spectra.