检索结果-南通市图书馆

The structural analysis of fuzzy measures

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china(Information Sciences) 2011年第1期54卷 38-50页

作者： ZHANG Ling1,ZHANG Bo2 & ZHANG YanPing1 1 Computer Science College,Anhui university,Hefei 230039,china 2State Key Lab of Intelligent technology & Systems Tsinghua National Lab for Information Science & technology Information Science & technology College,Computer Science & technology,Tsinghua university,beijing 100084,china Computer Science College Anhui University Hefei China State Key Lab of Intelligent technology & Systems Tsinghua National Lab for Information Science & technology Information Science & technology College Computer Science & Technology Tsinghua University Beijing China

From quotient space based granular computing theory we explore the fuzzy measures of fuzzy sets. Based on the structural analysis of fuzzy sets,we present an"isotropism"*** this assumption we achieved the following insights:(1)the uniqueness of a fuzzy measure being isotropic on a finite complete semi-ordered set;(2)the necessary and suffcient condition of the isomorphism for fuzzy measure functions in fuzzy mathematics;(3)the necessary and suffcient condition that fuzzy measures have fuzzy and granular monotonicity;(4)under a certain assumption,the analytic expression for fuzzy *** results clarify the relationship between fuzzy measures and granular computing,reveal the essence of fuzzy measures,and provide a simple way of constructing fuzzy measures.

关键词： quotient space fuzzy set fuzzy measure rough set structural analysis

The New Architecture with Time-Spatial Consistency for 5G Networks

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

china Communications 2016年第1期13卷 68-79页

作者： SUN Zhennian XU Xu CHAI Xiaomeng ZHANG Tianyu TIAN Lin ZHANG Zhongshan beijing Engineering and technology Center for Convergence Networks and Ubiquitous Services University of Science and Technology Beijing (USTB) Beijing China 100083 NEC Laboratories china (NLC) Beijing 100084 China Institute of computing technology Chinese Academy of Sciences Beijing China 100190

While operators have started deploying fourth generation(4G) wireless communication systems,which could provide up to1 Gbps downlink peak data rate,the improved system capacity is still insufficient to meet the drastically increasing demand of mobile users over the next *** main causes of the above-mentioned phenomenon include the following two aspects:1) the growth rate of the network capacity is far below that of user's demand,and 2) the relatively deterministic wireless access network(WAN) architecture in the existing systems cannot accommodate the prominent increase of mobile traffic with space-time domain *** order to address the above-mentioned challenges,we investigate the time-spatial consistency architecture for the future WAN,whilst emphasizing the critical roles of some spectral-efficient techniques such as Massive multiple-input multiple-output(MIMO),full-duplex(FD)operation and heterogeneous networks(HetNets).Furthermore,the energy efficiency(EE)of the HetNets under the proposed architecture is also evaluated,showing that the proposed user-selected uplink power control algorithm outperforms the traditional stochastic-scheduling strategy in terms of both capacity and EE in a two-tier *** other critical issues,including the tidal effect,the temporal failure owing to the instantaneously increased traffic,and the network wide load-balancing problem,etc.,are also anticipated to be addressed in the proposed architecture.(Abstract)

关键词： wireless access network spectral efficiency energy efficiency super base station heterogeneous network

STATE SPACE TREE METHOD AND EXACT DECOMPOSITION ALGORITHM FOR FINDING NETWORK OVERALL RELIABILITY

在线全文

学校读者我要写书评

暂无评论

Journal of Electronics(china) 1990年第4期7卷 296-305页

作者：黄汝激 beijing university of Science and technology Beijing

First,the state space tree method for finding communication network overall re-liability is *** directly generates one disjoint tree multilevel polynomial of a *** advantages are smaller computational effort(its computing time complexity is O(en_l),where e is the number of edges and n_l is the number of leaves)and shorter resulting ***,based on it an exact decomposition algorithm for finding communication network overallreliability is presented by applying the hypergraph *** we use it to carry out the m-timedecomposition of a network graph,the communication network scale which can be analyzed by acomputer can be extended to m-fold.

关键词： Communication network Overall reliability Graph Hypergraph State space tree Exact decomposition algorithm

Bifurcation of travelling wave solutions for (2+1)-dimension nonlinear dispersive long wave equation

在线全文

学校读者我要写书评

暂无评论

Applied Mathematics(A Journal of Chinese Universities) 2009年第3期24卷 291-297页

作者： RONG Ji-hong TANG Sheng-qiang School of Mathematics and computing Science,Guilin university of Electronic technology,Guilin541004,china School of Mathematics and computing Science Guilin University of Electronic Technology Guilin China

In this paper,the bifurcation of solitary,kink,anti-kink,and periodic waves for （2＋1）-dimension nonlinear dispersive long wave equation is studied by using the bifurcation theory of planar dynamical *** parameter sets are shown,and under various parameter conditions,all exact explicit formulas of solitary travelling wave solutions and kink travelling wave solutions and periodic travelling wave solutions are listed.

关键词： solitary wave kink and anti-kink wave periodic wave (2+1)-Dimension nonlinear dispersive long wave equation

TWO-DIMENSIONAL SIMULATION OF FLOWS IN PLANE-WALL DIFFUSERS

在线全文

学校读者我要写书评

暂无评论

Journal of Hydrodynamics 1992年第4期4卷 43-53页

作者： Yuan Ming-shun Department of Hydraulic Engineering,Tsinghua university,beijing 100084,P.R.china

