Herein,a ternary supramolecular assembly(BPP-BQ?CB[8]-SCD)is successfully constructed by a bromophenylpyridine-tethered-bromoisoquinoline(BPP-BQ),cucurbit[8]uril(CB[8])and sulfonatedβ-cyclodextrin(SCD)via successive ...Herein,a ternary supramolecular assembly(BPP-BQ?CB[8]-SCD)is successfully constructed by a bromophenylpyridine-tethered-bromoisoquinoline(BPP-BQ),cucurbit[8]uril(CB[8])and sulfonatedβ-cyclodextrin(SCD)via successive assembling way,exhibiting progressively enhanced green roomtemperature phosphorescence(RTP).The self-aggregates of BPP-BQ?CB[8]-SCD accommodate an energy acceptor rhodamine B(Rh B)to form a light-harvesting system(BPP-BQ?CB[8]-SCD@Rh B)with further enhanced yellow long-lifetime luminescence with large Stokes shift based on triplet-singlet F?rster resonance energy transfer(TS-FRET).Crucially,the introduction of a photoactive diarylethene achieves the long-lived photoluminescence of BPP-BQ?CB[8]-SCD@Rh B to be switched with the efficiency of up to98%through logically ordered lowering/enhancing RTP performance of the energy donor and intercepting/restoring TS-FRET pathway,when stimulated by host-vip competition and light illumination in sequence.Moreover,BPP-BQ?CB[8]-SCD@Rh B is evenly doped into polyvinyl alcohol or polyacrylamide to obtain high-performance luminescent films with long afterglow.The abovementioned logically ordered stimulus-switched long-lived emission enables the light-harvesting system in both solution and solid state to be applied in high-security-level information encryption and transformation,and anticounterfeiting.展开更多
Higher-order band topology not only enriches our understanding of topological phases but also unveils pioneering lower-dimensional boundary states,which harbors substantial potential for next-generation device applica...Higher-order band topology not only enriches our understanding of topological phases but also unveils pioneering lower-dimensional boundary states,which harbors substantial potential for next-generation device applications.The distinct electronic configurations and tunable attributes of two-dimensional materials position them as a quintessential platform for the realization of second-order topological insulators(SOTIs).This article provides an overview of the research progress in SOTIs within the field of two-dimensional electronic materials,focusing on the characterization of higher-order topological properties and the numerous candidate materials proposed in theoretical studies.These endeavors not only enhance our understanding of higher-order topological states but also highlight potential material systems that could be experimentally realized.展开更多
Higher-order topological insulators,which host topologically protected states at boundaries that are at least two dimensions lower than the bulk,are an emerging class of topological materials.They provide great opport...Higher-order topological insulators,which host topologically protected states at boundaries that are at least two dimensions lower than the bulk,are an emerging class of topological materials.They provide great opportunities for exploring novel topological phenomena and fascinating applications.Utilizing a low-temperature scanning tunneling microscope,we construct breathing-kagome lattices with Fe adatoms on Ag(111)and investigate their electronic properties.We observe the higher-order topological boundary states in the topological phase but not in the trivial one,which is consistent with the theory.These states are found to be robust against the removal of bulk or edge adatoms.Further,we show the arbitrary positioning of these states either at corner,edge,or bulk sites by slightly modifying their neighbors.Our study not only demonstrates the formation and robustness of the electronic higher-order topological boundary states in real atomic systems but also provides a route for controlling their positions.展开更多
In the era of Big Data,the attention economy has emerged as a core logic of capital accumulation,yet behavioral economic explanations fail to penetrate the unconscious drives and desire structures underlying attention...In the era of Big Data,the attention economy has emerged as a core logic of capital accumulation,yet behavioral economic explanations fail to penetrate the unconscious drives and desire structures underlying attention investment.This paper adopts Lacan’s topological framework of the three orders(the Real,the Symbolic,and the Imaginary)to conduct a psychoanalytic dissection of the attention economy.It argues that Big Data-driven attention mechanisms essentially manipulate desire across these three orders:algorithms,functioning as the“digital big Other,”exploit the Real’s traumatic surplus and the deferred structure of desire through infinite scroll and traumatic stimuli;regulate identity production in the Symbolic via visibility laws,social currency,and datafication;and construct narcissistic illusions in the Imaginary through filters,filter bubbles,and illusions of hyperconnection.Ultimately,the paper proposes an ethics of lucid attention,calling for critical algorithmic literacy,confrontation with the Real’s lack,dismantling of Imaginary illusions,and reclaiming sovereignty over attention-essential for preserving subjective dignity and human freedom in the digital age.展开更多
We classify condensable𝐸E_(2)-algebras in a modular tensor category C up to 2-Morita equivalence.Physically,this classification provides an explicit criterion to determine when distinct condensable𝐸E_(...We classify condensable𝐸E_(2)-algebras in a modular tensor category C up to 2-Morita equivalence.Physically,this classification provides an explicit criterion to determine when distinct condensable𝐸E_(2)-algebras yield the same condensed topological phase under a two-dimensional anyon condensation process.The relations between different condensable algebras can be translated into their module categories,interpreted physically as gapped domain walls in topological orders.As concrete examples,we interpret the categories of quantum doubles of finite groups and examples beyond group symmetries.Our framework fully elucidates the interplay among condensable𝐸E_(1)-algebras in C,condensable𝐸E_(2)-algebras in C up to 2-Morita equivalence,and Lagrangian algebras in C⊠C.展开更多
Molecular dynamics simulations were carried out to study the effect of chemical short-range order(CSRO)on the primary radiation damage in TiVTaNb high-entropy alloys(HEAs).We have performed displacement cascade simula...Molecular dynamics simulations were carried out to study the effect of chemical short-range order(CSRO)on the primary radiation damage in TiVTaNb high-entropy alloys(HEAs).We have performed displacement cascade simulations to explore the CSRO effect on the generation and evolution behaviors of irradiation defects.The results demonstrate that CSRO can suppress the formation of Frenkel pairs in TiVTaNb HEAs,with the suppression effect becoming more pronounced as the degree of CSRO increases.CSRO can change the types of interstitial defects generated during cascade collisions.Specifically,as the degree of CSRO increases,the proportion of Ti-related interstitials shows a marked enhancement,primarily evidenced by a significant rise in Ti–Ti dumbbells accompanied by a corresponding decrease in Ti–V dumbbells.CSRO exhibits negligible influence on defect clustering and the nucleation and evolution of dislocation loops.Regardless of CSRO conditions,TiVTaNb HEAs preserve exceptional radiation tolerance throughout the cascade damage process,suggesting that the intrinsic properties of this multi-principal element system dominate its radiation response.These findings provide fundamental insights into the CSRO effect on defect formation and evolution behaviors in HEAs,which may provide new design strategies for high-entropy alloys.展开更多
To address the issue that hybrid flow shop production struggles to handle order disturbance events,a dynamic scheduling model was constructed.The model takes minimizing the maximum makespan,delivery time deviation,and...To address the issue that hybrid flow shop production struggles to handle order disturbance events,a dynamic scheduling model was constructed.The model takes minimizing the maximum makespan,delivery time deviation,and scheme deviation degree as the optimization objectives.An adaptive dynamic scheduling strategy based on the degree of order disturbance is proposed.An improved multi-objective Grey Wolf(IMOGWO)optimization algorithm is designed by combining the“job-machine”two-layer encoding strategy,the timing-driven two-stage decoding strategy,the opposition-based learning initialization population strategy,the POX crossover strategy,the dualoperation dynamic mutation strategy,and the variable neighborhood search strategy for problem solving.A variety of test cases with different scales were designed,and ablation experiments were conducted to verify the effectiveness of the improved strategies.The results show that each improved strategy can effectively enhance the performance of the IMOGWO.Additionally,performance analysis was conducted by comparing the proposed algorithm with three mature and classical algorithms.The results demonstrate that the proposed algorithm exhibits superior performance in solving the hybrid flow-shop scheduling problem(HFSP).Case validations were conducted for different types of order disturbance scenarios.The results demonstrate that the proposed adaptive dynamic scheduling strategy and the IMOGWO algorithm can effectively address order disturbance events.They enable rapid response to order disturbance while ensuring the stability of the production system.展开更多
In conventional higher-order topological insulators(HOTIs),the emergence of topological states can be explained by using the nonzero bulk polarization index.However,corner states emerge in HOTIs with incomplete bounda...In conventional higher-order topological insulators(HOTIs),the emergence of topological states can be explained by using the nonzero bulk polarization index.However,corner states emerge in HOTIs with incomplete boundary unit cells(i.e.,boundary defects)even though the bulk polarization is zero,which challenges the conventional understanding of HOTIs.Here,based on a Kekul´e-distorted honeycomb lattice with incomplete unit cells,we reveal that incomplete unit cells exhibit fractional charges through the analysis of Wannier centers by developing a compensation method and creating the concept of Wannier center domain(WCD)which is the smallest region that one Wannier center occupies.This method compensates for the missing parts of these boundary incomplete unit cells with additional WCDs to make them complete.The compensated WCDs automatically carry the corresponding charge,and this charge together with that of the incomplete unit cell constitutes the total charge of the complete unit cell after compensation.We conclude that the emergence of corner states is attributed to the filling anomaly,which is a fundamental mechanism.Our results refresh the understanding of HOTIs,especially those with structural discontinuities,and provide a novel design for topological states which have application value in producing optical functional devices.展开更多
As a continuate work,ideal-based resolution principle for lattice-valued first-order logic system LF(X) is proposed,which is an extension of α-resolution principle in lattice-valued logic system based on lattice impl...As a continuate work,ideal-based resolution principle for lattice-valued first-order logic system LF(X) is proposed,which is an extension of α-resolution principle in lattice-valued logic system based on lattice implication algebra.In this principle,the resolution level is an ideal of lattice implication algebra,instead of an element in truth-value field.Moreover,the soundness theorem is given.In the light of lifting lemma,the completeness theorem is established.This can provide a new tool for automated reasoning.展开更多
We report our systematic construction of the lattice Hamiltonian model of topological orders on open surfaces, with explicit boundary terms. We do this mainly for the Levin-Wen string-net model. The full Hamiltonian i...We report our systematic construction of the lattice Hamiltonian model of topological orders on open surfaces, with explicit boundary terms. We do this mainly for the Levin-Wen string-net model. The full Hamiltonian in our approach yields a topologically protected, gapped energy spectrum, with the corresponding wave functions robust under topology-preserving transformations of the lattice of the system. We explicitly present the wavefunctions of the ground states and boundary elementary excitations. The creation and hopping operators of boundary quasi-particles are constructed. It is found that given a bulk topological order, the gapped boundary conditions are classified by Frobenius algebras in its input data. Emergent topological properties of the ground states and boundary excitations are characterized by （bi-） modules over Frobenius algebras.展开更多
By means of Logic symmetric relation,the single neighboring Logic path for Ndimensions Boolean ordered set is solved.A new method of determining any logic neighboringsubset in limited dimension is proposed.Its results...By means of Logic symmetric relation,the single neighboring Logic path for Ndimensions Boolean ordered set is solved.A new method of determining any logic neighboringsubset in limited dimension is proposed.Its results are intuitional and realizable for computer.展开更多
Modal logic characterization in a higher-order setting is usually not a trivial task because higher-order process-passing is quite different from first-order name-passing. We study the logical characterization of high...Modal logic characterization in a higher-order setting is usually not a trivial task because higher-order process-passing is quite different from first-order name-passing. We study the logical characterization of higherorder processes constrained by linearity. Linearity respects resource-sensitiveness and does not allow processes to duplicate themselves arbitrarily. We provide a modal logic that characterizes linear higher-order processes,particularly the bisimulation called local bisimulation over them. More importantly, the logic has modalities for higher-order actions downscaled to resembling first-order ones in Hennessy-Milner logic, based on a formulation exploiting the linearity of processes.展开更多
Higher order spectral analysis can be used to identify nonlinearities in the complex dynamical systems.This proposal shows that the contributions of the bispectrum,trispectrum,reconstructed bispectrum and reconstructe...Higher order spectral analysis can be used to identify nonlinearities in the complex dynamical systems.This proposal shows that the contributions of the bispectrum,trispectrum,reconstructed bispectrum and reconstructed power spectrum in terms of the system frequency response function and elementary physical properties of the MR damping system.Subsequent estimates of the HOS based on the output stochastic oscillating signals appear distinct variation.An experimental platform for MR vibrating semi-active control is built,proper simplifications are presented,an AR(10) model is established with colored noises from the output signals.Comparison between power spectrum from second order moment function and bispectrum,trispectrum are taken.The later gives an indication of the correlation between the phases of different frequency components.Since time series model is a parametric model,the reconstructed bispectrum and power spectrum are smooth.It is demonstrated that the higher order spectra are effectively for recognition and description of nonlinear systems.展开更多
Based on Duan＇s topological current theory,we propose a novel approach to study the topological properties of topological defects in a two-dimensional complex vector order parameter system.This method shows explicitl...Based on Duan＇s topological current theory,we propose a novel approach to study the topological properties of topological defects in a two-dimensional complex vector order parameter system.This method shows explicitly the fine topological structure of defects.The branch processes of defects in the vector order parameter system have also been investigated with this method.展开更多
After the discovery of fraction quantum Hall states in the 1980s, it became more and more clear that Landau symmetry breaking theory does not describe all possible quantum phases of matter. The new quan- tum phases of...After the discovery of fraction quantum Hall states in the 1980s, it became more and more clear that Landau symmetry breaking theory does not describe all possible quantum phases of matter. The new quan- tum phases of matter were called topologically ordered phases（for gapped cases） or quantum ordered phases （for gapless cases）, which correspond to pat- terns of many-body entanglement. One may won- der： besides quantum Hall systems, are there other systems that realize the new topological/quantum order？展开更多
The Ti-axiom,the Ti-ordered axiom and Ti-pairwise axiom(i = 0,1,2,3,4) of topological ordered space are discussed and proved that they are equivalence under the certain conditions.
基金the National Natural Science Foundation of China(Nos.21801063,22305070 and U20041101)the Top-Notch Talents Program of Henan Agricultural University(Nos.30501049 and 30501032)for financial support。
文摘Herein,a ternary supramolecular assembly(BPP-BQ?CB[8]-SCD)is successfully constructed by a bromophenylpyridine-tethered-bromoisoquinoline(BPP-BQ),cucurbit[8]uril(CB[8])and sulfonatedβ-cyclodextrin(SCD)via successive assembling way,exhibiting progressively enhanced green roomtemperature phosphorescence(RTP).The self-aggregates of BPP-BQ?CB[8]-SCD accommodate an energy acceptor rhodamine B(Rh B)to form a light-harvesting system(BPP-BQ?CB[8]-SCD@Rh B)with further enhanced yellow long-lifetime luminescence with large Stokes shift based on triplet-singlet F?rster resonance energy transfer(TS-FRET).Crucially,the introduction of a photoactive diarylethene achieves the long-lived photoluminescence of BPP-BQ?CB[8]-SCD@Rh B to be switched with the efficiency of up to98%through logically ordered lowering/enhancing RTP performance of the energy donor and intercepting/restoring TS-FRET pathway,when stimulated by host-vip competition and light illumination in sequence.Moreover,BPP-BQ?CB[8]-SCD@Rh B is evenly doped into polyvinyl alcohol or polyacrylamide to obtain high-performance luminescent films with long afterglow.The abovementioned logically ordered stimulus-switched long-lived emission enables the light-harvesting system in both solution and solid state to be applied in high-security-level information encryption and transformation,and anticounterfeiting.
基金supported by the National Natu-ral Science Foundation of China(Grants No.12174220 and No.12074217)the Shandong Provincial Science Foundation for Excellent Young Scholars(Grant No.ZR2023YQ001)+1 种基金the Taishan Young Scholar Program of Shandong Provincethe Qilu Young Scholar Pro-gram of Shandong University.
文摘Higher-order band topology not only enriches our understanding of topological phases but also unveils pioneering lower-dimensional boundary states,which harbors substantial potential for next-generation device applications.The distinct electronic configurations and tunable attributes of two-dimensional materials position them as a quintessential platform for the realization of second-order topological insulators(SOTIs).This article provides an overview of the research progress in SOTIs within the field of two-dimensional electronic materials,focusing on the characterization of higher-order topological properties and the numerous candidate materials proposed in theoretical studies.These endeavors not only enhance our understanding of higher-order topological states but also highlight potential material systems that could be experimentally realized.
基金supported by the National Key R&D Program of China(Grant Nos.2024YFA140850,2022YFA1403601,and 2023YFC2410501)the National Natural Science Foundation of China(Grants Nos.12241402,12474059,12274203,12374113,and 12274204)。
文摘Higher-order topological insulators,which host topologically protected states at boundaries that are at least two dimensions lower than the bulk,are an emerging class of topological materials.They provide great opportunities for exploring novel topological phenomena and fascinating applications.Utilizing a low-temperature scanning tunneling microscope,we construct breathing-kagome lattices with Fe adatoms on Ag(111)and investigate their electronic properties.We observe the higher-order topological boundary states in the topological phase but not in the trivial one,which is consistent with the theory.These states are found to be robust against the removal of bulk or edge adatoms.Further,we show the arbitrary positioning of these states either at corner,edge,or bulk sites by slightly modifying their neighbors.Our study not only demonstrates the formation and robustness of the electronic higher-order topological boundary states in real atomic systems but also provides a route for controlling their positions.
文摘In the era of Big Data,the attention economy has emerged as a core logic of capital accumulation,yet behavioral economic explanations fail to penetrate the unconscious drives and desire structures underlying attention investment.This paper adopts Lacan’s topological framework of the three orders(the Real,the Symbolic,and the Imaginary)to conduct a psychoanalytic dissection of the attention economy.It argues that Big Data-driven attention mechanisms essentially manipulate desire across these three orders:algorithms,functioning as the“digital big Other,”exploit the Real’s traumatic surplus and the deferred structure of desire through infinite scroll and traumatic stimuli;regulate identity production in the Symbolic via visibility laws,social currency,and datafication;and construct narcissistic illusions in the Imaginary through filters,filter bubbles,and illusions of hyperconnection.Ultimately,the paper proposes an ethics of lucid attention,calling for critical algorithmic literacy,confrontation with the Real’s lack,dismantling of Imaginary illusions,and reclaiming sovereignty over attention-essential for preserving subjective dignity and human freedom in the digital age.
基金supported by Research Grants Council(RGC),University Grants Committee(UGC)of Hong Kong(ECS No.24304722)。
文摘We classify condensable𝐸E_(2)-algebras in a modular tensor category C up to 2-Morita equivalence.Physically,this classification provides an explicit criterion to determine when distinct condensable𝐸E_(2)-algebras yield the same condensed topological phase under a two-dimensional anyon condensation process.The relations between different condensable algebras can be translated into their module categories,interpreted physically as gapped domain walls in topological orders.As concrete examples,we interpret the categories of quantum doubles of finite groups and examples beyond group symmetries.Our framework fully elucidates the interplay among condensable𝐸E_(1)-algebras in C,condensable𝐸E_(2)-algebras in C up to 2-Morita equivalence,and Lagrangian algebras in C⊠C.
基金Project supported by the Youth Program of the National Natural Science Foundation of China(Grant No.12405324)the CNNC Science Fund for Talented Young Scholars(Grant No.24940)the CNNC Basic Science Fund(Grant No.24851)。
文摘Molecular dynamics simulations were carried out to study the effect of chemical short-range order(CSRO)on the primary radiation damage in TiVTaNb high-entropy alloys(HEAs).We have performed displacement cascade simulations to explore the CSRO effect on the generation and evolution behaviors of irradiation defects.The results demonstrate that CSRO can suppress the formation of Frenkel pairs in TiVTaNb HEAs,with the suppression effect becoming more pronounced as the degree of CSRO increases.CSRO can change the types of interstitial defects generated during cascade collisions.Specifically,as the degree of CSRO increases,the proportion of Ti-related interstitials shows a marked enhancement,primarily evidenced by a significant rise in Ti–Ti dumbbells accompanied by a corresponding decrease in Ti–V dumbbells.CSRO exhibits negligible influence on defect clustering and the nucleation and evolution of dislocation loops.Regardless of CSRO conditions,TiVTaNb HEAs preserve exceptional radiation tolerance throughout the cascade damage process,suggesting that the intrinsic properties of this multi-principal element system dominate its radiation response.These findings provide fundamental insights into the CSRO effect on defect formation and evolution behaviors in HEAs,which may provide new design strategies for high-entropy alloys.
基金funded by National Key Research and Development Program Projects of China under Grant No.2020YFB1713500.
文摘To address the issue that hybrid flow shop production struggles to handle order disturbance events,a dynamic scheduling model was constructed.The model takes minimizing the maximum makespan,delivery time deviation,and scheme deviation degree as the optimization objectives.An adaptive dynamic scheduling strategy based on the degree of order disturbance is proposed.An improved multi-objective Grey Wolf(IMOGWO)optimization algorithm is designed by combining the“job-machine”two-layer encoding strategy,the timing-driven two-stage decoding strategy,the opposition-based learning initialization population strategy,the POX crossover strategy,the dualoperation dynamic mutation strategy,and the variable neighborhood search strategy for problem solving.A variety of test cases with different scales were designed,and ablation experiments were conducted to verify the effectiveness of the improved strategies.The results show that each improved strategy can effectively enhance the performance of the IMOGWO.Additionally,performance analysis was conducted by comparing the proposed algorithm with three mature and classical algorithms.The results demonstrate that the proposed algorithm exhibits superior performance in solving the hybrid flow-shop scheduling problem(HFSP).Case validations were conducted for different types of order disturbance scenarios.The results demonstrate that the proposed adaptive dynamic scheduling strategy and the IMOGWO algorithm can effectively address order disturbance events.They enable rapid response to order disturbance while ensuring the stability of the production system.
基金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.
基金supported by the Natural Science Basic Research Program of Shaanxi Province (Grant Nos.2024JC-JCQN-06 and2025JC-QYCX-006)the National Natural Science Foundation of China (Grant No.12474337)Chinese Academy of Sciences Project (Grant Nos.E4BA270100,E4Z127010F,E4Z6270100,and E53327020D)。
文摘In conventional higher-order topological insulators(HOTIs),the emergence of topological states can be explained by using the nonzero bulk polarization index.However,corner states emerge in HOTIs with incomplete boundary unit cells(i.e.,boundary defects)even though the bulk polarization is zero,which challenges the conventional understanding of HOTIs.Here,based on a Kekul´e-distorted honeycomb lattice with incomplete unit cells,we reveal that incomplete unit cells exhibit fractional charges through the analysis of Wannier centers by developing a compensation method and creating the concept of Wannier center domain(WCD)which is the smallest region that one Wannier center occupies.This method compensates for the missing parts of these boundary incomplete unit cells with additional WCDs to make them complete.The compensated WCDs automatically carry the corresponding charge,and this charge together with that of the incomplete unit cell constitutes the total charge of the complete unit cell after compensation.We conclude that the emergence of corner states is attributed to the filling anomaly,which is a fundamental mechanism.Our results refresh the understanding of HOTIs,especially those with structural discontinuities,and provide a novel design for topological states which have application value in producing optical functional devices.
基金the National Natural Science Foundation of China(No.61175055)the Sichuan Key Technology Research and Development Program(No.2011FZ0051)
文摘As a continuate work,ideal-based resolution principle for lattice-valued first-order logic system LF(X) is proposed,which is an extension of α-resolution principle in lattice-valued logic system based on lattice implication algebra.In this principle,the resolution level is an ideal of lattice implication algebra,instead of an element in truth-value field.Moreover,the soundness theorem is given.In the light of lifting lemma,the completeness theorem is established.This can provide a new tool for automated reasoning.
文摘We report our systematic construction of the lattice Hamiltonian model of topological orders on open surfaces, with explicit boundary terms. We do this mainly for the Levin-Wen string-net model. The full Hamiltonian in our approach yields a topologically protected, gapped energy spectrum, with the corresponding wave functions robust under topology-preserving transformations of the lattice of the system. We explicitly present the wavefunctions of the ground states and boundary elementary excitations. The creation and hopping operators of boundary quasi-particles are constructed. It is found that given a bulk topological order, the gapped boundary conditions are classified by Frobenius algebras in its input data. Emergent topological properties of the ground states and boundary excitations are characterized by （bi-） modules over Frobenius algebras.
文摘By means of Logic symmetric relation,the single neighboring Logic path for Ndimensions Boolean ordered set is solved.A new method of determining any logic neighboringsubset in limited dimension is proposed.Its results are intuitional and realizable for computer.
基金the National Natural Science Foundation of China(Nos.61202023,61261130589 and61173048)the PACE Project(No.12IS02001)the Specialized Research Fund for the Doctoral Program of Higher Edueation of China(No.20120073120031)
文摘Modal logic characterization in a higher-order setting is usually not a trivial task because higher-order process-passing is quite different from first-order name-passing. We study the logical characterization of higherorder processes constrained by linearity. Linearity respects resource-sensitiveness and does not allow processes to duplicate themselves arbitrarily. We provide a modal logic that characterizes linear higher-order processes,particularly the bisimulation called local bisimulation over them. More importantly, the logic has modalities for higher-order actions downscaled to resembling first-order ones in Hennessy-Milner logic, based on a formulation exploiting the linearity of processes.
基金Project(A0610020) supported by the Natural Science of Fujian Province of China
文摘Higher order spectral analysis can be used to identify nonlinearities in the complex dynamical systems.This proposal shows that the contributions of the bispectrum,trispectrum,reconstructed bispectrum and reconstructed power spectrum in terms of the system frequency response function and elementary physical properties of the MR damping system.Subsequent estimates of the HOS based on the output stochastic oscillating signals appear distinct variation.An experimental platform for MR vibrating semi-active control is built,proper simplifications are presented,an AR(10) model is established with colored noises from the output signals.Comparison between power spectrum from second order moment function and bispectrum,trispectrum are taken.The later gives an indication of the correlation between the phases of different frequency components.Since time series model is a parametric model,the reconstructed bispectrum and power spectrum are smooth.It is demonstrated that the higher order spectra are effectively for recognition and description of nonlinear systems.
基金Project supported by the National Natural Science Foundation of China (Grant No 10275030)Cuiying Project of Lanzhou University of China (Grant No 225000-582404)
文摘Based on Duan＇s topological current theory,we propose a novel approach to study the topological properties of topological defects in a two-dimensional complex vector order parameter system.This method shows explicitly the fine topological structure of defects.The branch processes of defects in the vector order parameter system have also been investigated with this method.
文摘After the discovery of fraction quantum Hall states in the 1980s, it became more and more clear that Landau symmetry breaking theory does not describe all possible quantum phases of matter. The new quan- tum phases of matter were called topologically ordered phases（for gapped cases） or quantum ordered phases （for gapless cases）, which correspond to pat- terns of many-body entanglement. One may won- der： besides quantum Hall systems, are there other systems that realize the new topological/quantum order？
基金The project is supported by the NNSF of China(No.10971185,10971186)Fujian Province support college research plan project(No.JK2011031)
文摘The Ti-axiom,the Ti-ordered axiom and Ti-pairwise axiom(i = 0,1,2,3,4) of topological ordered space are discussed and proved that they are equivalence under the certain conditions.
