Bessel function of the first kind with complex argument

A new method of computing integral order Bessel functions of the first kind J_n(z) when either the absolute value of the real part or the imaginary part of the argument z = x + iy is small, is described. This method is based on computing the Bessel functions from asymptotic expressions when x∼ 0 (or y ∼ 0). These expansions are derived from the integral definition of Bessel functions. This method is necessary because some existing algorithms and methods fail to give correct results for small x small y. In addition, our overall method of computing Bessel functions of any order and argument is discussed and the logarithmic derivative is used in computing these functions. The starting point of the backward recurrence relations needed to evaluate the Bessel function and their logarithmic derivatives are investigated in order to obtain accurate numerical results. Our numerical method, together with established techniques of computing the Bessel functions, is easy to implement, efficient, and produces reliable results for all z.     

Dynamic behavior for a system of neutral functional differential equations

Consider the system of neutral functional differential equations

where r>0, F, . It is shown that if F is nondecreasing on , and some additional assumptions hold, then the ω limit set of every bounded solution of such a system with some initial conditions is composed of 2r-periodic solutions. Our results are new and complement some corresponding ones already known.     

Fuzzy -ary polygroups related to fuzzy points

Recently, fuzzy n-ary sub-polygroups were introduced and studied by Davvaz, Corsini and Leoreanu-Fotea [B. Davvaz, P. Corsini, V. Leoreanu-Fotea, Fuzzy n-ary sub-polygroups, Comput. Math. Appl. 57 (2008) 141–152]. Now, in this paper, the concept of (,q)-fuzzy n-ary sub-polygroups, -fuzzy n-ary sub-polygroups and fuzzy n-ary sub-polygroup with thresholds of an n-ary polygroup are introduced and some characterizations are described. Also, we give the definition of implication-based fuzzy n-ary sub-polygroups in an n-ary polygroup, in particular, the implication operators in Łukasiewicz system of continuous-valued logic are discussed.     

Tabular Invariants on Graphs and Their Application

A system of tabular invariants on graphs is proposed, and their properties and possibilities of their use for construction of efficient algorithms of solution of some "difficult to solve" problems on graphs are investigated. The notion of an S ^(p)-set is formulated and the theorem on the ordering of such sets is proved. Empirical estimates are obtained for the failure probability of first- and second-order tabular invariants and ordered vectors of degrees of nodes (-invariants) of graphs whose number of nodes varies from 8 to 20.     

Some new paranormed sequence spaces

Maddox defined the sequence spaces ℓ_∞(p), c(p) and c₀(p) in [Proc. Camb. Philos. Soc. 64 (1968) 335, Quart. J. Math. Oxford (2) 18 (1967) 345]. In the present paper, the sequence spaces a₀^r(u,p) and a_c^r(u,p) of non-absolute type have been introduced and proved that the spaces a₀^r(u,p) and a_c^r(u,p) are linearly isomorphic to the spaces c₀(p) and c(p), respectively. Besides this, the α-, β- and γ-duals of the spaces a₀^r(u,p) and a_c^r(u,p) have been computed and their basis have been constructed. Finally, a basic theorem has been given and later some matrix mappings from a₀^r(u,p) to the some sequence spaces of Maddox and to some new sequence spaces have been characterized.     

一种基于彩色编码技术的基序发现算法

从DNA序列中发现基序是生物计算中的一个重要问题,序列条数K=20包含基序用例的序列条数k=16的(l,d)-(K-k)问题(记作(l,d)-(20-16)问题)是目前生物学家十分关注的基序发现问题.针对该问题提出了一种基于彩色编码技术的SDA(sample-driven algorithm)搜索算法--彩色编码基序搜索算法(color coding motif finding algorithm,简称CCMF算法).它利用彩色编码技术将该问题转化为(l,d)-(16-16)问题,再采用分治算法和分支定界法来求解.在解决将(l,d)-(20-16)问题转化为(l,d)-(16-16)问题时,CCMF算法利用彩色编码技术将4 845个组合降低到403个着色,这将极大地提高算法的整体运行效率.使用模拟数据和生物数据进行测试的结果表明,CCMF算法能够快速发现所有(l,d)-(20-16)问题的基序模型和基序用例,具有优于其他算法的综合性能评价,能够用于真实的基序发现问题.同时,通过修改着色方案,CCMF算法可以用于求解一般的(l,d)-(K-k)问题,其中,k＜K.     

