VHDL and its supporting environment are active domain in the field of logic design.In the paper the design principle and some key techniques to solve the problems on the implementation of the VHDL parser are introduce...VHDL and its supporting environment are active domain in the field of logic design.In the paper the design principle and some key techniques to solve the problems on the implementation of the VHDL parser are introduced. According to the methods discussed in the paper, the VHDL parser based on VHDL IEEE 1076 standard version is implemented and a series of strict tests are done. This VHDL parser is front-end tool of the VHDL high level synthesis and mixed level simulation system developed by the Research Center of ASIC of BIT.展开更多
Design and construction of an error-free compiler is a difficult and challenging process. The main functionality of a compiler is to translate a source code to an executable machine code correctly and efficiently. In ...Design and construction of an error-free compiler is a difficult and challenging process. The main functionality of a compiler is to translate a source code to an executable machine code correctly and efficiently. In formal verification of software, semantics of a language has more meanings than the syntax. It means source program verification does not give guarantee the generated code is correct. This is because the compiler may lead to an incorrect target program due to bugs in itself. It means verification of a compiler is much more important than verification of a source program. In this paper, we present a new approach by linking context-free grammar and Z notation to construct LR(K) parser. This has several advantages because correctness of the compiler depends on describing rules that must be written in formal languages. First, we have defined grammar then language derivation procedure is given using right-most derivations. Verification of a given language is done by recursive procedures based on the words. Ambiguity of a language is checked and verified. The specification is analyzed and validated using Z/Eves tool. Formal proofs are presented using powerful techniques of reduction and rewriting available in Z/Eves.展开更多
Control serves the process technology.Therefore,the optimal implementers of process control should be process engineers rather than control engineers.While process engineers best understand the control requirements of...Control serves the process technology.Therefore,the optimal implementers of process control should be process engineers rather than control engineers.While process engineers best understand the control requirements of the technology,the inherent complexity of control systems has rendered many process engineers incapable of accomplishing these control tasks[1].The greatest truths are the simplest,from abacus to calculator,from DOS to Windows,each technological revolution has been driven by application-oriented simplification.Can integrated automation in process industries also achieve such extreme simplicity and rapid implementation?This is precisely what this paper aims to explore.展开更多
Acoustic-resolution photoacoustic microscopy(AR-PAM)suffers from degraded lateral resolution due to acoustic diffraction.Here,a resolution enhancement strategy for AR-PAM via a mean-reverting diffusion model was propo...Acoustic-resolution photoacoustic microscopy(AR-PAM)suffers from degraded lateral resolution due to acoustic diffraction.Here,a resolution enhancement strategy for AR-PAM via a mean-reverting diffusion model was proposed to achieve the transition from acoustic resolution to optical resolution.By modeling the degradation process from high-resolution image to low-resolution AR-PAM image with stable Gaussian noise(i.e.,mean state),a mean-reverting diffusion model is trained to learn prior information of the data distribution.Then the learned prior is employed to generate a high-resolution image from the AR-PAM image by iteratively sampling the noisy state.The performance of the proposed method was validated utilizing the simulated and in vivo experimental data under varying lateral resolutions and noise levels.The results show that an over 3.6-fold enhancement in lateral resolution was achieved.The image quality can be effectively improved,with a notable enhancement of∼66%in PSNR and∼480%in SSIM for in vivo data.展开更多
文摘VHDL and its supporting environment are active domain in the field of logic design.In the paper the design principle and some key techniques to solve the problems on the implementation of the VHDL parser are introduced. According to the methods discussed in the paper, the VHDL parser based on VHDL IEEE 1076 standard version is implemented and a series of strict tests are done. This VHDL parser is front-end tool of the VHDL high level synthesis and mixed level simulation system developed by the Research Center of ASIC of BIT.
文摘Design and construction of an error-free compiler is a difficult and challenging process. The main functionality of a compiler is to translate a source code to an executable machine code correctly and efficiently. In formal verification of software, semantics of a language has more meanings than the syntax. It means source program verification does not give guarantee the generated code is correct. This is because the compiler may lead to an incorrect target program due to bugs in itself. It means verification of a compiler is much more important than verification of a source program. In this paper, we present a new approach by linking context-free grammar and Z notation to construct LR(K) parser. This has several advantages because correctness of the compiler depends on describing rules that must be written in formal languages. First, we have defined grammar then language derivation procedure is given using right-most derivations. Verification of a given language is done by recursive procedures based on the words. Ambiguity of a language is checked and verified. The specification is analyzed and validated using Z/Eves tool. Formal proofs are presented using powerful techniques of reduction and rewriting available in Z/Eves.
文摘Control serves the process technology.Therefore,the optimal implementers of process control should be process engineers rather than control engineers.While process engineers best understand the control requirements of the technology,the inherent complexity of control systems has rendered many process engineers incapable of accomplishing these control tasks[1].The greatest truths are the simplest,from abacus to calculator,from DOS to Windows,each technological revolution has been driven by application-oriented simplification.Can integrated automation in process industries also achieve such extreme simplicity and rapid implementation?This is precisely what this paper aims to explore.
基金pported by the National Natural Science Foundation of China(62265011 and 62122033)Jiangxi Provincial Natural Science Foundation(20224BAB212006 and 20232BAB 202038)National Key Research and Develop-ment Program of China(2023YFF1204302)。
文摘Acoustic-resolution photoacoustic microscopy(AR-PAM)suffers from degraded lateral resolution due to acoustic diffraction.Here,a resolution enhancement strategy for AR-PAM via a mean-reverting diffusion model was proposed to achieve the transition from acoustic resolution to optical resolution.By modeling the degradation process from high-resolution image to low-resolution AR-PAM image with stable Gaussian noise(i.e.,mean state),a mean-reverting diffusion model is trained to learn prior information of the data distribution.Then the learned prior is employed to generate a high-resolution image from the AR-PAM image by iteratively sampling the noisy state.The performance of the proposed method was validated utilizing the simulated and in vivo experimental data under varying lateral resolutions and noise levels.The results show that an over 3.6-fold enhancement in lateral resolution was achieved.The image quality can be effectively improved,with a notable enhancement of∼66%in PSNR and∼480%in SSIM for in vivo data.
