The mining sector historically drove the global economy but at the expense of severe environmental and health repercussions,posing sustainability challenges[1]-[3].Recent advancements on artificial intelligence(AI)are...The mining sector historically drove the global economy but at the expense of severe environmental and health repercussions,posing sustainability challenges[1]-[3].Recent advancements on artificial intelligence(AI)are revolutionizing mining through robotic and data-driven innovations[4]-[7].While AI offers mining industry advantages,it is crucial to acknowledge the potential risks associated with its widespread use.Over-reliance on AI may lead to a loss of human control over mining operations in the future,resulting in unpredictable consequences.展开更多
Dear Editor,Scene understanding is an essential task in computer vision.The ultimate objective of scene understanding is to instruct computers to understand and reason about the scenes as humans do.Parallel vision is ...Dear Editor,Scene understanding is an essential task in computer vision.The ultimate objective of scene understanding is to instruct computers to understand and reason about the scenes as humans do.Parallel vision is a research framework that unifies the explanation and perception of dynamic and complex scenes.展开更多
Abstract--Near field communications （NFC） is a newly thrived technology in recent years. This technology has been installed on many kinds of mobile phone systems, especially the Android. However, there is no unified...Abstract--Near field communications （NFC） is a newly thrived technology in recent years. This technology has been installed on many kinds of mobile phone systems, especially the Android. However, there is no unified and complete framework to access NFC so far. The current software stack of NFC merely implements data obtaining features, ignoring the post-processing of data and lacking a certain security mechanism for NFC, which results in inefficiency and inconvenience for software development and maintenance. Above all, security problems could be caused due to the absence of the security mechanism. To propose a solution, this paper presents a brand-new framework for NFC utilization by analyzing and constructing a service model. Thus, the proposed framework encapsulates the current NFC stack on Android, formulating a three-layer structure after implementing the encapsulation and parsing of NFC records, which ultimately enables an XML document to describe the configuration of NFC and its related service flow. Simultaneously, a context-awareness model is proposed and built in this paper to equip the framework with the capability of adapting to different＇physical environment.展开更多
Under the background of New Engineering,focusing on talent cultivation,this article explores the teaching reform and innovation of software engineering majors.Starting from the goal of cultivating software engineering...Under the background of New Engineering,focusing on talent cultivation,this article explores the teaching reform and innovation of software engineering majors.Starting from the goal of cultivating software engineering talents in the context of New Engineering,the concept of outcome-based education is introduced to study and explore the construction of innovative talent training models for software engineering majors in universities.Through recent years’application practice,initial results have been achieved,which can provide feasible methods and ideas for the cultivation of innovative talents in other majors.展开更多
This paper explores the reform and practice of software engineering-related courses based on the competency model of the Computing Curricula,and proposes some measures of teaching reform and talent cultivation in soft...This paper explores the reform and practice of software engineering-related courses based on the competency model of the Computing Curricula,and proposes some measures of teaching reform and talent cultivation in software engineering.The teaching reform emphasizes student-centered education,and focuses on the cultivation and enhancement of students’knowledge,skills,and dispositions.Based on the three elements of the competency model,specific measures of teaching reform are proposed for some professional courses in software engineering,to strengthen course relevance,improve knowledge systems,reform practical modes with a focus on skill development,and cultivate good dispositions through student-centered education.The teaching reform’s attempts and practice are conducted in some courses such as Advanced Web Technologies,Software Engineering,and Intelligent Terminal Systems and Application Development.Through the analysis and comparison of the implementation effects,significant improvements are observed in teaching effectiveness,students’mastery of knowledge and skills are noticeably improved,and the expected goals of the teaching reform are achieved.展开更多
Most current object-oriented programming courses offered by domestic colleges and universities generally focus on the object-oriented programming language itself,i.e.,the programming grammar of the language,but ignore...Most current object-oriented programming courses offered by domestic colleges and universities generally focus on the object-oriented programming language itself,i.e.,the programming grammar of the language,but ignore the design pattern.However,design patterns are essential to software engineering because they can solve common problems in software design and improve code reuse,readability,extensibility,and reliability.Our Object-oriented Software Construction Course is creative since it aims at cultivating students’object-oriented thinking as well as basic abilities required to construct high-quality,object-oriented software.Specifically,we exploit the 5E teaching principle during the education of this course,and present the whole pipeline in the paper.We also provide one case of the factory pattern to further demonstrate the implementation of the 5E teaching principle in the course.The effect of the 5E teaching principle has also been demonstrated.展开更多
Generative AI is rapidly employed by software developers to generate code or other software artifacts.However,the analysis and assessment of generative AI with respect to requirements analysis and modeling tasks,espec...Generative AI is rapidly employed by software developers to generate code or other software artifacts.However,the analysis and assessment of generative AI with respect to requirements analysis and modeling tasks,especially with UML,has received little attention.This paper investigates the capabilities of generative AI to aid in the creation of three types of UML models:UML use case models,class diagrams,and sequence diagrams.For this purpose,we designed an AI-aided UML modeling task in our course on software requirements modeling.50 undergraduates who majored in Software Engineering at Wuhan University completed the modeling task and the corresponding online survey.Our findings show that generative AI can help create these three types of UML models,but its performance is limited to identifying essential modeling elements of these UML models.展开更多
At the beginning of 2020,the“COVID-19”came out.Affected by the outbreaks,the universities have to carry out online teaching.Online learning provides students with full freedom and personalized learning space,but at ...At the beginning of 2020,the“COVID-19”came out.Affected by the outbreaks,the universities have to carry out online teaching.Online learning provides students with full freedom and personalized learning space,but at the same time,it also brings problems such as weak feelings between teachers and students and lack of learning experience.To solve these problems,this paper adopts the methods of questionnaire survey,experimental control and behavioral modeling.This paper studies how teachers’emotional support behavior affects students’learning process and learning emotion in online learning environment,and proposes that teachers’emotional support behavior is appealed and desired by students.Positive teachers’emotional support behavior can promote students’learning process and improve students’learning emotion.展开更多
The combination and application of information technology and higher education have led to changes in the form and mode of teaching management in higher education,promoting the continuous deepening of digital transfor...The combination and application of information technology and higher education have led to changes in the form and mode of teaching management in higher education,promoting the continuous deepening of digital transformation in higher education.This paper discusses higher education management innovation triggered by digital technology and the new appearance of digital university governance,digital evaluation management,and internal governance of higher education.From the perspective of forging new forms,models,and paths of digital management through digital technology,this paper focuses on analyzing the reshaping of management systems by digitalization in higher education.The promotion and inspiration of digitalization on management system reform are provided,including typical features brought about,new paths opened up,and new advantages shaped.It is emphasized that the establishment of digital management system needs to rely on the systematic integration of multiple aspects.Finally,the challenges and solutions faced by the digital management system are deeply analyzed from the aspects of collaborative management and services,management process interoperability,evaluation and trust protection,and personnel digital literacy.Digital technology drives the transformation of higher education management system,resulting in new forms,models,paths,and methods of networked and digital management based on intelligent analysis and processing of educational and teaching data and promoting higher education management toward digital governance.The comprehensive establishment of a digital management system will unleash strong potential for universities to better fulfill their functions,and the high-quality development of higher education will be more solid and powerful.展开更多
With the continuous improvement of automation,industrial robots have become an indispensable part of automated production lines.They widely used in a number of industrial production activities,such as spraying,welding...With the continuous improvement of automation,industrial robots have become an indispensable part of automated production lines.They widely used in a number of industrial production activities,such as spraying,welding,handling,etc.,and have a great role in these sectors.Recently,the robotic technology is developing towards high precision,high intelligence.Robot calibration technology has a great significance to improve the accuracy of robot.However,it has much work to be done in the identification of robot parameters.The parameter identification work of existing serial and parallel robots is introduced.On the one hand,it summarizes the methods for parameter calibration and discusses their advantages and disadvantages.On the other hand,the application of parameter identification is introduced.This overview has a great reference value for robot manufacturers to choose proper identification method,points further research areas for researchers.Finally,this paper analyzes the existing problems in robot calibration,which may be worth researching in the future.展开更多
Artificial intelligence(AI) is once again a topic of huge interest for computer scientists around the world. Whilst advances in the capability of machines are being made all around the world at an incredible rate, the...Artificial intelligence(AI) is once again a topic of huge interest for computer scientists around the world. Whilst advances in the capability of machines are being made all around the world at an incredible rate, there is also increasing focus on the need for computerised systems to be able to explain their decisions, at least to some degree. It is also clear that data and knowledge in the real world are characterised by uncertainty.Fuzzy systems can provide decision support, which both handle uncertainty and have explicit representations of uncertain knowledge and inference processes. However, it is not yet clear how any decision support systems, including those featuring fuzzy methods, should be evaluated as to whether their use is permitted.This paper presents a conceptual framework of indistinguishability as the key component of the evaluation of computerised decision support systems. Case studies are presented in which it has been clearly demonstrated that human expert performance is less than perfect, together with techniques that may enable fuzzy systems to emulate human-level performance including variability.In conclusion, this paper argues for the need for "fuzzy AI" in two senses:(i) the need for fuzzy methodologies(in the technical sense of Zadeh's fuzzy sets and systems) as knowledge-based systems to represent and reason with uncertainty; and(ii) the need for fuzziness(in the non-technical sense) with an acceptance of imperfect performance in evaluating AI systems.展开更多
In this work,we combined the model based reinforcement learning(MBRL)and model free reinforcement learning(MFRL)to stabilize a biped robot(NAO robot)on a rotating platform,where the angular velocity of the platform is...In this work,we combined the model based reinforcement learning(MBRL)and model free reinforcement learning(MFRL)to stabilize a biped robot(NAO robot)on a rotating platform,where the angular velocity of the platform is unknown for the proposed learning algorithm and treated as the external disturbance.Nonparametric Gaussian processes normally require a large number of training data points to deal with the discontinuity of the estimated model.Although some improved method such as probabilistic inference for learning control(PILCO)does not require an explicit global model as the actions are obtained by directly searching the policy space,the overfitting and lack of model complexity may still result in a large deviation between the prediction and the real system.Besides,none of these approaches consider the data error and measurement noise during the training process and test process,respectively.We propose a hierarchical Gaussian processes(GP)models,containing two layers of independent GPs,where the physically continuous probability transition model of the robot is obtained.Due to the physically continuous estimation,the algorithm overcomes the overfitting problem with a guaranteed model complexity,and the number of training data is also reduced.The policy for any given initial state is generated automatically by minimizing the expected cost according to the predefined cost function and the obtained probability distribution of the state.Furthermore,a novel Q(λ)based MFRL method scheme is employed to improve the policy.Simulation results show that the proposed RL algorithm is able to balance NAO robot on a rotating platform,and it is capable of adapting to the platform with varying angular velocity.展开更多
Multi-cluster tools are widely used in majority of wafer fabrication processes in semiconductor industry. Smaller lot production, thinner circuit width in wafers, larger wafer size, and maintenance have resulted in a ...Multi-cluster tools are widely used in majority of wafer fabrication processes in semiconductor industry. Smaller lot production, thinner circuit width in wafers, larger wafer size, and maintenance have resulted in a large quantity of their start-up and close-down transient periods. Yet, most of existing efforts have been concentrated on scheduling their steady states.Different from such efforts, this work schedules their transient and steady-state periods subject to wafer residency constraints. It gives the schedulability conditions for the steady-state scheduling of dual-blade robotic multi-cluster tools and a corresponding algorithm for finding an optimal schedule. Based on the robot synchronization conditions, a linear program is proposed to figure out an optimal schedule for a start-up period, which ensures a tool to enter the desired optimal steady state. Another linear program is proposed to find an optimal schedule for a closedown period that evolves from the steady state period. Finally,industrial cases are presented to illustrate how the provided method outperforms the existing approach in terms of system throughput improvement.展开更多
Taking advantage of their inherent dexterity,robotic arms are competent in completing many tasks efficiently.As a result of the modeling complexity and kinematic uncertainty of robotic arms,model-free control paradigm...Taking advantage of their inherent dexterity,robotic arms are competent in completing many tasks efficiently.As a result of the modeling complexity and kinematic uncertainty of robotic arms,model-free control paradigm has been proposed and investigated extensively.However,robust model-free control of robotic arms in the presence of noise interference remains a problem worth studying.In this paper,we first propose a new kind of zeroing neural network(ZNN),i.e.,integration-enhanced noise-tolerant ZNN(IENT-ZNN)with integration-enhanced noisetolerant capability.Then,a unified dual IENT-ZNN scheme based on the proposed IENT-ZNN is presented for the kinematic control problem of both rigid-link and continuum robotic arms,which improves the performance of robotic arms with the disturbance of noise,without knowing the structural parameters of the robotic arms.The finite-time convergence and robustness of the proposed control scheme are proven by theoretical analysis.Finally,simulation studies and experimental demonstrations verify that the proposed control scheme is feasible in the kinematic control of different robotic arms and can achieve better results in terms of accuracy and robustness.展开更多
To resolve the problem of quantitative analysis in hybrid cloud,a quantitative analysis method,which is based on the security entropy,is proposed.Firstly,according to the information theory,the security entropy is put...To resolve the problem of quantitative analysis in hybrid cloud,a quantitative analysis method,which is based on the security entropy,is proposed.Firstly,according to the information theory,the security entropy is put forward to calculate the uncertainty of the system' s determinations on the irregular access behaviors.Secondly,based on the security entropy,security theorems of hybrid cloud are defined.Finally,typical access control models are analyzed by the method,the method's practicability is validated,and security and applicability of these models are compared.Simulation results prove that the proposed method is suitable for the security quantitative analysis of the access control model and evaluation to access control capability in hybrid cloud.展开更多
Given the accelerating development of Internet of things(IoT),a secure and robust authentication mechanism is urgently required as a critical architectural component.The IoT has improved the quality of everyday life f...Given the accelerating development of Internet of things(IoT),a secure and robust authentication mechanism is urgently required as a critical architectural component.The IoT has improved the quality of everyday life for numerous people in many ways.Owing to the predominantly wireless nature of the IoT,connected devices are more vulnerable to security threats compared to wired networks.User authentication is thus of utmost importance in terms of security on the IoT.Several authentication protocols have been proposed in recent years,but most prior schemes do not provide sufficient security for these wireless networks.To overcome the limitations of previous schemes,we propose an efficient and lightweight authentication scheme called the Cogent Biometric-Based Authentication Scheme(COBBAS).The proposed scheme is based on biometric data,and uses lightweight operations to enhance the efficiency of the network in terms of time,storage,and battery consumption.A formal security analysis of COBBAS using Burrows–Abadi–Needham logic proves that the proposed protocol provides secure mutual authentication.Formal security verification using the Automated Validation of Internet Security Protocols and Applications tool shows that the proposed protocol is safe against man-in-the-middle and replay attacks.Informal security analysis further shows that COBBAS protects wireless sensor networks against several security attacks such as password guessing,impersonation,stolen verifier attacks,denial-of-service attacks,and errors in biometric recognition.This protocol also provides user anonymity,confidentiality,integrity,and biometric recovery in acceptable time with reasonable computational cost.展开更多
The recent development of channel technology has promised to reduce the transaction verification time in blockchain operations.When transactions are transmitted through the channels created by nodes,the nodes need to ...The recent development of channel technology has promised to reduce the transaction verification time in blockchain operations.When transactions are transmitted through the channels created by nodes,the nodes need to cooperate with each other.If one party refuses to do so,the channel is unstable.A stable channel is thus required.Because nodes may show uncooperative behavior,they may have a negative impact on the stability of such channels.In order to address this issue,this work proposes a dynamic evolutionary game model based on node behavior.This model considers various defense strategies'cost and attack success ratio under them.Nodes can dynamically adjust their strategies according to the behavior of attackers to achieve their effective defense.The equilibrium stability of the proposed model can be achieved.The proposed model can be applied to general channel networks.It is compared with two state-of-the-art blockchain channels:Lightning network and Spirit channels.The experimental results show that the proposed model can be used to improve a channel's stability and keep it in a good cooperative stable state.Thus its use enables a blockchain to enjoy higher transaction success ratio and lower transaction transmission delay than the use of its two peers.展开更多
An effective approach is proposed for 3D urban scene reconstruction in the form of point cloud with semantic labeling. Starting from high resolution oblique aerial images,our approach proceeds through three main stage...An effective approach is proposed for 3D urban scene reconstruction in the form of point cloud with semantic labeling. Starting from high resolution oblique aerial images,our approach proceeds through three main stages: geographic reconstruction, geometrical reconstruction and semantic reconstruction. The absolute position and orientation of all the cameras relative to the real world are recovered in the geographic reconstruction stage. Then, in the geometrical reconstruction stage,an improved multi-view stereo matching method is employed to produce 3D dense points with color and normal information by taking into account the prior knowledge of aerial imagery.Finally the point cloud is classified into three classes(building,vegetation, and ground) by a rule-based hierarchical approach in the semantic reconstruction step. Experiments on complex urban scene show that our proposed 3-stage approach could generate reasonable reconstruction result robustly and efficiently.By comparing our final semantic reconstruction result with the manually labeled ground truth, classification accuracies from86.75% to 93.02% are obtained.展开更多
Software- defined networking （SDN） is a promising technology for next-generation networking and has attracted much attention from academics, network equipment manufacturer, network operators, and service providers. ...Software- defined networking （SDN） is a promising technology for next-generation networking and has attracted much attention from academics, network equipment manufacturer, network operators, and service providers. It has found center, and enterprise networks. applications in mobile, data The SDN architecture has a centralized, programmable control plane that is separate from the data plane. SDN also provides the ability to control and manage virtualized resources and networks without requiring new hardware technologies. This is a major shift in networking technologies.展开更多
With the vigorous development of MOOC and SPOC,software engineering teachers are exploring how to use first-class online resources to reconstruct the software engineering teaching system.This study proposed a project-...With the vigorous development of MOOC and SPOC,software engineering teachers are exploring how to use first-class online resources to reconstruct the software engineering teaching system.This study proposed a project-driven group discussion classroom teaching reform,which is characterized by“the trinity integration of physical classroom,online classroom,and practical classroom”.The reform employs heuristic and case-based teaching methods,in which,the curriculum is supplemented by smart teaching tools and takes discussion teaching as the core.The teaching process emphasizes the accumulation of multi-stage study results and adopts smart teaching method innovation.In this study,we also build practical classrooms with top software companies.We encourage students to participate in the classroom and take the initiative to practice through“discussion groups”“enterprise practice”,and“cloud training”,which improves learning effectiveness and enhances the ability to analyze problems,design systems,and innovate in actual software projects.展开更多
文摘The mining sector historically drove the global economy but at the expense of severe environmental and health repercussions,posing sustainability challenges[1]-[3].Recent advancements on artificial intelligence(AI)are revolutionizing mining through robotic and data-driven innovations[4]-[7].While AI offers mining industry advantages,it is crucial to acknowledge the potential risks associated with its widespread use.Over-reliance on AI may lead to a loss of human control over mining operations in the future,resulting in unpredictable consequences.
基金supported by the Natural Science Foundation for Young Scientists in Shaanxi Province of China (2023-JC-QN-0729)the Fundamental Research Funds for the Central Universities (GK202207008)。
文摘Dear Editor,Scene understanding is an essential task in computer vision.The ultimate objective of scene understanding is to instruct computers to understand and reason about the scenes as humans do.Parallel vision is a research framework that unifies the explanation and perception of dynamic and complex scenes.
文摘Abstract--Near field communications （NFC） is a newly thrived technology in recent years. This technology has been installed on many kinds of mobile phone systems, especially the Android. However, there is no unified and complete framework to access NFC so far. The current software stack of NFC merely implements data obtaining features, ignoring the post-processing of data and lacking a certain security mechanism for NFC, which results in inefficiency and inconvenience for software development and maintenance. Above all, security problems could be caused due to the absence of the security mechanism. To propose a solution, this paper presents a brand-new framework for NFC utilization by analyzing and constructing a service model. Thus, the proposed framework encapsulates the current NFC stack on Android, formulating a three-layer structure after implementing the encapsulation and parsing of NFC records, which ultimately enables an XML document to describe the configuration of NFC and its related service flow. Simultaneously, a context-awareness model is proposed and built in this paper to equip the framework with the capability of adapting to different＇physical environment.
基金supported by the Natural Science Foundation of China under Grant 62171325Experimental Technology Project of Wuhan University under Grant WHU-2022-SYJS-11。
文摘Under the background of New Engineering,focusing on talent cultivation,this article explores the teaching reform and innovation of software engineering majors.Starting from the goal of cultivating software engineering talents in the context of New Engineering,the concept of outcome-based education is introduced to study and explore the construction of innovative talent training models for software engineering majors in universities.Through recent years’application practice,initial results have been achieved,which can provide feasible methods and ideas for the cultivation of innovative talents in other majors.
基金supported by the Teaching Reform Projects of Colleges in Hunan Province(No.HNJG-2022-1410,No.HNJG-2020-0489,No.HNJG-2022-0785,and No.HNJG-2022-0792)Industry-universityCooperative Project of Ministry of Education(No.220506194233806)the Teaching Reform Project of Hunan University of Science and Technology(No.2020XXJG07)。
文摘This paper explores the reform and practice of software engineering-related courses based on the competency model of the Computing Curricula,and proposes some measures of teaching reform and talent cultivation in software engineering.The teaching reform emphasizes student-centered education,and focuses on the cultivation and enhancement of students’knowledge,skills,and dispositions.Based on the three elements of the competency model,specific measures of teaching reform are proposed for some professional courses in software engineering,to strengthen course relevance,improve knowledge systems,reform practical modes with a focus on skill development,and cultivate good dispositions through student-centered education.The teaching reform’s attempts and practice are conducted in some courses such as Advanced Web Technologies,Software Engineering,and Intelligent Terminal Systems and Application Development.Through the analysis and comparison of the implementation effects,significant improvements are observed in teaching effectiveness,students’mastery of knowledge and skills are noticeably improved,and the expected goals of the teaching reform are achieved.
基金supported by Guangdong Hardware and System Teaching and Research Office(Quality Engineeringproject No.HITSZERP22002)+2 种基金Guangdong Province Education Science Planning Project(Higher Education Project,Project No.2022GXJK431)Harbin Institute of Technology(Shenzhen)Course Ideological and Political Project(Project No.HITSZIP21003)Construction Project of Teachers College of Harbin Institute of Technology(Shenzhen)(Project No.HITSZSFXY202201)。
文摘Most current object-oriented programming courses offered by domestic colleges and universities generally focus on the object-oriented programming language itself,i.e.,the programming grammar of the language,but ignore the design pattern.However,design patterns are essential to software engineering because they can solve common problems in software design and improve code reuse,readability,extensibility,and reliability.Our Object-oriented Software Construction Course is creative since it aims at cultivating students’object-oriented thinking as well as basic abilities required to construct high-quality,object-oriented software.Specifically,we exploit the 5E teaching principle during the education of this course,and present the whole pipeline in the paper.We also provide one case of the factory pattern to further demonstrate the implementation of the 5E teaching principle in the course.The effect of the 5E teaching principle has also been demonstrated.
文摘Generative AI is rapidly employed by software developers to generate code or other software artifacts.However,the analysis and assessment of generative AI with respect to requirements analysis and modeling tasks,especially with UML,has received little attention.This paper investigates the capabilities of generative AI to aid in the creation of three types of UML models:UML use case models,class diagrams,and sequence diagrams.For this purpose,we designed an AI-aided UML modeling task in our course on software requirements modeling.50 undergraduates who majored in Software Engineering at Wuhan University completed the modeling task and the corresponding online survey.Our findings show that generative AI can help create these three types of UML models,but its performance is limited to identifying essential modeling elements of these UML models.
基金Higher Education Society of Shaanxi Province 2019 Higher Education Science Research Project(XGH19120:Wisdom Teaching Scene in Cloud model evaluation system key technology research)2019 school-level Higher Education Science Research Project(GJY-2019-YB-20).
文摘At the beginning of 2020,the“COVID-19”came out.Affected by the outbreaks,the universities have to carry out online teaching.Online learning provides students with full freedom and personalized learning space,but at the same time,it also brings problems such as weak feelings between teachers and students and lack of learning experience.To solve these problems,this paper adopts the methods of questionnaire survey,experimental control and behavioral modeling.This paper studies how teachers’emotional support behavior affects students’learning process and learning emotion in online learning environment,and proposes that teachers’emotional support behavior is appealed and desired by students.Positive teachers’emotional support behavior can promote students’learning process and improve students’learning emotion.
基金supported by the Project of the 2023 Shandong Province Higher Education Curriculum Ideological and Political Education Reform Research Project“Value Connotation,Intrinsic Logic,and Method Path:Student-centered College Curriculum Ideological and Political Integration‘Salt’in Course Teaching”(SZ2023003)Shandong Provincial Department of Education Key Teaching and Research Project“Ideological and Political Guidance,Goal Orientation,and Multidimensional Integration—Research and Practice of Embedded System Series Curriculum Teaching for New Engineering Majors”(Z2022232)+2 种基金2023 Harbin Institute of Technology(Weihai)Education and Teaching Reform Research Project“Connotation Elements,Related Logic,and Core Measures:Basic Paradigm of Curriculum Construction and Classroom Teaching Reform”(2023MSZZ01)the Key Teaching and Research Project of Shandong Provincial Department of Education,“I+IV”Mentor System—Exploration and Practice of Innovative Talents Training Model for Intelligent Vehicle Engineering New Engineering(Z2023002)the 2024 Harbin Institute of Technology(Weihai)Experimental Teaching and Teaching Laboratory Construction Research Project“Online and Offline Mixing,Virtual-practical Operation Integration,Industrial Technology Guidance—Research and Exploration of New Form Experimental Teaching of Computer Composition Principles”(2024SYZZ03)。
文摘The combination and application of information technology and higher education have led to changes in the form and mode of teaching management in higher education,promoting the continuous deepening of digital transformation in higher education.This paper discusses higher education management innovation triggered by digital technology and the new appearance of digital university governance,digital evaluation management,and internal governance of higher education.From the perspective of forging new forms,models,and paths of digital management through digital technology,this paper focuses on analyzing the reshaping of management systems by digitalization in higher education.The promotion and inspiration of digitalization on management system reform are provided,including typical features brought about,new paths opened up,and new advantages shaped.It is emphasized that the establishment of digital management system needs to rely on the systematic integration of multiple aspects.Finally,the challenges and solutions faced by the digital management system are deeply analyzed from the aspects of collaborative management and services,management process interoperability,evaluation and trust protection,and personnel digital literacy.Digital technology drives the transformation of higher education management system,resulting in new forms,models,paths,and methods of networked and digital management based on intelligent analysis and processing of educational and teaching data and promoting higher education management toward digital governance.The comprehensive establishment of a digital management system will unleash strong potential for universities to better fulfill their functions,and the high-quality development of higher education will be more solid and powerful.
基金supported in part by the National Natural Science Foundation of China(61772493)in part by the Guangdong Province Universities and College Pearl River Scholar Funded Scheme(2019)in part by the Natural Science Foundation of Chongqing(cstc2019jcyjjq X0013)。
文摘With the continuous improvement of automation,industrial robots have become an indispensable part of automated production lines.They widely used in a number of industrial production activities,such as spraying,welding,handling,etc.,and have a great role in these sectors.Recently,the robotic technology is developing towards high precision,high intelligence.Robot calibration technology has a great significance to improve the accuracy of robot.However,it has much work to be done in the identification of robot parameters.The parameter identification work of existing serial and parallel robots is introduced.On the one hand,it summarizes the methods for parameter calibration and discusses their advantages and disadvantages.On the other hand,the application of parameter identification is introduced.This overview has a great reference value for robot manufacturers to choose proper identification method,points further research areas for researchers.Finally,this paper analyzes the existing problems in robot calibration,which may be worth researching in the future.
文摘Artificial intelligence(AI) is once again a topic of huge interest for computer scientists around the world. Whilst advances in the capability of machines are being made all around the world at an incredible rate, there is also increasing focus on the need for computerised systems to be able to explain their decisions, at least to some degree. It is also clear that data and knowledge in the real world are characterised by uncertainty.Fuzzy systems can provide decision support, which both handle uncertainty and have explicit representations of uncertain knowledge and inference processes. However, it is not yet clear how any decision support systems, including those featuring fuzzy methods, should be evaluated as to whether their use is permitted.This paper presents a conceptual framework of indistinguishability as the key component of the evaluation of computerised decision support systems. Case studies are presented in which it has been clearly demonstrated that human expert performance is less than perfect, together with techniques that may enable fuzzy systems to emulate human-level performance including variability.In conclusion, this paper argues for the need for "fuzzy AI" in two senses:(i) the need for fuzzy methodologies(in the technical sense of Zadeh's fuzzy sets and systems) as knowledge-based systems to represent and reason with uncertainty; and(ii) the need for fuzziness(in the non-technical sense) with an acceptance of imperfect performance in evaluating AI systems.
文摘In this work,we combined the model based reinforcement learning(MBRL)and model free reinforcement learning(MFRL)to stabilize a biped robot(NAO robot)on a rotating platform,where the angular velocity of the platform is unknown for the proposed learning algorithm and treated as the external disturbance.Nonparametric Gaussian processes normally require a large number of training data points to deal with the discontinuity of the estimated model.Although some improved method such as probabilistic inference for learning control(PILCO)does not require an explicit global model as the actions are obtained by directly searching the policy space,the overfitting and lack of model complexity may still result in a large deviation between the prediction and the real system.Besides,none of these approaches consider the data error and measurement noise during the training process and test process,respectively.We propose a hierarchical Gaussian processes(GP)models,containing two layers of independent GPs,where the physically continuous probability transition model of the robot is obtained.Due to the physically continuous estimation,the algorithm overcomes the overfitting problem with a guaranteed model complexity,and the number of training data is also reduced.The policy for any given initial state is generated automatically by minimizing the expected cost according to the predefined cost function and the obtained probability distribution of the state.Furthermore,a novel Q(λ)based MFRL method scheme is employed to improve the policy.Simulation results show that the proposed RL algorithm is able to balance NAO robot on a rotating platform,and it is capable of adapting to the platform with varying angular velocity.
基金the National Natural Science Foundation of China(61673123,61803397)the Science and Technology Development Fund(FDCT)of Macao(106/2016/A3,005/2018/A1,011/2017/A,0017/2019/A1)
文摘Multi-cluster tools are widely used in majority of wafer fabrication processes in semiconductor industry. Smaller lot production, thinner circuit width in wafers, larger wafer size, and maintenance have resulted in a large quantity of their start-up and close-down transient periods. Yet, most of existing efforts have been concentrated on scheduling their steady states.Different from such efforts, this work schedules their transient and steady-state periods subject to wafer residency constraints. It gives the schedulability conditions for the steady-state scheduling of dual-blade robotic multi-cluster tools and a corresponding algorithm for finding an optimal schedule. Based on the robot synchronization conditions, a linear program is proposed to figure out an optimal schedule for a start-up period, which ensures a tool to enter the desired optimal steady state. Another linear program is proposed to find an optimal schedule for a closedown period that evolves from the steady state period. Finally,industrial cases are presented to illustrate how the provided method outperforms the existing approach in terms of system throughput improvement.
基金supported by the National Natural Science Foundation of China(62173352,62103112)the Guangdong Basic and Applied Basic Research Foundation(2021A1515012314)+1 种基金the Open Project of Shenzhen Institute of Artificial Intelligence and Robotics for Society(AC01202005006)the Key-Area Research and Development Program of Guangzhou(202007030004)。
文摘Taking advantage of their inherent dexterity,robotic arms are competent in completing many tasks efficiently.As a result of the modeling complexity and kinematic uncertainty of robotic arms,model-free control paradigm has been proposed and investigated extensively.However,robust model-free control of robotic arms in the presence of noise interference remains a problem worth studying.In this paper,we first propose a new kind of zeroing neural network(ZNN),i.e.,integration-enhanced noise-tolerant ZNN(IENT-ZNN)with integration-enhanced noisetolerant capability.Then,a unified dual IENT-ZNN scheme based on the proposed IENT-ZNN is presented for the kinematic control problem of both rigid-link and continuum robotic arms,which improves the performance of robotic arms with the disturbance of noise,without knowing the structural parameters of the robotic arms.The finite-time convergence and robustness of the proposed control scheme are proven by theoretical analysis.Finally,simulation studies and experimental demonstrations verify that the proposed control scheme is feasible in the kinematic control of different robotic arms and can achieve better results in terms of accuracy and robustness.
基金Supported by the National Natural Science Foundation of China(No.60872041,61072066)Fundamental Research Funds for the Central Universities(JYI0000903001,JYI0000901034)
文摘To resolve the problem of quantitative analysis in hybrid cloud,a quantitative analysis method,which is based on the security entropy,is proposed.Firstly,according to the information theory,the security entropy is put forward to calculate the uncertainty of the system' s determinations on the irregular access behaviors.Secondly,based on the security entropy,security theorems of hybrid cloud are defined.Finally,typical access control models are analyzed by the method,the method's practicability is validated,and security and applicability of these models are compared.Simulation results prove that the proposed method is suitable for the security quantitative analysis of the access control model and evaluation to access control capability in hybrid cloud.
基金funded by the National Research Foundation of Korea.Grant Number:2020R1A2C1012196.
文摘Given the accelerating development of Internet of things(IoT),a secure and robust authentication mechanism is urgently required as a critical architectural component.The IoT has improved the quality of everyday life for numerous people in many ways.Owing to the predominantly wireless nature of the IoT,connected devices are more vulnerable to security threats compared to wired networks.User authentication is thus of utmost importance in terms of security on the IoT.Several authentication protocols have been proposed in recent years,but most prior schemes do not provide sufficient security for these wireless networks.To overcome the limitations of previous schemes,we propose an efficient and lightweight authentication scheme called the Cogent Biometric-Based Authentication Scheme(COBBAS).The proposed scheme is based on biometric data,and uses lightweight operations to enhance the efficiency of the network in terms of time,storage,and battery consumption.A formal security analysis of COBBAS using Burrows–Abadi–Needham logic proves that the proposed protocol provides secure mutual authentication.Formal security verification using the Automated Validation of Internet Security Protocols and Applications tool shows that the proposed protocol is safe against man-in-the-middle and replay attacks.Informal security analysis further shows that COBBAS protects wireless sensor networks against several security attacks such as password guessing,impersonation,stolen verifier attacks,denial-of-service attacks,and errors in biometric recognition.This protocol also provides user anonymity,confidentiality,integrity,and biometric recovery in acceptable time with reasonable computational cost.
基金supported by the National Natural Science Foundation of China(61872006)Scientific Research Activities Foundation of Academic and Technical Leaders and Reserve Candidates in Anhui Province(2020H233)+2 种基金Top-notch Discipline(specialty)Talents Foundation in Colleges and Universities of Anhui Province(gxbj2020057)the Startup Foundation for Introducing Talent of NUISTby Institutional Fund Projects from Ministry of Education and Deanship of Scientific Research(DSR),King Abdulaziz University(KAU),Jeddah,Saudi Arabia(IFPDP-216-22)。
文摘The recent development of channel technology has promised to reduce the transaction verification time in blockchain operations.When transactions are transmitted through the channels created by nodes,the nodes need to cooperate with each other.If one party refuses to do so,the channel is unstable.A stable channel is thus required.Because nodes may show uncooperative behavior,they may have a negative impact on the stability of such channels.In order to address this issue,this work proposes a dynamic evolutionary game model based on node behavior.This model considers various defense strategies'cost and attack success ratio under them.Nodes can dynamically adjust their strategies according to the behavior of attackers to achieve their effective defense.The equilibrium stability of the proposed model can be achieved.The proposed model can be applied to general channel networks.It is compared with two state-of-the-art blockchain channels:Lightning network and Spirit channels.The experimental results show that the proposed model can be used to improve a channel's stability and keep it in a good cooperative stable state.Thus its use enables a blockchain to enjoy higher transaction success ratio and lower transaction transmission delay than the use of its two peers.
基金supported in part by the National Natural Science Foundation of China (61421004,61402316,61333015,61632003)Doctoral Research Fund of Taiyuan University of Science and Technology under grant (20162009)National Key Technologies R&D Program(2016YFB0502002)
文摘An effective approach is proposed for 3D urban scene reconstruction in the form of point cloud with semantic labeling. Starting from high resolution oblique aerial images,our approach proceeds through three main stages: geographic reconstruction, geometrical reconstruction and semantic reconstruction. The absolute position and orientation of all the cameras relative to the real world are recovered in the geographic reconstruction stage. Then, in the geometrical reconstruction stage,an improved multi-view stereo matching method is employed to produce 3D dense points with color and normal information by taking into account the prior knowledge of aerial imagery.Finally the point cloud is classified into three classes(building,vegetation, and ground) by a rule-based hierarchical approach in the semantic reconstruction step. Experiments on complex urban scene show that our proposed 3-stage approach could generate reasonable reconstruction result robustly and efficiently.By comparing our final semantic reconstruction result with the manually labeled ground truth, classification accuracies from86.75% to 93.02% are obtained.
文摘Software- defined networking （SDN） is a promising technology for next-generation networking and has attracted much attention from academics, network equipment manufacturer, network operators, and service providers. It has found center, and enterprise networks. applications in mobile, data The SDN architecture has a centralized, programmable control plane that is separate from the data plane. SDN also provides the ability to control and manage virtualized resources and networks without requiring new hardware technologies. This is a major shift in networking technologies.
基金This research was supported by 2020 Shandong Province Undergraduate Teaching Reform Research and Cultivation Project“Research and Practice of Mixed Teaching Mode Under the Construction of MOOC Teaching Pilot College”(Grant No.26)and 2021 First class courses in Shandong Province“Software Engineering”.
文摘With the vigorous development of MOOC and SPOC,software engineering teachers are exploring how to use first-class online resources to reconstruct the software engineering teaching system.This study proposed a project-driven group discussion classroom teaching reform,which is characterized by“the trinity integration of physical classroom,online classroom,and practical classroom”.The reform employs heuristic and case-based teaching methods,in which,the curriculum is supplemented by smart teaching tools and takes discussion teaching as the core.The teaching process emphasizes the accumulation of multi-stage study results and adopts smart teaching method innovation.In this study,we also build practical classrooms with top software companies.We encourage students to participate in the classroom and take the initiative to practice through“discussion groups”“enterprise practice”,and“cloud training”,which improves learning effectiveness and enhances the ability to analyze problems,design systems,and innovate in actual software projects.
