Incorporation of explainability features in the decision-making web-based systems is considered a primary concern to enhance accountability,transparency,and trust in the community.Multi-domain Sentiment Analysis is a ...Incorporation of explainability features in the decision-making web-based systems is considered a primary concern to enhance accountability,transparency,and trust in the community.Multi-domain Sentiment Analysis is a significant web-based system where the explainability feature is essential for achieving user satisfaction.Conventional design methodologies such as object-oriented design methodology(OODM)have been proposed for web-based application development,which facilitates code reuse,quantification,and security at the design level.However,OODM did not provide the feature of explainability in web-based decision-making systems.X-OODM modifies the OODM with added explainable models to introduce the explainability feature for such systems.This research introduces an explainable model leveraging X-OODM for designing transparent applications for multidomain sentiment analysis.The proposed design is evaluated using the design quality metrics defined for the evaluation of the X-OODM explainable model under user context.The design quality metrics,transferability,simulatability,informativeness,and decomposability were introduced one after another over time to the evaluation of the X-OODM user context.Auxiliary metrics of accessibility and algorithmic transparency were added to increase the degree of explainability for the design.The study results reveal that introducing such explainability parameters with X-OODM appropriately increases system transparency,trustworthiness,and user understanding.The experimental results validate the enhancement of decision-making for multi-domain sentiment analysis with integration at the design level of explainability.Future work can be built in this direction by extending this work to apply the proposed X-OODM framework over different datasets and sentiment analysis applications to further scrutinize its effectiveness in real-world scenarios.展开更多
Structural development defects essentially refer to code structure that violates object-oriented design principles. They make program maintenance challenging and deteriorate software quality over time. Various detecti...Structural development defects essentially refer to code structure that violates object-oriented design principles. They make program maintenance challenging and deteriorate software quality over time. Various detection approaches, ranging from traditional heuristic algorithms to machine learning methods, are used to identify these defects. Ensemble learning methods have strengthened the detection of these defects. However, existing approaches do not simultaneously exploit the capabilities of extracting relevant features from pre-trained models and the performance of neural networks for the classification task. Therefore, our goal has been to design a model that combines a pre-trained model to extract relevant features from code excerpts through transfer learning and a bagging method with a base estimator, a dense neural network, for defect classification. To achieve this, we composed multiple samples of the same size with replacements from the imbalanced dataset MLCQ1. For all the samples, we used the CodeT5-small variant to extract features and trained a bagging method with the neural network Roberta Classification Head to classify defects based on these features. We then compared this model to RandomForest, one of the ensemble methods that yields good results. Our experiments showed that the number of base estimators to use for bagging depends on the defect to be detected. Next, we observed that it was not necessary to use a data balancing technique with our model when the imbalance rate was 23%. Finally, for blob detection, RandomForest had a median MCC value of 0.36 compared to 0.12 for our method. However, our method was predominant in Long Method detection with a median MCC value of 0.53 compared to 0.42 for RandomForest. These results suggest that the performance of ensemble methods in detecting structural development defects is dependent on specific defects.展开更多
Detecting well-known design patterns in object-oriented program source code can help maintainers understand the design of a program. Through the detection, the understandability, maintainability, and reusability of ob...Detecting well-known design patterns in object-oriented program source code can help maintainers understand the design of a program. Through the detection, the understandability, maintainability, and reusability of object-oriented programs can be improved. There are automated detection techniques;however, many existing techniques are based on static analysis and use strict conditions composed on class structure data. Hence, it is difficult for them to detect and distinguish design patterns in which the class structures are similar. Moreover, it is difficult for them to deal with diversity in design pattern applications. To solve these problems in existing techniques, we propose a design pattern detection technique using source code metrics and machine learning. Our technique judges candidates for the roles that compose design patterns by using machine learning and measurements of several metrics, and it detects design patterns by analyzing the relations between candidates. It suppresses false negatives and distinguishes patterns in which the class structures are similar. As a result of experimental evaluations with a set of programs, we confirmed that our technique is more accurate than two conventional techniques.展开更多
UML Class diagram generation from textual requirements is an important task in object-oriented design and programing course.This study proposes a method for automatically generating class diagrams from Chinese textual...UML Class diagram generation from textual requirements is an important task in object-oriented design and programing course.This study proposes a method for automatically generating class diagrams from Chinese textual requirements on the basis of Natural Language Processing(NLP)and mapping rules for sentence pattern matching.First,classes are identified through entity recognition rules and candidate class pruning rules using NLP from requirements.Second,class attributes and relationships between classes are extracted using mapping rules for sentence pattern matching on the basis of NLP.Third,we developed an assistant tool integrated into a precision micro classroom system for automatic generation of class diagram,to effectively assist the teaching of object-oriented design and programing course.Results are evaluated with precision,accuracy and recall from eight requirements of object-oriented design and programing course using truth values created by teachers.Our research should benefit beginners of object-oriented design and programing course,who may be students or software developers.It helps them to create correct domain models represented in the UML class diagram.展开更多
Presents an object-oriented NBO(node-block-object)data model for hypermedia system.It takes advantage of object-oriented method,encapsulates all multimedia information as well as link functions in one unit,It has succ...Presents an object-oriented NBO(node-block-object)data model for hypermedia system.It takes advantage of object-oriented method,encapsulates all multimedia information as well as link functions in one unit,It has successfully achieved cross link to offer much better flexibility and two-way link to realize forward and backward searching in hypermedia system navigation.A conditional relation on links has also been realized,that is very helpful for time sensitive multimedia information processing and multimedia object cooperation.展开更多
From a perspective of theoretical study, there are some faults in the models of the existing object-oriented programming languages. For example, C# does not support metaclasses, the primitive types of Java and C# are ...From a perspective of theoretical study, there are some faults in the models of the existing object-oriented programming languages. For example, C# does not support metaclasses, the primitive types of Java and C# are not objects, etc. So, this paper designs a programming language, Shrek, which integrates many language features and constructions in a compact and consistent model. The Shrek language is a class-based purely object-oriented language. It has a dynamical strong type system, and adopts a single-inheritance mechanism with Mixin as its complement. It has a consistent class instantiation and inheritance structure, and the ability of intercessive structural computational reflection, which enables it to support safe metaclass programming. It also supports multi-thread programming and automatic garbage collection, and enforces its expressive power by adopting a native method mechanism. The prototype system of the Shrek language is implemented and anticipated design goals are achieved.展开更多
Heat integration is important for energy-saving in the process industry.It is linked to the persistently challenging task of optimal design of heat exchanger networks(HEN).Due to the inherent highly nonconvex nonlinea...Heat integration is important for energy-saving in the process industry.It is linked to the persistently challenging task of optimal design of heat exchanger networks(HEN).Due to the inherent highly nonconvex nonlinear and combinatorial nature of the HEN problem,it is not easy to find solutions of high quality for large-scale problems.The reinforcement learning(RL)method,which learns strategies through ongoing exploration and exploitation,reveals advantages in such area.However,due to the complexity of the HEN design problem,the RL method for HEN should be dedicated and designed.A hybrid strategy combining RL with mathematical programming is proposed to take better advantage of both methods.An insightful state representation of the HEN structure as well as a customized reward function is introduced.A Q-learning algorithm is applied to update the HEN structure using theε-greedy strategy.Better results are obtained from three literature cases of different scales.展开更多
The design of finite element analysis program using object-oriented programming (OOP) techniques is presented. The objects, classes and the subclasses used in the programming are explained. The system of classes libra...The design of finite element analysis program using object-oriented programming (OOP) techniques is presented. The objects, classes and the subclasses used in the programming are explained. The system of classes library of finite element analysis program and Windows-type Graphical User Interfaces by VC + + and its MFC are developed. The reliability, reusability and extensibility of program are enhanced. It is a reference to develop the large-scale, versatile and powerful systems of object-oriented finite element software.展开更多
The gap that exists between research and the dissemination and implementation of research findings has been well established. Food fortification, one of the most cost-effective means of addressing micronutrient malnut...The gap that exists between research and the dissemination and implementation of research findings has been well established. Food fortification, one of the most cost-effective means of addressing micronutrient malnutrition, is no exception. With decades of implementation experience, there is need to strengthen mechanisms that effectively broadcast proven strategies to promote the successful implementation of fortification programs in changing, challenging, and dynamic environments. This requires clear channels of communication, well-defined in-country leadership, and a streamlined and focused approach that can be adapted to country-specific contexts. Based on experience designing and implementing fortification programs throughout Africa and a broad understanding of past successes and failures, a model is proposed that articulates often over-looked program elements critical to design and implementation.展开更多
A scheme for general purposed FDTD visual scientific computing software is introduced in this paper using object-oriented design (OOD) method. By abstracting the parameters of FDTD grids to an individual class and sep...A scheme for general purposed FDTD visual scientific computing software is introduced in this paper using object-oriented design (OOD) method. By abstracting the parameters of FDTD grids to an individual class and separating from the iteration procedure, the visual software can be adapted to more comprehensive computing problems. Real-time gray degree graphic and wave curve of the results can be achieved using DirectX technique. The special difference equation and data structure in dispersive medium are considered, and the peculiarity of parameters in perfectly matched layer are also discussed.展开更多
The growing complexity of System on Chip （SOC） requres a system level specicanon and design approach. High-level languages such as C＋＋/SystemC can play multiple roles in system design as target languages. There ar...The growing complexity of System on Chip （SOC） requres a system level specicanon and design approach. High-level languages such as C＋＋/SystemC can play multiple roles in system design as target languages. There are many practical problems in the application of object-oriented methods for this goal. Based on the analysis of traditional and system-level design methodology, a new object-oriented SOC design methodology with object-oriented design patterns is proposed, which emphasizes high-level design and verification. Aiming at the final goal of developing design patterns specific to SOC design, the reuse of design patterns in SOC systems and the capability of new SOC design patterns are discussed. With the illustration of some concrete examples of SOC design patterns, the application of object-oriented design methodology in the SOC design process is presented.展开更多
In this paper they deal with the issue of specification and design of parallel communicatingprocesses. A trace-state based model is introduced to describe the behaviour of concurrent programs. They presenta formal sys...In this paper they deal with the issue of specification and design of parallel communicatingprocesses. A trace-state based model is introduced to describe the behaviour of concurrent programs. They presenta formal system based on that model to achieve hierarchical and modular development and verification methods. Anumber of refinement rules are used to decompose the specification into smaller ones and calculate program fromthe展开更多
Conceptual process design (CPD) research focuses on finding design alternatives that address various design problems. It has a long history of well-established methodologies to answer these complex questions, such as ...Conceptual process design (CPD) research focuses on finding design alternatives that address various design problems. It has a long history of well-established methodologies to answer these complex questions, such as heuristics, mathematical programming, and pinch analysis. Nonetheless, progress continues from different formulations of design problems using bottom-up approaches, to the utilization of new tools such as artificial intelligence (AI). It was not until recently that AI methods were involved again in assisting the decision-making steps for chemical engineers. This has led to a gap in understanding AI's capabilities and limitations within the field of CPD research. Thus, this article aims to provide an overview of conventional methods for process synthesis, integration, and intensification approaches and survey emerging AI-assisted process design applications to bridge the gap. A review of all AI-assisted methods is highlighted, where AI is used as a key component within a design framework, to explain the utility of AI with comparative examples. The studies were categorized into supervised and reinforcement learning based on the machine learning training principles they used to enhance the understanding of requirements, benefits, and challenges that come with it. Furthermore, we provide challenges and prospects that can facilitate or hinder the progress of AI-assisted approaches in the future.展开更多
Multi-constrained pipes conveying fluid,such as aircraft hydraulic control pipes,are susceptible to resonance fatigue in harsh vibration environments,which may lead to system failure and even catastrophic accidents.In...Multi-constrained pipes conveying fluid,such as aircraft hydraulic control pipes,are susceptible to resonance fatigue in harsh vibration environments,which may lead to system failure and even catastrophic accidents.In this study,a machine learning(ML)-assisted weak vibration design method under harsh environmental excitations is proposed.The dynamic model of a typical pipe is developed using the absolute nodal coordinate formulation(ANCF)to determine its vibrational characteristics.With the harsh vibration environments as the preserved frequency band(PFB),the safety design is defined by comparing the natural frequency with the PFB.By analyzing the safety design of pipes with different constraint parameters,the dataset of the absolute safety length and the absolute resonance length of the pipe is obtained.This dataset is then utilized to develop genetic programming(GP)algorithm-based ML models capable of producing explicit mathematical expressions of the pipe's absolute safety length and absolute resonance length with the location,stiffness,and total number of retaining clips as design variables.The proposed ML models effectively bridge the dataset with the prediction results.Thus,the ML model is utilized to stagger the natural frequency,and the PFB is utilized to achieve the weak vibration design.The findings of the present study provide valuable insights into the practical application of weak vibration design.展开更多
The level of genetic variation within a breeding population affects the effectiveness of selection strategies for genetic improvement.The relationship between genetic variation level within Pinus tabuliformis breeding...The level of genetic variation within a breeding population affects the effectiveness of selection strategies for genetic improvement.The relationship between genetic variation level within Pinus tabuliformis breeding populations and selection strategies or selection effectiveness is not fully investigated.Here,we compared the selection effectiveness of combined and individual direct selection strategies using half-and full-sib families produced from advanced-generation P.tabuliformis seed orchard as our test populations.Our results revealed that,within half-sib families,average diameter at breast height(DBH),tree height,and volume growth of superior individuals selected by the direct selection strategy were higher by 7.72%,18.56%,and 31.01%,respectively,than those selected by the combined selection strategy.Furthermore,significant differences(P<0.01)were observed between the two strategies in terms of the expected genetic gains for average tree height and volume.In contrast,within full-sib families,the differences in tree average DBH,height,and volume between the two selection strategies were relatively minor with increase of 0.17%,2.73%,and 2.21%,respectively,and no significant differences were found in the average expected genetic gains for the studied traits.Half-sib families exhibited greater phenotypic and genetic variation,resulting in improved selection efficiency with the direct selection strategy but also introduced a level of inbreeding risk.Based on genetic distance estimates using molecular markers,our comparative seed orchard design analysis showed that the Improved Adaptive Genetic Programming Algorithm(IAPGA)reduced the average inbreeding coefficient by 14.36% and 14.73% compared to sequential and random designs,respectively.In conclusion,the combination of the direct selection strategy with IAPGA seed orchard design aimed at minimizing inbreeding offered an efficient approach for establishing advanced-generation P.tabuliformis seed orchards.展开更多
This article reports our research progress in concurrent design theory and methodology.The idea of Micro-Design-Cycle is introduced to provide a mechanism of coordinating variousdesign activities in parallel as much a...This article reports our research progress in concurrent design theory and methodology.The idea of Micro-Design-Cycle is introduced to provide a mechanism of coordinating variousdesign activities in parallel as much as possible.An Object-Life-Cycle diagram is developedas an instrument to visualize the Micro-Design-Cycle and as a practical tool of timing variousactivities being performed in Micro-Design-Cycles.展开更多
Design and manufacture organizations currently suffer from a number of problems that aignificantly affect their productivity.Despite their fragmented efforts to automate portioas of operations,they still suffer from &...Design and manufacture organizations currently suffer from a number of problems that aignificantly affect their productivity.Despite their fragmented efforts to automate portioas of operations,they still suffer from 'islands' of designing and manufacturing automation,long lead time for semi-custom proposals and engineering work, lengthy cycles of product development and introduction into the market,and low morale due to boring,repetitive engineering and industrial design activities.Thereby,the integration of design and manufacturing poses to the CAD/CAM researchere a series of challenges.The paper introduces a methodology that allows for the integration of product design with manufacturing process planning and the application of a new software technology known as 'Object-Oriented Intelligent Programming' .The task is achieved through an object-oriented intelligent CAD/CAM environment where a design model from the CAD system can be analysed, and manufacturing process plans with specifications of machining can be automatically determined.The manufacturing information of a part is extracted from the 3D geometric model and the 2D engineering drawing,thus,both geometric and non-geometric attributes of a part can be obtained.展开更多
基金support of the Deanship of Research and Graduate Studies at Ajman University under Projects 2024-IRG-ENiT-36 and 2024-IRG-ENIT-29.
文摘Incorporation of explainability features in the decision-making web-based systems is considered a primary concern to enhance accountability,transparency,and trust in the community.Multi-domain Sentiment Analysis is a significant web-based system where the explainability feature is essential for achieving user satisfaction.Conventional design methodologies such as object-oriented design methodology(OODM)have been proposed for web-based application development,which facilitates code reuse,quantification,and security at the design level.However,OODM did not provide the feature of explainability in web-based decision-making systems.X-OODM modifies the OODM with added explainable models to introduce the explainability feature for such systems.This research introduces an explainable model leveraging X-OODM for designing transparent applications for multidomain sentiment analysis.The proposed design is evaluated using the design quality metrics defined for the evaluation of the X-OODM explainable model under user context.The design quality metrics,transferability,simulatability,informativeness,and decomposability were introduced one after another over time to the evaluation of the X-OODM user context.Auxiliary metrics of accessibility and algorithmic transparency were added to increase the degree of explainability for the design.The study results reveal that introducing such explainability parameters with X-OODM appropriately increases system transparency,trustworthiness,and user understanding.The experimental results validate the enhancement of decision-making for multi-domain sentiment analysis with integration at the design level of explainability.Future work can be built in this direction by extending this work to apply the proposed X-OODM framework over different datasets and sentiment analysis applications to further scrutinize its effectiveness in real-world scenarios.
文摘Structural development defects essentially refer to code structure that violates object-oriented design principles. They make program maintenance challenging and deteriorate software quality over time. Various detection approaches, ranging from traditional heuristic algorithms to machine learning methods, are used to identify these defects. Ensemble learning methods have strengthened the detection of these defects. However, existing approaches do not simultaneously exploit the capabilities of extracting relevant features from pre-trained models and the performance of neural networks for the classification task. Therefore, our goal has been to design a model that combines a pre-trained model to extract relevant features from code excerpts through transfer learning and a bagging method with a base estimator, a dense neural network, for defect classification. To achieve this, we composed multiple samples of the same size with replacements from the imbalanced dataset MLCQ1. For all the samples, we used the CodeT5-small variant to extract features and trained a bagging method with the neural network Roberta Classification Head to classify defects based on these features. We then compared this model to RandomForest, one of the ensemble methods that yields good results. Our experiments showed that the number of base estimators to use for bagging depends on the defect to be detected. Next, we observed that it was not necessary to use a data balancing technique with our model when the imbalance rate was 23%. Finally, for blob detection, RandomForest had a median MCC value of 0.36 compared to 0.12 for our method. However, our method was predominant in Long Method detection with a median MCC value of 0.53 compared to 0.42 for RandomForest. These results suggest that the performance of ensemble methods in detecting structural development defects is dependent on specific defects.
文摘Detecting well-known design patterns in object-oriented program source code can help maintainers understand the design of a program. Through the detection, the understandability, maintainability, and reusability of object-oriented programs can be improved. There are automated detection techniques;however, many existing techniques are based on static analysis and use strict conditions composed on class structure data. Hence, it is difficult for them to detect and distinguish design patterns in which the class structures are similar. Moreover, it is difficult for them to deal with diversity in design pattern applications. To solve these problems in existing techniques, we propose a design pattern detection technique using source code metrics and machine learning. Our technique judges candidates for the roles that compose design patterns by using machine learning and measurements of several metrics, and it detects design patterns by analyzing the relations between candidates. It suppresses false negatives and distinguishes patterns in which the class structures are similar. As a result of experimental evaluations with a set of programs, we confirmed that our technique is more accurate than two conventional techniques.
基金This work is supported by the Collaborative education project of QST Innovation Technology Group Co.,Ltd and the Ministry of Education of PRC(NO.201801243022).
文摘UML Class diagram generation from textual requirements is an important task in object-oriented design and programing course.This study proposes a method for automatically generating class diagrams from Chinese textual requirements on the basis of Natural Language Processing(NLP)and mapping rules for sentence pattern matching.First,classes are identified through entity recognition rules and candidate class pruning rules using NLP from requirements.Second,class attributes and relationships between classes are extracted using mapping rules for sentence pattern matching on the basis of NLP.Third,we developed an assistant tool integrated into a precision micro classroom system for automatic generation of class diagram,to effectively assist the teaching of object-oriented design and programing course.Results are evaluated with precision,accuracy and recall from eight requirements of object-oriented design and programing course using truth values created by teachers.Our research should benefit beginners of object-oriented design and programing course,who may be students or software developers.It helps them to create correct domain models represented in the UML class diagram.
文摘Presents an object-oriented NBO(node-block-object)data model for hypermedia system.It takes advantage of object-oriented method,encapsulates all multimedia information as well as link functions in one unit,It has successfully achieved cross link to offer much better flexibility and two-way link to realize forward and backward searching in hypermedia system navigation.A conditional relation on links has also been realized,that is very helpful for time sensitive multimedia information processing and multimedia object cooperation.
基金The National Science Fund for Distinguished Young Scholars (No.60425206)the National Natural Science Foundation of China (No.60633010)the Natural Science Foundation of Jiangsu Province(No.BK2006094)
文摘From a perspective of theoretical study, there are some faults in the models of the existing object-oriented programming languages. For example, C# does not support metaclasses, the primitive types of Java and C# are not objects, etc. So, this paper designs a programming language, Shrek, which integrates many language features and constructions in a compact and consistent model. The Shrek language is a class-based purely object-oriented language. It has a dynamical strong type system, and adopts a single-inheritance mechanism with Mixin as its complement. It has a consistent class instantiation and inheritance structure, and the ability of intercessive structural computational reflection, which enables it to support safe metaclass programming. It also supports multi-thread programming and automatic garbage collection, and enforces its expressive power by adopting a native method mechanism. The prototype system of the Shrek language is implemented and anticipated design goals are achieved.
基金The financial support provided by the Project of National Natural Science Foundation of China(U22A20415,21978256,22308314)“Pioneer”and“Leading Goose”Research&Development Program of Zhejiang(2022C01SA442617)。
文摘Heat integration is important for energy-saving in the process industry.It is linked to the persistently challenging task of optimal design of heat exchanger networks(HEN).Due to the inherent highly nonconvex nonlinear and combinatorial nature of the HEN problem,it is not easy to find solutions of high quality for large-scale problems.The reinforcement learning(RL)method,which learns strategies through ongoing exploration and exploitation,reveals advantages in such area.However,due to the complexity of the HEN design problem,the RL method for HEN should be dedicated and designed.A hybrid strategy combining RL with mathematical programming is proposed to take better advantage of both methods.An insightful state representation of the HEN structure as well as a customized reward function is introduced.A Q-learning algorithm is applied to update the HEN structure using theε-greedy strategy.Better results are obtained from three literature cases of different scales.
文摘The design of finite element analysis program using object-oriented programming (OOP) techniques is presented. The objects, classes and the subclasses used in the programming are explained. The system of classes library of finite element analysis program and Windows-type Graphical User Interfaces by VC + + and its MFC are developed. The reliability, reusability and extensibility of program are enhanced. It is a reference to develop the large-scale, versatile and powerful systems of object-oriented finite element software.
文摘The gap that exists between research and the dissemination and implementation of research findings has been well established. Food fortification, one of the most cost-effective means of addressing micronutrient malnutrition, is no exception. With decades of implementation experience, there is need to strengthen mechanisms that effectively broadcast proven strategies to promote the successful implementation of fortification programs in changing, challenging, and dynamic environments. This requires clear channels of communication, well-defined in-country leadership, and a streamlined and focused approach that can be adapted to country-specific contexts. Based on experience designing and implementing fortification programs throughout Africa and a broad understanding of past successes and failures, a model is proposed that articulates often over-looked program elements critical to design and implementation.
基金This project was supported by the National Natural Science Foundation (No. 69831020).
文摘A scheme for general purposed FDTD visual scientific computing software is introduced in this paper using object-oriented design (OOD) method. By abstracting the parameters of FDTD grids to an individual class and separating from the iteration procedure, the visual software can be adapted to more comprehensive computing problems. Real-time gray degree graphic and wave curve of the results can be achieved using DirectX technique. The special difference equation and data structure in dispersive medium are considered, and the peculiarity of parameters in perfectly matched layer are also discussed.
文摘The growing complexity of System on Chip （SOC） requres a system level specicanon and design approach. High-level languages such as C＋＋/SystemC can play multiple roles in system design as target languages. There are many practical problems in the application of object-oriented methods for this goal. Based on the analysis of traditional and system-level design methodology, a new object-oriented SOC design methodology with object-oriented design patterns is proposed, which emphasizes high-level design and verification. Aiming at the final goal of developing design patterns specific to SOC design, the reuse of design patterns in SOC systems and the capability of new SOC design patterns are discussed. With the illustration of some concrete examples of SOC design patterns, the application of object-oriented design methodology in the SOC design process is presented.
基金ESPRIT Basic Research ProCoS project 3104 and 7071
文摘In this paper they deal with the issue of specification and design of parallel communicatingprocesses. A trace-state based model is introduced to describe the behaviour of concurrent programs. They presenta formal system based on that model to achieve hierarchical and modular development and verification methods. Anumber of refinement rules are used to decompose the specification into smaller ones and calculate program fromthe
基金financial support from The University of Manchester
文摘Conceptual process design (CPD) research focuses on finding design alternatives that address various design problems. It has a long history of well-established methodologies to answer these complex questions, such as heuristics, mathematical programming, and pinch analysis. Nonetheless, progress continues from different formulations of design problems using bottom-up approaches, to the utilization of new tools such as artificial intelligence (AI). It was not until recently that AI methods were involved again in assisting the decision-making steps for chemical engineers. This has led to a gap in understanding AI's capabilities and limitations within the field of CPD research. Thus, this article aims to provide an overview of conventional methods for process synthesis, integration, and intensification approaches and survey emerging AI-assisted process design applications to bridge the gap. A review of all AI-assisted methods is highlighted, where AI is used as a key component within a design framework, to explain the utility of AI with comparative examples. The studies were categorized into supervised and reinforcement learning based on the machine learning training principles they used to enhance the understanding of requirements, benefits, and challenges that come with it. Furthermore, we provide challenges and prospects that can facilitate or hinder the progress of AI-assisted approaches in the future.
基金Project supported by the Foundation for Innovative Research Groups of the National Natural Science Foundation of China(No.12421002)the National Science Funds for Distinguished Young Scholars of China(No.12025204)+1 种基金the National Natural Science Foundation of China(No.12372015)China Scholarship Council(No.202206890065)。
文摘Multi-constrained pipes conveying fluid,such as aircraft hydraulic control pipes,are susceptible to resonance fatigue in harsh vibration environments,which may lead to system failure and even catastrophic accidents.In this study,a machine learning(ML)-assisted weak vibration design method under harsh environmental excitations is proposed.The dynamic model of a typical pipe is developed using the absolute nodal coordinate formulation(ANCF)to determine its vibrational characteristics.With the harsh vibration environments as the preserved frequency band(PFB),the safety design is defined by comparing the natural frequency with the PFB.By analyzing the safety design of pipes with different constraint parameters,the dataset of the absolute safety length and the absolute resonance length of the pipe is obtained.This dataset is then utilized to develop genetic programming(GP)algorithm-based ML models capable of producing explicit mathematical expressions of the pipe's absolute safety length and absolute resonance length with the location,stiffness,and total number of retaining clips as design variables.The proposed ML models effectively bridge the dataset with the prediction results.Thus,the ML model is utilized to stagger the natural frequency,and the PFB is utilized to achieve the weak vibration design.The findings of the present study provide valuable insights into the practical application of weak vibration design.
基金financially supported by the Biological BreedingNational Science and Technology Major Project(2023ZD0405806)the National Key R&D Program for the 14th Five-Year Plan in China(2022YFD2200304).
文摘The level of genetic variation within a breeding population affects the effectiveness of selection strategies for genetic improvement.The relationship between genetic variation level within Pinus tabuliformis breeding populations and selection strategies or selection effectiveness is not fully investigated.Here,we compared the selection effectiveness of combined and individual direct selection strategies using half-and full-sib families produced from advanced-generation P.tabuliformis seed orchard as our test populations.Our results revealed that,within half-sib families,average diameter at breast height(DBH),tree height,and volume growth of superior individuals selected by the direct selection strategy were higher by 7.72%,18.56%,and 31.01%,respectively,than those selected by the combined selection strategy.Furthermore,significant differences(P<0.01)were observed between the two strategies in terms of the expected genetic gains for average tree height and volume.In contrast,within full-sib families,the differences in tree average DBH,height,and volume between the two selection strategies were relatively minor with increase of 0.17%,2.73%,and 2.21%,respectively,and no significant differences were found in the average expected genetic gains for the studied traits.Half-sib families exhibited greater phenotypic and genetic variation,resulting in improved selection efficiency with the direct selection strategy but also introduced a level of inbreeding risk.Based on genetic distance estimates using molecular markers,our comparative seed orchard design analysis showed that the Improved Adaptive Genetic Programming Algorithm(IAPGA)reduced the average inbreeding coefficient by 14.36% and 14.73% compared to sequential and random designs,respectively.In conclusion,the combination of the direct selection strategy with IAPGA seed orchard design aimed at minimizing inbreeding offered an efficient approach for establishing advanced-generation P.tabuliformis seed orchards.
基金the High Technology Research and Development Programme of china.
文摘This article reports our research progress in concurrent design theory and methodology.The idea of Micro-Design-Cycle is introduced to provide a mechanism of coordinating variousdesign activities in parallel as much as possible.An Object-Life-Cycle diagram is developedas an instrument to visualize the Micro-Design-Cycle and as a practical tool of timing variousactivities being performed in Micro-Design-Cycles.
文摘Design and manufacture organizations currently suffer from a number of problems that aignificantly affect their productivity.Despite their fragmented efforts to automate portioas of operations,they still suffer from 'islands' of designing and manufacturing automation,long lead time for semi-custom proposals and engineering work, lengthy cycles of product development and introduction into the market,and low morale due to boring,repetitive engineering and industrial design activities.Thereby,the integration of design and manufacturing poses to the CAD/CAM researchere a series of challenges.The paper introduces a methodology that allows for the integration of product design with manufacturing process planning and the application of a new software technology known as 'Object-Oriented Intelligent Programming' .The task is achieved through an object-oriented intelligent CAD/CAM environment where a design model from the CAD system can be analysed, and manufacturing process plans with specifications of machining can be automatically determined.The manufacturing information of a part is extracted from the 3D geometric model and the 2D engineering drawing,thus,both geometric and non-geometric attributes of a part can be obtained.
