Source number estimation and separation algorithms of underdetermined blind separation

Recently, sparse component analysis （SCA） has become a hot spot in BSS research. Instead of independent component analysis （ICA）, SCA can be used to solve underdetermined mixture efficiently. Two-step approach （TSA） is one of the typical methods to solve SCA based BSS problems. It estimates the mixing matrix before the separation of the sources. K-means clustering is often used to estimate the mixing matrix. It relies on the prior knowledge of the source number strongly. However, the estimation of the source number is an obstacle. In this paper, a fuzzy clustering method is proposed to estimate the source number and mixing matrix simultaneously. After that, the sources are recovered by the shortest path method （SPM）. Simulations show the availability and robustness of the proposed method.     

用水信用与风险管理系统

系统采用Oracle数据库作为开发平台,VB.net为开发工具研制而成。系统借鉴银行和电力企业信用等级评价的规则,结合水司水费收缴的历史纪录及各客户的实际情况,运用自动采集程序,从原有的营销系统和财务系统自动录入数据,再通过优化的模糊概率、神经网络程序,对用户进行交纳水费信用等级评定,建立客户交纳水费风险预警机制。     

基于模糊理论的SAR图像分割算法研究与实现

SAR图像存在强烈的相干斑噪声,传统方法不能很好对其分割。文章基于模糊理论,通过选择图像特征,构造模糊集,借助最大隶属度原则进行了SAR图像分割算法的设计,并借助SAR图像分别进行了参数调节和窗口选择的实验,获得了满意的分割结果。实验结果表明,该算法对于SAR图像分割可行有效。     

Mathematical methods of geoinformatics. III. Fuzzy comparisons and recognition of anomalies in time series

The search for anomalies in time series by methods of fuzzy logic is further explored. The algorithms DRAS and FLARS underlying these methods are further developed in the form of the algorithm FCARS that is completely based on fuzzy comparisons. Parts 1 and 2 were published in Cybernetics and Systems Analysis, No. 2, 2002 and No. 4, 2003. __________ Translated from Kibernetika i Sistemnyi Analiz, No. 3, pp. 3–18, May–June 2008.     

Architectural Methodology Based on Intentional Configuration of Behaviors

Intelligence has been an object of study for a long time. Different architectures try to capture and reproduce these aspects into artificial systems (or agents), but there is still no agreement on how to integrate them into a general framework. With this objective in mind, we propose an architectural methodology based on the idea of intentional configuration of behaviors. Behavior‐producing modules are used as basic control components that are selected and modified dynamically according to the intentions of the agent. These intentions are influenced by the situation perceived, knowledge about the world, and internal variables that monitor the state of the agent. The architectural methodology preserves the emergence of functionality associated with the behavior‐based paradigm in the more abstract levels involved in configuring the behaviors. Validation of this architecture is done using a simulated world for mobile robots, in which the agent must deal with various goals such as managing its energy and its well‐being, finding targets, and acquiring knowledge about its environment. Fuzzy logic, a topologic map learning algorithm, and activation variables with a propagation mechanism are used to implement the architecture for this agent.     

The Dynamics of Syntactic Knowledge

The syntactic approach to epistemic logic avoids the logicalomniscience problem by taking knowledge as primary rather thanas defined in terms of possible worlds. In this study, we combinethe syntactic approach with modal logic, using transition systemsto model reasoning. We use two syntactic epistemic modalities:‘knowing at least’ a set of formulae and ‘knowingat most’ a set of formulae. We are particularly interestedin models restricting the set of formulae known by an agentat a point in time to be finite. The resulting systems are investigatedfrom the point of view of axiomatization and complexity. Weshow how these logics can be used to formalise non-omniscientagents who know some inference rules, and study their relationshipto other systems of syntactic epistemic logics, such as Ågotnesand Walicki (2004, Proc. 2nd EUMAS, pp. 1–10), Alechinaet al. (2004, Proc. 3rd AAMAS, pp. 601–613), Duc (1997,J. Logic Comput., 7, 633–648).     

Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5

We begin by showing how to faithfully encode the Classical ModalDisplay Logic (CMDL) of Wansing into the Calculus of Structures(CoS) of Guglielmi. Since every CMDL calculus enjoys cut-elimination,we obtain a cut-elimination theorem for all corresponding CoScalculi. We then show how our result leads to a minimal cut-freeCoS calculus for modal logic S5. No other existing CoS calculifor S5 enjoy both these properties simultaneously.     

On the probability theory on MV algebras

 The paper contains a review of some results concerning probability theory on MV algebras (laws of large numbers, central limit theorem, martingale convergence theorem). Also some algebraic and methodical aspects are discussed.     

模糊综合评价法在长江下游贵池河段水质评价中的应用

对水质评价存在诸多方法,而模糊综合评价法具有评价结果合理、更接近客观实际等优点,因而得到越来越广泛的应用。通过模糊评价方法对长江下游贵池河段2005～2009年间水环境综合评价,并采用加权平均原则求取隶属等级,取得较好的效果。     

模糊数学综合评判法在菜肴感官评定中的应用——以川菜代表性菜肴鱼香肉丝为例

感官评定是控制烹饪菜品质量的重要途径之一,文章以川菜代表性菜品——鱼香肉丝为评定对象,选取色、香、味、形、质等因素并设置合理的权重,对同一试验小组A、B、C、D、E等5道鱼香肉丝菜肴进行模糊数学综合评定。试验结果表明,用模糊数学综合评判法,能客观而准确地区分出不同烹饪菜肴的差异程度和等级,即5道鱼香肉丝感官评定等级从高到低为：C〉D〉E〉A〉B。