The use of multi-core processors will become a trend in safety critical systems. For safe execution of multi- threaded code, automatic code generation from formal spec- ification is a desirable method. Signal, a synch...The use of multi-core processors will become a trend in safety critical systems. For safe execution of multi- threaded code, automatic code generation from formal spec- ification is a desirable method. Signal, a synchronous lan- guage dedicated for the functional description of safety crit- ical systems, provides soundness semantics for determinis- tic concurrency. Although sequential code generation of Sig- nal has been implemented in Polychrony compiler, deter- ministic multi-threaded code generation strategy is still far from mature. Moreover, existing code generation methods use certain multi-thread library, which limits the cross plat- form executions. OpenMP is an application program inter- face （API） standard for parallel programming, supported by several mainstream compilers from different platforms. This paper presents a methodology translating Signal program to OpenMP-based multi-threaded C code. First, the intermedi- ate representation of the core syntax of Signal using syn- chronous guarded actions is defined. Then, according to the compositional semantics of Signal equations, the Signal pro- gram is synthesized to dependency graph （DG）. After par- allel tasks are extracted from dependency graph, the Signal program can be finally translated into OpenMP-based C code which can be executed on multiple platforms.展开更多
With the expansion of the Internet market,the traditional software development method has been difficult to meet the market demand due to the problems of long development cycle,tedious work,and difficult system mainte...With the expansion of the Internet market,the traditional software development method has been difficult to meet the market demand due to the problems of long development cycle,tedious work,and difficult system maintenance.Therefore,to improve software development efficiency,this study uses residual networks and bidirectional long short-term memory(BLSTM)networks to improve the Pix2code model.The experiment results show that after improving the visual module of the Pix2code model using residual networks,the accuracy of the training set improves from 0.92 to 0.96,and the convergence time is shortened from 3 hours to 2 hours.After using a BLSTM network to improve the language module and decoding layer,the accuracy and convergence speed of the model have also been improved.The accuracy of the training set grew from 0.88 to 0.92,and the convergence time was shortened by 0.5 hours.However,models improved by BLSTM networks might exhibit overfitting,and thus this study uses Dropout and Xavier normal distribution to improve the memory network.The results validate that the training set accuracy of the optimized BLSTM network remains around 0.92,but the accuracy of the test set has improved to a maximum of 85%.Dropout and Xavier normal distributions can effectively improve the overfitting problem of BLSTM networks.Although they can also decrease the model’s stability,their gain is higher.The training and testing accuracy of the Pix2code improved by residual network and BLSTM network are 0.95 and 0.82,respectively,while the code generation accuracy of the original Pix2code is only 0.77.The above data indicate that the improved Pix2code model has improved the accuracy and stability of code automatic generation.展开更多
Structured flowchart( SFC) and Automatic code generation based on SFC( CG-SFC) have been widely used in software requirements,design and testing phases. Some CG-SFC tools such as Rhapsody have the ability to build flo...Structured flowchart( SFC) and Automatic code generation based on SFC( CG-SFC) have been widely used in software requirements,design and testing phases. Some CG-SFC tools such as Rhapsody have the ability to build flowchart and generate code,but they do not check whether a given flowchart is correct or structural. For unstructured error ‘goto'statements will be generated randomly. We proposed three algorithms and some error recognition criteria to solve those problems. Structure recognition algorithm can recognize Selection,While/for and do-while structures. Error recognition algorithm incorporating criteria can check all the errors. At last,we develop a CG-SFC system,and compared with existing Rhapsody,it shows that the proposed algorithms are correct and effective.展开更多
With the development of computer technology, embedded control system plays an important role in modern industry. For the embedded system, traditional development methods are time-consuming and system is not easy to ma...With the development of computer technology, embedded control system plays an important role in modern industry. For the embedded system, traditional development methods are time-consuming and system is not easy to maintain. Domain-specific modeling provides a solution for the problems. In this paper, we proposed development architecture for embedded control systems based on MIC. GME is used to construct meta-model and application model, model in-terpreter interprets model and stores model information in xml format document. The final cross-platform codes are automatically generated by different templates and xml format document. This development method can reduce time and cost in the lifecycle of system development.展开更多
It is of great significance to automatically generate code from structured flowchart. There are some deficiencies in existing researches, and their key algorithms and technologies are not elaborated, also there are ve...It is of great significance to automatically generate code from structured flowchart. There are some deficiencies in existing researches, and their key algorithms and technologies are not elaborated, also there are very few full-featured integrated development platforms that can generate code automatically based on structured flowchart. By analyzing the characteristics of structured flowchart, a structure identification algorithm for structured flowchart is put forward. The correctness of algorithm is verified by enumeration iteration. Then taking the identified flowchart as input, an automatic code generation algorithm is proposed. Also the correctness is verified by enumeration iteration. Finally an integrated development platform is developed using those algorithms, including flowchart modeling, code automatic generation, CDT\GCC\GDB etc. The correctness and effectiveness of algorithms proposed are verified through practical operations.展开更多
QLC（Quad-Level Cell） NAND flash will be one of the future technologies for next generation memory chip after three-dimensional（3D） TLC（Triple-Level Cell） stacked NAND flash. In QLC device, data errors will easil...QLC（Quad-Level Cell） NAND flash will be one of the future technologies for next generation memory chip after three-dimensional（3D） TLC（Triple-Level Cell） stacked NAND flash. In QLC device, data errors will easily occur because of 2~4 data levels in the limited voltage range. This paper studies QLC NAND technology which is 4 bits per cell. QLC programming methods based on 16 voltage levels and reading method based on ＂half-change＂ Gray coding are researched. Because of the probable error impact of QLC NAND cell＇s voltage change, the solution of generating the soft information after XOR（exclusive OR） the soft bits by internal read mechanism is presented for Low-Density Parity-Check（LDPC） Belief Propagation（BP） decoding in QLC design for its system level application.展开更多
The flourish of deep learning frameworks and hardware platforms has been demanding an efficient compiler that can shield the diversity in both software and hardware in order to provide application portability.Among th...The flourish of deep learning frameworks and hardware platforms has been demanding an efficient compiler that can shield the diversity in both software and hardware in order to provide application portability.Among the existing deep learning compilers,TVM is well known for its efficiency in code generation and optimization across diverse hardware devices.In the meanwhile,the Sunway many-core processor renders itself as a competitive candidate for its attractive computational power in both scientific computing and deep learning workloads.This paper combines the trends in these two directions.Specifically,we propose swTVM that extends the original TVM to support ahead-of-time compilation for architecture requiring cross-compilation such as Sunway.In addition,we leverage the architecture features during the compilation such as core group for massive parallelism,DMA for high bandwidth memory transfer and local device memory for data locality,in order to generate efficient codes for deep learning workloads on Sunway.The experiment results show that the codes generated by swTVM achieve 1.79x improvement of inference latency on average compared to the state-of-the-art deep learning framework on Sunway,across eight representative benchmarks.This work is the first attempt from the compiler perspective to bridge the gap of deep learning and Sunway processor particularly with productivity and efficiency in mind.We believe this work will encourage more people to embrace the power of deep learning and Sunwaymany-coreprocessor.展开更多
This paper aims to explore a simpler and more user-friendly way of generating software based on model-driven development.Previous studies have attempted to generate code from domain models,hoping to reduce coding time...This paper aims to explore a simpler and more user-friendly way of generating software based on model-driven development.Previous studies have attempted to generate code from domain models,hoping to reduce coding time by increasing modeling time.However,as code tools become more advanced,it is challenging to improve efficiency because models are abstract while implementations are concrete.This paper proposes a novel approach that integrates ChatGPT as a plug-in into the whole R&D process and combines it with our code generation tool to enhance R&D efficiency.We have developed some demos to demonstrate the effectiveness of our approach.According to our evaluation,our approach can save more than 90%of the work in implementing the code generation tool,leaving only about 10%of the work for code review,code improvement,and unit testing.展开更多
With the increasing of communication applications in recent years, the demand for radio spectral resources has increased significantly. Cognitive radio scenario was proposed to improve spectrum efficiency in wireless ...With the increasing of communication applications in recent years, the demand for radio spectral resources has increased significantly. Cognitive radio scenario was proposed to improve spectrum efficiency in wireless communication systems. In cognitive radio network, it is essential that control information is sent securely and reliably. Ensuring the trustworthiness of the transmitting of spectrum sensing information is important in the CR networks since spectrum sensing directly affects spectrum management and incumbent coexistence. In this paper, the first secondary link channel model is presented, then a secure LT Code is proposed to be compatible with presented channel model and acquires good QoS. As we may know, LT code overcomes packet loss when the channel of the SU is reclaimed by PU. In the new proposed combined encoding and ciphered block, a LT code matrix is used to generate a symmetric cryptographic key. Thus, less complexity observed in the processing computation. Besides, cryptographic key is not sent over the channel. As a result, an attacker has no way to eavesdrop the key unless he is prepared to consider all possible key combinations. This replaced block supplies secure controlling channel and increases spectrum efficiency too.展开更多
In today’s digital era,algorithms have become an indispensable part of our daily lives and work.Algorithm education plays a crucial role in computer science and software engineering,aiming to cultivate students’prob...In today’s digital era,algorithms have become an indispensable part of our daily lives and work.Algorithm education plays a crucial role in computer science and software engineering,aiming to cultivate students’problem-solving skills and computational thinking.However,traditional algorithm education often requires significant time and efforts from teachers,lacks interactivity,and provides limited examples.The rapid advancement of AI technology,particularly generative models,and large language models(LLMs),has the potential to revolutionize computer education.Models like OpenAI’s GPT-4 and ChatGPT have conversational capabilities and contribute to various aspects of computer education.GPT-3.5,as an assistant in algorithm education,assists teachers in automatically generating explanations and algorithmic examples to enhance students’understanding of algorithms.While existing research has certain limitations,such as focusing on specific scenarios and lacking comprehensive benchmark testing,this paper explores the role of ChatGPT(GPT-3.5)in algorithm education.By refining prompts and evaluating generative capabilities,the study demonstrates that GPT-3.5 holds significant potential as a teaching aid.With an average accuracy of 0.81.GPT-3.5 can generate explanations,code examples,and visualizations of the corresponding algorithms.Other tests including algorithm problem-solving and examples giving also prove the practicability of GPT-3.5 in algorithm education.展开更多
In this paper,ambient IoT is used as a typical use case of massive connections for the sixth generation(6G)mobile communications where we derive the performance requirements to facilitate the evaluation of technical s...In this paper,ambient IoT is used as a typical use case of massive connections for the sixth generation(6G)mobile communications where we derive the performance requirements to facilitate the evaluation of technical solutions.A rather complete design of unsourced multiple access is proposed in which two key parts:a compressed sensing module for active user detection,and a sparse interleaver-division multiple access(SIDMA)module are simulated side by side on a same platform at balanced signal to noise ratio(SNR)operating points.With a proper combination of compressed sensing matrix,a convolutional encoder,receiver algorithms,the simulated performance results appear superior to the state-of-the-art benchmark,yet with relatively less complicated processing.展开更多
Embedded real-time systems employ a variety of operating system platforms. Consequently, for automatic code generation, considerable redevelopment is needed when the platform changes. This results in major challenges ...Embedded real-time systems employ a variety of operating system platforms. Consequently, for automatic code generation, considerable redevelopment is needed when the platform changes. This results in major challenges with respect to the automatic code generation process of the architecture analysis and design language (AADL). In this paper, we propose a method of template-based automatic code generation to address this issue. Templates are used as carriers of automatic code generation rules from AADL to the object platform. These templates can be easily modified for different platforms. Automatic code generation for different platforms can be accomplished by formulating the corresponding generation rules and transformation templates. We design a set of code generation templates from AADL to the object platform and develop an automatic code generation tool. Finally, we take a typical data processing unit (DPU) system as a case study to test the tool. It is demonstrated that the autogenerated codes can be compiled and executed successfully on the object platform.展开更多
This paper conducts research on data intelligent generation and analysis based on the ChatGPT model.To explore ChatGPT's performance and limitations in machine translation tasks,the concepts of the Transformer mod...This paper conducts research on data intelligent generation and analysis based on the ChatGPT model.To explore ChatGPT's performance and limitations in machine translation tasks,the concepts of the Transformer model and previous studies were reviewed to gain a deep understanding of the principles and roles of components such as attention mechanisms,encoders,decoders,and word embeddings.By controlling ChatGPT through code for machine translation and performing manual verification,the model's limitations in handling synonyms,technical terms,and specific domain languages were identified.展开更多
Computation reuse is known as an effective optimization technique. However, due to the complexity of modern GPU architectures, there is yet not enough understanding regarding the intriguing implications of the interpl...Computation reuse is known as an effective optimization technique. However, due to the complexity of modern GPU architectures, there is yet not enough understanding regarding the intriguing implications of the interplay of compu- ration reuse and hardware specifics on application performance. In this paper, we propose an automatic code generator for a class of stencil codes with inherent computation reuse on CPUs. For such applications, the proper reuse of intermediate results, combined with careful register and on-chip local memory usage, has profound implications on performance. Current state of the art does not address this problem in depth, partially due to the lack of a good program representation that can expose all potential computation reuse. In this paper, we leverage the computation overlap graph （COG）, a simple representation of data dependence and data reuse with ＂element view＂, to expose potential reuse opportunities. Using COG, we propose a portable code generation and tuning framework for GPUs. Compared with current state-of-the-art code generators, our experimental results show up to 56.7% performance improvement on modern GPUs such as NVIDIA C2050.展开更多
While grid computing receives more and more attentions, it is not widely used partly due to requirement of sophisticated development. This paper discusses a code generation framework for grid computing. We firstly int...While grid computing receives more and more attentions, it is not widely used partly due to requirement of sophisticated development. This paper discusses a code generation framework for grid computing. We firstly introduce GBuilder as a rapid development tool for building grid computing applications, then present the details of the code generation framework. We then discuss a case study to show the advantages of the whole processing of code generation framework, which including saved development time and less intricacy burden on the grid application developers.展开更多
The emerging new concepts and technologies based on microwave photonics have led to an ever-increasing interest in developing innovative radar systems with a net gain in functionality,bandwidth /resolution,size,mass,c...The emerging new concepts and technologies based on microwave photonics have led to an ever-increasing interest in developing innovative radar systems with a net gain in functionality,bandwidth /resolution,size,mass,complexity and cost when compared with the traditional implementations. This paper describes the techniques developed in the last few years in microwave photonics that might revolutionize the way to design multifunction radar systems,with an emphasis on the recent advances in optoelectronic oscillators( OEOs),arbitrary waveform generation,photonic mixing,phase coding,filtering,beamforming,analog-to-digital conversion,and stable radio-frequency signal transfer. Challenges in implementation of these components and subsystems for meeting the technique requirements of the multifunction radar applications are discussed.展开更多
Register allocation is a major step for all compilers. Various register allocation algorithms have been developed over the dec- ades. This work describes a new class of rapid register allocation algorithms and present...Register allocation is a major step for all compilers. Various register allocation algorithms have been developed over the dec- ades. This work describes a new class of rapid register allocation algorithms and presents experimental data on their behavior. Our re- search encourages the avoidance of graphing and graph-coloring based on the fact that precise graph-coloring is nondeterministic poly- nomial time-complete （NP-complete）, which is not suitable for real-time tasks. In addition, practical graph-coloring algorithms tend to use polynomial-time heuristics. In dynamic compilation environments, their super linear complexity makes them unsuitable for register allocation and code generation. Existing tools for code generation and register allocation do not completely fulfill the requirements of fast compilation. Existing approaches either do not allow for the optimization of register allocation to be achieved comprehensively with a sufficient degree of performance or they require an unjustifiable amount of time and/or resources. Therefore, we propose a new class of register allocation and code generation algorithms that can be performed in linear time. These algorithms are based on the mathematic- al foundations of abstract interpretation and the computation of the level of abstraction. They have been implemented in a specialized library for just-in-time compilation. The specialization of this library involves the execution of common intermediate language （CIL） and low level virtual machine （LLVM） with a focus on embedded systems.展开更多
Quickly getting back the synchronism of a disturbed interconnected multi-area power system due to variations in loading condition is recognized as prominent issue related to automatic generation control(AGC).In this r...Quickly getting back the synchronism of a disturbed interconnected multi-area power system due to variations in loading condition is recognized as prominent issue related to automatic generation control(AGC).In this regard,AGC system based on fuzzy logic,i.e.,so-called FLAGC can introduce an effectual performance to suppress the dynamic oscillations of tie-line power exchanges and frequency in multi-area interconnected power system.Apart from that,simultaneous coordination scheme based on particle swarm optimization(PSO)along with real coded genetic algorithm(RCGA)is suggested to coordinate FLAGCs of the all areas.To clarify the high efficiency of aforementioned strategy,two different interconnected multi-area power systems,i.e.,three-area hydro-thermal power system and five-area thermal power system have been taken into account for relevant studies.The potency of this strategy has been thoroughly dealt with by considering the step load perturbation(SLP)in both the under study power systems.To sum up,the simulation results have plainly revealed dynamic performance of FLAGC as compared with conventional AGC(CAGC)in each power system in order to damp out the power system oscillations.展开更多
To solve the problem of low efficiency in pipe routing design, an improved genetic algorithm based approach is proposed. To present this approach, the paper mainly describes a generation method of nodes considering th...To solve the problem of low efficiency in pipe routing design, an improved genetic algorithm based approach is proposed. To present this approach, the paper mainly describes a generation method of nodes considering the safety distance of pipes and the directional constraints at terminals, the definition of a double coding technique, the collision detection method, the concept of energy and the definition of fitness functions. The similarity detection is introduced to prevent close breeding in the crossover operator, the selection pressure is controlled according to the evolution situation and a heuristic mutation method is used to boost the evolution. Simulation case shows that this approach is more practical and can satisfy different design requirements by changing algorithm parameters.展开更多
文摘The use of multi-core processors will become a trend in safety critical systems. For safe execution of multi- threaded code, automatic code generation from formal spec- ification is a desirable method. Signal, a synchronous lan- guage dedicated for the functional description of safety crit- ical systems, provides soundness semantics for determinis- tic concurrency. Although sequential code generation of Sig- nal has been implemented in Polychrony compiler, deter- ministic multi-threaded code generation strategy is still far from mature. Moreover, existing code generation methods use certain multi-thread library, which limits the cross plat- form executions. OpenMP is an application program inter- face （API） standard for parallel programming, supported by several mainstream compilers from different platforms. This paper presents a methodology translating Signal program to OpenMP-based multi-threaded C code. First, the intermedi- ate representation of the core syntax of Signal using syn- chronous guarded actions is defined. Then, according to the compositional semantics of Signal equations, the Signal pro- gram is synthesized to dependency graph （DG）. After par- allel tasks are extracted from dependency graph, the Signal program can be finally translated into OpenMP-based C code which can be executed on multiple platforms.
基金supported by National Natural Science Foundation of China(No.62062063)the Science and Technology Research Project of Jiangxi Provincial Department of Education,China(No.GJJ202310)the Jiangxi Provincial Natural Science Foundation,China(No.20224BAB202022).
文摘With the expansion of the Internet market,the traditional software development method has been difficult to meet the market demand due to the problems of long development cycle,tedious work,and difficult system maintenance.Therefore,to improve software development efficiency,this study uses residual networks and bidirectional long short-term memory(BLSTM)networks to improve the Pix2code model.The experiment results show that after improving the visual module of the Pix2code model using residual networks,the accuracy of the training set improves from 0.92 to 0.96,and the convergence time is shortened from 3 hours to 2 hours.After using a BLSTM network to improve the language module and decoding layer,the accuracy and convergence speed of the model have also been improved.The accuracy of the training set grew from 0.88 to 0.92,and the convergence time was shortened by 0.5 hours.However,models improved by BLSTM networks might exhibit overfitting,and thus this study uses Dropout and Xavier normal distribution to improve the memory network.The results validate that the training set accuracy of the optimized BLSTM network remains around 0.92,but the accuracy of the test set has improved to a maximum of 85%.Dropout and Xavier normal distributions can effectively improve the overfitting problem of BLSTM networks.Although they can also decrease the model’s stability,their gain is higher.The training and testing accuracy of the Pix2code improved by residual network and BLSTM network are 0.95 and 0.82,respectively,while the code generation accuracy of the original Pix2code is only 0.77.The above data indicate that the improved Pix2code model has improved the accuracy and stability of code automatic generation.
基金Sponsored by the National Natural Science Foundation of China(Grant No.61402131)the China Postdoctoral Science Foundation(Grant No.2014M551245,2016T90293)+1 种基金the Heilongjiang Postdoctoral Science Foundation(Grant No.LBH-Z13105)the Fundamental Research Funds for the Central Universities(Grant No.HIT.NSRIF.201651)
文摘Structured flowchart( SFC) and Automatic code generation based on SFC( CG-SFC) have been widely used in software requirements,design and testing phases. Some CG-SFC tools such as Rhapsody have the ability to build flowchart and generate code,but they do not check whether a given flowchart is correct or structural. For unstructured error ‘goto'statements will be generated randomly. We proposed three algorithms and some error recognition criteria to solve those problems. Structure recognition algorithm can recognize Selection,While/for and do-while structures. Error recognition algorithm incorporating criteria can check all the errors. At last,we develop a CG-SFC system,and compared with existing Rhapsody,it shows that the proposed algorithms are correct and effective.
文摘With the development of computer technology, embedded control system plays an important role in modern industry. For the embedded system, traditional development methods are time-consuming and system is not easy to maintain. Domain-specific modeling provides a solution for the problems. In this paper, we proposed development architecture for embedded control systems based on MIC. GME is used to construct meta-model and application model, model in-terpreter interprets model and stores model information in xml format document. The final cross-platform codes are automatically generated by different templates and xml format document. This development method can reduce time and cost in the lifecycle of system development.
文摘It is of great significance to automatically generate code from structured flowchart. There are some deficiencies in existing researches, and their key algorithms and technologies are not elaborated, also there are very few full-featured integrated development platforms that can generate code automatically based on structured flowchart. By analyzing the characteristics of structured flowchart, a structure identification algorithm for structured flowchart is put forward. The correctness of algorithm is verified by enumeration iteration. Then taking the identified flowchart as input, an automatic code generation algorithm is proposed. Also the correctness is verified by enumeration iteration. Finally an integrated development platform is developed using those algorithms, including flowchart modeling, code automatic generation, CDT\GCC\GDB etc. The correctness and effectiveness of algorithms proposed are verified through practical operations.
文摘QLC（Quad-Level Cell） NAND flash will be one of the future technologies for next generation memory chip after three-dimensional（3D） TLC（Triple-Level Cell） stacked NAND flash. In QLC device, data errors will easily occur because of 2~4 data levels in the limited voltage range. This paper studies QLC NAND technology which is 4 bits per cell. QLC programming methods based on 16 voltage levels and reading method based on ＂half-change＂ Gray coding are researched. Because of the probable error impact of QLC NAND cell＇s voltage change, the solution of generating the soft information after XOR（exclusive OR） the soft bits by internal read mechanism is presented for Low-Density Parity-Check（LDPC） Belief Propagation（BP） decoding in QLC design for its system level application.
基金supported by the National Key Research and Development Program of China (No.2020YFB1506703)the National Natural Science Foundation of China (Grant Nos.62072018 and 61732002)+1 种基金the State Key Laboratory of Software Development Environment (No.SKLSDE-2021ZX-06)the Fundamental Research Funds for the Central Universities。
文摘The flourish of deep learning frameworks and hardware platforms has been demanding an efficient compiler that can shield the diversity in both software and hardware in order to provide application portability.Among the existing deep learning compilers,TVM is well known for its efficiency in code generation and optimization across diverse hardware devices.In the meanwhile,the Sunway many-core processor renders itself as a competitive candidate for its attractive computational power in both scientific computing and deep learning workloads.This paper combines the trends in these two directions.Specifically,we propose swTVM that extends the original TVM to support ahead-of-time compilation for architecture requiring cross-compilation such as Sunway.In addition,we leverage the architecture features during the compilation such as core group for massive parallelism,DMA for high bandwidth memory transfer and local device memory for data locality,in order to generate efficient codes for deep learning workloads on Sunway.The experiment results show that the codes generated by swTVM achieve 1.79x improvement of inference latency on average compared to the state-of-the-art deep learning framework on Sunway,across eight representative benchmarks.This work is the first attempt from the compiler perspective to bridge the gap of deep learning and Sunway processor particularly with productivity and efficiency in mind.We believe this work will encourage more people to embrace the power of deep learning and Sunwaymany-coreprocessor.
基金fully supported by the Natural Science Foundation of Hubei Province in China(Grant No.2021CFB482)Basic Research Science and Technology Project of Xiangyang(High-tech Domain 2022ABH007013)Hubei Superior and Distinctive Discipline Group of“New Energy Vehicle and Smart Transportation”。
文摘This paper aims to explore a simpler and more user-friendly way of generating software based on model-driven development.Previous studies have attempted to generate code from domain models,hoping to reduce coding time by increasing modeling time.However,as code tools become more advanced,it is challenging to improve efficiency because models are abstract while implementations are concrete.This paper proposes a novel approach that integrates ChatGPT as a plug-in into the whole R&D process and combines it with our code generation tool to enhance R&D efficiency.We have developed some demos to demonstrate the effectiveness of our approach.According to our evaluation,our approach can save more than 90%of the work in implementing the code generation tool,leaving only about 10%of the work for code review,code improvement,and unit testing.
文摘With the increasing of communication applications in recent years, the demand for radio spectral resources has increased significantly. Cognitive radio scenario was proposed to improve spectrum efficiency in wireless communication systems. In cognitive radio network, it is essential that control information is sent securely and reliably. Ensuring the trustworthiness of the transmitting of spectrum sensing information is important in the CR networks since spectrum sensing directly affects spectrum management and incumbent coexistence. In this paper, the first secondary link channel model is presented, then a secure LT Code is proposed to be compatible with presented channel model and acquires good QoS. As we may know, LT code overcomes packet loss when the channel of the SU is reclaimed by PU. In the new proposed combined encoding and ciphered block, a LT code matrix is used to generate a symmetric cryptographic key. Thus, less complexity observed in the processing computation. Besides, cryptographic key is not sent over the channel. As a result, an attacker has no way to eavesdrop the key unless he is prepared to consider all possible key combinations. This replaced block supplies secure controlling channel and increases spectrum efficiency too.
基金funded by the Double First Class Graduate Quality Curriculum Construction Project of Shanghai Jiao Tong University。
文摘In today’s digital era,algorithms have become an indispensable part of our daily lives and work.Algorithm education plays a crucial role in computer science and software engineering,aiming to cultivate students’problem-solving skills and computational thinking.However,traditional algorithm education often requires significant time and efforts from teachers,lacks interactivity,and provides limited examples.The rapid advancement of AI technology,particularly generative models,and large language models(LLMs),has the potential to revolutionize computer education.Models like OpenAI’s GPT-4 and ChatGPT have conversational capabilities and contribute to various aspects of computer education.GPT-3.5,as an assistant in algorithm education,assists teachers in automatically generating explanations and algorithmic examples to enhance students’understanding of algorithms.While existing research has certain limitations,such as focusing on specific scenarios and lacking comprehensive benchmark testing,this paper explores the role of ChatGPT(GPT-3.5)in algorithm education.By refining prompts and evaluating generative capabilities,the study demonstrates that GPT-3.5 holds significant potential as a teaching aid.With an average accuracy of 0.81.GPT-3.5 can generate explanations,code examples,and visualizations of the corresponding algorithms.Other tests including algorithm problem-solving and examples giving also prove the practicability of GPT-3.5 in algorithm education.
文摘In this paper,ambient IoT is used as a typical use case of massive connections for the sixth generation(6G)mobile communications where we derive the performance requirements to facilitate the evaluation of technical solutions.A rather complete design of unsourced multiple access is proposed in which two key parts:a compressed sensing module for active user detection,and a sparse interleaver-division multiple access(SIDMA)module are simulated side by side on a same platform at balanced signal to noise ratio(SNR)operating points.With a proper combination of compressed sensing matrix,a convolutional encoder,receiver algorithms,the simulated performance results appear superior to the state-of-the-art benchmark,yet with relatively less complicated processing.
基金the National Natural Science Foundation of China (Grant Nos. 61672074 and 91538202)Project of the State Key Laboratory of Software Development Environment of China (SKLSDE-2016ZX-16).
文摘Embedded real-time systems employ a variety of operating system platforms. Consequently, for automatic code generation, considerable redevelopment is needed when the platform changes. This results in major challenges with respect to the automatic code generation process of the architecture analysis and design language (AADL). In this paper, we propose a method of template-based automatic code generation to address this issue. Templates are used as carriers of automatic code generation rules from AADL to the object platform. These templates can be easily modified for different platforms. Automatic code generation for different platforms can be accomplished by formulating the corresponding generation rules and transformation templates. We design a set of code generation templates from AADL to the object platform and develop an automatic code generation tool. Finally, we take a typical data processing unit (DPU) system as a case study to test the tool. It is demonstrated that the autogenerated codes can be compiled and executed successfully on the object platform.
文摘This paper conducts research on data intelligent generation and analysis based on the ChatGPT model.To explore ChatGPT's performance and limitations in machine translation tasks,the concepts of the Transformer model and previous studies were reviewed to gain a deep understanding of the principles and roles of components such as attention mechanisms,encoders,decoders,and word embeddings.By controlling ChatGPT through code for machine translation and performing manual verification,the model's limitations in handling synonyms,technical terms,and specific domain languages were identified.
基金This work was supported by the National High Technology Research and Development 863 Program of China under Grant No. 2012AA010902, and the National Natural Science Foundation of China under Grant No. 61303059.
文摘Computation reuse is known as an effective optimization technique. However, due to the complexity of modern GPU architectures, there is yet not enough understanding regarding the intriguing implications of the interplay of compu- ration reuse and hardware specifics on application performance. In this paper, we propose an automatic code generator for a class of stencil codes with inherent computation reuse on CPUs. For such applications, the proper reuse of intermediate results, combined with careful register and on-chip local memory usage, has profound implications on performance. Current state of the art does not address this problem in depth, partially due to the lack of a good program representation that can expose all potential computation reuse. In this paper, we leverage the computation overlap graph （COG）, a simple representation of data dependence and data reuse with ＂element view＂, to expose potential reuse opportunities. Using COG, we propose a portable code generation and tuning framework for GPUs. Compared with current state-of-the-art code generators, our experimental results show up to 56.7% performance improvement on modern GPUs such as NVIDIA C2050.
文摘While grid computing receives more and more attentions, it is not widely used partly due to requirement of sophisticated development. This paper discusses a code generation framework for grid computing. We firstly introduce GBuilder as a rapid development tool for building grid computing applications, then present the details of the code generation framework. We then discuss a case study to show the advantages of the whole processing of code generation framework, which including saved development time and less intricacy burden on the grid application developers.
基金Supported in part by the National Basic Research Program of China(2012CB315705)the Natural Science Foundation of Jiangsu Province(BK2012031,BK2012381)+1 种基金the National Natural Science Foundation of China(61201048,61107063)the Fundamental Research Funds for the Central Universities
文摘The emerging new concepts and technologies based on microwave photonics have led to an ever-increasing interest in developing innovative radar systems with a net gain in functionality,bandwidth /resolution,size,mass,complexity and cost when compared with the traditional implementations. This paper describes the techniques developed in the last few years in microwave photonics that might revolutionize the way to design multifunction radar systems,with an emphasis on the recent advances in optoelectronic oscillators( OEOs),arbitrary waveform generation,photonic mixing,phase coding,filtering,beamforming,analog-to-digital conversion,and stable radio-frequency signal transfer. Challenges in implementation of these components and subsystems for meeting the technique requirements of the multifunction radar applications are discussed.
文摘Register allocation is a major step for all compilers. Various register allocation algorithms have been developed over the dec- ades. This work describes a new class of rapid register allocation algorithms and presents experimental data on their behavior. Our re- search encourages the avoidance of graphing and graph-coloring based on the fact that precise graph-coloring is nondeterministic poly- nomial time-complete （NP-complete）, which is not suitable for real-time tasks. In addition, practical graph-coloring algorithms tend to use polynomial-time heuristics. In dynamic compilation environments, their super linear complexity makes them unsuitable for register allocation and code generation. Existing tools for code generation and register allocation do not completely fulfill the requirements of fast compilation. Existing approaches either do not allow for the optimization of register allocation to be achieved comprehensively with a sufficient degree of performance or they require an unjustifiable amount of time and/or resources. Therefore, we propose a new class of register allocation and code generation algorithms that can be performed in linear time. These algorithms are based on the mathematic- al foundations of abstract interpretation and the computation of the level of abstraction. They have been implemented in a specialized library for just-in-time compilation. The specialization of this library involves the execution of common intermediate language （CIL） and low level virtual machine （LLVM） with a focus on embedded systems.
文摘Quickly getting back the synchronism of a disturbed interconnected multi-area power system due to variations in loading condition is recognized as prominent issue related to automatic generation control(AGC).In this regard,AGC system based on fuzzy logic,i.e.,so-called FLAGC can introduce an effectual performance to suppress the dynamic oscillations of tie-line power exchanges and frequency in multi-area interconnected power system.Apart from that,simultaneous coordination scheme based on particle swarm optimization(PSO)along with real coded genetic algorithm(RCGA)is suggested to coordinate FLAGCs of the all areas.To clarify the high efficiency of aforementioned strategy,two different interconnected multi-area power systems,i.e.,three-area hydro-thermal power system and five-area thermal power system have been taken into account for relevant studies.The potency of this strategy has been thoroughly dealt with by considering the step load perturbation(SLP)in both the under study power systems.To sum up,the simulation results have plainly revealed dynamic performance of FLAGC as compared with conventional AGC(CAGC)in each power system in order to damp out the power system oscillations.
基金Supported by National "863" Project of China (2006AA09A104)
文摘To solve the problem of low efficiency in pipe routing design, an improved genetic algorithm based approach is proposed. To present this approach, the paper mainly describes a generation method of nodes considering the safety distance of pipes and the directional constraints at terminals, the definition of a double coding technique, the collision detection method, the concept of energy and the definition of fitness functions. The similarity detection is introduced to prevent close breeding in the crossover operator, the selection pressure is controlled according to the evolution situation and a heuristic mutation method is used to boost the evolution. Simulation case shows that this approach is more practical and can satisfy different design requirements by changing algorithm parameters.
