Wind energy has emerged as a potential replacement for fossil fuel-based energy sources.To harness maximum wind energy,a crucial decision in the development of an efficient wind farm is the optimal layout design.This ...Wind energy has emerged as a potential replacement for fossil fuel-based energy sources.To harness maximum wind energy,a crucial decision in the development of an efficient wind farm is the optimal layout design.This layout defines the specific locations of the turbines within the wind farm.The process of finding the optimal locations of turbines,in the presence of various technical and technological constraints,makes the wind farm layout design problem a complex optimization problem.This problem has traditionally been solved with nature-inspired algorithms with promising results.The performance and convergence of nature-inspired algorithms depend on several parameters,among which the algorithm termination criterion plays a crucial role.Timely convergence is an important aspect of efficient algorithm design because an inefficient algorithm results in wasted computational resources,unwarranted electricity consumption,and hardware stress.This study provides an in-depth analysis of several termination criteria while using the genetic algorithm as a test bench,with its application to the wind farm layout design problem while considering various wind scenarios.The performance of six termination criteria is empirically evaluated with respect to the quality of solutions produced and the execution time involved.Due to the conflicting nature of these two attributes,fuzzy logic-based multi-attribute decision-making is employed in the decision process.Results for the fuzzy decision approach indicate that among the various criteria tested,the criterion Phi achieves an improvement in the range of 2.44%to 32.93%for wind scenario 1.For scenario 2,Best-worst termination criterion performed well compared to the other criteria evaluated,with an improvement in the range of 1.2%to 9.64%.For scenario 3,Hitting bound was the best performer with an improvement of 1.16%to 20.93%.展开更多
Based on the definition of a logic structure feature to relate logically functional requirements to geometric representation independent upon detailed geometric representation, this paper presents an idea of logical s...Based on the definition of a logic structure feature to relate logically functional requirements to geometric representation independent upon detailed geometric representation, this paper presents an idea of logical structure modeling for computer aided conceptual design and makes attempt to establish a representation formalism of logic structure modeling. The definition and representation of logical structure feature are given and an assembly module definition for supporting top down conceptual design is also proposed. The proposed scheme contributes to several aspects of conceptual design research, especially to provide elementarily a formal methodology for computer aided conceptual design system development and operation.展开更多
Behaviour-based approach plays a key role for mobile robots to operate safely in unknown or dynamically changing environments. We have developed a hybrid control architecture for our autonomous robotic fish that consi...Behaviour-based approach plays a key role for mobile robots to operate safely in unknown or dynamically changing environments. We have developed a hybrid control architecture for our autonomous robotic fish that consists of three layers： cognitive, behaviour and swim pattern. In this paper, we describe some main design issues of the behaviour layer, which is the centre of the layered control architecture of our robotic fish. Fuzzy logic control （FLC） is adopted here to design individual behaviours. Simulation and real experiments are presented to show the feasibility and the performance of the designed behaviour layer.展开更多
A multi-valued logic system is a promising alternative to traditional binary logic because it can reduce the complexity,power consumption, and area of circuit implementation. This article briefly summarizes the develo...A multi-valued logic system is a promising alternative to traditional binary logic because it can reduce the complexity,power consumption, and area of circuit implementation. This article briefly summarizes the development of ternary logic and its advantages in digital logic circuits. The schemes, characteristics, and application of ternary logic circuits based on CMOS, CNTFET, memristor, and other devices and processes are reviewed in this paper, providing some reference for the further research and development of ternary logic circuits.展开更多
Neurons with complex-valued weights have stronger capability because of their multi-valued threshold logic. Neurons with such features may be suitable for solution of different kinds of problems including associative ...Neurons with complex-valued weights have stronger capability because of their multi-valued threshold logic. Neurons with such features may be suitable for solution of different kinds of problems including associative memory,image recognition and digital logical mapping. In this paper,robustness or tolerance is introduced and newly defined for this kind of neuron ac-cording to both their mathematical model and the perceptron neuron's definition of robustness. Also,the most robust design for basic digital logics of multiple variables is proposed based on these robust neurons. Our proof procedure shows that,in robust design each weight only takes the value of i or -i,while the value of threshold is with respect to the number of variables. The results demonstrate the validity and simplicity of using robust neurons for realizing arbitrary digital logical functions.展开更多
First the research is conducted on the design of the two-phase sinusoidal power clock generator in this paper. Then the design of the new adiabatic logic circuit adopting the two-phase sinusoidal power clocks--Clocked...First the research is conducted on the design of the two-phase sinusoidal power clock generator in this paper. Then the design of the new adiabatic logic circuit adopting the two-phase sinusoidal power clocks--Clocked Transmission Gate Adiabatic Logic （CTGAL） circuit is presented. This circuit makes use of the clocked transmission gates to sample the input signals, then the output loads are charged and discharged in a fully adiabatic manner by using bootstrapped N-Channel Metal Oxide Semiconductor （NMOS） and Complementary Metal Oxide Semiconductor （CMOS） latch structure. Finally, with the parameters of Taiwan Semiconductor Manufacturing Company （TSMC） 0.25um CMOS device, the transient energy consumption of CTGAL, Bootstrap Charge-Recovery Logic （BCRL） and Pass-transistor Adiabatic Logic （PAL） including their clock generators is simulated. The simulation result indicates that CTGAL circuit has the characteristic of remarkably low energy consumption.展开更多
How to design and organize the implementation of teaching is an important consideration for the quality of the course.This paper takes the“Digital Logic Design”course as an example,and carries out teaching design an...How to design and organize the implementation of teaching is an important consideration for the quality of the course.This paper takes the“Digital Logic Design”course as an example,and carries out teaching design and practice based on the blended teaching mode.By adopting various forms such as MOOC+SPOC+theme seminars,beneficial explorations have been made in improving students’autonomous learning ability,strengthening engineering literacy,and cultivating innovation ability.展开更多
Logic components are used to support the conceptual design Taking the stamping die structure as the research object,several logic components are defined for the conceptual die construction design A new method log...Logic components are used to support the conceptual design Taking the stamping die structure as the research object,several logic components are defined for the conceptual die construction design A new method logic assembly modeling is presented to satisfy the characteristic of the top down die design process Representing shapes and spatial relations in logic can provide a natural,intuitive method of developing complete computer systems for reasoning about die construction design at the conceptual stage This method can reflect the designer's thought clearly and provide the designer with a test bed for generating alternatives and performing reasoning work at the conceptual die design stage展开更多
Today＇s automation industry is driven by the need for an increased productivity, higher flexibility, and higher individuality, and characterized by tailor-made and more complex control solutions. In the processing in...Today＇s automation industry is driven by the need for an increased productivity, higher flexibility, and higher individuality, and characterized by tailor-made and more complex control solutions. In the processing industry, logic controller design is often a manual, experience-based, and thus an error-prone procedure. Typically, the specifications are given by a set of informal requirements and a technical flowchart and both are used to be directly translated into the control code. This paper proposes a method in which the control program is constructed as a sequential function chart （SFC） by transforming the requirements via clearly defined intermediate formats. For the purpose of analysis, the resulting SFC can be translated algorithmically into timed automata. A rigorous verification can be used to determine whether all specifications are satisfied if a formal model of the plant is available which is then composed with the automata model of the logic controller （LC）.展开更多
This study aimed at designing and assembling an improvised Logic Gates Simulator that can be utilized as an instructional device in basic digital electronics instruction at Caraga State University Cabadbaran Campus, P...This study aimed at designing and assembling an improvised Logic Gates Simulator that can be utilized as an instructional device in basic digital electronics instruction at Caraga State University Cabadbaran Campus, Philippines. This instructional device is believed to enhance the teaching-learning process and would also help address the scarcity of instructional equipment in the school and in the country. Descriptive method of research was employed to come up with the design of the simulator based on the course content of basic digital electronics subject. Acceptability of the improvised simulator based on standards set in this study was?gathered from the experts as respondents using a self-made questionnaire. The data were treated using average weighted mean utilizing parametric scales with verbal descriptions. Findings revealed that the improvised logic gates simulator is highly acceptable in terms of its cost and availability of components,?design and construction,operations, and troubleshooting features. It is concluded that the improvised logic gates simulator is at par in terms of standards on instructional devices based on the evaluation results of experts and is therefore recommended to be used in basic digital electronics instruction. The simulator is an innovative answer and an alternate solution to the scarcity of instructional materials and devices at Caraga State University Cabadbaran Campus.展开更多
Dipole coupled nanomagnets controlled by the static Zeeman field can form various magnetic logic interconnects.However, the corner wire interconnect is often unreliable and error-prone at room temperature. In this stu...Dipole coupled nanomagnets controlled by the static Zeeman field can form various magnetic logic interconnects.However, the corner wire interconnect is often unreliable and error-prone at room temperature. In this study, we address this problem by making it into a reliable type with trapezoid-shaped nanomagnets, the shape anisotropy of which helps to offer the robustness. The building method of the proposed corner wire interconnect is discussed,and both its static and dynamic magnetization properties are investigated. Static micromagnetic simulation demonstrates that it can work correctly and reliably. Dynamic response results are reached by imposing an ac microwave field on the proposed corner wire. It is found that strong ferromagnetic resonance absorption appears at a low frequency. With the help of a very small ac field with the peak resonance frequency, the required static Zeeman field to switch the corner wire is significantly decreased by ~21 m T. This novel interconnect would pave the way for the realization of reliable and low power nanomagnetic logic circuits.展开更多
Nowadays, application model systems for decision-making based on non-classical logic such as Paraconsistent Logic are used successfully in the treatment of uncertainties. The method presented in this paper is based on...Nowadays, application model systems for decision-making based on non-classical logic such as Paraconsistent Logic are used successfully in the treatment of uncertainties. The method presented in this paper is based on the fundamental concepts of Paraconsistent Annotated Logic with annotation of 2 values (PAL2v). In this study, two algorithms based on PAL2v are presented gradually, to extract the effects of the contradiction in signals of information from a database of uncertain knowledge. The Paraconsistent Extractors Algorithms of Contradiction Effect-Para Extrctr is applied to filters of networks of analyses (PANets) of signal information, where uncertain and contradictory signals may be found. Software test case scenarios are subordinated to an application model of Paraconsistent decision-making, which provides an analysis using Paraconsistent Logic in the treatment of uncertainties for design software testing strategies. This quality-quantity criterion to evaluate the software product quality is based on the characteristics of software testability analysis. The Para consistent reasoning application model system presented in this case study, reveals itself to be more efficient than the traditional methods because it has the potential to offer an appropriate treatment to different originally contradicting source information.展开更多
The integral practical and aesthetic design teaching of architecture and site environment is expected to deal with the junior-grade design teaching in architecture major with a current situation that the insufficient ...The integral practical and aesthetic design teaching of architecture and site environment is expected to deal with the junior-grade design teaching in architecture major with a current situation that the insufficient consideration of the site environment and the chaotic city image, which caused by long-term emphasis on single function and personality performance of architecture. The key to the integral practicability and aesthetics is the emphasis on the integrality of spatial logical order of those two factors, which contains the integral harmony of function attributes, scale, logics, and modal relationships and so on. Combine with the teaching of kindergarten architecture design, using architecture and site logic model teaching methodology, through the extraction cognitive teaching approach of the site environment order logics, the cognitive teaching approach of kindergarten architecture spatial logics, the strategic teaching approach of the congruent design of the integral order of architecture and site environment logics, module and model congruent counterpoint design teaching approach of architecture and large site environment order logics, organization and construction integrated design teaching approach of architecture and small site environment spatial logics, and result design teaching approach of architectures integrated into the landscape of large site environment and their surrounding small site environment and other teaching procedures to complete die teaching tasks of the integral practical and aesthetic design of kindergarten architecture and site environment.展开更多
A smart city provides a new idea and model for urban construction, management, and development. This article proposes the concepts and methodology for top-level design of smart cities based on the ＂ Integration of Fo...A smart city provides a new idea and model for urban construction, management, and development. This article proposes the concepts and methodology for top-level design of smart cities based on the ＂ Integration of Four Plans ＂, and the planning process and systems for implementing the top-level design of smart cities. This article discusses, from the perspective of a city, how to optimize resource allocation, coordinate the development of urban economy, society, resources, environment, and people＇s livelihood, and map out the blueprints for healthy and sustainable development of a smart city.展开更多
Linear temporal logic(LTL)is an intuitive and expressive language to specify complex control tasks,and how to design an efficient control strategy for LTL specification is still a challenge.In this paper,we implement ...Linear temporal logic(LTL)is an intuitive and expressive language to specify complex control tasks,and how to design an efficient control strategy for LTL specification is still a challenge.In this paper,we implement the dynamic quantization technique to propose a novel hierarchical control strategy for nonlinear control systems under LTL specifications.Based on the regions of interest involved in the LTL formula,an accepting path is derived first to provide a high-level solution for the controller synthesis problem.Second,we develop a dynamic quantization based approach to verify the realization of the accepting path.The realization verification results in the necessity of the controller design and a sequence of quantization regions for the controller design.Third,the techniques of dynamic quantization and abstraction-based control are combined together to establish the local-to-global control strategy.Both abstraction construction and controller design are local and dynamic,thereby resulting in the potential reduction of the computational complexity.Since each quantization region can be considered locally and individually,the proposed hierarchical mechanism is more efficient and can solve much larger problems than many existing methods.Finally,the proposed control strategy is illustrated via two examples from the path planning and tracking problems of mobile robots.展开更多
New type professional farmers are farmers who possess certain resources and capitals,have certain extent of spirit of entrepreneurship,and are fully capable of obtaining and allocating resources related to agricultura...New type professional farmers are farmers who possess certain resources and capitals,have certain extent of spirit of entrepreneurship,and are fully capable of obtaining and allocating resources related to agricultural production and management,and engaged in agricultural production and management for obtaining average profit.Cultivation of new type professional farmers should be promoted in the process and at the background of"coordinated development of industrialization,informationization,urbanization and agricultural modernization".It should establish a proper cultivation subject system consisting of government,enterprises,rural communities and nonprofit organizations.Relying on multiple motive forces,efforts should be concentrated on cultivating those farmers with enterprising,highly innovative and learning ability,to guide traditional farmers to change into learning,enterprising and innovative ones.In addition,cultivation of new type professional farmers must rely on farmer education and training,modern agricultural development,increase in agricultural comparative advantage,innovation of rural management system and mechanism,multiple types of agricultural operation on a fairly large scale,as well as construction and regulation of new rural communities.Finally,it is recommended to provide system guarantee from long-term input mechanism of new type professional farmer education and training,incentive and restrictive mechanism of new type professional farmer cultivation,and construction of favorable environment for agricultural entrepreneurship.展开更多
基金funded by King Fahd University of Petroleum&Minerals,Saudi Arabia under IRC-SES grant#INRE 2217.
文摘Wind energy has emerged as a potential replacement for fossil fuel-based energy sources.To harness maximum wind energy,a crucial decision in the development of an efficient wind farm is the optimal layout design.This layout defines the specific locations of the turbines within the wind farm.The process of finding the optimal locations of turbines,in the presence of various technical and technological constraints,makes the wind farm layout design problem a complex optimization problem.This problem has traditionally been solved with nature-inspired algorithms with promising results.The performance and convergence of nature-inspired algorithms depend on several parameters,among which the algorithm termination criterion plays a crucial role.Timely convergence is an important aspect of efficient algorithm design because an inefficient algorithm results in wasted computational resources,unwarranted electricity consumption,and hardware stress.This study provides an in-depth analysis of several termination criteria while using the genetic algorithm as a test bench,with its application to the wind farm layout design problem while considering various wind scenarios.The performance of six termination criteria is empirically evaluated with respect to the quality of solutions produced and the execution time involved.Due to the conflicting nature of these two attributes,fuzzy logic-based multi-attribute decision-making is employed in the decision process.Results for the fuzzy decision approach indicate that among the various criteria tested,the criterion Phi achieves an improvement in the range of 2.44%to 32.93%for wind scenario 1.For scenario 2,Best-worst termination criterion performed well compared to the other criteria evaluated,with an improvement in the range of 1.2%to 9.64%.For scenario 3,Hitting bound was the best performer with an improvement of 1.16%to 20.93%.
文摘Based on the definition of a logic structure feature to relate logically functional requirements to geometric representation independent upon detailed geometric representation, this paper presents an idea of logical structure modeling for computer aided conceptual design and makes attempt to establish a representation formalism of logic structure modeling. The definition and representation of logical structure feature are given and an assembly module definition for supporting top down conceptual design is also proposed. The proposed scheme contributes to several aspects of conceptual design research, especially to provide elementarily a formal methodology for computer aided conceptual design system development and operation.
文摘Behaviour-based approach plays a key role for mobile robots to operate safely in unknown or dynamically changing environments. We have developed a hybrid control architecture for our autonomous robotic fish that consists of three layers： cognitive, behaviour and swim pattern. In this paper, we describe some main design issues of the behaviour layer, which is the centre of the layered control architecture of our robotic fish. Fuzzy logic control （FLC） is adopted here to design individual behaviours. Simulation and real experiments are presented to show the feasibility and the performance of the designed behaviour layer.
基金Project supported in part by the National Natural Science Foundation of China (Grant No. 61871429)the Natural Science Foundation of Zhejiang Province,China (Grant No. LY18F010012)the Project of Ministry of Science and Technology of China (Grant No. D20011)。
文摘A multi-valued logic system is a promising alternative to traditional binary logic because it can reduce the complexity,power consumption, and area of circuit implementation. This article briefly summarizes the development of ternary logic and its advantages in digital logic circuits. The schemes, characteristics, and application of ternary logic circuits based on CMOS, CNTFET, memristor, and other devices and processes are reviewed in this paper, providing some reference for the further research and development of ternary logic circuits.
文摘Neurons with complex-valued weights have stronger capability because of their multi-valued threshold logic. Neurons with such features may be suitable for solution of different kinds of problems including associative memory,image recognition and digital logical mapping. In this paper,robustness or tolerance is introduced and newly defined for this kind of neuron ac-cording to both their mathematical model and the perceptron neuron's definition of robustness. Also,the most robust design for basic digital logics of multiple variables is proposed based on these robust neurons. Our proof procedure shows that,in robust design each weight only takes the value of i or -i,while the value of threshold is with respect to the number of variables. The results demonstrate the validity and simplicity of using robust neurons for realizing arbitrary digital logical functions.
基金Supported by the National Natural Science Foundation of China (No. 60273093)the Natural Science Foundation of Zhejinag Province(No. Y104135) the Student Sci-entific Research Foundation of Ningbo university (No.C38).
文摘First the research is conducted on the design of the two-phase sinusoidal power clock generator in this paper. Then the design of the new adiabatic logic circuit adopting the two-phase sinusoidal power clocks--Clocked Transmission Gate Adiabatic Logic （CTGAL） circuit is presented. This circuit makes use of the clocked transmission gates to sample the input signals, then the output loads are charged and discharged in a fully adiabatic manner by using bootstrapped N-Channel Metal Oxide Semiconductor （NMOS） and Complementary Metal Oxide Semiconductor （CMOS） latch structure. Finally, with the parameters of Taiwan Semiconductor Manufacturing Company （TSMC） 0.25um CMOS device, the transient energy consumption of CTGAL, Bootstrap Charge-Recovery Logic （BCRL） and Pass-transistor Adiabatic Logic （PAL） including their clock generators is simulated. The simulation result indicates that CTGAL circuit has the characteristic of remarkably low energy consumption.
文摘How to design and organize the implementation of teaching is an important consideration for the quality of the course.This paper takes the“Digital Logic Design”course as an example,and carries out teaching design and practice based on the blended teaching mode.By adopting various forms such as MOOC+SPOC+theme seminars,beneficial explorations have been made in improving students’autonomous learning ability,strengthening engineering literacy,and cultivating innovation ability.
文摘Logic components are used to support the conceptual design Taking the stamping die structure as the research object,several logic components are defined for the conceptual die construction design A new method logic assembly modeling is presented to satisfy the characteristic of the top down die design process Representing shapes and spatial relations in logic can provide a natural,intuitive method of developing complete computer systems for reasoning about die construction design at the conceptual stage This method can reflect the designer's thought clearly and provide the designer with a test bed for generating alternatives and performing reasoning work at the conceptual die design stage
基金the European Union through the Network of Excellence Hybrid Control (HYCON) under contract IST-511368.
文摘Today＇s automation industry is driven by the need for an increased productivity, higher flexibility, and higher individuality, and characterized by tailor-made and more complex control solutions. In the processing industry, logic controller design is often a manual, experience-based, and thus an error-prone procedure. Typically, the specifications are given by a set of informal requirements and a technical flowchart and both are used to be directly translated into the control code. This paper proposes a method in which the control program is constructed as a sequential function chart （SFC） by transforming the requirements via clearly defined intermediate formats. For the purpose of analysis, the resulting SFC can be translated algorithmically into timed automata. A rigorous verification can be used to determine whether all specifications are satisfied if a formal model of the plant is available which is then composed with the automata model of the logic controller （LC）.
文摘This study aimed at designing and assembling an improvised Logic Gates Simulator that can be utilized as an instructional device in basic digital electronics instruction at Caraga State University Cabadbaran Campus, Philippines. This instructional device is believed to enhance the teaching-learning process and would also help address the scarcity of instructional equipment in the school and in the country. Descriptive method of research was employed to come up with the design of the simulator based on the course content of basic digital electronics subject. Acceptability of the improvised simulator based on standards set in this study was?gathered from the experts as respondents using a self-made questionnaire. The data were treated using average weighted mean utilizing parametric scales with verbal descriptions. Findings revealed that the improvised logic gates simulator is highly acceptable in terms of its cost and availability of components,?design and construction,operations, and troubleshooting features. It is concluded that the improvised logic gates simulator is at par in terms of standards on instructional devices based on the evaluation results of experts and is therefore recommended to be used in basic digital electronics instruction. The simulator is an innovative answer and an alternate solution to the scarcity of instructional materials and devices at Caraga State University Cabadbaran Campus.
基金Supported by the National Natural Science Foundation of China under Grant No 61302022
文摘Dipole coupled nanomagnets controlled by the static Zeeman field can form various magnetic logic interconnects.However, the corner wire interconnect is often unreliable and error-prone at room temperature. In this study, we address this problem by making it into a reliable type with trapezoid-shaped nanomagnets, the shape anisotropy of which helps to offer the robustness. The building method of the proposed corner wire interconnect is discussed,and both its static and dynamic magnetization properties are investigated. Static micromagnetic simulation demonstrates that it can work correctly and reliably. Dynamic response results are reached by imposing an ac microwave field on the proposed corner wire. It is found that strong ferromagnetic resonance absorption appears at a low frequency. With the help of a very small ac field with the peak resonance frequency, the required static Zeeman field to switch the corner wire is significantly decreased by ~21 m T. This novel interconnect would pave the way for the realization of reliable and low power nanomagnetic logic circuits.
文摘Nowadays, application model systems for decision-making based on non-classical logic such as Paraconsistent Logic are used successfully in the treatment of uncertainties. The method presented in this paper is based on the fundamental concepts of Paraconsistent Annotated Logic with annotation of 2 values (PAL2v). In this study, two algorithms based on PAL2v are presented gradually, to extract the effects of the contradiction in signals of information from a database of uncertain knowledge. The Paraconsistent Extractors Algorithms of Contradiction Effect-Para Extrctr is applied to filters of networks of analyses (PANets) of signal information, where uncertain and contradictory signals may be found. Software test case scenarios are subordinated to an application model of Paraconsistent decision-making, which provides an analysis using Paraconsistent Logic in the treatment of uncertainties for design software testing strategies. This quality-quantity criterion to evaluate the software product quality is based on the characteristics of software testability analysis. The Para consistent reasoning application model system presented in this case study, reveals itself to be more efficient than the traditional methods because it has the potential to offer an appropriate treatment to different originally contradicting source information.
文摘The integral practical and aesthetic design teaching of architecture and site environment is expected to deal with the junior-grade design teaching in architecture major with a current situation that the insufficient consideration of the site environment and the chaotic city image, which caused by long-term emphasis on single function and personality performance of architecture. The key to the integral practicability and aesthetics is the emphasis on the integrality of spatial logical order of those two factors, which contains the integral harmony of function attributes, scale, logics, and modal relationships and so on. Combine with the teaching of kindergarten architecture design, using architecture and site logic model teaching methodology, through the extraction cognitive teaching approach of the site environment order logics, the cognitive teaching approach of kindergarten architecture spatial logics, the strategic teaching approach of the congruent design of the integral order of architecture and site environment logics, module and model congruent counterpoint design teaching approach of architecture and large site environment order logics, organization and construction integrated design teaching approach of architecture and small site environment spatial logics, and result design teaching approach of architectures integrated into the landscape of large site environment and their surrounding small site environment and other teaching procedures to complete die teaching tasks of the integral practical and aesthetic design of kindergarten architecture and site environment.
文摘A smart city provides a new idea and model for urban construction, management, and development. This article proposes the concepts and methodology for top-level design of smart cities based on the ＂ Integration of Four Plans ＂, and the planning process and systems for implementing the top-level design of smart cities. This article discusses, from the perspective of a city, how to optimize resource allocation, coordinate the development of urban economy, society, resources, environment, and people＇s livelihood, and map out the blueprints for healthy and sustainable development of a smart city.
基金supported by the Fundamental Research Funds for the Central Universities(DUT22RT(3)090)the National Natural Science Foundation of China(61890920,61890921,62122016,08120003)Liaoning Science and Technology Program(2023JH2/101700361).
文摘Linear temporal logic(LTL)is an intuitive and expressive language to specify complex control tasks,and how to design an efficient control strategy for LTL specification is still a challenge.In this paper,we implement the dynamic quantization technique to propose a novel hierarchical control strategy for nonlinear control systems under LTL specifications.Based on the regions of interest involved in the LTL formula,an accepting path is derived first to provide a high-level solution for the controller synthesis problem.Second,we develop a dynamic quantization based approach to verify the realization of the accepting path.The realization verification results in the necessity of the controller design and a sequence of quantization regions for the controller design.Third,the techniques of dynamic quantization and abstraction-based control are combined together to establish the local-to-global control strategy.Both abstraction construction and controller design are local and dynamic,thereby resulting in the potential reduction of the computational complexity.Since each quantization region can be considered locally and individually,the proposed hierarchical mechanism is more efficient and can solve much larger problems than many existing methods.Finally,the proposed control strategy is illustrated via two examples from the path planning and tracking problems of mobile robots.
基金Supported by Key Project of National Social Science Foundation(10AGL007&12ASH004)Key Project of Ministry of Education(DFA100209)+2 种基金Ph.D.Foundation Project of Southwest University(SWU1209338)Fundamental Research Funds for the Central Universities in 2013(SWU1309315)Fundamental Research Funds for the Central Universities in 2009(SWU0909629)
文摘New type professional farmers are farmers who possess certain resources and capitals,have certain extent of spirit of entrepreneurship,and are fully capable of obtaining and allocating resources related to agricultural production and management,and engaged in agricultural production and management for obtaining average profit.Cultivation of new type professional farmers should be promoted in the process and at the background of"coordinated development of industrialization,informationization,urbanization and agricultural modernization".It should establish a proper cultivation subject system consisting of government,enterprises,rural communities and nonprofit organizations.Relying on multiple motive forces,efforts should be concentrated on cultivating those farmers with enterprising,highly innovative and learning ability,to guide traditional farmers to change into learning,enterprising and innovative ones.In addition,cultivation of new type professional farmers must rely on farmer education and training,modern agricultural development,increase in agricultural comparative advantage,innovation of rural management system and mechanism,multiple types of agricultural operation on a fairly large scale,as well as construction and regulation of new rural communities.Finally,it is recommended to provide system guarantee from long-term input mechanism of new type professional farmer education and training,incentive and restrictive mechanism of new type professional farmer cultivation,and construction of favorable environment for agricultural entrepreneurship.
