On the well-posedness of periodic problems for the system of hyperbolic equations with finite time delay

A periodic problem for the system of hyperbolic equations with finite time delay is investigated. The investigated problem is reduced to an equivalent problem, consisting the family of periodic problems for a system of ordinary differential equations with finite delay and integral equations using the method of a new functions introduction. Relationship of periodic problem for the system of hyperbolic equations with finite time delay and the family of periodic problems for the system of ordinary differential equations with finite delay is established. Algorithms for finding approximate solutions of the equivalent problem are constructed, and their convergence is proved. Criteria of well-posedness of periodic problem for the system of hyperbolic equations with finite time delay are obtained.     

Thickness of Feathers

Briefly, a feather is a semigroup derivation diagram with the labels on the edges removed. In this paper, we are concerned with possible definitions for the thickness of a feather.

A major open problem is whether the word problem is solvable for semigroup presentations with one defining relation. It is known that word problems for semigroup presentations are solvable if the number of regions in minimal derivation diagrams is bounded. For some definitions for thickness, the number of regions in a derivation diagram over a presentation with one relation will be bounded if the thickness of the diagram is bounded.     

Inconsistency-Tolerant Bunched Implications

It is known that logical systems with the property of paraconsistency can deal with inconsistency-tolerant and uncertainty reasoning more appropriately than systems which are non-paraconsistent. It is also known that the logic BI of bunched implications is useful for formalizing resource-sensitive reasoning. In this paper, a paraconsistent extension PBI of BI is studied. The logic PBI is thus intended to formalize an appropriate combination of inconsistency-tolerant reasoning and resource-sensitive reasoning. A Gentzen-type sequent calculus SPBI for PBI is introduced, and the cut-elimination and decidability theorems for SPBI are proved. An extension of the Grothendieck topological semantics for BI is introduced for PBI, and the completeness theorem with respect to this semantics is proved.     

Semi‐analytical solution of MHD flow through boundary integrals on the pipe wall

A mathematical model is given for the magnetohydrodynamic (MHD) pipe flow as an inner Dirichlet problem in a 2D circular cross section of the pipe, coupled with an outer Dirichlet or Neumann magnetic problem. Inner Dirichlet problem is given as the coupled convection‐diffusion equations for the velocity and the induced current of the fluid coupling also to the outer problem, which is defined with the Laplace equation for the induced magnetic field of the exterior region with either Dirichlet or Neumann boundary condition. Unique solution of inner Dirichlet problem is obtained theoretically reducing it into two boundary integral equations defined on the boundary by using the corresponding fundamental solutions. Exterior solution is also given theoretically on the pipe wall with Poisson integral, and it is unique with Dirichlet boundary condition but exists with an additive constant obtained through coupled boundary and solvability conditions in Neumann wall condition. The collocation method is used to discretize these boundary integrals on the pipe wall. Thus, the proposed procedure is an improved theoretical analysis for combining the solution methods for the interior and exterior regions, which are consolidated numerically showing the flow behavior. The solution is simulated for several values of problem parameters, and the well‐known MHD characteristics are observed inside the pipe for increasing values of Hartmann number maintaining the continuity of induced currents on the pipe wall.     

Robust reliable stabilization of stochastic switched nonlinear systems under asynchronous switching

This paper is concerned with the problem of robust reliable control for a class of uncertain stochastic switched nonlinear systems under asynchronous switching, where the switching instants of the controller experience delays with respect to those of the system. A design scheme for the reliable controller is proposed to guarantee almost surely exponential stability for stochastic switched systems with actuator failures, and the dwell time approach is utilized for the stability analysis. Then the approach is extended to take into account stochastic switched system with Lipschitz nonlinearities and structured uncertainties. Finally, a numerical example is employed to verify the proposed method.     

Bayesian variable selection with sparse and correlation priors for high-dimensional data analysis

The main challenge in working with gene expression microarrays is that the sample size is small compared to the large number of variables (genes). In many studies, the main focus is on finding a small subset of the genes, which are the most important ones for differentiating between different types of cancer, for simpler and cheaper diagnostic arrays. In this paper, a sparse Bayesian variable selection method in probit model is proposed for gene selection and classification. We assign a sparse prior for regression parameters and perform variable selection by indexing the covariates of the model with a binary vector. The correlation prior for the binary vector assigned in this paper is able to distinguish models with the same size. The performance of the proposed method is demonstrated with one simulated data and two well known real data sets, and the results show that our method is comparable with other existing methods in variable selection and classification.     

Weak solution for stochastic differential equations with terminal conditions

