|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | Nonlinear Dynamics and Stability of Neural Networks with Delay-Time显示文摘In this paper we study the dynamic properties and stabilities of neural networks with delay-time (which includes the time-varying case) by differential inequalities and Lyapunov function approaches. The criteria of connective stability, robust stability, Lyapunov stability, asymptotic atability, exponential stability and Lagrange stability of neural networks with delay-time are established, and the results obtained are very useful for the design, implementation and application of adaptive learning neural networks. | L. C. Jiao, member, IEEE, and Zheng Bao, Senior member, IEEECenter for Neural Networks and Institute of Elec. Eng, Xidian University, Xian 710071, China | 1992 | Journal of Systems Engineering and Electronics1992，3，2： | 11 |
| 2 | Global-to-Local Approach to Rigorously Developing Distributed System with Exception Handling显示文摘Cooperative distributed system covers a wide range of applications such as the systems for industrial controlling and business-to-business trading, which are usually safety-critical. Coordinated exception handling (CEH) refers to exception handling in the cooperative distributed systems, where exceptions raised on a peer should be dealt with by all relevant peers in a consistent manner. Some CEH algorithms have been proposed. A crucial problem in using these algorithms is how to develop the peers which are guaranteed coherent in both normal execution and exceptional execution. Straightforward testing or model checking is very expensive. In this paper, we propose an e?ective way to rigorously develop the systems with correct CEH behavior. Firstly, we formalize the CEH algorithm by proposing a Peer Process Language to precisely describe the distributed systems and their operational semantics. Then we dig out a set of syntactic conditions, and prove its su?ciency for system coherence. Finally, we propose a global-to-local approach, including a language describing the distributed systems from a global perspective and a projection algorithm, for developing the systems. Given a well-formed global description, a set of peers can be generated automatically. We prove the system composed of these peers satisfies the conditions, that is, it is always coherent and correct for CEH. | 蔡超 裘宗燕 Senior Member, Member, CCF, IEEE 杨红丽 赵翔鹏 | 2009 | Journal of Computer Science & Technology2009，24，2： | 3 |
| 3 | Bojanc- zyk, Member, IEEE, The hyperbolic singular value decompositi -on and applications 显示文摘 | Ruth Onn Student Member IEEE Allan Stein- hardt Senior Member IEEE and Adam W | 1991 | IEEE Transac- tion On Singal Processing1991，39，7： | 1 |
| 4 | Fuzzy Backward Reasoning Using Fuzzy Petri Nets 显示文摘 | Senior Member IEEE | 2000 | IEEE transactions on systems man and cybernetics-part B: cybernetics2000，，： | 1 |
| 5 | Atmospheric correction of landsat ETM+ land surface imagery-Part 1: Methods显示文摘 | Liang S L Senior Member IEEE Fang H L | 2001 | IEEE Transactions on Geoscience and Remote Sensing2001，39，11： | 1 |
| 6 | High-Response Inductive Electromagnetic Sensor显示文摘 | Keisuke Fujisaki Senior Member IEEE | 2003 | IEEE transactions onmagnetic2003，39，5： | 1 |
| 7 | Optimizing the operation sequence of a chip placement machine using TSP model显示文摘 | Kumar R Senior Member IEEE Luo Z H | 2003 | IEEE Transactions on Electronics Packaging Manufacturing2003，26，1： | 1 |
| 8 | Modeling and Analysis of Local Comprehensive Minutia Relation for Fingerprint Matching显示文摘 | Xiaoguang He Jie Tian Senior Member IEEE Liang Li Yuliang He and Xin Yang | 2007 | IEEE Transactions on systems man and cybernetics - part B : cybernetics2007，37，5： | 1 |
| 9 | CCNoC:Cache-Coherent Network on Chip for Chip Multiprocessors显示文摘As the number of cores in chip multiprocessors(CMPs) increases,cache coherence protocol has become a key issue in integration of chip multiprocessors.Supporting cache coherence protocol in large chip multiprocessors still faces three hurdles:design complexity,performance and scalability.This paper proposes Cache Coherent Network on Chip(CCNoC),a scheme that decouples cache coherency maintenance from processors and shared L2 caches and implements it completely in network on chip to free up processors and shared L2 caches from the chore of maintaining coherency,thereby reduces design complexity of CMPs.In this way,CCNoC also improves the performance of cache coherence protocol through reducing directory access latency and enhances scalability by avoiding massive directories overhead in shared L2 caches.In CCNoC, coherence state caches and active directory caches are implemented in the network interface components of network on chip to maintain cache coherence states for blocks in L1 caches and manage directory information for recently accessed blocks in L2 caches respectively.CCNoC provides a scalable CMP framework to tackle cache coherency which is the foundation of CMP.This paper evaluates the performance of CCNoC.Experimental results show that for a 16-core system,CCNoC improves performance by 3%on average over the conventional chip multiprocessor and by 10%at best,while reduces storage overhead by 1.8%and saves directory storage by 88%,showing good scalability. | 王惊雷 薛一波 Member, CCF, IEEE 王海霞 李崇民 汪东升 Senior Member,CCF | 2010 | Journal of Computer Science & Technology2010，25，2： | 1 |
| 10 | Iterative Detection and Decoding with an Improved V-BLAST for MIMO-OFDM Systems 显示文摘 | Heunchul Lee Student Member IEEE Byeongsi Lee Student Member IEEE and Inkyu Lee Senior Member IEEE | 2006 | IEEE Journal on Selected Areas in Communs2006，24，3： | 1 |
| 11 | Simulation Models With Correct Statistical Properties for Rayleigh Fading Channels显示文摘 | Yahong Rosa Zheng Chengshan Xiao Senior Member IEEE | 2003 | IEEE Transactions On Communications2003，51，6： | 1 |
| 12 | An evaluation of architectures incorporating wavelength division multiplexing for broad-band fiber access 显示文摘 | Senior Member IEEE | 1998 | IEEE/OSA J Lightwave Tech1998，16，9： | 1 |
| 13 | Passive microwave remote sensing of extreme weather events usingNOAA -18 AMSUA and MHS显示文摘 | BOUKABARA Sid-ahmed SENIOR Member IEEE WENG Fuzhong | 2007 | IEEE Trans Geosci Remote Sens2007，45，7： | 1 |
| 14 | Filetring of Colo-ed Noise for Speech Enhancenent and Codin-g显示文摘 | Jerry D Gibson Senior Member IEEE | | 0，，08： | 1 |
| 15 | Robust Subspace Blind Channel Estimation for Cyclic Prefixed MIMO OFDM Systems: Algorithm, Identifiability and Performance Analysis 显示文摘 | Feifei Gao Student Member IEEE Yonghong Zeng Senior Member IEEE | 2008 | IEEE Journal on Selected Areas in Communications2008，26，2： | 1 |
| 16 | Joint Twofold-Iterative Channel Estimation and Multiuser Detection for MIMO-OFDM Systems 显示文摘 | Pierluigi Salvo Rossi Ralf R M'uller Senior Member IEEE | 2008 | IEEE Trans on Wireless Communications2008，7，1： | 1 |
| 17 | Im- aging Geodesy-Toward Centimeter - LevelRanging Accu- racy With TerraSAR - X 显示文摘 | Michael Eineder Senior Member IEEE Christian Minet Peter Steigenberger Xiaoying Cong and Thomas Fritz | 2011 | IEEE TRANSACTIONS ON GEOSCIENCE AND REMOTE SENSING2011，49，2： | 1 |
| 18 | Burst-by-Burst Adaptive Multiuser Detection CDMA:A framework for existing and future wireless standards 显示文摘 | EE-Lin Kuan (Melnber of IEEE) EaJos HanZo (Senior Member of IEEE) | 2003 | Proceedings of The IEEE2003，91，2： | 1 |
| 19 | An Efficient Approach for Calculating the Dispersions of Photonic-crystal Fibers: Design of the Nearly zero Ultra-flattened Dispersion 显示文摘 | WU TZONG-LIN IEEE SENIOR MEMBER CHAO CHIA-HSIN | 2005 | J Lightwave Techno2005，23，6： | 1 |
| 20 | EMD-based signal filtering 显示文摘 | Abdel-Ouahab Boudraa Senior Member IEEE and Jean-Christophe Cexus | 2007 | IEEE Transaction on Instrumentation and Measurement2007，56，6： | 1 |
您所在的机构暂未开通此部分的功能，请联系管理员