Objective expertise evaluation of individuals,as a prerequisite stage for team formation,has been a long-term desideratum in large software development companies.With the rapid advancements in machine learning methods...Objective expertise evaluation of individuals,as a prerequisite stage for team formation,has been a long-term desideratum in large software development companies.With the rapid advancements in machine learning methods,based on reliable existing data stored in project management tools’datasets,automating this evaluation process becomes a natural step forward.In this context,our approach focuses on quantifying software developer expertise by using metadata from the task-tracking systems.For this,we mathematically formalize two categories of expertise:technology-specific expertise,which denotes the skills required for a particular technology,and general expertise,which encapsulates overall knowledge in the software industry.Afterward,we automatically classify the zones of expertise associated with each task a developer has worked on using Bidirectional Encoder Representations from Transformers(BERT)-like transformers to handle the unique characteristics of project tool datasets effectively.Finally,our method evaluates the proficiency of each software specialist across already completed projects from both technology-specific and general perspectives.The method was experimentally validated,yielding promising results.展开更多
Developing the control of modem power converters is a very expensive and time-consuming task. Time to market can take unacceptable long. FPGA-based real-time simulation of a power stage with analog measured signals ca...Developing the control of modem power converters is a very expensive and time-consuming task. Time to market can take unacceptable long. FPGA-based real-time simulation of a power stage with analog measured signals can reduce significantly the cost and time of testing a product. This new approach is known as HIL （hardware-in-the-loop） testing. A general power converter consists of two main parts： a power level （main circuit） and a digital controller unit, which is usually realized by using some kind of DSP. Testing the controller HW and SW is quite problematic： live tests with a completely assembled converter can be dangerous and expensive. A low-power model of the main circuit can be built under laboratory conditions, but it will have parameters （e.g. time constants and relative losses） differing from the ones of the original system. The solution is the HIL simulation of the main circuit. With this method the simulator can be completely transparent for the controller unit, unlike other computer based simulation methods The subject of this paper is to develop such a real-time simulator using FPGA. The modeled circuit is a three-phase inverter, which is widely used in power converters of renewable energy sources.展开更多
An interactive web tool,PredPotS,has been developed for predicting one-electron standard reduction potentials of organic molecules in aqueous solutions.The predictions are generated using deep learning models trained ...An interactive web tool,PredPotS,has been developed for predicting one-electron standard reduction potentials of organic molecules in aqueous solutions.The predictions are generated using deep learning models trained and validated on a chemically diverse database comprising reduction potentials of approximately 8000 organic compounds.The reduction potentials of this database were computed using a composite computational protocol that combines the semiempirical quantum chemical method(GFN2-xTB)and awell-established DFT approach(M06-2X functional along with the SMD solvent model).While this computational approach is cost-effective,it is subject to certain limitations,which are nonetheless duly accounted for in the development of the database.The applied graph-based deep learning methods perform remarkably well in terms of the standard performance metrics.By entering or uploading the SMILES codes of the molecules,PredPotS provides fast and sensible predictions for one-electron standard reduction potentials for a diverse set of organic molecules also in the range compatible with the electrochemical stability of aqueous electrolytes.The PredPotS web tool is particularly well-suited for screening redox-active candidates for aqueous organic redox flow batteries,but it may also prove useful in a variety of other electrochemical applications.展开更多
Environmental sustainability is a crucial issue for all human beings,and vehicle emissions significantly contribute to climate change.This has prompted many countries,including China,Norway,and Germany,to focus on ele...Environmental sustainability is a crucial issue for all human beings,and vehicle emissions significantly contribute to climate change.This has prompted many countries,including China,Norway,and Germany,to focus on electrifying transportation.This study quantifies the life cycle carbon dioxide(CO_(2))emissions of electric buses(EBs)in Guangzhou,China,via a life cycle analysis methodology,revealing an average life cycle emission of 1,097.07 g CO_(2)·km−1·vehicle−1.The operation and charging stage contributes the most to the lifespan of CO_(2)emissions at 69.6%,driven by carbon-intensive power grid.Compared with conventional internal combustion engine buses,EBs result in significant emission reductions,but regional grid carbon intensity variations across China mean that their benefits depend on nationwide green energy adoption.By 2030,emissions are projected to decline by 15.28%,aligning with carbon peak goals.The findings emphasize that transitioning to renewable energy grids and hybrid technologies is critical for sustainable transportation.展开更多
Why is it important to verify/validate model transformations？ The motivation is to improve the quality of the trans- formations, and therefore the quality of the generated software artifacts. Verified/validated model...Why is it important to verify/validate model transformations？ The motivation is to improve the quality of the trans- formations, and therefore the quality of the generated software artifacts. Verified/validated model transformations make it possible to ensure certain properties of the generated software artifacts. In this way, verification/validation methods can guarantee different requirements stated by the actual domain against the generated/modified/optimized software products. For example, a verified/ validated model transformation can ensure the preservation of certain properties during the model-to-model transformation. This paper emphasizes the necessity of methods that make model transformation verified/validated, discusses the different scenarios of model transformation verification and validation, and introduces the principles of a novel test-driven method for verifying/ validating model transformations. We provide a solution that makes it possible to automatically generate test input models for model transformations. Furthermore, we collect and discuss the actual open issues in the field of verification/validation of model transformations.展开更多
基金supported by the project“Romanian Hub for Artificial Intelligence-HRIA”,Smart Growth,Digitization and Financial Instruments Program,2021–2027,MySMIS No.334906.
文摘Objective expertise evaluation of individuals,as a prerequisite stage for team formation,has been a long-term desideratum in large software development companies.With the rapid advancements in machine learning methods,based on reliable existing data stored in project management tools’datasets,automating this evaluation process becomes a natural step forward.In this context,our approach focuses on quantifying software developer expertise by using metadata from the task-tracking systems.For this,we mathematically formalize two categories of expertise:technology-specific expertise,which denotes the skills required for a particular technology,and general expertise,which encapsulates overall knowledge in the software industry.Afterward,we automatically classify the zones of expertise associated with each task a developer has worked on using Bidirectional Encoder Representations from Transformers(BERT)-like transformers to handle the unique characteristics of project tool datasets effectively.Finally,our method evaluates the proficiency of each software specialist across already completed projects from both technology-specific and general perspectives.The method was experimentally validated,yielding promising results.
文摘Developing the control of modem power converters is a very expensive and time-consuming task. Time to market can take unacceptable long. FPGA-based real-time simulation of a power stage with analog measured signals can reduce significantly the cost and time of testing a product. This new approach is known as HIL （hardware-in-the-loop） testing. A general power converter consists of two main parts： a power level （main circuit） and a digital controller unit, which is usually realized by using some kind of DSP. Testing the controller HW and SW is quite problematic： live tests with a completely assembled converter can be dangerous and expensive. A low-power model of the main circuit can be built under laboratory conditions, but it will have parameters （e.g. time constants and relative losses） differing from the ones of the original system. The solution is the HIL simulation of the main circuit. With this method the simulator can be completely transparent for the controller unit, unlike other computer based simulation methods The subject of this paper is to develop such a real-time simulator using FPGA. The modeled circuit is a three-phase inverter, which is widely used in power converters of renewable energy sources.
基金funded by the European Union’s Horizon 2020 research and innovation programme under grant agreement No 875565 (CompBat project).
文摘An interactive web tool,PredPotS,has been developed for predicting one-electron standard reduction potentials of organic molecules in aqueous solutions.The predictions are generated using deep learning models trained and validated on a chemically diverse database comprising reduction potentials of approximately 8000 organic compounds.The reduction potentials of this database were computed using a composite computational protocol that combines the semiempirical quantum chemical method(GFN2-xTB)and awell-established DFT approach(M06-2X functional along with the SMD solvent model).While this computational approach is cost-effective,it is subject to certain limitations,which are nonetheless duly accounted for in the development of the database.The applied graph-based deep learning methods perform remarkably well in terms of the standard performance metrics.By entering or uploading the SMILES codes of the molecules,PredPotS provides fast and sensible predictions for one-electron standard reduction potentials for a diverse set of organic molecules also in the range compatible with the electrochemical stability of aqueous electrolytes.The PredPotS web tool is particularly well-suited for screening redox-active candidates for aqueous organic redox flow batteries,but it may also prove useful in a variety of other electrochemical applications.
基金supported by the National Natural Science Foundation of China(No.52372313)JPI Urban Europe and Energimyndigheten(No.e-MATS,P2023-00029).
文摘Environmental sustainability is a crucial issue for all human beings,and vehicle emissions significantly contribute to climate change.This has prompted many countries,including China,Norway,and Germany,to focus on electrifying transportation.This study quantifies the life cycle carbon dioxide(CO_(2))emissions of electric buses(EBs)in Guangzhou,China,via a life cycle analysis methodology,revealing an average life cycle emission of 1,097.07 g CO_(2)·km−1·vehicle−1.The operation and charging stage contributes the most to the lifespan of CO_(2)emissions at 69.6%,driven by carbon-intensive power grid.Compared with conventional internal combustion engine buses,EBs result in significant emission reductions,but regional grid carbon intensity variations across China mean that their benefits depend on nationwide green energy adoption.By 2030,emissions are projected to decline by 15.28%,aligning with carbon peak goals.The findings emphasize that transitioning to renewable energy grids and hybrid technologies is critical for sustainable transportation.
基金Project partially supported by the European Union and the European Social Fund(No.TAMOP-4.2.2.C-11/1/KONV-2012-0013)
文摘Why is it important to verify/validate model transformations？ The motivation is to improve the quality of the trans- formations, and therefore the quality of the generated software artifacts. Verified/validated model transformations make it possible to ensure certain properties of the generated software artifacts. In this way, verification/validation methods can guarantee different requirements stated by the actual domain against the generated/modified/optimized software products. For example, a verified/ validated model transformation can ensure the preservation of certain properties during the model-to-model transformation. This paper emphasizes the necessity of methods that make model transformation verified/validated, discusses the different scenarios of model transformation verification and validation, and introduces the principles of a novel test-driven method for verifying/ validating model transformations. We provide a solution that makes it possible to automatically generate test input models for model transformations. Furthermore, we collect and discuss the actual open issues in the field of verification/validation of model transformations.