The notion of weak solution for stochastic differential equation with terminal conditions is introduced. By Girsanov transformation, the equivalence of existence of weak solutions for two-type equations is established. Several sufficient conditions for the existence of the weak solutions for stochastic differential equation with terminal conditions are obtained, and the solution existence condition for this type of equations is relaxed. Finally, an example is given to show that the result is an essential extension of the one under Lipschitz condition ong with respect to (Y,Z).     

Periodic solution and wave front solution for delay equation

First, a general theorem on the existence of periodic solutions for equations with small discrete delay is obtained by employing a technique which is based on a result of the existence of inertial manifold for small discrete delay equation, meanwhile, this general theorem is applied to show the existence of periodic solution for a predator–prey system with small discrete delay. Second, this technique is also used to obtain the existence of travelling wave solution for a host–vector disease model with small discrete delay.     

一种资源投入不确定情形下的合作博弈形式及收益分配策略

首先,将经典合作博弈进行扩展,提出了一类模糊联盟合作博弈的通用形式,涵盖常见三种模糊联盟合作博弈,即多线性扩展博弈、比例模糊博弈与Choquet积分模糊博弈.比例模糊博弈、Choquet积分模糊博弈的Shapley值均可以作为一种特定形式下模糊联盟合作博弈的收益分配策略,但是对于多线性扩展博弈的Shapley值一直关注较少,因此利用经典Shapley值构造出多线性扩展博弈的Shapley值,以此作为一种收益分配策略.最后,通过实例分析了常见三类模糊联盟合作博弈的形式及其对应的分配策略,分析收益最大的模糊联盟合作对策形式及最优分配策略,为不确定情形下的合作问题提供了一定的收益分配依据.     

Exact solutions of some mixed problems of uncoupled thermoelasticity for a truncated hollow circular cone with a groove along the generatrix

An elastic body of finite dimensions in the form of a truncated hollow circular cone with a groove along the generatrix is considered. The uncoupled problem of thermoelasticity is formulated for this body for different types of boundary conditions on all the surfaces. These are the conditions for specifying the displacements or sliding clamping on surfaces with fixed angular coordinates and the conditions for specifying the stresses on surfaces with a fixed radial coordinate (shear stresses are assumed to be zero). It is assumed that the temperature is a specified function of all the spherical coordinates. Some auxiliary functions, related to the displacements, are introduced first, and equations for these functions are then derived using Lamé's equations. A finite integral Fourier transformation with respect to one of the angular variables is then employed. After this, by solving certain Sturm-Liouville problems, a new integral transformation is constructed and is applied to the equations with respect to the other angular variable. As a result a one-dimensional system of differential equations is obtained, to solve which an integral Mellin transformation is employed in a special way. Finally, exact solutions of some problems of thermoelasticity are constructed in series for this body.     

模糊联盟合作对策的收益分配研究

针对现实环境中联盟组成的不确定性, 本文研究了具有模糊联盟的合作对策求解问题。提出了模糊联盟合作对策的一种新的分配方式,即平均分摊解,并给出了这种解与模糊联盟合作对策Shapley值一致的充分条件。同时,还提出了模糊联盟合作对策的Shapley值的一个重要性质。最后,结合算例进行了分析论证。     

Robust Reliable Control for Uncertain Time-Delay Systems with IQC Performance

A robust reliable control with integral quadratic constraint (IQC) performance for a class of uncertain systems with state and input delays is considered in this paper. Two classes of failure situations for sensor or actuator are studied. In the first class, a delay-dependent criterion for time-delay systems without perturbations is proposed to design the reliable control with IQC performance. Next, a criterion for uncertain time-delay systems with parameter uncertainties is obtained via simple derivations. The linear matrix inequality (LMI) approach is used to design a robust reliable state feedback control with IQC performance. In the second class, a reliable control with IQC performance is also provided from he previous method. A numerical example is given to illustrate the effectiveness of the procedure. The research reported here was supported by the National Science Council of Taiwan, ROC under Grant NSC 95-2221-E-022-019.     

Analysis of a two‐level method for anisotropic diffusion equations on aligned and nonaligned grids

This paper is on the convergence analysis for two‐grid and multigrid methods for linear systems arising from conforming linear finite element discretization of the second‐order elliptic equations with anisotropic diffusion. The multigrid algorithm with a line smoother is known to behave well when the discretization grid is aligned with the anisotropic direction; however, this is not the case with a nonaligned grid. The analysis in this paper is mainly focused on two‐level algorithms. For aligned grids, a lower bound is given for a pointwise smoother, and this bound shows a deterioration in the convergence rate, whereas for ‘maximally’ nonaligned grids (with no edges in the triangulation parallel to the direction of the anisotropy), the pointwise smoother results in a robust convergence. With a specially designed block smoother, we show that, for both aligned and nonaligned grids, the convergence is uniform with respect to the anisotropy ratio and the mesh size in the energy norm. The analysis is complemented by numerical experiments that confirm the theoretical results. Copyright © 2012 John Wiley & Sons, Ltd.     

