A Sequent Calculus for Propositional Dynamic Logic for Agents

We consider propositional dynamic logic for agents. For this logic, we present a sequent calculus with a restricted cut rule and prove the soundness and completeness for the calculus.     

Comparison principles for viscosity solutions of elliptic equations via fuzzy sum rule

A comparison principle for viscosity sub- and super-solutions of second order elliptic partial differential equations is derived using the “fuzzy sum rule” of non-smooth calculus. This method allows us to weaken the assumptions made on the function F when the equation F(x,u,Du,D²u)=0 is under consideration.     

一种基于Rough集理论的最小风险决策规则提取方法

波兰科学家Zdzisilaw Pawlak将概率统计中的Bayesian公式与Rough集模型相结合建立基于决策理论的概率模型，给出了一系列的决策规则及相关讨论。在此基础上结合在银行信贷分析的实际例子描述了基于Rough集理论的最小风险决策规则提取方法及它的实际应用，可以看出这为非结构化风险决策问题提供了一条很好的辅助决策的途径。     

Clustering Rules: A Comparison of Partitioning and Hierarchical Clustering Algorithms

Previous research has resulted in a number of different algorithms for rule discovery. Two approaches discussed here, the ‘all-rules’ algorithm and multi-objective metaheuristics, both result in the production of a large number of partial classification rules, or ‘nuggets’, for describing different subsets of the records in the class of interest. This paper describes the application of a number of different clustering algorithms to these rules, in order to identify similar rules and to better understand the data.     

Exceptional Laurent biorthogonal polynomials through spectral transformations of generalized eigenvalue problems

A formulation is given for the spectral transformation of the generalized eigenvalue problem through the decomposition of the second-order differential operators. This allows us to construct some Laurent biorthogonal polynomial systems with gaps in the degree of the polynomial sequence. These correspond to an exceptional-type extension of the orthogonal polynomials, as an extension of the Laurent biorthogonal polynomials. Specifically, we construct the exceptional extension of the Hendriksen–van Rossum polynomials, which are biorthogonal analogs of the classical orthogonal polynomials. Similar to the cases of exceptional extensions of classical orthogonal polynomials, both state-deletion and state-addition occur.     

Chernoff approximations of Feller semigroups in Riemannian manifolds

Chernoff approximations of Feller semigroups and the associated diffusion processes in Riemannian manifolds are studied. The manifolds are assumed to be of bounded geometry, thus including all compact manifolds and also a wide range of non-compact manifolds. Sufficient conditions are established for a class of second order elliptic operators to generate a Feller semigroup on a (generally non-compact) manifold of bounded geometry. A construction of Chernoff approximations is presented for these Feller semigroups in terms of shift operators. This provides approximations of solutions to initial value problems for parabolic equations with variable coefficients on the manifold. It also yields weak convergence of a sequence of random walks on the manifolds to the diffusion processes associated with the elliptic generator. For parallelizable manifolds this result is applied in particular to the representation of Brownian motion on the manifolds as limits of the corresponding random walks.     

Calabi–Yau threefolds with non-Gorenstein involutions

The concept of non-Gorenstein involutions on Calabi–Yau threefolds is a higher dimensional generalization of non-symplectic involutions on K3 surfaces. We present some elementary facts about Calabi–Yau threefolds with non-Gorenstein involutions. We give a classification of the Calabi–Yau threefolds of Picard rank one with non-Gorenstein involutions, whose fixed locus is not zero-dimensional.     

Global solutions to the damped MHD system

The global existence of solutions to a damped MHD system in Besov spaces is obtained. This research is motivated by the open question [Wu et al., J. Nonlinear Sci. 25 (2015), 157–192, Remark 5.1] on the possibility of extension to the existence of global small solutions from a potential Banach space to a Besov space. The present result positively confirms the open question. What is more, the initial data are not required to be uniformly small.     

Inverse scattering problem with Levinson formula for eigenparameter-dependent discrete Sturm–Liouville equation

In this paper, an inverse scattering problem for discrete Sturm–Liouville equation with eigenparameter-dependent boundary condition is investigated. In quest of finding scattering function and the main equation of this problem, the uniqueness of the kernel is proven. Also, an appropriate Levinson-type formula based on the continuity of scattering function is given.     

A non-overlapping domain decomposition dual reciprocity method for solving the forward–backward heat equation in two-dimension

We apply a boundary element dual reciprocity method (DRBEM) to the numerical solution of the forward–backward heat equation in a two-dimensional case. The method is employed for the spatial variable via the fundamental solution of the Laplace equation and the Crank–Nicolson finite difference scheme is utilized to treat the time variable. The physical domain is divided into two non-overlapping subdomains resulting in two standard forward and backward parabolic equations. The subproblems are then treated by the underlying method assuming a virtual boundary in the interface and starting with an initial approximate solution on this boundary followed by updating the solution by an iterative procedure. In addition, we show that the time discrete scheme is unconditionally stable and convergent using the energy method. Furthermore, some computational aspects will be suggested to efficiently deal with the formulation of the proposed method. Finally, two forward–backward problems, for which the exact solution is available, will be numerically solved for two different domains to demonstrate the efficiency of the proposed approach.