A numerical model has been developed for computing turbulent flow in plane-wall *** model solves the weakly compressible flow equations with the application of the Smagorinsky's subgrid-scale turbulence model and the boundary conditions of partial slip and no slip at the solid *** examples include two-dimensional calculations of unstalled and stalled flows in diffusers of small diverging angle,as well as transitory stall flow in a symmetric diffuser of 16°total *** the unstalled and stalled flows,the calculated pressure recovery and velocity profile are compared with experimental *** the transitory stall flow,the com- putational result shows the unsteady flow features including the vortex shedding and stall washout phenomena that have been experimentally observed.

关键词： diffuser turbulent flow separation transitory stall Large-eddy simulation

An　Approximate　Algorithm　of　Generating　Variates　with　Arbitrary　Continuous　Statistical　Distributions

在线全文

学校读者我要写书评

暂无评论

Journal of Systems Engineering and Electronics 1996年第1期7卷 35-42页

作者： Zhang Zhengjun Yang Ziqiang Zhang Chunming&Feng Yuncheng(School of Management, beijing university of Aeronautics&Astronautics, beijing 100083, china) (Institute of Computational Math.& Set. Eng. computing,Academia Sinica, beijing 100080, china) (Dept. o School of Management Beijing University of Aeronautics & Astronautics Beijing 100083 China Institute of Computational Math. & Sci. Eng. computing Academia Sinica Beijing 100080 China Dept. of Statistics University of North Carolina Chapel Hill U.S.A.

This paper discusses an approximate algorithm method which can be used to generate arbitrary non-uniform continuous variates. Percentile calculations of arbitrary continuous distributions are *** addition, the idea Of... 详细信息

关键词： Variate generation Monotonicity Curve fitting Probability computing.

Formal Verification under Unknown Constraints

在线全文

学校读者我要写书评

暂无评论

Wuhan university Journal of Natural Sciences 2005年第1期10卷 43-46页

作者： LI Guang-hui 1,2,3 , LI Xiao-wei 2,31. School of Information Engineering, Zhejiang Forestry College, Hangzhou 311300, Zhejiang, china 2. Institute of computing technology, Chinese Academy of Sciences, beijing 100080, china 3. Graduate School of the Chinese Academy of Sciences, beijing 100039, china School of Information Engineering Zhejiang Forestry College Hangzhou Zhejiang China Institute of computing technology Chinese Academy of Sciences Beijing China Graduate School of the Chinese Academy of Sciences Beijing China

We present a formal method of verifying designs with unknown constraints (e.g., black boxes) using Boolean satisfiability (SAT). This method is based on a new encoding scheme of unknown constraints, and solves the corresponding conjunctive normal form (CNF) ***,this method can avoid the potential memory explosion, which the binary decision diagram (BDD) based techniques maybe suffer from, thus it has the capacity of verifying large designs. Experimental results demonstrate the efficiency and feasibility of the proposed method.

关键词： formal verification unknown constraints black box Boolean satisfiability Boolean comparison

Improved taboo search algorithm for designing DNA sequences

在线全文

学校读者我要写书评

暂无评论

Progress in Natural Science:Materials International 2008年第5期18卷 623-627页

作者： Kai Zhang a, Jin Xu a,b, Xiutang Geng a, Jianhua Xiao a, Linqiang Pana, a The Key laboratory of Image Processing and Intelligent Control, Department of Control Science and Engineering, Huazhong university of Science and technology, Wuhan 430074, china b School of Electronic Engineering and Computer Science, Peking university, beijing 100871, china The Key laboratory of Image Processing and Intelligent Control Department of Control Science and Engineering Huazhong University of Science and Technology Wuhan 430074 China School of Electronic Engineering and Computer Science Peking University Beijing 100871 China

The design of DNA sequences is one of the most practical and important research topics in DNA computing. We adopt taboo search algorithm and improve the method for the systematic design of equal-length DNA sequences, which can satisfy certain combinatorial and thermodynamic constraints. Using taboo search algorithm, our method can avoid trapping into local optimization and can nd a set of good DNA sequences satisfying required constraints.

关键词： DNA computing Taboo search algorithm DNA sequence design

Multiscale modeling for classification of SAR imagery using hybrid EM algorithm and genetic algorithm

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Progress in Natural Science:Materials International 2009年第8期19卷 1033-1036页

作者： Xianbin Wen a,b, Hua Zhang a,b, Jianguang Zhang a,b, Xu Jiao a,b, Lei Wang a,b a Tianjin Key laboratory of Intelligence computing and Novel Software technology, Tianjin university of technology, Tianjin 300191, china b Key laboratory of Computer Vision and System (Tianjin university of technology), Ministry of Education, Tianjin 300191, china Tianjin Key laboratory of Intelligence computing and Novel Software technology Tianjin University of Technology Tianjin 300191 China Key laboratory of Computer Vision and System (Tianjin university of technology) Ministry of Education Tianjin 300191 China

A novel method that hybridizes genetic algorithm (GA) and expectation maximization (EM) algorithm for the classification of synthetic aperture radar (SAR) imagery is proposed by the finite Gaussian mixtures model (GMM) and multiscale autoregressive (MAR) model. This algorithm is capable of improving the global optimality and consistency of the classification performance. The experiments on the SAR images show that the proposed algorithm outperforms the standard EM method significantly in classification accuracy.

关键词： SAR imagery Classification Multiscale Hybrid EM algorithm Genetic algorithm