Speech Modeling via Model Reduction

Using model reduction, a new approach for low-order speech modeling is presented. In this approach, the modeling process starts with a relatively high-order (full-order) autoregressive (AR) model obtained by some classical methods. The AR model is then reduced using the state projection method, operating in the state space. The model reduction yields a reduced-order autoregressive moving-average (ARMA) model that interestingly preserves the key properties of the original full-order model such as stability, minimality, and phase minimality. Line spectral frequencies (LSF) and signal-to-noise ratio (SNR) behavior are also investigated. To illustrate the performance and effectiveness of the proposed approach, some computer simulations were conducted on some practical speech segments.     

States on <Emphasis Type="Italic">R</Emphasis><Subscript>0</Subscript> algebras

The aim of this paper is to introduce the notion of states on R ₀ algebras and investigate some of their properties. We prove that every R ₀ algebra possesses at least one state. Moreover, we investigate states on weak R ₀ algebras and give some examples to show that, in contrast to R ₀ algebras, there exist weak R ₀ algebras which have no states. We also derive the condition under which finite linearly ordered weak R ₀ algebras have a state. This work is supported by NSFC (No.60605017).     

d-正则(k,s)-SAT问题的NP完全性

研究具有正则结构的SAT问题是否是NP完全问题,具有重要的理论价值.(k,s)-CNF公式类和正则(k,s)-CNF公式类已被证明存在一个临界函数f(k),使得当s≤f(k)时,所有实例都可满足;当s≥f(k)+1时,对应的SAT问题是NP完全问题.研究具有更强正则约束的d-正则(k,s)-SAT问题,其要求实例中每个变元的正负出现次数之差不超过给定的自然数d.通过设计一种多项式时间的归约方法,证明d-正则(k,s)-SAT问题存在一个临界函数f(k,d),使得当s≤f(k,d)时,所有实例都可满足;当s≥f(k,d)+1时,d-正则(k,s)-SAT问题是NP完全问题.这种多项式时间的归约变换方法通过添加新的变元和新的子句,可以更改公式的子句约束密度,并约束每个变元正负出现次数的差值.这进一步说明,只用子句约束密度不足以刻画CNF公式结构的特点,对临界函数f(k,d)的研究有助于在更强正则约束条件下构造难解实例.     

(Weak) Dual hyper <Emphasis Type="Italic">K</Emphasis>-ideals

In this note by considering the notion of (weak) dual hyper K-ideal, we obtain some related results. After that we determine the relationships between (weak) dual hyper K-ideals and (weak) hyper K-ideals. Finally, we give a characterization of hyper K-algebras of order 3 or 4 based on the (weak) dual hyper K-ideals.     

The Zariski topology on the spectrum of prime <Emphasis Type="Italic">L</Emphasis>-submodules

Let R be a commutative ring with identity and let M be an R-module. We topologize L − Spec(M), the collection of all prime L-submodules of M, analogous to that for FSpec(R), the spectrum of fuzzy prime ideals of R, and investigate the properties of this topological space. In particular, we will study the relationship between L − Spec(M) and L − Spec(R/Ann(M)) and obtain some results.     

A New view of the approximations in H v -groups

Let H is an H _v -group and the set of all finite products of elements of H. The relation β^* is the smallest equivalence relation on H such that the quotient H/ β^* is a group. The relation β^* is transitive closure of the relation β, where β is defined as follows: x β y if and only if for some . Based on the relation β, we define a neighborhood system for each element of H, and we presents a general framework for the study of approximations in H _v -groups. In construction approach, a pair of lower and upper approximation operators is defined. The connections between H _v -groups and approximation operators are examined.     

Optimal (N,T)-policy for M/G/1 system with cost structures

