A set game, in which the worth of a coalition is expressed by a set instead of a real number, is a new type of cooperative game. A F-restricted set game is a set game restricted by partition system. The main theorems ...A set game, in which the worth of a coalition is expressed by a set instead of a real number, is a new type of cooperative game. A F-restricted set game is a set game restricted by partition system. The main theorems show the structures of IM-value,OIM-value,SCM-value and ICM-value respectively,and the equivalency of IM value and the OIM-value for monotonic set games restricted by partition system as well.展开更多
Effective partitioning is crucial for enabling parallel restoration of power systems after blackouts.This paper proposes a novel partitioning method based on deep reinforcement learning.First,the partitioning decision...Effective partitioning is crucial for enabling parallel restoration of power systems after blackouts.This paper proposes a novel partitioning method based on deep reinforcement learning.First,the partitioning decision process is formulated as a Markov decision process(MDP)model to maximize the modularity.Corresponding key partitioning constraints on parallel restoration are considered.Second,based on the partitioning objective and constraints,the reward function of the partitioning MDP model is set by adopting a relative deviation normalization scheme to reduce mutual interference between the reward and penalty in the reward function.The soft bonus scaling mechanism is introduced to mitigate overestimation caused by abrupt jumps in the reward.Then,the deep Q network method is applied to solve the partitioning MDP model and generate partitioning schemes.Two experience replay buffers are employed to speed up the training process of the method.Finally,case studies on the IEEE 39-bus test system demonstrate that the proposed method can generate a high-modularity partitioning result that meets all key partitioning constraints,thereby improving the parallelism and reliability of the restoration process.Moreover,simulation results demonstrate that an appropriate discount factor is crucial for ensuring both the convergence speed and the stability of the partitioning training.展开更多
Deformation prediction for extra-high arch dams is highly important for ensuring their safe operation.To address the challenges of complex monitoring data,the uneven spatial distribution of deformation,and the constru...Deformation prediction for extra-high arch dams is highly important for ensuring their safe operation.To address the challenges of complex monitoring data,the uneven spatial distribution of deformation,and the construction and optimization of a prediction model for deformation prediction,a multipoint ultrahigh arch dam deformation prediction model,namely,the CEEMDAN-KPCA-GSWOA-KELM,which is based on a clustering partition,is pro-posed.First,the monitoring data are preprocessed via variational mode decomposition(VMD)and wavelet denoising(WT),which effectively filters out noise and improves the signal-to-noise ratio of the data,providing high-quality input data for subsequent prediction models.Second,scientific cluster partitioning is performed via the K-means++algorithm to precisely capture the spatial distribution characteristics of extra-high arch dams and ensure the consistency of deformation trends at measurement points within each partition.Finally,CEEMDAN is used to separate monitoring data,predict and analyze each component,combine the KPCA(Kernel Principal Component Analysis)and the KELM(Kernel Extreme Learning Machine)optimized by the GSWOA(Global Search Whale Optimization Algorithm),integrate the predictions of each component via reconstruction methods,and precisely predict the overall trend of ultrahigh arch dam deformation.An extra high arch dam project is taken as an example and validated via a comparative analysis of multiple models.The results show that the multipoint deformation prediction model in this paper can combine data from different measurement points,achieve a comprehensive,precise prediction of the deformation situation of extra high arch dams,and provide strong technical support for safe operation.展开更多
Unmanned aerial vehicles(UAVs)are widely utilized in area coverage tasks due to their flexibility and efficiency in geo-graphic information acquisition.However,complex boundary conditions in actual water area maps oft...Unmanned aerial vehicles(UAVs)are widely utilized in area coverage tasks due to their flexibility and efficiency in geo-graphic information acquisition.However,complex boundary conditions in actual water area maps often reduce coverage efficiency.To address this issue,this paper proposes a map preprocessing algorithm that linearizes boundary lines and processes concave areas into concave polygons,followed by gridding the map.Additionally,a collaborative area coverage method for UAV swarms is introduced based on region partitioning,which considers the comprehensive cost of energy consumption and time.An improved Hungarian algorithm is utilized for region partitioning,and a Dubins-A*-based plow-ing area full coverage path planning method is proposed to achieve path smoothing and collaborative coverage of each partition.Two sets of simulation experiments are conducted.The first experiment verifies the effectiveness of the map preprocessing algorithm,and the second compares the proposed collaborative area coverage algorithm with other methods,demonstrating its performance advantages.展开更多
With the development of sharded blockchains,high cross-shard rates and load imbalance have emerged as major challenges.Account partitioning based on hashing and real-time load faces the issue of high cross-shard rates...With the development of sharded blockchains,high cross-shard rates and load imbalance have emerged as major challenges.Account partitioning based on hashing and real-time load faces the issue of high cross-shard rates.Account partitioning based on historical transaction graphs is effective in reducing cross-shard rates but suffers from load imbalance and limited adaptability to dynamic workloads.Meanwhile,because of the coupling between consensus and execution,a target shard must receive both the partitioned transactions and the partitioned accounts before initiating consensus and execution.However,we observe that transaction partitioning and subsequent consensus do not require actual account data but only need to determine the relative partition order between shards.Therefore,we propose a novel sharded blockchain,called HATLedger,based on Hybrid Account and Transaction partitioning.First,HATLedger proposes building a future transaction graph to detect upcoming hotspot accounts and making more precise account partitioning to reduce transaction cross-shard rates.In the event of an impending overload,the source shard employs simulated partition transactions to specify the partition order across multiple target shards,thereby rapidly partitioning the pending transactions.The target shards can reach consensus on received transactions without waiting for account data.The source shard subsequently sends the account data to the corresponding target shards in the order specified by the previously simulated partition transactions.Based on real transaction history from Ethereum,we conducted extensive sharding scalability experiments.By maintaining low cross-shard rates and a relatively balanced load distribution,HATLedger achieves throughput improvements of 2.2x,1.9x,and 1.8x over SharPer,Shard Scheduler,and TxAllo,respectively,significantly enhancing efficiency and scalability.展开更多
Taking Au3Cu-type sublattice system as an example, three discoveries have been presented. First, the fourth barrier to hinder the progress of metal materials science is that today’s researchers do not understand that...Taking Au3Cu-type sublattice system as an example, three discoveries have been presented. First, the fourth barrier to hinder the progress of metal materials science is that today’s researchers do not understand that the Gibbs energy function of an alloy phase should be derived from Gibbs energy partition function constructed of alloy gene sequence and their Gibbs energy sequence. Second, the six rules for establishing alloy gene Gibbs energy partition function have been discovered, and it has been specially proved that the probabilities of structure units occupied at the Gibbs energy levels in the degeneracy factor for calculating configuration entropy should be degenerated as ones of component atoms occupied at the lattice points. Third, the main characteristics unexpected by today’s researchers are as follows. There exists a single-phase boundary curve without two-phase region coexisting by the ordered and disordered phases. The composition and temperature of the top point on the phase-boundary curve are far away from those of the critical point of the Au3Cu compound; At 0 K, the composition of the lowest point on the composition-dependent Gibbs energy curve is notably deviated from that of the Au3Cu compounds. The theoretical limit composition range of long range ordered Au3Cu-type alloys is determined by the first jumping order degree.展开更多
Taking AuCu3-type sublattice system as an example, three discoveries have been presented: First, the third barrier hindering the progress in metal materials science is that researchers have got used to recognizing exp...Taking AuCu3-type sublattice system as an example, three discoveries have been presented: First, the third barrier hindering the progress in metal materials science is that researchers have got used to recognizing experimental phenomena of alloy phase transitions during extremely slow variation in temperature by equilibrium thinking mode and then taking erroneous knowledge of experimental phenomena as selected information for establishing Gibbs energy function and so-called equilibrium phase diagram. Second, the equilibrium holographic network phase diagrams of AuCu3-type sublattice system may be used to describe systematic correlativity of the composition?temperature-dependent alloy gene arranging structures and complete thermodynamic properties, and to be a standard for studying experimental subequilibrium order-disorder transition. Third, the equilibrium transition of each alloy is a homogeneous single-phase rather than a heterogeneous two-phase, and there exists a single-phase boundary curve without two-phase region of the ordered and disordered phases; the composition and temperature of the top point on the phase-boundary curve are far away from the ones of the critical point of the AuCu3 compound.展开更多
Quantitative analysis of the kinematics of the active faults distributed around the QinghaiTibetan Plateau is critical to understand current tectonic processes of the plateau. Chronological analysis, based on the comp...Quantitative analysis of the kinematics of the active faults distributed around the QinghaiTibetan Plateau is critical to understand current tectonic processes of the plateau. Chronological analysis, based on the comparison among regional climate and geomorphology, digital photogrammetry, offset landforms, and the tectonics were adopted in this study on the Xianshuihe fault in the eastern Tibetan plateau. Two or more offset-age data were obtained for each segment of the Xianshuihe and theYunongxi faults. The offset landforms, including river terrace, alluvial fan and glacial moraine, provide constraints for the late Quaternary slip rate of the Xianshuihe fault. The left-lateral strike slip rate of the Xianshuihe fault decreases from 17 mm/a on the northwest segment to 9.3 mm/a on the southeast segment. Regarding the Xianshuihe fault zone and its adjacent blocks as a regional tectonic system, vector analysis was used to quantitatively analyze the longitudinal kinematical transformation and transversal slip partitioning on the fault zone in terms of the kinematical parameters of the main faults within the zone. The results show that there is a distributed vertical uplift at a rate of 6.1 mm/yr caused by shortening across the Gongga Mountains region. Based on these results, we established a model of the slip partitioning for the southeastern segment of the Xianshuihe fault zone.展开更多
Partition coefficients of Urokinase(UK)were measured in aqueous two-phase systems con-taining polyethylene glycol and potassium phosphate at 273.2K.Based on the Diamond-Hsu model,a modified expression was obtained for...Partition coefficients of Urokinase(UK)were measured in aqueous two-phase systems con-taining polyethylene glycol and potassium phosphate at 273.2K.Based on the Diamond-Hsu model,a modified expression was obtained for the correlation of enzyme partitioning in theabove-mentioned systems.Utilizing a modified form,the partitioning data of UK and heteroproteinwere correlated.The results show that the modified model is simple gives good precision.and will fa-cilitate engineering scale-up of aqueous two-phase systems for certain proteins purification.展开更多
The impact dynamics of a flexible multibody system is investigated. By using a partition method, the system is divided into two parts, the local impact region and the region away from the impact. The two parts are con...The impact dynamics of a flexible multibody system is investigated. By using a partition method, the system is divided into two parts, the local impact region and the region away from the impact. The two parts are connected by specific boundary conditions, and the system after partition is equivalent to the original system. According to the rigid-flexible coupling dynamic theory of multibody system, system＇s rigid-flexible coupling dynamic equations without impact are derived. A local impulse method for establishing the initial impact conditions is proposed. It satisfies the compatibility con- ditions for contact constraints and the actual physical situation of the impact process of flexible bodies. Based on the contact constraint method, system＇s impact dynamic equa- tions are derived in a differential-algebraic form. The contact/separation criterion and the algorithm are given. An impact dynamic simulation is given. The results show that system＇s dynamic behaviors including the energy, the deformations, the displacements, and the impact force during the impact process change dramatically. The impact makes great effects on the global dynamics of the system during and after impact.展开更多
The average risk indices,such as the loss of load expectation(LOLE)and expected demand not supplied(EDNS),have been widely used in risk assessment of power systems.However,the average indices can't distinguish bet...The average risk indices,such as the loss of load expectation(LOLE)and expected demand not supplied(EDNS),have been widely used in risk assessment of power systems.However,the average indices can't distinguish between the events of low probability but high damage and the events of high probability but low damage.In order to ov+rcome these shortcomings,this paper proposes an extended risk analysis framework for the power system based on the partitioned multi-objective risk method(PMRM).展开更多
ARINC653 systems,which have been widely used in avionics industry,are an important class of safety-critical applications.Partitions are the core concept in the Arinc653 system architecture.Due to the existence of part...ARINC653 systems,which have been widely used in avionics industry,are an important class of safety-critical applications.Partitions are the core concept in the Arinc653 system architecture.Due to the existence of partitions,the system designer must allocate adequate time slots statically to each partition in the design phase.Although some time slot allocation policies could be borrowed from task scheduling policies,no existing literatures give an optimal allocation policy.In this paper,we present a partition configuration policy and prove that this policy is optimal in the sense that if this policy fails to configure adequate time slots to each partition,nor do other policies.Then,by simulation,we show the effects of different partition configuration policies on time slot allocation of partitions and task response time,respectively.展开更多
The impact problem of a flexible multibody system is a non-smooth, high-transient, and strong-nonlinear dynamic process with variable boundary. How to model the contact/impact process accurately and efficiently is one...The impact problem of a flexible multibody system is a non-smooth, high-transient, and strong-nonlinear dynamic process with variable boundary. How to model the contact/impact process accurately and efficiently is one of the main difficulties in many engineering applications. The numerical approaches being used widely in impact analysis are mainly from two fields： multibody system dynamics （MBS） and computational solid mechanics （CSM）. Approaches based on MBS provide a more efficient yet less accurate analysis of the contact/impact problems, while approaches based on CSM are well suited for particularly high accuracy needs, yet require very high computational effort. To bridge the gap between accuracy and efficiency in the dynamic simulation of a flexible multibody system with contacts/impacts, a partition method is presented considering that the contact body is divided into two parts, an impact region and a non-impact region. The impact region is modeled using the finite element method to guarantee the local accuracy, while the non-impact region is modeled using the modal reduction approach to raise the global efficiency. A three-dimensional rod-plate impact experiment is designed and performed to validate the numerical results. The principle for how to partition the contact bodies is proposed： the maximum radius of the impact region can be estimated by an analytical method, and the modal truncation orders of the non-impact region can be estimated by the highest frequency of the signal measured. The simulation results using the presented method are in good agreement with the experimental results. It shows that this method is an effec-rive formulation considering both accuracy and efficiency. Moreover, a more complicated multibody impact problem of a crank slider mechanism is investigated to strengthen this conclusion.展开更多
The close proximity and the necessity of coordination between multiple high-voltage direct currents(HVDCs)raise the issue of grid partitioning in multi-infeed HVDC systems.A multi-objective partition strategy is propo...The close proximity and the necessity of coordination between multiple high-voltage direct currents(HVDCs)raise the issue of grid partitioning in multi-infeed HVDC systems.A multi-objective partition strategy is proposed in this paper.Several types of relationships to be coordinated and complemented are analyzed and formulated using quantitative indices.According to the graph theory,the HVDC partition is transformed into a graph-cut problem and solved via the spectral clustering algorithm.Finally,the proposed method is validated for a practical multi-HVDC grid,confirming its feasibility and effectiveness.展开更多
Teicoplanin is one of the macrocyclic glycopeptide antibiotics, which is active against Gram-positive bacteria, and has attracted a lot of attention in the field of chiral separation recently. In this work, the partit...Teicoplanin is one of the macrocyclic glycopeptide antibiotics, which is active against Gram-positive bacteria, and has attracted a lot of attention in the field of chiral separation recently. In this work, the partition coefficients and extraction ratio of teicoplanin in three different solvent systems were studied: conventional extraction, reactive extraction and reverse micelle extraction. With conventional solvent extraction, n-butanol demonstrated high partition coefficient for teicoplanin, but low extraction ratio because of its high solubility in water. Reactive extraction of teicoplanin showed the highest partition coefficient with almost 100% recovery in organic phase when tri-n-octylmethyl ammonium chloride (TOMAC) was used as extractant and pH value was above 5.0. A reverse micelle system, consisted of isooctane +10mmol-L-1 TOMAC +1% n-octanol, also offered high separation factor for teicoplanin. The results are beneficial for the design of teicoplanin separation and purification process.展开更多
Taking AuCu-sublattice system as an example, we present two discoveries and a method. First, the alloy gene sequences are the central characteristic atom sequences in the basic coordination cluster sequences. Second, ...Taking AuCu-sublattice system as an example, we present two discoveries and a method. First, the alloy gene sequences are the central characteristic atom sequences in the basic coordination cluster sequences. Second, the transmission mode of the information about structures and properties of the alloy genes is described by the alloy gene Gibbs energy partition function. The most valuable method in the system sciences is “the whole obtained from a few parts”. We have established the alloy gene database and holographic alloy positioning system of the Au-Cu system, as well as alloy gene Gibbs energy partition function and equilibrium holographic network phase diagrams of the AuCu-type sublattice system. It means that a standard way for researchers to share predictive algorithms and computational methods may be produced during designing advanced alloys.展开更多
A partition-of-unity-based approach is proposed to derive an approximate model for a class of nonlinear systems. The precision of the approximate model is analyzed by using the modulus of continuity of continuous func...A partition-of-unity-based approach is proposed to derive an approximate model for a class of nonlinear systems. The precision of the approximate model is analyzed by using the modulus of continuity of continuous functions. The system stability of the approximate model is analyzed by using Lyapunov stability theory. A design algorithm for constructing tracking controllers with tracking performance related to tracking error is given based on the approximate model and the partition of unity method.展开更多
In order to solve the parallel algorithm of Petri net system with concurrent function, so as to achieve the parallel control and simulation operation of this system, this paper proposes the function partition complete...In order to solve the parallel algorithm of Petri net system with concurrent function, so as to achieve the parallel control and simulation operation of this system, this paper proposes the function partition completeness theory and algorithms of Petri net parallelization, thereby providing the theoretical support for the realization of Petri parallel algorithms. Firstly, according to the concurrent characteristics of Petri net model, we analyze the parallelism of Petri net system; then, by giving the solving process of place invariants and the function partitioning of Petri net, we propose the function partitioning conditions and determination theorem of Petri net parallelization, and conduct its theoretical proof and practical verification. On this basis, we conduct the theoretical study and analysis on the situation that Petri net system has several kinds of parallel function partitioning, propose the completeness theorem of parallelism function partitioning in Petri net system, and verify it. Finally, we give the algorithms, application examples and simulation experiment results of parallel function partitioning of Petri net systems based on place invariant. The theoretical proof and experimental results show that the function partitioning conditions and completeness theory of Petri net parallelization based on place invariant are correct, and the parallel algorithms under such theoretical basis are also correct and effective.展开更多
Phase partition of acrylonitrile in the vinylidene chloride/water system at different temperature and under pressure was studied. A calculation method for average VDC-AN copolymer composition with AN phase partition c...Phase partition of acrylonitrile in the vinylidene chloride/water system at different temperature and under pressure was studied. A calculation method for average VDC-AN copolymer composition with AN phase partition considered was proposed. The calculated results are in good agreement with the experimental data nearly the entire conversion range. VDC-AN copolymer with narrower composition distribution can be prepared in the suspension process and interpreted with dynamic equilibrium of AN between the oil and water phases continuously.展开更多
A direct numerical simulation(DNS) method is used to calculate the partitioned convection system with Ra number ranging from 10^7 to 2×10^9.Using the boundary layer thickness to normalize the height of gaps d, we...A direct numerical simulation(DNS) method is used to calculate the partitioned convection system with Ra number ranging from 10^7 to 2×10^9.Using the boundary layer thickness to normalize the height of gaps d, we find a strong consistency between the variation of the TD number(the average value of the temperature in each heat transfer channel is averaged after taking the absolute values) with the change of the height of gaps and the variation of the TD number with the change of Ra number in partitioned convection.For a given thickness of partition, heights of gaps are approximately equal to 0.5 or 1 time of the thermal boundary layer thickness λθ at different Ra numbers.TD number representing temperature characteristics is almost the constant value, which means that TD number is a function of d/λθ only.Analysis of local temperature field of area in gaps shows that the temperature distribution in the gaps are basically the same when d/λθ is certain.The heat transfer Nu number of the system at d/λθ≈ 0.5 is larger than that of d/λθ≈ 1, both of them have the same scaling law with Ra number and Nu^Ra^0.25.展开更多
文摘A set game, in which the worth of a coalition is expressed by a set instead of a real number, is a new type of cooperative game. A F-restricted set game is a set game restricted by partition system. The main theorems show the structures of IM-value,OIM-value,SCM-value and ICM-value respectively,and the equivalency of IM value and the OIM-value for monotonic set games restricted by partition system as well.
基金funded by the Beijing Engineering Research Center of Electric Rail Transportation.
文摘Effective partitioning is crucial for enabling parallel restoration of power systems after blackouts.This paper proposes a novel partitioning method based on deep reinforcement learning.First,the partitioning decision process is formulated as a Markov decision process(MDP)model to maximize the modularity.Corresponding key partitioning constraints on parallel restoration are considered.Second,based on the partitioning objective and constraints,the reward function of the partitioning MDP model is set by adopting a relative deviation normalization scheme to reduce mutual interference between the reward and penalty in the reward function.The soft bonus scaling mechanism is introduced to mitigate overestimation caused by abrupt jumps in the reward.Then,the deep Q network method is applied to solve the partitioning MDP model and generate partitioning schemes.Two experience replay buffers are employed to speed up the training process of the method.Finally,case studies on the IEEE 39-bus test system demonstrate that the proposed method can generate a high-modularity partitioning result that meets all key partitioning constraints,thereby improving the parallelism and reliability of the restoration process.Moreover,simulation results demonstrate that an appropriate discount factor is crucial for ensuring both the convergence speed and the stability of the partitioning training.
基金supported by the National Natural Science Foundation of China(Grant Nos.52069029,52369026)the Belt and Road Special Foundation of National Key Laboratory of Water Disaster Preven-tion(Grant No.2023490411)+2 种基金the Yunnan Agricultural Basic Research Joint Special General Project(Grant Nos.202501BD070001-060,202401BD070001-071)Construction Project of the Yunnan Key Laboratory of Water Security(No.20254916CE340051)the Youth Talent Project of“Xingdian Talent Support Plan”in Yunnan Province(Grant No.XDYC-QNRC-2023-0412).
文摘Deformation prediction for extra-high arch dams is highly important for ensuring their safe operation.To address the challenges of complex monitoring data,the uneven spatial distribution of deformation,and the construction and optimization of a prediction model for deformation prediction,a multipoint ultrahigh arch dam deformation prediction model,namely,the CEEMDAN-KPCA-GSWOA-KELM,which is based on a clustering partition,is pro-posed.First,the monitoring data are preprocessed via variational mode decomposition(VMD)and wavelet denoising(WT),which effectively filters out noise and improves the signal-to-noise ratio of the data,providing high-quality input data for subsequent prediction models.Second,scientific cluster partitioning is performed via the K-means++algorithm to precisely capture the spatial distribution characteristics of extra-high arch dams and ensure the consistency of deformation trends at measurement points within each partition.Finally,CEEMDAN is used to separate monitoring data,predict and analyze each component,combine the KPCA(Kernel Principal Component Analysis)and the KELM(Kernel Extreme Learning Machine)optimized by the GSWOA(Global Search Whale Optimization Algorithm),integrate the predictions of each component via reconstruction methods,and precisely predict the overall trend of ultrahigh arch dam deformation.An extra high arch dam project is taken as an example and validated via a comparative analysis of multiple models.The results show that the multipoint deformation prediction model in this paper can combine data from different measurement points,achieve a comprehensive,precise prediction of the deformation situation of extra high arch dams,and provide strong technical support for safe operation.
基金National Natural Science Foundation of China(62402020,62303022)Beijing Nova Program(20240484720)+1 种基金Project of Cultivation for Young Top-Notch Talents of Beijing Municipal Institutions(BPHR202203043)BTBU Digital Business Platform Project byBMEC.
文摘Unmanned aerial vehicles(UAVs)are widely utilized in area coverage tasks due to their flexibility and efficiency in geo-graphic information acquisition.However,complex boundary conditions in actual water area maps often reduce coverage efficiency.To address this issue,this paper proposes a map preprocessing algorithm that linearizes boundary lines and processes concave areas into concave polygons,followed by gridding the map.Additionally,a collaborative area coverage method for UAV swarms is introduced based on region partitioning,which considers the comprehensive cost of energy consumption and time.An improved Hungarian algorithm is utilized for region partitioning,and a Dubins-A*-based plow-ing area full coverage path planning method is proposed to achieve path smoothing and collaborative coverage of each partition.Two sets of simulation experiments are conducted.The first experiment verifies the effectiveness of the map preprocessing algorithm,and the second compares the proposed collaborative area coverage algorithm with other methods,demonstrating its performance advantages.
基金funded by the National Key Research and Development Program of China(Grant No.2024YFE0209000)the NSFC(Grant No.U23B2019)。
文摘With the development of sharded blockchains,high cross-shard rates and load imbalance have emerged as major challenges.Account partitioning based on hashing and real-time load faces the issue of high cross-shard rates.Account partitioning based on historical transaction graphs is effective in reducing cross-shard rates but suffers from load imbalance and limited adaptability to dynamic workloads.Meanwhile,because of the coupling between consensus and execution,a target shard must receive both the partitioned transactions and the partitioned accounts before initiating consensus and execution.However,we observe that transaction partitioning and subsequent consensus do not require actual account data but only need to determine the relative partition order between shards.Therefore,we propose a novel sharded blockchain,called HATLedger,based on Hybrid Account and Transaction partitioning.First,HATLedger proposes building a future transaction graph to detect upcoming hotspot accounts and making more precise account partitioning to reduce transaction cross-shard rates.In the event of an impending overload,the source shard employs simulated partition transactions to specify the partition order across multiple target shards,thereby rapidly partitioning the pending transactions.The target shards can reach consensus on received transactions without waiting for account data.The source shard subsequently sends the account data to the corresponding target shards in the order specified by the previously simulated partition transactions.Based on real transaction history from Ethereum,we conducted extensive sharding scalability experiments.By maintaining low cross-shard rates and a relatively balanced load distribution,HATLedger achieves throughput improvements of 2.2x,1.9x,and 1.8x over SharPer,Shard Scheduler,and TxAllo,respectively,significantly enhancing efficiency and scalability.
基金Project(51071181)supported by the National Natural Science Foundation of ChinaProject(2013FJ4043)supported by the Natural Science Foundation of Hunan Province,China
文摘Taking Au3Cu-type sublattice system as an example, three discoveries have been presented. First, the fourth barrier to hinder the progress of metal materials science is that today’s researchers do not understand that the Gibbs energy function of an alloy phase should be derived from Gibbs energy partition function constructed of alloy gene sequence and their Gibbs energy sequence. Second, the six rules for establishing alloy gene Gibbs energy partition function have been discovered, and it has been specially proved that the probabilities of structure units occupied at the Gibbs energy levels in the degeneracy factor for calculating configuration entropy should be degenerated as ones of component atoms occupied at the lattice points. Third, the main characteristics unexpected by today’s researchers are as follows. There exists a single-phase boundary curve without two-phase region coexisting by the ordered and disordered phases. The composition and temperature of the top point on the phase-boundary curve are far away from those of the critical point of the Au3Cu compound; At 0 K, the composition of the lowest point on the composition-dependent Gibbs energy curve is notably deviated from that of the Au3Cu compounds. The theoretical limit composition range of long range ordered Au3Cu-type alloys is determined by the first jumping order degree.
基金Project(51071181)supported by the National Natural Science Foundation of ChinaProject(2013FJ4043)supported by the Natural Science Foundation of Hunan Province,China
文摘Taking AuCu3-type sublattice system as an example, three discoveries have been presented: First, the third barrier hindering the progress in metal materials science is that researchers have got used to recognizing experimental phenomena of alloy phase transitions during extremely slow variation in temperature by equilibrium thinking mode and then taking erroneous knowledge of experimental phenomena as selected information for establishing Gibbs energy function and so-called equilibrium phase diagram. Second, the equilibrium holographic network phase diagrams of AuCu3-type sublattice system may be used to describe systematic correlativity of the composition?temperature-dependent alloy gene arranging structures and complete thermodynamic properties, and to be a standard for studying experimental subequilibrium order-disorder transition. Third, the equilibrium transition of each alloy is a homogeneous single-phase rather than a heterogeneous two-phase, and there exists a single-phase boundary curve without two-phase region of the ordered and disordered phases; the composition and temperature of the top point on the phase-boundary curve are far away from the ones of the critical point of the AuCu3 compound.
基金funded by National Natural Science Foundation of China(No.40802052)the National Basic Research Program of China(2004CB418401)
文摘Quantitative analysis of the kinematics of the active faults distributed around the QinghaiTibetan Plateau is critical to understand current tectonic processes of the plateau. Chronological analysis, based on the comparison among regional climate and geomorphology, digital photogrammetry, offset landforms, and the tectonics were adopted in this study on the Xianshuihe fault in the eastern Tibetan plateau. Two or more offset-age data were obtained for each segment of the Xianshuihe and theYunongxi faults. The offset landforms, including river terrace, alluvial fan and glacial moraine, provide constraints for the late Quaternary slip rate of the Xianshuihe fault. The left-lateral strike slip rate of the Xianshuihe fault decreases from 17 mm/a on the northwest segment to 9.3 mm/a on the southeast segment. Regarding the Xianshuihe fault zone and its adjacent blocks as a regional tectonic system, vector analysis was used to quantitatively analyze the longitudinal kinematical transformation and transversal slip partitioning on the fault zone in terms of the kinematical parameters of the main faults within the zone. The results show that there is a distributed vertical uplift at a rate of 6.1 mm/yr caused by shortening across the Gongga Mountains region. Based on these results, we established a model of the slip partitioning for the southeastern segment of the Xianshuihe fault zone.
基金Supported by National Natural Science Foundation of China
文摘Partition coefficients of Urokinase(UK)were measured in aqueous two-phase systems con-taining polyethylene glycol and potassium phosphate at 273.2K.Based on the Diamond-Hsu model,a modified expression was obtained for the correlation of enzyme partitioning in theabove-mentioned systems.Utilizing a modified form,the partitioning data of UK and heteroproteinwere correlated.The results show that the modified model is simple gives good precision.and will fa-cilitate engineering scale-up of aqueous two-phase systems for certain proteins purification.
基金supported by the National Natural Science Foundation of China(Nos.11132007,11272155,and 10772085)the Fundamental Research Funds for the Central Universities(No.30920130112009)the 333 Project of Jiangsu Province of China(No.BRA2011172)
文摘The impact dynamics of a flexible multibody system is investigated. By using a partition method, the system is divided into two parts, the local impact region and the region away from the impact. The two parts are connected by specific boundary conditions, and the system after partition is equivalent to the original system. According to the rigid-flexible coupling dynamic theory of multibody system, system＇s rigid-flexible coupling dynamic equations without impact are derived. A local impulse method for establishing the initial impact conditions is proposed. It satisfies the compatibility con- ditions for contact constraints and the actual physical situation of the impact process of flexible bodies. Based on the contact constraint method, system＇s impact dynamic equa- tions are derived in a differential-algebraic form. The contact/separation criterion and the algorithm are given. An impact dynamic simulation is given. The results show that system＇s dynamic behaviors including the energy, the deformations, the displacements, and the impact force during the impact process change dramatically. The impact makes great effects on the global dynamics of the system during and after impact.
文摘The average risk indices,such as the loss of load expectation(LOLE)and expected demand not supplied(EDNS),have been widely used in risk assessment of power systems.However,the average indices can't distinguish between the events of low probability but high damage and the events of high probability but low damage.In order to ov+rcome these shortcomings,this paper proposes an extended risk analysis framework for the power system based on the partitioned multi-objective risk method(PMRM).
基金supported by the National Natural Science Foundation of China under Grant No.90718019the National High-Tech Research and Development Plan of China under Grant No.2007AA010304
文摘ARINC653 systems,which have been widely used in avionics industry,are an important class of safety-critical applications.Partitions are the core concept in the Arinc653 system architecture.Due to the existence of partitions,the system designer must allocate adequate time slots statically to each partition in the design phase.Although some time slot allocation policies could be borrowed from task scheduling policies,no existing literatures give an optimal allocation policy.In this paper,we present a partition configuration policy and prove that this policy is optimal in the sense that if this policy fails to configure adequate time slots to each partition,nor do other policies.Then,by simulation,we show the effects of different partition configuration policies on time slot allocation of partitions and task response time,respectively.
基金supported by the National Natural Science Foundation of China (Grants 11772188, 11132007)
文摘The impact problem of a flexible multibody system is a non-smooth, high-transient, and strong-nonlinear dynamic process with variable boundary. How to model the contact/impact process accurately and efficiently is one of the main difficulties in many engineering applications. The numerical approaches being used widely in impact analysis are mainly from two fields： multibody system dynamics （MBS） and computational solid mechanics （CSM）. Approaches based on MBS provide a more efficient yet less accurate analysis of the contact/impact problems, while approaches based on CSM are well suited for particularly high accuracy needs, yet require very high computational effort. To bridge the gap between accuracy and efficiency in the dynamic simulation of a flexible multibody system with contacts/impacts, a partition method is presented considering that the contact body is divided into two parts, an impact region and a non-impact region. The impact region is modeled using the finite element method to guarantee the local accuracy, while the non-impact region is modeled using the modal reduction approach to raise the global efficiency. A three-dimensional rod-plate impact experiment is designed and performed to validate the numerical results. The principle for how to partition the contact bodies is proposed： the maximum radius of the impact region can be estimated by an analytical method, and the modal truncation orders of the non-impact region can be estimated by the highest frequency of the signal measured. The simulation results using the presented method are in good agreement with the experimental results. It shows that this method is an effec-rive formulation considering both accuracy and efficiency. Moreover, a more complicated multibody impact problem of a crank slider mechanism is investigated to strengthen this conclusion.
基金supported by the Science and Technology Project of State Grid Corporation of China:“Control Strategy Optimization Technology for Large-Scale Photovoltaic Power Generation on the Sending-end and Receiving-end of DC Power System”(4000-201934198A-0-0-00)
文摘The close proximity and the necessity of coordination between multiple high-voltage direct currents(HVDCs)raise the issue of grid partitioning in multi-infeed HVDC systems.A multi-objective partition strategy is proposed in this paper.Several types of relationships to be coordinated and complemented are analyzed and formulated using quantitative indices.According to the graph theory,the HVDC partition is transformed into a graph-cut problem and solved via the spectral clustering algorithm.Finally,the proposed method is validated for a practical multi-HVDC grid,confirming its feasibility and effectiveness.
文摘Teicoplanin is one of the macrocyclic glycopeptide antibiotics, which is active against Gram-positive bacteria, and has attracted a lot of attention in the field of chiral separation recently. In this work, the partition coefficients and extraction ratio of teicoplanin in three different solvent systems were studied: conventional extraction, reactive extraction and reverse micelle extraction. With conventional solvent extraction, n-butanol demonstrated high partition coefficient for teicoplanin, but low extraction ratio because of its high solubility in water. Reactive extraction of teicoplanin showed the highest partition coefficient with almost 100% recovery in organic phase when tri-n-octylmethyl ammonium chloride (TOMAC) was used as extractant and pH value was above 5.0. A reverse micelle system, consisted of isooctane +10mmol-L-1 TOMAC +1% n-octanol, also offered high separation factor for teicoplanin. The results are beneficial for the design of teicoplanin separation and purification process.
文摘Taking AuCu-sublattice system as an example, we present two discoveries and a method. First, the alloy gene sequences are the central characteristic atom sequences in the basic coordination cluster sequences. Second, the transmission mode of the information about structures and properties of the alloy genes is described by the alloy gene Gibbs energy partition function. The most valuable method in the system sciences is “the whole obtained from a few parts”. We have established the alloy gene database and holographic alloy positioning system of the Au-Cu system, as well as alloy gene Gibbs energy partition function and equilibrium holographic network phase diagrams of the AuCu-type sublattice system. It means that a standard way for researchers to share predictive algorithms and computational methods may be produced during designing advanced alloys.
基金the National Natural Science Foundation of Guangdong Province (No.032035).
文摘A partition-of-unity-based approach is proposed to derive an approximate model for a class of nonlinear systems. The precision of the approximate model is analyzed by using the modulus of continuity of continuous functions. The system stability of the approximate model is analyzed by using Lyapunov stability theory. A design algorithm for constructing tracking controllers with tracking performance related to tracking error is given based on the approximate model and the partition of unity method.
基金Supported by the National Natural Science Foundation of China(61866006,61741203)the Natural Science Foundation of Guangxi Province(2016GXNSFAA380243)+1 种基金the Guangxi Innovation-Driven Development of Special Funds Project(Gui Ke AA17204091)the Guangxi Nanning Science and Technology Development Planning Project(2018015-5)
文摘In order to solve the parallel algorithm of Petri net system with concurrent function, so as to achieve the parallel control and simulation operation of this system, this paper proposes the function partition completeness theory and algorithms of Petri net parallelization, thereby providing the theoretical support for the realization of Petri parallel algorithms. Firstly, according to the concurrent characteristics of Petri net model, we analyze the parallelism of Petri net system; then, by giving the solving process of place invariants and the function partitioning of Petri net, we propose the function partitioning conditions and determination theorem of Petri net parallelization, and conduct its theoretical proof and practical verification. On this basis, we conduct the theoretical study and analysis on the situation that Petri net system has several kinds of parallel function partitioning, propose the completeness theorem of parallelism function partitioning in Petri net system, and verify it. Finally, we give the algorithms, application examples and simulation experiment results of parallel function partitioning of Petri net systems based on place invariant. The theoretical proof and experimental results show that the function partitioning conditions and completeness theory of Petri net parallelization based on place invariant are correct, and the parallel algorithms under such theoretical basis are also correct and effective.
文摘Phase partition of acrylonitrile in the vinylidene chloride/water system at different temperature and under pressure was studied. A calculation method for average VDC-AN copolymer composition with AN phase partition considered was proposed. The calculated results are in good agreement with the experimental data nearly the entire conversion range. VDC-AN copolymer with narrower composition distribution can be prepared in the suspension process and interpreted with dynamic equilibrium of AN between the oil and water phases continuously.
基金Project supported by the National Natural Science Foundation of China(Grant Nos.11772362 and 11452002)the Special Scientific Research Fund for Super Computing in the Joint Fund of the National Natural Science Foundation of China and the People’s Government of Guangdong Province,China(Phase Ⅱ,nsfc2015_570)
文摘A direct numerical simulation(DNS) method is used to calculate the partitioned convection system with Ra number ranging from 10^7 to 2×10^9.Using the boundary layer thickness to normalize the height of gaps d, we find a strong consistency between the variation of the TD number(the average value of the temperature in each heat transfer channel is averaged after taking the absolute values) with the change of the height of gaps and the variation of the TD number with the change of Ra number in partitioned convection.For a given thickness of partition, heights of gaps are approximately equal to 0.5 or 1 time of the thermal boundary layer thickness λθ at different Ra numbers.TD number representing temperature characteristics is almost the constant value, which means that TD number is a function of d/λθ only.Analysis of local temperature field of area in gaps shows that the temperature distribution in the gaps are basically the same when d/λθ is certain.The heat transfer Nu number of the system at d/λθ≈ 0.5 is larger than that of d/λθ≈ 1, both of them have the same scaling law with Ra number and Nu^Ra^0.25.
