|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 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 | Interactive Fault Localization Using Test Information显示文摘Debugging is a time-consuming task in software development.Although various automated approaches have been proposed,they are not effective enough.On the other hand,in manual debugging,developers have difficulty in choosing breakpoints.To address these problems and help developers locate faults effectively,we propose an interactive fault-localization framework,combining the benefits of automated approaches and manual debugging.Before the fault is found,this framework continuously recommends checking points based on statements' suspicions,which are calculated according to the execution information of test cases and the feedback information from the developer at earlier checking points.Then we propose a naive approach,which is an initial implementation of this framework.However,with this naive approach or manual debugging,developers' wrong estimation of whether the faulty statement is executed before the checking point(breakpoint) may make the debugging process fail.So we propose another robust approach based on this framework, handling cases where developers make mistakes during the fault-localization process.We performed two experimental studies and the results show that the two interactive approaches are quite effective compared with existing fault-localization approaches.Moreover,the robust approach can help developers find faults when they make wrong estimation at some checking points. | 郝丹 张路 Senior Member 谢涛 梅宏 孙家骕 | 2009 | Journal of Computer Science & Technology2009，24，5： | 3 |
| 3 | Leapfrog:Optimal Opportunistic Routing in Probabilistically Contacted Delay Tolerant Networks显示文摘Delay tolerant networks(DTNs) experience frequent and long lasting network disconnection due to various reasons such as mobility,power management,and scheduling.One primary concern in DTNs is to route messages to keep the end-to-end delivery delay as low as possible.In this paper,we study the single-copy message routing problem and propose an optimal opportunistic routing strategy—Leapfrog Routing—for probabilistically contacted DTNs where nodes encounter or contact in some fixed probabilities.We deduce the iterative computation formulate of minimum expected opportunistic delivery delay from each node to the destination,and discover that under the optimal opportunistic routing strategy,messages would be delivered from high-delay node to low-delay node in the leapfrog manner.Rigorous theoretical analysis shows that such a routing strategy is exactly the optimal among all possible ones.Moreover,we apply the idea of Reverse Dijkstra algorithm to design an algorithm.When a destination is given,this algorithm can determine for each node the routing selection function under the Leapfrog Routing strategy.The computation overhead of this algorithm is only O(n^2) where n is the number of nodes in the network.In addition,through extensive simulations based on real DTN traces,we demonstrate that our algorithm can significantly outperform the previous ones. | 肖明军 黄刘生 Senior Member 董群峰 刘安 杨振国 | 2009 | Journal of Computer Science & Technology2009，24，5： | 3 |
| 4 | 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 |
| 5 | A Review of Speech Coding显示文摘AReviewofSpechCodingBaoChangchun(DepartmentofElectronicEngineering,BeijingPolytechnicUniversity,Beijing100022)FanChangxin?.. | Bao ChangchunAssociate professor of Information Engineering, Beijing Polytechnic University, Ph.D, CIE senior member (Department of Electronic Engineering, Beijing Polytechnic University, Beijing 100022) Fan ChangxinProfessor with Xidian University, C | 1998 | 通信学报1998，19，5： | 3 |
| 6 | An Ellipsoidal Set-Membership Approach to Distributed Joint State and Sensor Fault Estimation of Autonomous Ground Vehicles显示文摘This paper is concerned with the problem of distributed joint state and sensor fault estimation for autonomous ground vehicles subject to unknown-but-bounded(UBB)external disturbance and measurement noise.In order to improve the estimation reliability and performance in cases of poor data collection and potential communication interruption,a multisensor network configuration is presented to cooperatively measure the vehicular yaw rate,and further compute local state and fault estimates.Toward this aim,an augmented descriptor vehicle model is first established,where the unknown sensor fault is modeled as an auxiliary state of the system model.Then,a new distributed ellipsoidal set-membership estimation approach is developed so as to construct an optimized bounding ellipsoidal set which guarantees to contain the vehicle’s true state and the sensor fault at each time step despite the existence of UBB disturbance and measurement noises.Furthermore,a convex optimization algorithm is put forward such that the gain matrix of each distributed estimator can be recursively obtained.Finally,simulation results are provided to validate the effectiveness of the proposed approach. | Eman Mousavinejad Xiaohua Ge Senior Member Qing-Long Han Teng Joon Lim Ljubo Vlacic | 2021 | IEEE/CAA Journal of Automatica Sinica2021，8，6： | 2 |
| 7 | Parallel LDPC Decoding on GPUs Using a Stream-Based Computing Approach显示文摘Low-Density Parity-Check(LDPC) codes are powerful error correcting codes adopted by recent communication standards.LDPC decoders are based on belief propagation algorithms,which make use of a Tanner graph and very intensive message-passing computation,and usually require hardware-based dedicated solutions.With the exponential increase of the computational power of commodity graphics processing units(GPUs),new opportunities have arisen to develop general purpose processing on GPUs.This paper proposes the use of GPUs for implementing flexible and programmable LDPC decoders.A new stream-based approach is proposed,based on compact data structures to represent the Tanner graph.It is shown that such a challenging application for stream-based computing,because of irregular memory access patterns,memory bandwidth and recursive flow control constraints,can be efficiently implemented on GPUs.The proposal was experimentally evaluated by programming LDPC decoders on GPUs using the Caravela platform,a generic interface tool for managing the kernels' execution regardless of the GPU manufacturer and operating system.Moreover,to relatively assess the obtained results,we have also implemented LDPC decoders on general purpose processors with Streaming Single Instruction Multiple Data(SIMD) Extensions.Experimental results show that the solution proposed here efficiently decodes several codewords simultaneously,reducing the processing time by one order of magnitude. | Gabriel Falcao Student Member Shinichi Yamagiwa Vitor Silva Leonel Sousa Senior Member | 2009 | Journal of Computer Science & Technology2009，24，5： | 2 |
| 8 | Fuzzy filter design for a class of nonlinear stochastic systems显示文摘 | Chung-Shi Tseng Senior Member | 2007 | IEEE Transactions on Fuzzy Systems2007，15，2： | 1 |
| 9 | Analysis of spectral regrowth of weakly nonlinear power amplifiers显示文摘 | G Tong Zhou Senior Member | 2000 | IEEE Communications Letters2000，4，5： | 1 |
| 10 | IEEE,Application of Antenna Arrays to Mobile Communications,Part Ⅱ:Beam-Forming and Direction -of-Arrival Considerations显示文摘 | LAL C GODARA Senior Member | 1997 | Proceedings of The IEEE1997，85，8： | 1 |
| 11 | 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 |
| 12 | Focal- plane-arrays and CMOS readout techniques of infrared ima- ging systems 显示文摘 | Chih-Cheng Hsieh Chung-Yu Wu Senior Member | 1997 | Transactions on Circuits and Systems for Video Technology IEEE1997，7，4： | 1 |
| 13 | Fuzzy Backward Reasoning Using Fuzzy Petri Nets 显示文摘 | Senior Member IEEE | 2000 | IEEE transactions on systems man and cybernetics-part B: cybernetics2000，，： | 1 |
| 14 | A theory independent fuzzy probability for system reliability显示文摘 | James Dunyak Ihab W Donald Wunsch Senior Member | 1999 | IEEE Trans on Fuzzy System1999，7，2： | 1 |
| 15 | Grouping and Partner Selection in Cooperative Wireless Networks显示文摘 | Aria Nosratinia Senior Member Todd E.Hunter | | 0，，： | 1 |
| 16 | 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 |
| 17 | Assessmentof Voltage Unbalance显示文摘 | Annette von Jouanne Senior Member | 2001 | IEEE Transaction onPower Delivery2001，16，4： | 1 |
| 18 | Optimal Downlink Space-Time Scheduling Design With Convex Utility Functions-Multiple-Antenna Systems With Orthogonal Spatial Multiplexing显示文摘 | Vincent K N Lau Senior Member | 2005 | IEEE transactions on vehicular technology2005，54，4： | 1 |
| 19 | The MPEG-7 Visual Standard for Content Description-An Overview显示文摘 | Thomas Sikora Senior Member | 2001 | IEEE IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS FOR VIDEO TECHNOLOGY2001，11，6： | 1 |
| 20 | High-Response Inductive Electromagnetic Sensor显示文摘 | Keisuke Fujisaki Senior Member IEEE | 2003 | IEEE transactions onmagnetic2003，39，5： | 1 |
您所在的机构暂未开通此部分的功能，请联系管理员