In this paper, the optimal (N,T)-policy for M/G/1 system with cost structure is studied. The system operates only intermittently. It is shut down when no customers are present. A fixed set-up cost of K>0 is incurred each time the system is reopened. Also, a holding cost of h>0 per unit time is incurred for each customer present. The (N,T)-policy studied for this system is as follows: the system reactivates as soon as N customers are present or the waiting time of the leading customer reaches a predefined time T (see A.S. Alfa, I. Frigui, Eur. J. Oper. Res. 88 (1996) 599-613; Y.N. Doganata, in: E. Arikan (Ed.), Communication, Control, and Signal Processing, 1990, pp. 1663–1669). Later on, as a comparison, the start of the timer count is relaxed as follows: the system reactivates as soon as N customers are present or the time units after the end of the last busy period reaches a predefined time T. For both cases, the explicit optimal policy (N^*,T^*) for minimizing the long-run average cost per unit time are obtained. As extreme cases, we include the simple optimal policies for N-and T-polices. Several counter-intuitive results are obtained about the optimal T-policies for both types of models.     

Dynamic Analysis of Stochastic Recurrent Neural Networks

This paper addresses the issue of pth moment exponential stability of stochastic recurrent neural networks (SRNN) with time-varying interconnections and delays. With the help of the Dini derivative of the expectation of V(t, X(t)) “along” the solution X(t) of the model and the technique of Halanay-type inequality, some novel sufficient conditions on pth moment exponential stability of the trivial solution has been established. Conclusions of the development as presented in this paper have gone beyond some published results and are helpful to design stability of networks when stochastic noise is taken into consideration. An example is also given to illustrate the effectiveness of our results.     

Generalized -KKM type theorems in topological spaces with an application

In this paper, we first introduce a new concept of generalized L-KKM mapping and establish some new generalized L-KKM type theorems without any convexity structure in topological spaces. As an application, an existence theorem of equilibrium points for an abstract generalized vector equilibrium problem is proved in topological spaces. The results presented in this paper unify and generalize some known results in recent literature.     

Using kNN model for automatic text categorization

An investigation is conducted on two well-known similarity-based learning approaches to text categorization: the k-nearest neighbors (kNN) classifier and the Rocchio classifier. After identifying the weakness and strength of each technique, a new classifier called the kNN model-based classifier (kNN Model) is proposed. It combines the strength of both kNN and Rocchio. A text categorization prototype, which implements kNN Model along with kNN and Rocchio, is described. An experimental evaluation of different methods is carried out on two common document corpora: the 20-newsgroup collection and the ModApte version of the Reuters-21578 collection of news stories. The experimental results show that the proposed kNN model-based method outperforms the kNN and Rocchio classifiers, and is therefore a good alternative for kNN and Rocchio in some application areas. This work was partly supported by the European Commission project ICONS, project no. IST-2001-32429.     

H optimization problem with sign-indefinite quadratic form

This paper presents the solution to min-max control problem arising when the matrix C₁^TC₁ of the cost function in the standard H^∞ control problem (Doyle et al., 1989) is replaced by an arbitrary matrix Q 0. This difference is proved to be sufficient for results obtained in (Doyle et al., 1989) not to cover such the case. Their derivations essentially base on the cost function being H^∞ norm and can not be adjusted to deal with sign-indefinite quadratic form. With some sort of strict frequency condition assumed, state space technique is fruitful to obtain the necessary and sufficient conditions of the solvability of the problem. The solution is given by two Riccati equations and has some difference when compared to that of (Doyle et al., 1989).     

Network Design with Edge-Connectivity and Degree Constraints

We consider the following network design problem; Given a vertex set V with a metric cost c on V, an integer k≥1, and a degree specification b, find a minimum cost k-edge-connected multigraph on V under the constraint that the degree of each vertex v∈V is equal to b(v). This problem generalizes metric TSP. In this paper, we show that the problem admits a ρ-approximation algorithm if b(v)≥2, v∈V, where ρ=2.5 if k is even, and ρ=2.5+1.5/k if k is odd. We also prove that the digraph version of this problem admits a 2.5-approximation algorithm and discuss some generalization of metric TSP.