发布求助
文献互助 智能选刊 最新文献

2007 International Conference on Communications, Circuits and Systems最新文献

筛选
英文 中文
Verilog Transformation for an RTL SAT Solver in Formal Verification 形式验证中RTL SAT求解器的Verilog变换
2007 International Conference on Communications, Circuits and Systems Pub Date : 2007-07-11 DOI: 10.1109/ICCCAS.2007.4348294
Xiaoqing Yang, Jinian Bian, Shujun Deng, Yanni Zhao
{"title":"Verilog Transformation for an RTL SAT Solver in Formal Verification","authors":"Xiaoqing Yang, Jinian Bian, Shujun Deng, Yanni Zhao","doi":"10.1109/ICCCAS.2007.4348294","DOIUrl":"https://doi.org/10.1109/ICCCAS.2007.4348294","url":null,"abstract":"This paper presents a new method automatically translating the Verilog model to an RTL circuit model which can be used in a state-of-the-art finite-domain satisfiability solver EHSAT to check the verified properties. Different methods are used in the transformations of different data types and expressions of Verilog model. Effective backfilling technology is applied in the processes of if...else and case blocks. Experimental results show that this method can make the transformation effective.","PeriodicalId":218351,"journal":{"name":"2007 International Conference on Communications, Circuits and Systems","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114741643","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
LCMV Beamforming Algorithm Based on the ractiona Fourier Transform 基于比例傅里叶变换的LCMV波束形成算法
2007 International Conference on Communications, Circuits and Systems Pub Date : 2007-07-11 DOI: 10.1109/ICCCAS.2007.4348177
Wu Haizhou, Tao Ran
{"title":"LCMV Beamforming Algorithm Based on the ractiona Fourier Transform","authors":"Wu Haizhou, Tao Ran","doi":"10.1109/ICCCAS.2007.4348177","DOIUrl":"https://doi.org/10.1109/ICCCAS.2007.4348177","url":null,"abstract":"We propose a new method of LCMV beamforming based on the fractional Fourier transform (FrFT). This method encompasses the conventional linearly constrained minimum variance (LCMV) beamforming in the frequency domain or spatial domain as special cases. It is especially useful for applications involving chirp signals such as signal enhancement problems with accelerating sinusoidal sources where the Doppler effect generates chirp signals and a frequency shift and active radar problems where chirp signals are transmitted. Numerical examples demonstrate the potential advantage of the proposed method over the ordinary frequency or spatial domain beamforming for a moving a target.","PeriodicalId":218351,"journal":{"name":"2007 International Conference on Communications, Circuits and Systems","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117082579","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Nonlinear Compensation in Digital Controller of Switching DC-DC Converters 开关DC-DC变换器数字控制器的非线性补偿
2007 International Conference on Communications, Circuits and Systems Pub Date : 2007-07-11 DOI: 10.1109/ICCCAS.2007.4348278
Mingzhi He, Jianping Xu, Zhongwen Zhou, Ni Chen, Guohua Zhou
{"title":"Nonlinear Compensation in Digital Controller of Switching DC-DC Converters","authors":"Mingzhi He, Jianping Xu, Zhongwen Zhou, Ni Chen, Guohua Zhou","doi":"10.1109/ICCCAS.2007.4348278","DOIUrl":"https://doi.org/10.1109/ICCCAS.2007.4348278","url":null,"abstract":"Digital control of switching dc-dc converters brings many benefits including capability to implement advanced control algorithm that is often complex. Nonlinear compensation function with digital PID of power coefficients is proposed in this paper. The describing function is adopted for analysis. The transient response under different load variations is investigated by simulation and compared with the converters employing linear PID compensation. The experiment system is also set up on PGA platform to verify the analysis and simulation results. By comparison, nonlinear compensated converter has much better transient performance than the linear compensated one.","PeriodicalId":218351,"journal":{"name":"2007 International Conference on Communications, Circuits and Systems","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123492918","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Distributed Arithmetic for FIR Filter Design on FPGA 基于FPGA的分布式FIR滤波器设计算法
2007 International Conference on Communications, Circuits and Systems Pub Date : 2007-07-11 DOI: 10.1109/ICCCAS.2007.4348130
Wang Sen, Tang Bin, Zhu J. Jim
{"title":"Distributed Arithmetic for FIR Filter Design on FPGA","authors":"Wang Sen, Tang Bin, Zhu J. Jim","doi":"10.1109/ICCCAS.2007.4348130","DOIUrl":"https://doi.org/10.1109/ICCCAS.2007.4348130","url":null,"abstract":"This paper presents a distributed arithmetic (DA) for highly efficient multiplier-less FIR filter designed on FPGA. First, the theory of the distributed arithmetic is described. Furthermore, a modification of the DA based on the look up table (LUT) and filter structure to implement the high-order filter hardware-efficient on FPGA is introduced. The proposed filter has been designed and synthesized with ISE 7.1, and implemented with a 4VLX40FF668 FPGA device. Our results show that the proposed DA architecture can implement FIR filters with the smaller resource usage and similar speed in comparison to the previous DA architecture.","PeriodicalId":218351,"journal":{"name":"2007 International Conference on Communications, Circuits and Systems","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121613750","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 48
Reliability-based data-puncturing hybrid ARQ scheme with LDPC Codes 基于可靠性的LDPC码数据穿刺混合ARQ方案
2007 International Conference on Communications, Circuits and Systems Pub Date : 2007-07-11 DOI: 10.1109/ICCCAS.2007.6247589
Xiaoheng Chen, Xiangdong Jin
{"title":"Reliability-based data-puncturing hybrid ARQ scheme with LDPC Codes","authors":"Xiaoheng Chen, Xiangdong Jin","doi":"10.1109/ICCCAS.2007.6247589","DOIUrl":"https://doi.org/10.1109/ICCCAS.2007.6247589","url":null,"abstract":"We propose an improved data-puncturing hybrid-ARQ scheme for Low-Density Parity-Check (LDPC) codes based on codeword reliability. Incremental redundancy is generated from punctured versions of the original data using the same encoder/decoder pair. Retransmission packet sizes are determined adaptively according to the reliability level of the decoded data. We conduct detailed simulation experiments and compare the proposed scheme with RB-HARQ and DP-HARQ approaches. The RB-DP-HARQ scheme reduces the retransmission times and the feedback channel traffic for NACK signaling with negligible overhead.","PeriodicalId":218351,"journal":{"name":"2007 International Conference on Communications, Circuits and Systems","volume":"105 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122080899","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Two Theorems on the Robust Designs for Dilation and Erosion CNNs 膨胀和侵蚀cnn鲁棒设计的两个定理
2007 International Conference on Communications, Circuits and Systems Pub Date : 2007-07-11 DOI: 10.1109/ICCCAS.2007.4348189
Shu Jian, B. Zhao, L. Min
{"title":"Two Theorems on the Robust Designs for Dilation and Erosion CNNs","authors":"Shu Jian, B. Zhao, L. Min","doi":"10.1109/ICCCAS.2007.4348189","DOIUrl":"https://doi.org/10.1109/ICCCAS.2007.4348189","url":null,"abstract":"The cellular neural/nonlinear network (CNN) has become a new tool for image and signal processing, robotic and biological visions, and higher brain functions. Based our previous research, this paper set up two new theorems of robust designs for Dilation and Erosion CNNs processing gray-scale images, which provide parameter inequalities to determine parameter intervals for implementing prescribed image processing functions, respectively. Four numerical simulation examples for Dilation and Erosion CNNs are given to illustrate the effectiveness of our theorems.","PeriodicalId":218351,"journal":{"name":"2007 International Conference on Communications, Circuits and Systems","volume":"66 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122535068","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Cooperative diversity through network turbo-coding 通过网络涡轮编码实现合作分集
2007 International Conference on Communications, Circuits and Systems Pub Date : 2007-07-11 DOI: 10.1109/ICCCAS.2007.6247581
Ning Wang, Xuehong Lin, Junyi Wang, Gang Yang, Jiaru Lin
{"title":"Cooperative diversity through network turbo-coding","authors":"Ning Wang, Xuehong Lin, Junyi Wang, Gang Yang, Jiaru Lin","doi":"10.1109/ICCCAS.2007.6247581","DOIUrl":"https://doi.org/10.1109/ICCCAS.2007.6247581","url":null,"abstract":"This article introduces a cooperative diversity method, where cooperation is achieved by network coding. The improved performance of wireless cooperative diversity system offered by network coding based on turbo codes is interpret. The proposed system is structured with turbo code for the relay channel. The system with network coding and a cooperative system without network coding will be compared. The simulation results will show that such system with network coding leads to better performance on BER in the case of several scenarios. Moreover, an improved framework about network coding on relay is suggested at last.","PeriodicalId":218351,"journal":{"name":"2007 International Conference on Communications, Circuits and Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126244953","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
Study on Impulsive Synchronization of Chaotic System by Computing Conditional Lyapunov Exponent 计算条件Lyapunov指数的混沌系统脉冲同步研究
2007 International Conference on Communications, Circuits and Systems Pub Date : 2007-07-11 DOI: 10.1109/ICCCAS.2007.4348236
Jiang Fei, Liu Zhong
{"title":"Study on Impulsive Synchronization of Chaotic System by Computing Conditional Lyapunov Exponent","authors":"Jiang Fei, Liu Zhong","doi":"10.1109/ICCCAS.2007.4348236","DOIUrl":"https://doi.org/10.1109/ICCCAS.2007.4348236","url":null,"abstract":"To break through strict preconditions of the coupling matrix between drive and response systems in traditional impulsive research, a new method of computing conditional Lyapunov exponent for impulsive synchronization of chaotic system is introduced to study impulsive synchronization. This method is developed on the basis of the classical Wolfs Algorithm and can compute conditional Lyapunov exponent effectively by adding impulsive control. The impulsive intensity is determined by the impulse coupling matrix between drive and response systems. Moreover the computation load can be simplified greatly by setting computing step size equal to impulsive control interval. The correctness and availability of this method is verified by computing the maximum conditional Lyapunov exponent of Lorenz system and simulation results show this method effective and useful.","PeriodicalId":218351,"journal":{"name":"2007 International Conference on Communications, Circuits and Systems","volume":"114 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124553893","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
A novel mobility model with Abrupt Event Influence to the system performance of mobile cellular networks 一种考虑突发事件对移动蜂窝网络系统性能影响的移动模型
2007 International Conference on Communications, Circuits and Systems Pub Date : 2007-07-11 DOI: 10.1109/ICCCAS.2007.6250718
Yide Zhang, G. Feng, Le Min Li
{"title":"A novel mobility model with Abrupt Event Influence to the system performance of mobile cellular networks","authors":"Yide Zhang, G. Feng, Le Min Li","doi":"10.1109/ICCCAS.2007.6250718","DOIUrl":"https://doi.org/10.1109/ICCCAS.2007.6250718","url":null,"abstract":"We demonstrate in the paper that the applied mobility model has great influences on the system performance of mobile cellular networks. We develop a novel mobility model with Abrupt Event Influence (AEI), as well as the system model, to study to what extent the influences will be, with focusing on the mobility model simulation. We concern the parameters that determine the system performance of mobile cellular networks. We show in this paper that these parameters vary while user mobility changes, but the effects are interactive. Since handoff calls are given a higher priority over new calls and GC mechanism is employed, our analysis shows that a mature mobile cellular network should make use of user mobility characteristics and dynamically adjust its reservation threshold of the handoff call requests. Extensive simulation results validate our analysis.","PeriodicalId":218351,"journal":{"name":"2007 International Conference on Communications, Circuits and Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131138681","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A novel blind channel estimation method for MIMO system 一种新的MIMO系统盲信道估计方法
2007 International Conference on Communications, Circuits and Systems Pub Date : 2007-07-11 DOI: 10.1109/ICCCAS.2007.6247584
Yanming Xiong, Min Wei, Yuehuan Gong, Yuehuan Gong
{"title":"A novel blind channel estimation method for MIMO system","authors":"Yanming Xiong, Min Wei, Yuehuan Gong, Yuehuan Gong","doi":"10.1109/ICCCAS.2007.6247584","DOIUrl":"https://doi.org/10.1109/ICCCAS.2007.6247584","url":null,"abstract":"Channel estimation method is a key issue in MIMO system. In recent years, a lot of papers on subspace(SS)-based blind channel estimation have been published, and in this paper, combining SS method with a space-time coding scheme, we proposed a novel blind channel estimation method in MIMO system. Simulation result demonstrates the effectiveness of this method.","PeriodicalId":218351,"journal":{"name":"2007 International Conference on Communications, Circuits and Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129895643","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信