An approach for integrated scheduling and lot-sizing

In this paper a non time discrete approach is developed for an integrated planning procedure, applied to a multi-item capacitated production system with dynamic demand. The objective is to minimize the total costs, which consist of holding and setup costs for one period. The model does not allow backlog. Furthermore, a production rate of zero or full capacity is the only possibility. The result is a schedule, lot-sizes and the sequences for all lots. The approach is based on a specific property of the setup cost function, which allows for replacement of the integer formulation for the number of setup activities in the model. In a situation where the requirements for the multi-item continuous rate economic order quantity, the so-called economic production lot (EPL) formula, are fulfilled, both the EPL as well as the presented model results are identical for the instances dealt with. Moreover, with the new model problems with an arbitrary demand can be solved.     

Mathematical modelling of timber-framed walls using fictive diagonal elements

This paper presents mathematical modelling of timber-framed wall where a braced frame with one fictive diagonal is used. The model is suitable for analysis of lateral loads on the structure. Its advantage compared to other models is its simplicity, the fact that it is easy to use in practise, and its suitability for use with simpler and cheaper programs for static and dynamic analysis. Further numerical calculations were performed, which showed good approximation with experimental studies and with the finite element method. The Tower 6 program for static and dynamic analysis has been used to model timber-framed walls. Appropriate stiffness of timber-framed wall is obtained by varying the cross-section of the fictive diagonal. Because the cross-section of the fictive diagonal is directly connected to the analytical calculation of the stiffness of the timber-framed wall, this model is also able to factor in different spacing distance, different sheathing boards, the appearance of tensile cracks in a sheathing board, as well as walls with glazing or openings.     

A type of new posteriori error estimators for stokes problems

1. IntroductionIn the numerical approximation of PDE, it is often very importals to detect regionswhere the accuracy of the numerical solution is degraded by local singularities of the solutionof the continuous problem such as the singularity near the re-entrant corller. An obviousremedy is to refine the discretization in the critical regions, i.e., to place more gridpointswhere the solution is less regular. The question is how to identify these regions automdticallyand how to determine a goo…     

Semi-Markov failure rates processes

Usually, a reliability function is defined by a failure rate which is a real function taking the non-negative real values. In this paper the failure rate is assumed to be a stochastic process with non-negative and right continuous trajectories. The reliability function is defined as an expectation of a function of that random process. Particularly, the failure rate defined by the semi-Markov processes is considered here. The theorems dealing with the renewal equations for the conditional reliability functions with a semi-Markov process as a failure rate are presented in this paper. A system of that kind of equations for the discrete state space semi-Markov process is applied for calculating the reliability function for the 3-states semi-Markov random walk. Using the introduced system of renewal equations for the countable state space, the reliability function for the Furry-Yule failure rate process is obtained.     

时滞广义时变系统的容许性分析与镇定

研究了时滞广义时变系统的容许性与镇定性问题.首先,基于广义Lyapunov不等式、线性矩阵不等式和受限等价方法,建立时滞广义时变系统的Lyapunov不等式,将时滞广义时变系统的容许性问题转化为求解时滞广义时变系统的Lyapunov不等式问题,得到了系统容许的充分条件.然后,根据充分条件进一步研究了时滞广义时变系统的镇定问题,给出了状态反馈镇定器的设计方法.最后,通过数值算例验证了所得结论的有效性.     

Well-Posedness and Finite Element Approximations for Elliptic SPDEs with Gaussian Noises

The paper studies the well-posedness and optimal error estimates of spectral finite element approximations for the boundary value problems of semi-linear elliptic SPDEs driven by white or colored Gaussian noises. The noise term is approximated through the spectral projection of the covariance operator, which is not required to be commutative with the Laplacian operator.Through the convergence analysis of SPDEs with the noise terms replaced by the projected noises, the well-posedness of the SPDE is established under certain covariance operator-dependent conditions. These SPDEs with projected noises are then numerically approximated with the finite element method. A general error estimate framework is established for the finite element approximations. Based on this framework, optimal error estimates of finite element approximations for elliptic SPDEs driven by power-law noises are obtained. It is shown that with the proposed approach, convergence order of white noise driven SPDEs is improved by half for one-dimensional problems, and by an infinitesimal factor for higher-dimensional problems.