Electronics and Communications in Japan (Part III: Fundamental Electronic Science)最新文献_第4页

Two computational algorithms for deriving phase equations: Equivalence and some cautions 导出相位方程的两种计算算法：等价性及注意事项

Electronics and Communications in Japan (Part III: Fundamental Electronic Science) Pub Date : 2007-06-21 DOI: 10.1002/ecjc.20284

Daisuke Ohta, Hisa-Aki Tanaka, Yusuke Maino

引用次数: 1

A data-driven processor for alleviating bottlenecks of sequential programs and maintaining multiprocessing capability 一种数据驱动处理器，用于缓解顺序程序的瓶颈并保持多处理能力

Electronics and Communications in Japan (Part III: Fundamental Electronic Science) Pub Date : 2007-06-21 DOI: 10.1002/ecjc.20358

Ryosuke Kurebayashi, Shinya Ito, Toru Takahashi, Hiroshi Tomiyasu, Hiroaki Nishikawa

{"title":"A data-driven processor for alleviating bottlenecks of sequential programs and maintaining multiprocessing capability","authors":"Ryosuke Kurebayashi, Shinya Ito, Toru Takahashi, Hiroshi Tomiyasu, Hiroaki Nishikawa","doi":"10.1002/ecjc.20358","DOIUrl":"https://doi.org/10.1002/ecjc.20358","url":null,"abstract":"Existing data-driven processors offer the advantages of being able to naturally resolve the problems inherent in a wide variety of granularities of parallelism, and of being able to multiprocess without overhead. However, because an instruction is not issued until the instruction that generates the source operand finishes executing, a delay equal to the number of stages in the pipeline occurs before an instruction that has a data-dependency relationship can be executed. As a result, portions of sequential processing in a program become a bottleneck. The authors are therefore in the process of developing an LSI processor that is able to retain the advantages of conventional data-driven processors while being able to efficiently execute blocks of sequential processing. This paper presents and evaluates the performance of the proposed execution model and pipeline structure of this processor. This processor uses the same pipeline to perform instruction level multiprocessing of data-driven programs that issue instructions based on the data-dependency relationships and control-driven programs that issue instructions sequentially based on a program counter. The effectiveness of parallel processing by data-driven programs, improvements in the efficiency of sequential processing by introducing control-driven programs, and the ability to evenly share the pipeline when data-driven and control-driven programs are multiprocessing are evaluated. © 2007 Wiley Periodicals, Inc. Electron Comm Jpn Pt 3, 90(12): 36–49, 2007; Published online in Wiley InterScience (www.interscience.wiley.com). DOI 10.1002/ecjc.20358","PeriodicalId":100407,"journal":{"name":"Electronics and Communications in Japan (Part III: Fundamental Electronic Science)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2007-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1002/ecjc.20358","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"71972473","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 monitor generation method for formal monitor-based verification considering input constraints 一种考虑输入约束的形式化基于监控器的验证监控器生成方法

Electronics and Communications in Japan (Part III: Fundamental Electronic Science) Pub Date : 2007-06-21 DOI: 10.1002/ecjc.20360

Yosuke Kakiuchi, Akira Kitajima, Kiyoharu Hamaguchi, Toshinobu Kashiwabara

{"title":"A monitor generation method for formal monitor-based verification considering input constraints","authors":"Yosuke Kakiuchi, Akira Kitajima, Kiyoharu Hamaguchi, Toshinobu Kashiwabara","doi":"10.1002/ecjc.20360","DOIUrl":"https://doi.org/10.1002/ecjc.20360","url":null,"abstract":"Various kinds of methods have been proposed for hardware module interface verification. We focus on monitor-based formal verification. In our approach, to verify interface specifications more comprehensively, we describe specifications of a module interface in a specification language based on regular expressions, and then behavioral models are constructed. Next, a monitor circuit is generated. This method prevents monitor circuits from involving errors because of automated monitor generation. Usually, input constraints must also be given for a design, when each module is verified one by one, because undesirable input patterns may be provided. Instead of giving input constraints, we propose a method of monitor generation including input constraints. Input constraints are extracted from specification of interfaces. Therefore, verification of individual modules becomes less difficult. We show an experimental result on formal verification of circuits compliant to the AMBA AHB bus protocol. © 2007 Wiley Periodicals, Inc. Electron Comm Jpn Pt 3, 90(12): 19–26, 2007; Published online in Wiley InterScience (www.interscience.wiley.com). DOI 10.1002/ecjc.20360","PeriodicalId":100407,"journal":{"name":"Electronics and Communications in Japan (Part III: Fundamental Electronic Science)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2007-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1002/ecjc.20360","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"71972474","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

Toward systematic generation of 3COL instances based on minimal unsolvable structures 基于最小不可解结构的3COL实例的系统生成

Electronics and Communications in Japan (Part III: Fundamental Electronic Science) Pub Date : 2007-06-21 DOI: 10.1002/ecjc.20359

Kazunori Mizuno, Seiichi Nishihara

引用次数: 0

Disaggregation and surface modification of nano-size diamond by ultrasound exposure: Relationships among acoustic intensity, disaggregation, and surface modification 超声辐照纳米金刚石的分解和表面改性：声强度、分解和表面修饰之间的关系

Electronics and Communications in Japan (Part III: Fundamental Electronic Science) Pub Date : 2007-06-21 DOI: 10.1002/ecjc.20268

Takeyoshi Uchida, Akiko Hamano, Norimichi Kawashima, Shinichi Takeuchi

{"title":"Disaggregation and surface modification of nano-size diamond by ultrasound exposure: Relationships among acoustic intensity, disaggregation, and surface modification","authors":"Takeyoshi Uchida, Akiko Hamano, Norimichi Kawashima, Shinichi Takeuchi","doi":"10.1002/ecjc.20268","DOIUrl":"https://doi.org/10.1002/ecjc.20268","url":null,"abstract":"We used ultrasound exposure to perform disaggregation and surface modification of aggregated nano-diamond particles. We formed a standing-wave sound field using a Langevin transducer to drive a stainless-steel vibrating disk installed at the bottom of a water tank, and generated efficient acoustic cavitation. With 20 minutes of ultrasonic exposure, we were able to reduce aggregated nano-diamond particles with average particle diameters of 5µm to average particle diameters of 100 nm or less. We also confirmed that we had improved the zeta potential, an index of surface modification, by a factor of more than two. Furthermore, we used a hydrophone to measure the sound field inside the water tank, and calculated the average acoustic intensity at 800W/m2 or more to demonstrate that the nano-diamond surfaces had been modified. We confirmed that the zeta potential and average particle diameter of the nano-diamonds could be maintained for at least 150 days after ultrasound exposure. © 2007 Wiley Periodicals, Inc. Electron Comm Jpn Pt 3, 90(12): 10– 18, 2007; Published online in Wiley InterScience (www.interscience.wiley.com). DOI 10.1002/ecjc.20268","PeriodicalId":100407,"journal":{"name":"Electronics and Communications in Japan (Part III: Fundamental Electronic Science)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2007-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1002/ecjc.20268","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"71979876","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}

引用次数: 11

Uncalibrated 3D visual servoing from epipolar geometry and projective invariants 基于极线几何和投影不变量的无标定三维视觉伺服

Electronics and Communications in Japan (Part III: Fundamental Electronic Science) Pub Date : 2007-06-21 DOI: 10.1002/ecjc.20361

Jun Adachi, Jun Sato

引用次数: 0

Uncalibrated 3D visual servoing from epipolar geometry and projective invariants 非校准3D视觉伺服从极几何和射影不变量

Electronics and Communications in Japan (Part III: Fundamental Electronic Science) Pub Date : 2007-06-21 DOI: 10.1002/ECJC.20361

Jun Adachi, J. Sato

引用次数: 0

A program allocation method for real-time processing based on data-driven processors 一种基于数据驱动处理器的实时处理程序分配方法

Electronics and Communications in Japan (Part III: Fundamental Electronic Science) Pub Date : 2007-06-01 DOI: 10.1002/ECJC.20324

R. Kurebayashi, H. Nishikawa

{"title":"A program allocation method for real-time processing based on data-driven processors","authors":"R. Kurebayashi, H. Nishikawa","doi":"10.1002/ECJC.20324","DOIUrl":"https://doi.org/10.1002/ECJC.20324","url":null,"abstract":"In this paper the authors propose a program allocation method for the purpose of achieving real-time processing using a chip multiprocessor-type data-driven processor. The data-driven processor can perform parallel processing of executable processes without interference as long as the pipeline is not overloaded. The turnaround time for the individual processes being subjected to multiprocessing is independent of other processes being executed at the same time, and is maintained as is for the execution time when a single process is executed. Therefore, real time for a program can be estimated, and if the program can be allocated to a process such that overload does not occur, then real-time processing can be achieved without scheduling during execution. In this paper the authors first formalize a program allocation method in a data-driven processor. They then propose a combined method using genetic algorithms and a heuristic algorithm that uses lists as a program allocation method that is better at satisfying the time constraints and offers greater scalability for large-scale program and multiprocessor systems to be subjected to allocation. Finally, the authors use experiments in which a communications protocol process is allocated to verify the effectiveness of their program allocation method. © 2007 Wiley Periodicals, Inc. Electron Comm Jpn Pt 3, 90(6): 48– 60, 2007; Published online in Wiley InterScience (www.interscience. wiley.com). DOI 10.1002/ecjc.20324","PeriodicalId":100407,"journal":{"name":"Electronics and Communications in Japan (Part III: Fundamental Electronic Science)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2007-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75684431","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 performance evaluation of frequency domain blind source separation using close arrangement of directional microphones 用紧密排列的定向传声器进行频域盲源分离的性能评价

Electronics and Communications in Japan (Part III: Fundamental Electronic Science) Pub Date : 2007-06-01 DOI: 10.1002/ECJC.20300

Hiroki Shimizu, Masanori Ito, Y. Takeuchi, T. Matsumoto, H. Kudo, N. Ohnishi

{"title":"A performance evaluation of frequency domain blind source separation using close arrangement of directional microphones","authors":"Hiroki Shimizu, Masanori Ito, Y. Takeuchi, T. Matsumoto, H. Kudo, N. Ohnishi","doi":"10.1002/ECJC.20300","DOIUrl":"https://doi.org/10.1002/ECJC.20300","url":null,"abstract":"A performance evaluation of frequency-domain blind source separation (BSS) in a close arrangement of directional microphone is carried out. When a close arrangement is used in time-domain BSS, it is possible to reduce the number of taps necessary for separation while maintaining the same performance as in separation without close arrangement. In this research, from the point of view of the relationship between the number of taps and the separation performance, the calculation time, and the permutation (output order) unique to the frequency domain BSS, a comparison with nonclose arrangement is made. With regard to the calculation time and the permutation error, close arrangement is superior to nonclose arrangement in environments both with and without reverberation. With regard to the separation performance, close arrangement is better than nonclose arrangement in an anechoic chamber but nonclose arrangement is better if there are many taps. If the number of taps is small, close arrangement is superior. © 2007 Wiley Periodicals, Inc. Electron Comm Jpn Pt 3, 90(6): 1– 9, 2007; Published online in Wiley InterScience (www.interscience.wiley.com). DOI 10.1002/ecjc.20300","PeriodicalId":100407,"journal":{"name":"Electronics and Communications in Japan (Part III: Fundamental Electronic Science)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2007-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86832929","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 cascade configuration of the edge‐weighted image enhancement filter 边缘加权图像增强滤波器的级联结构

Electronics and Communications in Japan (Part III: Fundamental Electronic Science) Pub Date : 2007-06-01 DOI: 10.1002/ECJC.20240

K. Aoki, M. Nakashizuka

{"title":"A cascade configuration of the edge‐weighted image enhancement filter","authors":"K. Aoki, M. Nakashizuka","doi":"10.1002/ECJC.20240","DOIUrl":"https://doi.org/10.1002/ECJC.20240","url":null,"abstract":"In this paper, a new configuration of the edge-weighted high-pass filter and a design method for the weight function are proposed. A widely used image enhancement method is to amplify the high-frequency components of the image and to intensify the brightness differential of the edges. This method, generally called the unsharp masking method, allows enhancement effects to be obtained with a simple structure. If a linear high-pass filter is used as a method of extracting the high-frequency components from the input image, the noise components superimposed on the image appear in the high-pass filter output and are enhanced. In order to resolve this problem, a weight function defined from the edge characteristics is multiplied by the high-pass filter so that the amplitude of the high-pass filter output is suppressed in the flat image region. However, in the conventional edge-weighted high-pass filter, the noise components generated on the edge coordinates are strongly emphasized. Therefore, the edge coordinates of the output image fluctuate irregularly and discontinuities appear in the frame lines. In this investigation, in order to suppress the noise components on the edge coordinates, a new edge-weighted high-pass filter structure is proposed. In this structure, the high-pass filter is decomposed into cascaded connections. The weighting function is multiplied by the filter output from the previous stage. Further, in order to suppress noise amplification, the weight function is defined as a linear sum of the edge characteristic measures. By statistical analysis of the noise amplification, the parameters of the weight function minimizing the output noise variance are obtained. The proposed image enhancement method is experimentally compared with the conventional method and its effectiveness is confirmed. © 2007 Wiley Periodicals, Inc. Electron Comm Jpn Pt 3, 90(6): 37– 47, 2007; Published online in Wiley InterScience (www.interscience.wiley.com). DOI 10.1002/ecjc.20240","PeriodicalId":100407,"journal":{"name":"Electronics and Communications in Japan (Part III: Fundamental Electronic Science)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2007-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82021999","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