The increased demand for personalized customization calls for new production modes to enhance collaborations among a wide range of manufacturing practitioners who unnecessarily trust each other.In this article,a block...The increased demand for personalized customization calls for new production modes to enhance collaborations among a wide range of manufacturing practitioners who unnecessarily trust each other.In this article,a blockchain-enabled manufacturing collaboration framework is proposed,with a focus on the production capacity matching problem for blockchainbased peer-to-peer(P2P)collaboration.First,a digital model of production capacity description is built for trustworthy and transparent sharing over the blockchain.Second,an optimization problem is formulated for P2P production capacity matching with objectives to maximize both social welfare and individual benefits of all participants.Third,a feasible solution based on an iterative double auction mechanism is designed to determine the optimal price and quantity for production capacity matching with a lack of personal information.It facilitates automation of the matching process while protecting users'privacy via blockchainbased smart contracts.Finally,simulation results from the Hyperledger Fabric-based prototype show that the proposed approach increases social welfare by 1.4%compared to the Bayesian game-based approach,makes all participants profitable,and achieves 90%fairness of enterprises.展开更多
Ground source heat pump systems demonstrate significant potential for northern rural heating applications;however,the effectiveness of these systems is often limited by challenging geological conditions.For instance,i...Ground source heat pump systems demonstrate significant potential for northern rural heating applications;however,the effectiveness of these systems is often limited by challenging geological conditions.For instance,in certain regions,the installation of buried pipes for heat exchangers may be complicated,and these pipes may not always serve as efficient low-temperature heat sources for the heat pumps of the system.To address this issue,the current study explored the use of solar-energy-collecting equipment to supplement buried pipes.In this design,both solar energy and geothermal energy provide low-temperature heat to the heat pump.First,a simulation model of a solar‒ground source heat pump coupling system was established using TRNSYS.The accuracy of this model was validated through experiments and simulations on various system configurations,including varying numbers of buried pipes,different areas of solar collectors,and varying volumes of water tanks.The simulations examined the coupling characteristics of these components and their influence on system performance.The results revealed that the operating parameters of the system remained consistent across the following configurations:three buried pipes,burial depth of 20 m,collector area of 6 m^(2),and water tank volume of 0.5 m^(3);four buried pipes,burial depth of 20 m,collector area of 3 m^(2),and water tank volume of 0.5 m^(3);and five buried pipes with a burial depth of 20 m.Furthermore,the heat collection capacity of the solar collectors spanning an area of 3 m^(2)was found to be equivalent to that of one buried pipe.Moreover,the findings revealed that the solar‒ground source heat pump coupling system demonstrated a lower annual cumulative energy consumption compared to the ground source heat pump system,presenting a reduction of 5.31%compared to the energy consumption of the latter.展开更多
The concept of matching energy was proposed by Gutman and Wagner firstly in 2012. Let G be a simple graph of order n and λ1, λ2, . . . , λn be the zeros of its matching polynomial. The matching energy of a graph G ...The concept of matching energy was proposed by Gutman and Wagner firstly in 2012. Let G be a simple graph of order n and λ1, λ2, . . . , λn be the zeros of its matching polynomial. The matching energy of a graph G is defined as ME(G) = Pni=1 |λi|. By the famous Coulson’s formula, matching energies can also be calculated by an improper integral depending on a parameter. A k-claw attaching graph Gu(k) refers to the graph obtained by attaching k pendent edges to the graph G at the vertex u, where u is called the root of Gu(k). In this paper, we use some theories of mathematical analysis to obtain a new technique to compare the matching energies of two k-claw attaching graphs Gu(k) and Hv(k) with the same order, that is, limk→∞[ME(Gu(k)) − ME(Hv(k))] = ME(G − u) − ME(H − v). By the technique, we finally determine unicyclic graphs of order n with the 9th to 13th minimal matching energies for all n ≥ 58.展开更多
Most existing multi-pattern matching algorithms are designed for single English texts leading to issues such as missed matches and space expansion when applied to Chinese-English mixed-text environments.The Hash Trie-...Most existing multi-pattern matching algorithms are designed for single English texts leading to issues such as missed matches and space expansion when applied to Chinese-English mixed-text environments.The Hash Trie-based matching machine demonstrates strong compatibility with both Chinese and English,ensuring high accuracy in text processing and subtree positioning.In this study,a novel functional framework based on the HashTrie structure is proposed and mechanically verified using Isabelle/HOL.This framework is applied to design Functional Multi-Pattern Matching(FMPM),the first functional multi-pattern matching algorithm for Chinese-English mixed texts.FMPM constructs the HashTrie matching machine using character codes and threads the machine according to the associations between pattern strings.The experimental results show that as the stored string information increases,the proposed algorithm demonstrates more significant optimization in retrieval efficiency.FMPM simplifies the implementation of the Threaded Hash Trie(THT)for Chinese-English mixed texts,effectively reducing the uncertainties in the transition from the algorithm description to code implementation.FMPM addresses the problem of space explosion Chinese-English mixed texts and avoids issues such as bound variable iteration errors.The functional framework of the HashTrie structure serves as a reference for the formal verification of future HashTrie-based algorithms.展开更多
With the rapid development of online education,the impact of interface design on learning experience has become increasingly prominent.Reasonable color matching can effectively improve learning efficiency,enhance user...With the rapid development of online education,the impact of interface design on learning experience has become increasingly prominent.Reasonable color matching can effectively improve learning efficiency,enhance user engagement,and improve visual experience.This paper analyzes the application of color matching in interface design,discusses the principle of color matching in online course interfaces,and puts forward some design strategies.It provides a practical reference for the interface design of an online education platform.展开更多
Session-based recommendation systems(SBR)are pivotal in suggesting items by analyzing anonymized sequences of user interactions.Traditional methods,while competent,often fall short in two critical areas:they fail to a...Session-based recommendation systems(SBR)are pivotal in suggesting items by analyzing anonymized sequences of user interactions.Traditional methods,while competent,often fall short in two critical areas:they fail to address potential inter-session item transitions,which are behavioral dependencies that extend beyond individual session boundaries,and they rely on monolithic item aggregation to construct session representations.This approach does not capture the multi-scale and heterogeneous nature of user intent,leading to a decrease in modeling accuracy.To overcome these limitations,a novel approach called HMGS has been introduced.This system incorporates dual graph architectures to enhance the recommendation process.A global transition graph captures latent cross-session item dependencies,while a heterogeneous intra-session graph encodesmulti-scale item embeddings through localized feature propagation.Additionally,amulti-tier graphmatchingmechanism aligns user preference signals across different granularities,significantly improving interest localization accuracy.Empirical validation on benchmark datasets(Tmall and Diginetica)confirms HMGS’s efficacy against state-of-the-art baselines.Quantitative analysis reveals performance gains of 20.54%and 12.63%in Precision@10 on Tmall and Diginetica,respectively.Consistent improvements are observed across auxiliary metrics,with MRR@10,Precision@20,and MRR@20 exhibiting enhancements between 4.00%and 21.36%,underscoring the framework’s robustness in multi-faceted recommendation scenarios.展开更多
After the design of aerospace products is completed,a manufacturability assessment needs to be conducted based on 3D model's features in terms of modeling quality and process design,otherwise the cost of design ch...After the design of aerospace products is completed,a manufacturability assessment needs to be conducted based on 3D model's features in terms of modeling quality and process design,otherwise the cost of design changes will increase.Due to the poor structure and low reusability of product manufacturing feature information and assessment knowledge in the current aerospace product manufacturability assessment process,it is difficult to realize automated manufacturability assessment.To address these issues,a domain ontology model is established for aerospace product manufacturability assessment in this paper.On this basis,a structured representation method of manufacturability assessment knowledge and a knowledge graph data layer construction method are proposed.Based on the semantic information and association information expressed by the knowledge graph,a rule matching method based on subgraph matching is proposed to improve the precision and recall.Finally,applications and experiments based on the software platform verify the effectiveness of the proposed knowledge graph construction and rule matching method.展开更多
基金supported in part by the National Natural Science Foundation of China(62273310)the Natural Science Foundation of Zhejiang Province of China(LY22F030006,LZ24F030009)
文摘The increased demand for personalized customization calls for new production modes to enhance collaborations among a wide range of manufacturing practitioners who unnecessarily trust each other.In this article,a blockchain-enabled manufacturing collaboration framework is proposed,with a focus on the production capacity matching problem for blockchainbased peer-to-peer(P2P)collaboration.First,a digital model of production capacity description is built for trustworthy and transparent sharing over the blockchain.Second,an optimization problem is formulated for P2P production capacity matching with objectives to maximize both social welfare and individual benefits of all participants.Third,a feasible solution based on an iterative double auction mechanism is designed to determine the optimal price and quantity for production capacity matching with a lack of personal information.It facilitates automation of the matching process while protecting users'privacy via blockchainbased smart contracts.Finally,simulation results from the Hyperledger Fabric-based prototype show that the proposed approach increases social welfare by 1.4%compared to the Bayesian game-based approach,makes all participants profitable,and achieves 90%fairness of enterprises.
基金supported by 2024 Central Guidance Local Science and Technology Development Fund Project"Study on the mechanism and evaluation method of thermal pollution in water bodies,as well as research on thermal carrying capacity".(Grant 246Z4506G)Key Research and Development Project in Hebei Province:"Key Technologies and Equipment Research and Demonstration of Multiple Energy Complementary(Electricity,Heat,Cold System)for Solar Energy,Geothermal Energy,Phase Change Energy"(Grant 236Z4310G)the Hebei Academy of Sciences Key Research and Development Program"Research on Heat Transfer Mechanisms and Efficient Applications of Intermediate and Deep Geothermal Energy"(22702)。
文摘Ground source heat pump systems demonstrate significant potential for northern rural heating applications;however,the effectiveness of these systems is often limited by challenging geological conditions.For instance,in certain regions,the installation of buried pipes for heat exchangers may be complicated,and these pipes may not always serve as efficient low-temperature heat sources for the heat pumps of the system.To address this issue,the current study explored the use of solar-energy-collecting equipment to supplement buried pipes.In this design,both solar energy and geothermal energy provide low-temperature heat to the heat pump.First,a simulation model of a solar‒ground source heat pump coupling system was established using TRNSYS.The accuracy of this model was validated through experiments and simulations on various system configurations,including varying numbers of buried pipes,different areas of solar collectors,and varying volumes of water tanks.The simulations examined the coupling characteristics of these components and their influence on system performance.The results revealed that the operating parameters of the system remained consistent across the following configurations:three buried pipes,burial depth of 20 m,collector area of 6 m^(2),and water tank volume of 0.5 m^(3);four buried pipes,burial depth of 20 m,collector area of 3 m^(2),and water tank volume of 0.5 m^(3);and five buried pipes with a burial depth of 20 m.Furthermore,the heat collection capacity of the solar collectors spanning an area of 3 m^(2)was found to be equivalent to that of one buried pipe.Moreover,the findings revealed that the solar‒ground source heat pump coupling system demonstrated a lower annual cumulative energy consumption compared to the ground source heat pump system,presenting a reduction of 5.31%compared to the energy consumption of the latter.
基金Supported by the National Natural Science Foundation of China(Nos.12271439,11871398)the National College Students Innovation and Entrepreneurship Training Program(No.201910699173)。
文摘The concept of matching energy was proposed by Gutman and Wagner firstly in 2012. Let G be a simple graph of order n and λ1, λ2, . . . , λn be the zeros of its matching polynomial. The matching energy of a graph G is defined as ME(G) = Pni=1 |λi|. By the famous Coulson’s formula, matching energies can also be calculated by an improper integral depending on a parameter. A k-claw attaching graph Gu(k) refers to the graph obtained by attaching k pendent edges to the graph G at the vertex u, where u is called the root of Gu(k). In this paper, we use some theories of mathematical analysis to obtain a new technique to compare the matching energies of two k-claw attaching graphs Gu(k) and Hv(k) with the same order, that is, limk→∞[ME(Gu(k)) − ME(Hv(k))] = ME(G − u) − ME(H − v). By the technique, we finally determine unicyclic graphs of order n with the 9th to 13th minimal matching energies for all n ≥ 58.
基金Supported by the National Natural Science Foundation of China(62462036,62462037)Jiangxi Provincial Natural Science Foundation(20242BAB26017,20232BAB202010)+1 种基金Cultivation Project for Academic and Technical Leader in Major Disciplines in Jiangxi Province(20232BCJ22013)the Jiangxi Province Graduate Innovation Found Project(YC2024-S214)。
文摘Most existing multi-pattern matching algorithms are designed for single English texts leading to issues such as missed matches and space expansion when applied to Chinese-English mixed-text environments.The Hash Trie-based matching machine demonstrates strong compatibility with both Chinese and English,ensuring high accuracy in text processing and subtree positioning.In this study,a novel functional framework based on the HashTrie structure is proposed and mechanically verified using Isabelle/HOL.This framework is applied to design Functional Multi-Pattern Matching(FMPM),the first functional multi-pattern matching algorithm for Chinese-English mixed texts.FMPM constructs the HashTrie matching machine using character codes and threads the machine according to the associations between pattern strings.The experimental results show that as the stored string information increases,the proposed algorithm demonstrates more significant optimization in retrieval efficiency.FMPM simplifies the implementation of the Threaded Hash Trie(THT)for Chinese-English mixed texts,effectively reducing the uncertainties in the transition from the algorithm description to code implementation.FMPM addresses the problem of space explosion Chinese-English mixed texts and avoids issues such as bound variable iteration errors.The functional framework of the HashTrie structure serves as a reference for the formal verification of future HashTrie-based algorithms.
文摘With the rapid development of online education,the impact of interface design on learning experience has become increasingly prominent.Reasonable color matching can effectively improve learning efficiency,enhance user engagement,and improve visual experience.This paper analyzes the application of color matching in interface design,discusses the principle of color matching in online course interfaces,and puts forward some design strategies.It provides a practical reference for the interface design of an online education platform.
基金funded by the State Grid Hebei Electric Power Company(Project Number:KJ2023-093).
文摘Session-based recommendation systems(SBR)are pivotal in suggesting items by analyzing anonymized sequences of user interactions.Traditional methods,while competent,often fall short in two critical areas:they fail to address potential inter-session item transitions,which are behavioral dependencies that extend beyond individual session boundaries,and they rely on monolithic item aggregation to construct session representations.This approach does not capture the multi-scale and heterogeneous nature of user intent,leading to a decrease in modeling accuracy.To overcome these limitations,a novel approach called HMGS has been introduced.This system incorporates dual graph architectures to enhance the recommendation process.A global transition graph captures latent cross-session item dependencies,while a heterogeneous intra-session graph encodesmulti-scale item embeddings through localized feature propagation.Additionally,amulti-tier graphmatchingmechanism aligns user preference signals across different granularities,significantly improving interest localization accuracy.Empirical validation on benchmark datasets(Tmall and Diginetica)confirms HMGS’s efficacy against state-of-the-art baselines.Quantitative analysis reveals performance gains of 20.54%and 12.63%in Precision@10 on Tmall and Diginetica,respectively.Consistent improvements are observed across auxiliary metrics,with MRR@10,Precision@20,and MRR@20 exhibiting enhancements between 4.00%and 21.36%,underscoring the framework’s robustness in multi-faceted recommendation scenarios.
基金Sponsored by the National Key Research and Development Program from Ministry of Science and Technology of the People's Republic of China (Grant No.2020YFB1711403)。
文摘After the design of aerospace products is completed,a manufacturability assessment needs to be conducted based on 3D model's features in terms of modeling quality and process design,otherwise the cost of design changes will increase.Due to the poor structure and low reusability of product manufacturing feature information and assessment knowledge in the current aerospace product manufacturability assessment process,it is difficult to realize automated manufacturability assessment.To address these issues,a domain ontology model is established for aerospace product manufacturability assessment in this paper.On this basis,a structured representation method of manufacturability assessment knowledge and a knowledge graph data layer construction method are proposed.Based on the semantic information and association information expressed by the knowledge graph,a rule matching method based on subgraph matching is proposed to improve the precision and recall.Finally,applications and experiments based on the software platform verify the effectiveness of the proposed knowledge graph construction and rule matching method.
