The influence of different solution and aging conditions on the microstructure,impact toughness,and crack initiation and propagation mechanisms of the novel α+β titanium alloy Ti6422 was systematically investigated....The influence of different solution and aging conditions on the microstructure,impact toughness,and crack initiation and propagation mechanisms of the novel α+β titanium alloy Ti6422 was systematically investigated.By adjusting the furnace cooling time after solution treatment and the aging temperature,Ti6422 alloy samples were developed with a multi-level lamellar microstructure,in-cluding microscaleαcolonies and α_(p) lamellae,as well as nanoscale α_(s) phases.Extending the furnace cooling time after solution treatment at 920℃ for 1 h from 240 to 540 min,followed by aging at 600℃ for 6 h,increased the α_(p) lamella content,reduced the α_(s) phase content,expanded theαcolonies and α_(p) lamellae size,and improved the impact toughness from 22.7 to 53.8 J/cm^(2).Additionally,under the same solution treatment,raising the aging temperature from 500 to 700℃ resulted in a decrease in the α_(s) phase content and a growth in the thickness of the α_(p) lamella and α_(s) phase.The impact toughness increased significantly with these changes.Samples with high α_(p) lamellae content or large α_(s) phase size exhibited high crack initiation and propagation energies.Impact deformation caused severe kinking of the α_(p) lamellae in crack initiation and propagation areas,leading to a uniform and high-density kernel average misorientation(KAM)distribu-tion,enhancing plastic deformation coordination and uniformity.Moreover,the multidirectional arrangement of coarserαcolonies and α_(p) lamellae continuously deflect the crack propagation direction,inhibiting crack propagation.展开更多
As a key node of modern transportation network,the informationization management of road tunnels is crucial to ensure the operation safety and traffic efficiency.However,the existing tunnel vehicle modeling methods ge...As a key node of modern transportation network,the informationization management of road tunnels is crucial to ensure the operation safety and traffic efficiency.However,the existing tunnel vehicle modeling methods generally have problems such as insufficient 3D scene description capability and low dynamic update efficiency,which are difficult to meet the demand of real-time accurate management.For this reason,this paper proposes a vehicle twin modeling method for road tunnels.This approach starts from the actual management needs,and supports multi-level dynamic modeling from vehicle type,size to color by constructing a vehicle model library that can be flexibly invoked;at the same time,semantic constraint rules with geometric layout,behavioral attributes,and spatial relationships are designed to ensure that the virtual model matches with the real model with a high degree of similarity;ultimately,the prototype system is constructed and the case region is selected for the case study,and the dynamic vehicle status in the tunnel is realized by integrating real-time monitoring data with semantic constraints for precise virtual-real mapping.Finally,the prototype system is constructed and case experiments are conducted in selected case areas,which are combined with real-time monitoring data to realize dynamic updating and three-dimensional visualization of vehicle states in tunnels.The experiments show that the proposed method can run smoothly with an average rendering efficiency of 17.70 ms while guaranteeing the modeling accuracy(composite similarity of 0.867),which significantly improves the real-time and intuitive tunnel management.The research results provide reliable technical support for intelligent operation and emergency response of road tunnels,and offer new ideas for digital twin modeling of complex scenes.展开更多
The umbilical,a key component in offshore energy extraction,plays a vital role in ensuring the stable operation of the entire production system.The extensive variety of cross-sectional components creates highly comple...The umbilical,a key component in offshore energy extraction,plays a vital role in ensuring the stable operation of the entire production system.The extensive variety of cross-sectional components creates highly complex layout combinations.Furthermore,due to constraints in component quantity and geometry within the cross-sectional layout,filler bodies must be incorporated to maintain cross-section performance.Conventional design approaches based on manual experience suffer from inefficiency,high variability,and difficulties in quantification.This paper presents a multi-level automatic filling optimization design method for umbilical cross-sectional layouts to address these limitations.Initially,the research establishes a multi-objective optimization model that considers compactness,balance,and wear resistance of the cross-section,employing an enhanced genetic algorithm to achieve a near-optimal layout.Subsequently,the study implements an image processing-based vacancy detection technique to accurately identify cross-sectional gaps.To manage the variability and diversity of these vacant regions,the research introduces a multi-level filling method that strategically selects and places filler bodies of varying dimensions,overcoming the constraints of uniform-size fillers.Additionally,the method incorporates a hierarchical strategy that subdivides the complex cross-section into multiple layers,enabling layer-by-layer optimization and filling.This approach reduces manufac-turing equipment requirements while ensuring practical production process feasibility.The methodology is validated through a specific umbilical case study.The results demonstrate improvements in compactness,balance,and wear resistance compared with the initial cross-section,offering novel insights and valuable references for filler design in umbilical cross-sections.展开更多
In industrial control systems,such as power transmission facilities and water treatment plants,Programmable Logic Controllers(PLCs)can work consistently and stably over long periods if there are no faults.Black-box id...In industrial control systems,such as power transmission facilities and water treatment plants,Programmable Logic Controllers(PLCs)can work consistently and stably over long periods if there are no faults.Black-box identification aims to automatically construct Petri net models with the help of I/O signals from PLC devices only.The main challenge is how to convert the infinitely long PLC signals into an event sequence,which is the foundation for subsequent modeling.The current algorithms are confronted with a number of challenges,including an exponential increase in the number of transitions,high time complexity,and susceptibility to noisy signals.To solve these problems,this paper proposes a new method for converting PLC signals into a transition sequence.The method is based on the principles of Boolean absorption law,which filters out noise information in the I/O signals.Then firing functions representing input–output causality are constructed from the filtered signals.Finally,the original signal sequence is traversed to generate a transition sequence.The experimental results show that these methods can rapidly identify a transition sequence.Compared to traditional methods,the proposed algorithms have polynomial time complexity.展开更多
High-performance terahertz(THz)logic gate devices are crucial components for signal processing and modulation,playing a significant role in the application of THz communication and imaging.Here,we propose a THz broadb...High-performance terahertz(THz)logic gate devices are crucial components for signal processing and modulation,playing a significant role in the application of THz communication and imaging.Here,we propose a THz broadband NOR logic encoder based on a graphene-metal hybrid metasurface.The unit structure consists of two symmetrical dual-gap metal split-ring resonators(DSRRs)arranged in a staggered configuration,with graphene strips embedded in their gaps.The NOR logic gate metadevice is controlled by the bias voltages independently applied to the two electrodes.Experiments show that when the bias voltages are applied to both electrodes,the metadevice achieves the NOR logic gate within a 0.52 THz bandwidth,with an average modulation depth above 80%.The experimental results match well with theoretical simulations.Additionally,the strong near-field coupling induced by the staggered DSRRs causes redshift at both LC resonance and dipole resonance.This phenomenon was demonstrated by coupled mode theory.Besides,we analyze the surface current distribution at resonances and propose four equivalent circuit models to elucidate the physical mechanisms of modulation under distinct loaded voltage conditions.The results not only advance modulation and logic gate designs for THz communication but also demonstrate significant potential applications in 6G networks,THz imaging,and radar systems.展开更多
In connexive logic,two fundamental ideas are observed:first,no proposition im-plies or is implied by its own negation;second,if a proposition implies p then it will not imply the negation of 4p.In classical logic,neit...In connexive logic,two fundamental ideas are observed:first,no proposition im-plies or is implied by its own negation;second,if a proposition implies p then it will not imply the negation of 4p.In classical logic,neither of the ideas holds,which makes it difficult to give a natural semantics for connexive logic.By combining Kleene's three valued logic and Lewis'conditional logic,we propose a new natural semantics for connexive logic.We give four ax-iomatic systems characterizing different classes of selection models in the new semantics.We prove soundness and completeness of these logics and compare them with some comexive 1og-ics in the literature.展开更多
In-memory computing(IMC)based on spin-logic devices is regarded as an advantageous way to optimize the Von Neumann bottleneck.However,performing complete Boolean logic with spintronic devices typi-cally requires an in...In-memory computing(IMC)based on spin-logic devices is regarded as an advantageous way to optimize the Von Neumann bottleneck.However,performing complete Boolean logic with spintronic devices typi-cally requires an initialization operation,which can reduce processing speed.In this work,we conceptu-alize and experimentally demonstrate a programmable and initialization-free spin-logic gate,leveraging spin-orbit torque(SOT)to effectuate magnetization switching,assisted by in-plane Oersted field gener-ated by an integrated bias-field Au line.This spin-logic gate,fabricated as a Hall bar,allows complete Boolean logic operations without initialization.A current flowing through the bias-field line,which is electrically isolated from the device by a dielectric,generates an in-plane magnetic field that can invert the SOT-induced switching chirality,enabling on-the-fly complete Boolean logic operations.Additionally,the device demonstrated good reliability,repeatability,and reproducibility during logic operations.Our work demonstrates programmable and scalable spin-logic functions in a single device,offering a new approach for spin-logic operations in an IMC architecture.展开更多
As Model-Based Systems Engineering(MBSE)was applied to the Electric Multiple Unit(EMU)braking system control logic,a preliminary exploration was conducted for bullet train braking system control logic research using a...As Model-Based Systems Engineering(MBSE)was applied to the Electric Multiple Unit(EMU)braking system control logic,a preliminary exploration was conducted for bullet train braking system control logic research using an MBSE practice framework.The framework mainly includes the requirement analysis phase,functional analysis phase,and design phase.Systems Modeling Language(SysML)was used as the modeling language,and Cameo Systems Modeler(CSM)was employed as the modeling tool.By integrating the EMU braking system control logic and utilizing a top-down design approach,the implementation of MBSE in the bullet train braking system was analyzed and studied.The results show that,according to the MBSE practice framework,a unified description of the requirement analysis,functional analysis,and design synthesis of the EMU braking system control logic can be achieved.Additionally,the correlation and traceability between models can be established.展开更多
In modal logic,topological semantics is an intuitive and natural special case of neighbourhood semantics.This paper stems from the observation that the satisfaction relation of topological semantics applies to subset ...In modal logic,topological semantics is an intuitive and natural special case of neighbourhood semantics.This paper stems from the observation that the satisfaction relation of topological semantics applies to subset spaces which are more general than topological spaces.The minimal modal logic which is strongly sound and complete with respect to the class of subset spaces is found.Soundness and completeness results of some famous modal logics(e.g.S4,S5 and Tr)with respect to various important classes of subset spaces(eg intersection structures and complete fields of sets)are also proved.In the meantime,some known results,e.g.the soundness and completeness of Tr with respect to the class of discrete topological spaces,are proved directly using some modifications of the method of canonical mode1,without a detour via neighbourhood semantics or relational semantics.展开更多
As a city-customized supplementary medical insurance bridging basic medical insurance and commercial health insurance,Huimin Insurance has expanded to 30 provinces and served 168 million people within four years,emerg...As a city-customized supplementary medical insurance bridging basic medical insurance and commercial health insurance,Huimin Insurance has expanded to 30 provinces and served 168 million people within four years,emerging as a phenomenal success in China's inclusive insurance landscape.This paper examines its evolution,operational mechanisms,and effectiveness,identifying core challenges including declining participation and renewal rates,adverse selection,uneven benefit compensation,and insufficient information disclosure.It proposes sustainable development pathways across five dimensions:government role,financing and payment,product stratification,service value-added,and technology empowerment.The study demonstrates that the future of Huimin Insurance will likely evolve towards a model characterized by provincial-level co-ordination,stratified benefit design,dynamic pricing,and integrated health management.Its success or failure will ultimately determine the integration depth of China's multi-tiered medical security system and significantly impact the realization of common prosperity goals.展开更多
Institutional logic theory,a pivotal framework within organizational studies,delineates the multifaceted and intricate logics that underpin organizational fields.This theoretical perspective elucidates the manner in w...Institutional logic theory,a pivotal framework within organizational studies,delineates the multifaceted and intricate logics that underpin organizational fields.This theoretical perspective elucidates the manner in which diverse individuals or groups within an organization internalize and manifest distinct institutional logics,alongside the ensuing political and cultural conflicts.Furthermore,the theory endeavors to elucidate the complexities inherent in institutional logic across organizational fields,examining the reflection of these logics among various individuals or groups and their associated political and cultural dichotomies.Central to this discourse is the acknowledgment of the core systems that constitute the fabric of a country,encompassing the state,market,familial structures,corporate entities,professional bodies,and religious institutions.These components not only coexist with inherent conflicts but also exhibit a high degree of interdependence,underlined by their shared institutional logics.This literature attempts to review and analysis institutional logic in the field of entrepreneurship and integrates institutional logic into entrepreneurs’personal background,experience,and other social characteristics,and study how institutional logic operates.It is recommended that future researchers take entrepreneurs as the research object and conduct more in-depth research on the evolution of organizational response strategies when political and cultural conflicts occur between different groups within the enterprise,combined with institutional logic theory.展开更多
This article extends the foundational work of Wang and Wang on modal logic over lattices.Building upon their framework using polyadic modal logic with binary modalities<sup>and<inf>under standard Kripke se...This article extends the foundational work of Wang and Wang on modal logic over lattices.Building upon their framework using polyadic modal logic with binary modalities<sup>and<inf>under standard Kripke semantics to axiomatize lattice structures,we focus on the modal characterization of bounded lattices and their extensions relevant to logical systems.By introducing nullary modalities 1(maximum element)and 0(minimum element),we first establish a modal axiomatic system for bounded lattices.Subsequently,we provide pure formula characterizations of complementation and orthocomplementation relations in lattices,along with corresponding completeness results.As key applications,we present modal characterizations of fundamental logical algebraic structures:Boolean algebras,orthomodular lattices,and Heyting algebras.The last section develops novel axiomatization results for atomic lattices and atomless lattices.Throughout this work,all axiomatic systems are shown to be strongly complete via pureformula extensions,demonstrating how hybrid modal languages with nullary operators can uniformly capture boundary elements,complementation properties,and latticetheoretic operations central to both classical and nonclassical logics.展开更多
In the present paper,we give a systematic study of the discrete correspondence the-ory and topological correspondence theory of modal meet-implication logic and moda1 meet-semilattice logic,in the semantics provided i...In the present paper,we give a systematic study of the discrete correspondence the-ory and topological correspondence theory of modal meet-implication logic and moda1 meet-semilattice logic,in the semantics provided in[21].The special features of the present paper include the following three points:the first one is that the semantic structure used is based on a semilattice rather than an ordinary partial order,the second one is that the propositional vari-ables are interpreted as filters rather than upsets,and the nominals,which are the“first-order counterparts of propositional variables,are interpreted as principal filters rather than principal upsets;the third one is that in topological correspondence theory,the collection of admissi-ble valuations is not closed under taking disjunction,which makes the proof of the topological Ackermann 1emma different from existing settings.展开更多
Accurate prediction of landslide displacement is crucial for effective early warning of landslide disasters.While most existing prediction methods focus on time-series forecasting for individual monitoring points,ther...Accurate prediction of landslide displacement is crucial for effective early warning of landslide disasters.While most existing prediction methods focus on time-series forecasting for individual monitoring points,there is limited research on the spatiotemporal characteristics of landslide deformation.This paper proposes a novel Multi-Relation Spatiotemporal Graph Residual Network with Multi-Level Feature Attention(MFA-MRSTGRN)that effectively improves the prediction performance of landslide displacement through spatiotemporal fusion.This model integrates internal seepage factors as data feature enhancements with external triggering factors,allowing for accurate capture of the complex spatiotemporal characteristics of landslide displacement and the construction of a multi-source heterogeneous dataset.The MFA-MRSTGRN model incorporates dynamic graph theory and four key modules:multilevel feature attention,temporal-residual decomposition,spatial multi-relational graph convolution,and spatiotemporal fusion prediction.This comprehensive approach enables the efficient analyses of multi-source heterogeneous datasets,facilitating adaptive exploration of the evolving multi-relational,multi-dimensional spatiotemporal complexities in landslides.When applying this model to predict the displacement of the Liangshuijing landslide,we demonstrate that the MFA-MRSTGRN model surpasses traditional models,such as random forest(RF),long short-term memory(LSTM),and spatial temporal graph convolutional networks(ST-GCN)models in terms of various evaluation metrics including mean absolute error(MAE=1.27 mm),root mean square error(RMSE=1.49 mm),mean absolute percentage error(MAPE=0.026),and R-squared(R^(2)=0.88).Furthermore,feature ablation experiments indicate that incorporating internal seepage factors improves the predictive performance of landslide displacement models.This research provides an advanced and reliable method for landslide displacement prediction.展开更多
As we look ahead to future lunar exploration missions, such as crewed lunar exploration and establishing lunar scientific research stations, the lunar rovers will need to cover vast distances. These distances could ra...As we look ahead to future lunar exploration missions, such as crewed lunar exploration and establishing lunar scientific research stations, the lunar rovers will need to cover vast distances. These distances could range from kilometers to tens of kilometers, and even hundreds and thousands of kilometers. Therefore, it is crucial to develop effective long-range path planning for lunar rovers to meet the demands of lunar patrol exploration. This paper presents a hierarchical map model path planning method that utilizes the existing high-resolution images, digital elevation models and mineral abundance maps. The objective is to address the issue of the construction of lunar rover travel costs in the absence of large-scale, high-resolution digital elevation models. This method models the reference and semantic layers using the middle- and low-resolution remote sensing data. The multi-scale obstacles on the lunar surface are extracted by combining the deep learning algorithm on the high-resolution image, and the obstacle avoidance layer is modeled. A two-stage exploratory path planning decision is employed for long-distance driving path planning on a global–local scale. The proposed method analyzes the long-distance accessibility of various areas of scientific significance, such as Rima Bode. A high-precision digital elevation model is created using stereo images to validate the method. Based on the findings, it can be observed that the entire route spans a distance of 930.32 km. The route demonstrates an impressive ability to avoid meter-level impact craters and linear structures while maintaining an average slope of less than 8°. This paper explores scientific research by traversing at least seven basalt units, uncovering the secrets of lunar volcanic activities, and establishing ‘golden spike’ reference points for lunar stratigraphy. The final result of path planning can serve as a valuable reference for the design, mission demonstration, and subsequent project implementation of the new manned lunar rover.展开更多
Deep learning networks are increasingly exploited in the field of neuronal soma segmentation.However,annotating dataset is also an expensive and time-consuming task.Unsupervised domain adaptation is an effective metho...Deep learning networks are increasingly exploited in the field of neuronal soma segmentation.However,annotating dataset is also an expensive and time-consuming task.Unsupervised domain adaptation is an effective method to mitigate the problem,which is able to learn an adaptive segmentation model by transferring knowledge from a rich-labeled source domain.In this paper,we propose a multi-level distribution alignment-based unsupervised domain adaptation network(MDA-Net)for segmentation of 3D neuronal soma images.Distribution alignment is performed in both feature space and output space.In the feature space,features from different scales are adaptively fused to enhance the feature extraction capability for small target somata and con-strained to be domain invariant by adversarial adaptation strategy.In the output space,local discrepancy maps that can reveal the spatial structures of somata are constructed on the predicted segmentation results.Then thedistribution alignment is performed on the local discrepancies maps across domains to obtain a superior discrepancy map in the target domain,achieving refined segmentation performance of neuronal somata.Additionally,after a period of distribution align-ment procedure,a portion of target samples with high confident pseudo-labels are selected as training data,which assist in learning a more adaptive segmentation network.We verified the superiority of the proposed algorithm by comparing several domain adaptation networks on two 3D mouse brain neuronal somata datasets and one macaque brain neuronal soma dataset.展开更多
The ancient tacit knowledge behind the logic system permeated the culture and promoted numerous impactful inventions throughout the history. Traditional Chinese medicine with its effectiveness should also have stemmed...The ancient tacit knowledge behind the logic system permeated the culture and promoted numerous impactful inventions throughout the history. Traditional Chinese medicine with its effectiveness should also have stemmed out from such logic system. This article aims to rearticulate the underlying lucid multi-dimensional logic system, which faded in obscurity only because of time-out loss of the mid-right concept. Retracing this past tacit but important concept could uncover a multi-dimensional system over a point relating to all matters while capturing the central core of the matter. The seemingly unmanageable multidimensional logic was strengthened by verification processes which affirmed its further extensions, and made up the language of the people, the concepts of yin-yang(阴阳), and the development of extensions of Ba Gua(八卦) derivatives, which furthered the interpretation of the space-time properties and Chinese medicine.展开更多
Thyroid nodules,a common disorder in the endocrine system,require accurate segmentation in ultrasound images for effective diagnosis and treatment.However,achieving precise segmentation remains a challenge due to vari...Thyroid nodules,a common disorder in the endocrine system,require accurate segmentation in ultrasound images for effective diagnosis and treatment.However,achieving precise segmentation remains a challenge due to various factors,including scattering noise,low contrast,and limited resolution in ultrasound images.Although existing segmentation models have made progress,they still suffer from several limitations,such as high error rates,low generalizability,overfitting,limited feature learning capability,etc.To address these challenges,this paper proposes a Multi-level Relation Transformer-based U-Net(MLRT-UNet)to improve thyroid nodule segmentation.The MLRTUNet leverages a novel Relation Transformer,which processes images at multiple scales,overcoming the limitations of traditional encoding methods.This transformer integrates both local and global features effectively through selfattention and cross-attention units,capturing intricate relationships within the data.The approach also introduces a Co-operative Transformer Fusion(CTF)module to combine multi-scale features from different encoding layers,enhancing the model’s ability to capture complex patterns in the data.Furthermore,the Relation Transformer block enhances long-distance dependencies during the decoding process,improving segmentation accuracy.Experimental results showthat the MLRT-UNet achieves high segmentation accuracy,reaching 98.2% on the Digital Database Thyroid Image(DDT)dataset,97.8% on the Thyroid Nodule 3493(TG3K)dataset,and 98.2% on the Thyroid Nodule3K(TN3K)dataset.These findings demonstrate that the proposed method significantly enhances the accuracy of thyroid nodule segmentation,addressing the limitations of existing models.展开更多
基金supported by the National Natural Science Foundation of China(No.52090041).
文摘The influence of different solution and aging conditions on the microstructure,impact toughness,and crack initiation and propagation mechanisms of the novel α+β titanium alloy Ti6422 was systematically investigated.By adjusting the furnace cooling time after solution treatment and the aging temperature,Ti6422 alloy samples were developed with a multi-level lamellar microstructure,in-cluding microscaleαcolonies and α_(p) lamellae,as well as nanoscale α_(s) phases.Extending the furnace cooling time after solution treatment at 920℃ for 1 h from 240 to 540 min,followed by aging at 600℃ for 6 h,increased the α_(p) lamella content,reduced the α_(s) phase content,expanded theαcolonies and α_(p) lamellae size,and improved the impact toughness from 22.7 to 53.8 J/cm^(2).Additionally,under the same solution treatment,raising the aging temperature from 500 to 700℃ resulted in a decrease in the α_(s) phase content and a growth in the thickness of the α_(p) lamella and α_(s) phase.The impact toughness increased significantly with these changes.Samples with high α_(p) lamellae content or large α_(s) phase size exhibited high crack initiation and propagation energies.Impact deformation caused severe kinking of the α_(p) lamellae in crack initiation and propagation areas,leading to a uniform and high-density kernel average misorientation(KAM)distribu-tion,enhancing plastic deformation coordination and uniformity.Moreover,the multidirectional arrangement of coarserαcolonies and α_(p) lamellae continuously deflect the crack propagation direction,inhibiting crack propagation.
基金supported by the National Key R&D Program of China(2023YFA1406200)the National Natural Science Foundation of China(T2521005,12174144,12474009,12174146,and 124B2059)the Special Construction Project Fund for Shan-dong Province Taishan Scholars.
文摘Multifunctional optical responsive materials have grown increasingly pivotal in addressingthe escalating demands of sensing,detection,and anti-counterfeiting applications[1,2].These materials exhibit distinct visible optical variations upon exposure to external stimuli,such as pressure,temperature,light,solvents,pH fluctuations,or mechanical force.Fluorescent sensing and anti-counterfeiting technologies leveraging these optical responses have emerged as highly promising solutions.
基金National Natural Science Foundation of China(Nos.42301473,42271424,42171397)Chinese Postdoctoral Innovation Talents Support Program(No.BX20230299)+2 种基金China Postdoctoral Science Foundation(No.2023M742884)Natural Science Foundation of Sichuan Province(Nos.24NSFSC2264,2025ZNSFSC0322)Key Research and Development Project of Sichuan Province(No.24ZDYF0633).
文摘As a key node of modern transportation network,the informationization management of road tunnels is crucial to ensure the operation safety and traffic efficiency.However,the existing tunnel vehicle modeling methods generally have problems such as insufficient 3D scene description capability and low dynamic update efficiency,which are difficult to meet the demand of real-time accurate management.For this reason,this paper proposes a vehicle twin modeling method for road tunnels.This approach starts from the actual management needs,and supports multi-level dynamic modeling from vehicle type,size to color by constructing a vehicle model library that can be flexibly invoked;at the same time,semantic constraint rules with geometric layout,behavioral attributes,and spatial relationships are designed to ensure that the virtual model matches with the real model with a high degree of similarity;ultimately,the prototype system is constructed and the case region is selected for the case study,and the dynamic vehicle status in the tunnel is realized by integrating real-time monitoring data with semantic constraints for precise virtual-real mapping.Finally,the prototype system is constructed and case experiments are conducted in selected case areas,which are combined with real-time monitoring data to realize dynamic updating and three-dimensional visualization of vehicle states in tunnels.The experiments show that the proposed method can run smoothly with an average rendering efficiency of 17.70 ms while guaranteeing the modeling accuracy(composite similarity of 0.867),which significantly improves the real-time and intuitive tunnel management.The research results provide reliable technical support for intelligent operation and emergency response of road tunnels,and offer new ideas for digital twin modeling of complex scenes.
基金financially supported by Guangdong Province Basic and Applied Basic Research Fund Project(Grant No.2022B1515250009)Liaoning Provincial Natural Science Foundation-Doctoral Research Start-up Fund Project(Grant No.2024-BSBA-05)+1 种基金Major Science and Technology Innovation Project in Shandong Province(Grant No.2024CXGC010803)the National Natural Science Foundation of China(Grant Nos.52271269 and 12302147).
文摘The umbilical,a key component in offshore energy extraction,plays a vital role in ensuring the stable operation of the entire production system.The extensive variety of cross-sectional components creates highly complex layout combinations.Furthermore,due to constraints in component quantity and geometry within the cross-sectional layout,filler bodies must be incorporated to maintain cross-section performance.Conventional design approaches based on manual experience suffer from inefficiency,high variability,and difficulties in quantification.This paper presents a multi-level automatic filling optimization design method for umbilical cross-sectional layouts to address these limitations.Initially,the research establishes a multi-objective optimization model that considers compactness,balance,and wear resistance of the cross-section,employing an enhanced genetic algorithm to achieve a near-optimal layout.Subsequently,the study implements an image processing-based vacancy detection technique to accurately identify cross-sectional gaps.To manage the variability and diversity of these vacant regions,the research introduces a multi-level filling method that strategically selects and places filler bodies of varying dimensions,overcoming the constraints of uniform-size fillers.Additionally,the method incorporates a hierarchical strategy that subdivides the complex cross-section into multiple layers,enabling layer-by-layer optimization and filling.This approach reduces manufac-turing equipment requirements while ensuring practical production process feasibility.The methodology is validated through a specific umbilical case study.The results demonstrate improvements in compactness,balance,and wear resistance compared with the initial cross-section,offering novel insights and valuable references for filler design in umbilical cross-sections.
基金supported by the Science and Technology Planning Project of Fujian Province,China,under Grant No.2024H0014(2024H01010100).
文摘In industrial control systems,such as power transmission facilities and water treatment plants,Programmable Logic Controllers(PLCs)can work consistently and stably over long periods if there are no faults.Black-box identification aims to automatically construct Petri net models with the help of I/O signals from PLC devices only.The main challenge is how to convert the infinitely long PLC signals into an event sequence,which is the foundation for subsequent modeling.The current algorithms are confronted with a number of challenges,including an exponential increase in the number of transitions,high time complexity,and susceptibility to noisy signals.To solve these problems,this paper proposes a new method for converting PLC signals into a transition sequence.The method is based on the principles of Boolean absorption law,which filters out noise information in the I/O signals.Then firing functions representing input–output causality are constructed from the filtered signals.Finally,the original signal sequence is traversed to generate a transition sequence.The experimental results show that these methods can rapidly identify a transition sequence.Compared to traditional methods,the proposed algorithms have polynomial time complexity.
基金supported by the National Natural Science Foundation of China(Grant Nos.62005058 and 62365006)the Natural Science Foundation of Guangxi,China(Grant No.2020GXNSFBA238012)+2 种基金the China Postdoctoral Science Foundation(Grant No.2020M683726)the Innovation Project of Guangxi Graduate Education(Grant Nos.YCSW2024345 and YCBZ2025157)the Guangxi Key Laboratory of Automatic Detecting Technology and Instruments(Grant No.YQ24101).
文摘High-performance terahertz(THz)logic gate devices are crucial components for signal processing and modulation,playing a significant role in the application of THz communication and imaging.Here,we propose a THz broadband NOR logic encoder based on a graphene-metal hybrid metasurface.The unit structure consists of two symmetrical dual-gap metal split-ring resonators(DSRRs)arranged in a staggered configuration,with graphene strips embedded in their gaps.The NOR logic gate metadevice is controlled by the bias voltages independently applied to the two electrodes.Experiments show that when the bias voltages are applied to both electrodes,the metadevice achieves the NOR logic gate within a 0.52 THz bandwidth,with an average modulation depth above 80%.The experimental results match well with theoretical simulations.Additionally,the strong near-field coupling induced by the staggered DSRRs causes redshift at both LC resonance and dipole resonance.This phenomenon was demonstrated by coupled mode theory.Besides,we analyze the surface current distribution at resonances and propose four equivalent circuit models to elucidate the physical mechanisms of modulation under distinct loaded voltage conditions.The results not only advance modulation and logic gate designs for THz communication but also demonstrate significant potential applications in 6G networks,THz imaging,and radar systems.
基金supported by the MOE Project of Humanities and Social Sciences of China(Grant No.21YJA72040001)。
文摘In connexive logic,two fundamental ideas are observed:first,no proposition im-plies or is implied by its own negation;second,if a proposition implies p then it will not imply the negation of 4p.In classical logic,neither of the ideas holds,which makes it difficult to give a natural semantics for connexive logic.By combining Kleene's three valued logic and Lewis'conditional logic,we propose a new natural semantics for connexive logic.We give four ax-iomatic systems characterizing different classes of selection models in the new semantics.We prove soundness and completeness of these logics and compare them with some comexive 1og-ics in the literature.
基金supported by the National Science and Technology Major Project(2020AAA0109005)the National Natural Science Foundation of China(62374055,12327806,62304083,62074063,61821003,61904060,61904051,61674062)+4 种基金the Interdisciplinary Program of Wuhan National High Magnetic Field Center(WHMFC202119)the Shenzhen Science and Technology Program Award(JCYJ20220818103410022)the Shenzhen Virtual University Park(2021Szvup091)the Natural Science Foundation of Wuhan(2024040701010049)Shuai Zhang acknowledges support from the China Postdoctoral Science Foundation(2022M721237).
文摘In-memory computing(IMC)based on spin-logic devices is regarded as an advantageous way to optimize the Von Neumann bottleneck.However,performing complete Boolean logic with spintronic devices typi-cally requires an initialization operation,which can reduce processing speed.In this work,we conceptu-alize and experimentally demonstrate a programmable and initialization-free spin-logic gate,leveraging spin-orbit torque(SOT)to effectuate magnetization switching,assisted by in-plane Oersted field gener-ated by an integrated bias-field Au line.This spin-logic gate,fabricated as a Hall bar,allows complete Boolean logic operations without initialization.A current flowing through the bias-field line,which is electrically isolated from the device by a dielectric,generates an in-plane magnetic field that can invert the SOT-induced switching chirality,enabling on-the-fly complete Boolean logic operations.Additionally,the device demonstrated good reliability,repeatability,and reproducibility during logic operations.Our work demonstrates programmable and scalable spin-logic functions in a single device,offering a new approach for spin-logic operations in an IMC architecture.
文摘As Model-Based Systems Engineering(MBSE)was applied to the Electric Multiple Unit(EMU)braking system control logic,a preliminary exploration was conducted for bullet train braking system control logic research using an MBSE practice framework.The framework mainly includes the requirement analysis phase,functional analysis phase,and design phase.Systems Modeling Language(SysML)was used as the modeling language,and Cameo Systems Modeler(CSM)was employed as the modeling tool.By integrating the EMU braking system control logic and utilizing a top-down design approach,the implementation of MBSE in the bullet train braking system was analyzed and studied.The results show that,according to the MBSE practice framework,a unified description of the requirement analysis,functional analysis,and design synthesis of the EMU braking system control logic can be achieved.Additionally,the correlation and traceability between models can be established.
基金supported by the National Social Science Fund of China(No.20CZX048)。
文摘In modal logic,topological semantics is an intuitive and natural special case of neighbourhood semantics.This paper stems from the observation that the satisfaction relation of topological semantics applies to subset spaces which are more general than topological spaces.The minimal modal logic which is strongly sound and complete with respect to the class of subset spaces is found.Soundness and completeness results of some famous modal logics(e.g.S4,S5 and Tr)with respect to various important classes of subset spaces(eg intersection structures and complete fields of sets)are also proved.In the meantime,some known results,e.g.the soundness and completeness of Tr with respect to the class of discrete topological spaces,are proved directly using some modifications of the method of canonical mode1,without a detour via neighbourhood semantics or relational semantics.
文摘As a city-customized supplementary medical insurance bridging basic medical insurance and commercial health insurance,Huimin Insurance has expanded to 30 provinces and served 168 million people within four years,emerging as a phenomenal success in China's inclusive insurance landscape.This paper examines its evolution,operational mechanisms,and effectiveness,identifying core challenges including declining participation and renewal rates,adverse selection,uneven benefit compensation,and insufficient information disclosure.It proposes sustainable development pathways across five dimensions:government role,financing and payment,product stratification,service value-added,and technology empowerment.The study demonstrates that the future of Huimin Insurance will likely evolve towards a model characterized by provincial-level co-ordination,stratified benefit design,dynamic pricing,and integrated health management.Its success or failure will ultimately determine the integration depth of China's multi-tiered medical security system and significantly impact the realization of common prosperity goals.
文摘Institutional logic theory,a pivotal framework within organizational studies,delineates the multifaceted and intricate logics that underpin organizational fields.This theoretical perspective elucidates the manner in which diverse individuals or groups within an organization internalize and manifest distinct institutional logics,alongside the ensuing political and cultural conflicts.Furthermore,the theory endeavors to elucidate the complexities inherent in institutional logic across organizational fields,examining the reflection of these logics among various individuals or groups and their associated political and cultural dichotomies.Central to this discourse is the acknowledgment of the core systems that constitute the fabric of a country,encompassing the state,market,familial structures,corporate entities,professional bodies,and religious institutions.These components not only coexist with inherent conflicts but also exhibit a high degree of interdependence,underlined by their shared institutional logics.This literature attempts to review and analysis institutional logic in the field of entrepreneurship and integrates institutional logic into entrepreneurs’personal background,experience,and other social characteristics,and study how institutional logic operates.It is recommended that future researchers take entrepreneurs as the research object and conduct more in-depth research on the evolution of organizational response strategies when political and cultural conflicts occur between different groups within the enterprise,combined with institutional logic theory.
基金supported by China Postdoctoral Science Foundation(2024M750225).
文摘This article extends the foundational work of Wang and Wang on modal logic over lattices.Building upon their framework using polyadic modal logic with binary modalities<sup>and<inf>under standard Kripke semantics to axiomatize lattice structures,we focus on the modal characterization of bounded lattices and their extensions relevant to logical systems.By introducing nullary modalities 1(maximum element)and 0(minimum element),we first establish a modal axiomatic system for bounded lattices.Subsequently,we provide pure formula characterizations of complementation and orthocomplementation relations in lattices,along with corresponding completeness results.As key applications,we present modal characterizations of fundamental logical algebraic structures:Boolean algebras,orthomodular lattices,and Heyting algebras.The last section develops novel axiomatization results for atomic lattices and atomless lattices.Throughout this work,all axiomatic systems are shown to be strongly complete via pureformula extensions,demonstrating how hybrid modal languages with nullary operators can uniformly capture boundary elements,complementation properties,and latticetheoretic operations central to both classical and nonclassical logics.
基金supported by the Chinese Ministry of Education of Humanities and Social Science Project(23YJC72040003)the Key Project of Chinese Ministry of Education(22JJD720021)supported by the Natural Science Foundation of Shandong Province,China(project number:ZR2023QF021)。
文摘In the present paper,we give a systematic study of the discrete correspondence the-ory and topological correspondence theory of modal meet-implication logic and moda1 meet-semilattice logic,in the semantics provided in[21].The special features of the present paper include the following three points:the first one is that the semantic structure used is based on a semilattice rather than an ordinary partial order,the second one is that the propositional vari-ables are interpreted as filters rather than upsets,and the nominals,which are the“first-order counterparts of propositional variables,are interpreted as principal filters rather than principal upsets;the third one is that in topological correspondence theory,the collection of admissi-ble valuations is not closed under taking disjunction,which makes the proof of the topological Ackermann 1emma different from existing settings.
基金the funding support from the National Natural Science Foundation of China(Grant No.52308340)Chongqing Talent Innovation and Entrepreneurship Demonstration Team Project(Grant No.cstc2024ycjh-bgzxm0012)the Science and Technology Projects supported by China Coal Technology and Engineering Chongqing Design and Research Institute(Group)Co.,Ltd.(Grant No.H20230317).
文摘Accurate prediction of landslide displacement is crucial for effective early warning of landslide disasters.While most existing prediction methods focus on time-series forecasting for individual monitoring points,there is limited research on the spatiotemporal characteristics of landslide deformation.This paper proposes a novel Multi-Relation Spatiotemporal Graph Residual Network with Multi-Level Feature Attention(MFA-MRSTGRN)that effectively improves the prediction performance of landslide displacement through spatiotemporal fusion.This model integrates internal seepage factors as data feature enhancements with external triggering factors,allowing for accurate capture of the complex spatiotemporal characteristics of landslide displacement and the construction of a multi-source heterogeneous dataset.The MFA-MRSTGRN model incorporates dynamic graph theory and four key modules:multilevel feature attention,temporal-residual decomposition,spatial multi-relational graph convolution,and spatiotemporal fusion prediction.This comprehensive approach enables the efficient analyses of multi-source heterogeneous datasets,facilitating adaptive exploration of the evolving multi-relational,multi-dimensional spatiotemporal complexities in landslides.When applying this model to predict the displacement of the Liangshuijing landslide,we demonstrate that the MFA-MRSTGRN model surpasses traditional models,such as random forest(RF),long short-term memory(LSTM),and spatial temporal graph convolutional networks(ST-GCN)models in terms of various evaluation metrics including mean absolute error(MAE=1.27 mm),root mean square error(RMSE=1.49 mm),mean absolute percentage error(MAPE=0.026),and R-squared(R^(2)=0.88).Furthermore,feature ablation experiments indicate that incorporating internal seepage factors improves the predictive performance of landslide displacement models.This research provides an advanced and reliable method for landslide displacement prediction.
基金co-supported by the National Key Research and Development Program of China(No.2022YFF0503100)the Youth Innovation Project of Pandeng Program of National Space Science Center,Chinese Academy of Sciences(No.E3PD40012S).
文摘As we look ahead to future lunar exploration missions, such as crewed lunar exploration and establishing lunar scientific research stations, the lunar rovers will need to cover vast distances. These distances could range from kilometers to tens of kilometers, and even hundreds and thousands of kilometers. Therefore, it is crucial to develop effective long-range path planning for lunar rovers to meet the demands of lunar patrol exploration. This paper presents a hierarchical map model path planning method that utilizes the existing high-resolution images, digital elevation models and mineral abundance maps. The objective is to address the issue of the construction of lunar rover travel costs in the absence of large-scale, high-resolution digital elevation models. This method models the reference and semantic layers using the middle- and low-resolution remote sensing data. The multi-scale obstacles on the lunar surface are extracted by combining the deep learning algorithm on the high-resolution image, and the obstacle avoidance layer is modeled. A two-stage exploratory path planning decision is employed for long-distance driving path planning on a global–local scale. The proposed method analyzes the long-distance accessibility of various areas of scientific significance, such as Rima Bode. A high-precision digital elevation model is created using stereo images to validate the method. Based on the findings, it can be observed that the entire route spans a distance of 930.32 km. The route demonstrates an impressive ability to avoid meter-level impact craters and linear structures while maintaining an average slope of less than 8°. This paper explores scientific research by traversing at least seven basalt units, uncovering the secrets of lunar volcanic activities, and establishing ‘golden spike’ reference points for lunar stratigraphy. The final result of path planning can serve as a valuable reference for the design, mission demonstration, and subsequent project implementation of the new manned lunar rover.
基金supported by the Fund of Key Laboratory of Biomedical Engineering of Hainan Province(No.BME20240001)the STI2030-Major Projects(No.2021ZD0200104)the National Natural Science Foundations of China under Grant 61771437.
文摘Deep learning networks are increasingly exploited in the field of neuronal soma segmentation.However,annotating dataset is also an expensive and time-consuming task.Unsupervised domain adaptation is an effective method to mitigate the problem,which is able to learn an adaptive segmentation model by transferring knowledge from a rich-labeled source domain.In this paper,we propose a multi-level distribution alignment-based unsupervised domain adaptation network(MDA-Net)for segmentation of 3D neuronal soma images.Distribution alignment is performed in both feature space and output space.In the feature space,features from different scales are adaptively fused to enhance the feature extraction capability for small target somata and con-strained to be domain invariant by adversarial adaptation strategy.In the output space,local discrepancy maps that can reveal the spatial structures of somata are constructed on the predicted segmentation results.Then thedistribution alignment is performed on the local discrepancies maps across domains to obtain a superior discrepancy map in the target domain,achieving refined segmentation performance of neuronal somata.Additionally,after a period of distribution align-ment procedure,a portion of target samples with high confident pseudo-labels are selected as training data,which assist in learning a more adaptive segmentation network.We verified the superiority of the proposed algorithm by comparing several domain adaptation networks on two 3D mouse brain neuronal somata datasets and one macaque brain neuronal soma dataset.
文摘The ancient tacit knowledge behind the logic system permeated the culture and promoted numerous impactful inventions throughout the history. Traditional Chinese medicine with its effectiveness should also have stemmed out from such logic system. This article aims to rearticulate the underlying lucid multi-dimensional logic system, which faded in obscurity only because of time-out loss of the mid-right concept. Retracing this past tacit but important concept could uncover a multi-dimensional system over a point relating to all matters while capturing the central core of the matter. The seemingly unmanageable multidimensional logic was strengthened by verification processes which affirmed its further extensions, and made up the language of the people, the concepts of yin-yang(阴阳), and the development of extensions of Ba Gua(八卦) derivatives, which furthered the interpretation of the space-time properties and Chinese medicine.
文摘Thyroid nodules,a common disorder in the endocrine system,require accurate segmentation in ultrasound images for effective diagnosis and treatment.However,achieving precise segmentation remains a challenge due to various factors,including scattering noise,low contrast,and limited resolution in ultrasound images.Although existing segmentation models have made progress,they still suffer from several limitations,such as high error rates,low generalizability,overfitting,limited feature learning capability,etc.To address these challenges,this paper proposes a Multi-level Relation Transformer-based U-Net(MLRT-UNet)to improve thyroid nodule segmentation.The MLRTUNet leverages a novel Relation Transformer,which processes images at multiple scales,overcoming the limitations of traditional encoding methods.This transformer integrates both local and global features effectively through selfattention and cross-attention units,capturing intricate relationships within the data.The approach also introduces a Co-operative Transformer Fusion(CTF)module to combine multi-scale features from different encoding layers,enhancing the model’s ability to capture complex patterns in the data.Furthermore,the Relation Transformer block enhances long-distance dependencies during the decoding process,improving segmentation accuracy.Experimental results showthat the MLRT-UNet achieves high segmentation accuracy,reaching 98.2% on the Digital Database Thyroid Image(DDT)dataset,97.8% on the Thyroid Nodule 3493(TG3K)dataset,and 98.2% on the Thyroid Nodule3K(TN3K)dataset.These findings demonstrate that the proposed method significantly enhances the accuracy of thyroid nodule segmentation,addressing the limitations of existing models.
