期刊文献+
共找到125,135篇文章
< 1 2 250 >
每页显示 20 50 100
Logically ordered control of organic room-temperature long-lived supramolecular luminophors
1
作者 Xinhui Fan Yonghao Fan +10 位作者 Yuli Dang Puhui Xie Xin Li Zhanqi Cao Song Jiang Lijie Liu Xin Zheng Lixia Xie Caoyuan Niu Guoxing Liu Yong Chen 《Chinese Chemical Letters》 2025年第8期303-308,共6页
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. 展开更多
关键词 Supramolecular chemistry logically ordered control Long-lived luminescentswitch TS-FRET Stepwise assembly RTP
原文传递
Second-Order Topological Insulators in 2D Electronic Materials
2
作者 FENG Xiao-ran NIU Cheng-wang +1 位作者 HUANG Bai-biao DAI Ying 《物理学进展》 北大核心 2025年第1期1-31,共31页
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. 展开更多
关键词 second order topological insulator corner state 2D electronic material
在线阅读 下载PDF
Arbitrary Positioning Higher-Order Topological Boundary States in Fe Breathing-Kagome Lattices on Ag(111)
3
作者 Rui-Ge Yan Zhuo-Xing Zhang +8 位作者 Tong-Zhou Ji Wen-Lin Fan Hao-Tian Li Liang Sun Bing-Feng Miao Gong Chen Rui Wang Bai-Geng Wang Hai-Feng Ding 《Chinese Physics Letters》 2025年第8期242-263,共22页
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. 展开更多
关键词 arbitrary positioning higher order topological boundary states Ag topological materialsthey Fe breathing kagome lattices higher order topological insulators fe adatoms topologically protected states
原文传递
Psychoanalysis of the Attention Economy in the Era of Big Data:A Topological Interpretation Based on Lacan’s Three Orders
4
作者 Yisheng Lin Qi Jiang Zilan Zhang 《Proceedings of Business and Economic Studies》 2025年第4期65-70,共6页
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. 展开更多
关键词 Attention economy Big data Lacan’s Three orders PSYCHOANALYSIS Algorithm
在线阅读 下载PDF
Classifcation of Gapped Domain Walls in 2+1D Topological Orders through 2-Morita Equivalence
5
作者 Rongge Xu Holiverse Yang 《Chinese Physics Letters》 2025年第7期320-367,共48页
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. 展开更多
关键词 morita equivalence modular tensor category topological orders condensed topological phase condensable algebras condensable e algebras gapped domain walls
原文传递
Intelligent Reconfigurable Skyrmion-Based Multi-Port Logic Device for In-Memory Computing
6
作者 Fuhao Zou Ziyuan Liu +3 位作者 Zijing Zhao Muhammad Humayun Chundong Wang Xiaolei Wang 《Chinese Physics Letters》 2026年第3期331-345,共15页
New electronic devices based on the physical properties of electrically driven skyrmions are promising for logic computing and nonvolatile memory applications.However,achieving efficient and practical compute-storage ... New electronic devices based on the physical properties of electrically driven skyrmions are promising for logic computing and nonvolatile memory applications.However,achieving efficient and practical compute-storage integration remains challenging owing to the structural complexity,limited functionality,and low flexibility observed in most skyrmion-based devices.In this study,we designed a novel device architecture that integrates seven basic logic gates into a unified physical structure.Their operation can be enabled by physical mechanisms,such as spin-orbit torque,spin-transfer torque,skyrmion-edge repulsions,and skyrmion-skyrmion interactions.Furthermore,by incorporating voltage-controlled magnetic anisotropy,the device achieved multi-input capability and reconfigurability functionality.Ultralow power consumption(<1 fJ/bit per logic function)and extremely high logic density were achieved.Significantly,the compatibility of this nanotrack design with existing skyrmion racetrack memory paves the way for advanced in-memory computing in spintronic architectures. 展开更多
关键词 voltage controlled magnetic anisotropy intelligent reconfigurable skyrmion based multi port logic device memory computing logic computing device architecture spin transfer torque spin orbit torque integrates seven basic logic gates
原文传递
Ultra-broadband acoustic logic gate based on passive phase manipulation
7
作者 Yu-Han Xia Nai-Qi Pang +2 位作者 Yin Wang Long-Xu Wang Yong Ge 《Chinese Physics B》 2026年第1期514-520,共7页
In recent years,acoustic logic gates has attracted growing interest in acoustics due to their promising applications in acoustic communication and signal processing.For practical implementation,these logic gates must ... In recent years,acoustic logic gates has attracted growing interest in acoustics due to their promising applications in acoustic communication and signal processing.For practical implementation,these logic gates must operate over a certain bandwidth to ensure reliable performance.However,current experimental realizations have predominantly been confined to single-frequency or narrowband operation,leaving their broadband capabilities largely unverified.To address this gap,we present both numerical and experimental demonstrations of three basic acoustic logic gates(OR,NOT,and AND)using a phased unit cell composed of a central channel flanked by two arrays of semicircular cavities.By leveraging phase modulation of the unit cells and linear interference of sound,we achieve these logic operations with a uniform threshold of I_(t)=0.25.Remarkably,the measured fractional bandwidths(bandwidth relative to center frequency)reach approximately 111.5%(OR),37.2%(NOT),and 48.5%(AND),demonstrating ultra-broadband functionality.The proposed logic gates combine exceptional bandwidth with structural simplicity,offering significant potential for applications in acoustic computing,information processing,and integrated acoustic systems. 展开更多
关键词 acoustic logic gate ultra-broad band phased unit cell
原文传递
Fourth Order Compact Finite Volume Methods for 1D Elliptic and Parabolic Equations on Non-uniform Meshes
8
作者 ZHOU Lei WANG Feng WANG Tongke 《应用数学》 北大核心 2026年第2期342-359,共18页
This paper studies high order compact finite volume methods on non-uniform meshes for one-dimensional elliptic and parabolic differential equations with the Robin boundary conditions.An explicit scheme and an implicit... This paper studies high order compact finite volume methods on non-uniform meshes for one-dimensional elliptic and parabolic differential equations with the Robin boundary conditions.An explicit scheme and an implicit scheme are obtained by discretizing the equivalent integral form of the equation.For the explicit scheme with nodal values,the algebraic system can be solved by the Thomas method.For the implicit scheme with both nodal values and their derivatives,the system can be implemented by a prediction-correction procedure,where in the correction stage,an implicit formula for recovering the nodal derivatives is introduced.Taking two point boundary value problem as an example,we prove that both the explicit and implicit schemes are convergent with fourth order accuracy with respect to some standard discrete norms using the energy method.Two numerical examples demonstrate the correctness and effectiveness of the schemes,as well as the indispensability of using non-uniform meshes. 展开更多
关键词 Two point boundary value problem Parabolic equation Robin boundary condition Non-uniform mesh Fourth order compact finite volume scheme Predictioncorrection method Error estimate
在线阅读 下载PDF
Adaptive event-triggered coding and decoding scheme based on fuzzy logic
9
作者 Yiyao Yu Yifan Wang +2 位作者 Dongyu Li Ruihang Ji Shuzhi Sam Ge 《Journal of Automation and Intelligence》 2026年第1期2-12,共11页
In this paper,we propose a fuzzy logic-based coded event-triggered control with self-adjustable prescribed performance(FL-CEC-SPP)to address the trade-off between control performance and communication efficiency in re... In this paper,we propose a fuzzy logic-based coded event-triggered control with self-adjustable prescribed performance(FL-CEC-SPP)to address the trade-off between control performance and communication efficiency in resource-constrained networked control systems.The method integrates a fuzzy-coded event-triggered controller into a coded control framework to dynamically adjust the triggering threshold,thereby reducing unnecessary transmissions while maintaining system stability.A self-adjustable prescribed performance constraint is also incorporated to ensure that the tracking error remains within predefined bounds under arbitrary initial conditions.Theoretical analyses and simulation comparisons show that the method proposed in this paper maintains good tracking performance and stability while reducing the communication burden,and has wide applications in resource-constrained network control systems. 展开更多
关键词 Fuzzy logic Event-triggered control Adaptive control Self-adjustable prescribed performance Nonlinear system
在线阅读 下载PDF
Order Remains Interior to a Ceramic Ionic Nanocluster Sterically Hindered by Covalently Attached Polymer Segments
10
作者 JIA Leiyu WU Junji +13 位作者 YU Zixin CHEN Yuan XU Yao WANG Jie HU Zhen HU Chuanqun DING Dachuan YANG Bin HU Tao GONG Xinghou WANG Juan ALBINA Jan-Michael WU Chonggang HARA Masanori 《Journal of Wuhan University of Technology(Materials Science)》 2026年第2期537-546,共10页
When a ceramic ionic-crystal nanocluster is group-substituted with polymer chain segments to form an ionomeric aggregate,is the ordered structure maintained within the sterically hindered nanocluster?We observed,for N... When a ceramic ionic-crystal nanocluster is group-substituted with polymer chain segments to form an ionomeric aggregate,is the ordered structure maintained within the sterically hindered nanocluster?We observed,for Na-salt sulfonated polystyrene ionomer,the electron-diffraction lattice fringes of the nanoclusters,which proved their internal crystalline ordering driven by electrostatic attractions overcoming steric hindrance.Kinetically,the nanoclusters'enhanced melting endotherm upon aging indicate their quasi-,slow-ordering character.Extended tight binding molecular dynamics simulations provide an insight into the mechanism underlying the ionic-group aggregation during nanoclustering.We hence proposed an uncommon state of order,polymer-bound ceramic quasicrystal,supplementary to the order phenomena in crystalline ceramics. 展开更多
关键词 ceramic ionic nanocluster polymer chain segment morphology order molecular dynamics simulation
原文传递
Effect of chemical short-range order on primary radiation damage in TiVTaNb high-entropy alloys
11
作者 Yong-Peng Zhao Yu-Ze Liu +3 位作者 Yan-Kun Dou Zhong-Ao Zhang Xin-Fu He Wen Yang 《Chinese Physics B》 2026年第2期491-498,共8页
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. 展开更多
关键词 high-entropy alloy chemical short-range order primary radiation damage molecular dynamics simulation
原文传递
Direct versus indirect 2D/3D heterojunction engineering:Ordered interface design for ultastable perovskite solar cells
12
作者 Kaiyu Wang Xiuhong Sun +7 位作者 Cheng Peng Qiangqiang Zhao Bingqian Zhang Tianci Wu Xiaoxu Zhang Shenglai Wang Xiao Wang Shuping Pang 《Journal of Energy Chemistry》 2026年第3期520-527,共8页
While 2D/3D heterostructures are widely employed to improve the stability of perovskite optoelectronic devices,their effectiveness is fundamentally governed by the crystallinity of the interfacial structure -a factor ... While 2D/3D heterostructures are widely employed to improve the stability of perovskite optoelectronic devices,their effectiveness is fundamentally governed by the crystallinity of the interfacial structure -a factor often overlooked.Disordered interfaces exhibit thermodynamic metastability,where ion diffusion induces sequential phase transitions from low-n to high-n phases.Here,we construct atomically ordered 2D/3D interfaces using phase-pure 2D perovskite capping layers,which reduce the interfacial phase transition rate by 95%and effectively suppress ion migration.As a result,devices exhibit outstanding operational stability,retaining over 99%of their initial power conversion efficiency after 1500 h of continuous operation,along with excellent thermal durability at 85℃.These findings identify interfacial order as a critical parameter for regulating ion dynamics and phase behavior,providing a robust design principle for achieving high-efficiency,long-lifetime perovskite technologies. 展开更多
关键词 2D/3D heterostructures ordered interface Operational stability
在线阅读 下载PDF
Research on Dynamic Scheduling Method for Hybrid Flow Shop Order Disturbance Based on IMOGWO Algorithm
13
作者 Feng Lv Huili Chu +1 位作者 Cheng Yang Jiajie Zhang 《Computers, Materials & Continua》 2026年第3期1199-1221,共23页
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. 展开更多
关键词 Hybrid flow shop order disturbance dynamic scheduling improved multi-objective Grey Wolf optimization
在线阅读 下载PDF
Algebraic insight into universal logic functions and implications for logical system modeling
14
作者 Xiaobo Li Yongyi Yan +2 位作者 Jumei Yue Penglei Hao Shuaibing Zhang 《Control Theory and Technology》 2026年第1期143-155,共13页
This paper explores the algebraic essence of universal logic functions(ULFs)from an algebraic perspective.Under the framework of semi-tensor product of matrices,the“sequential nature”of ULFs is revealed.Utilizing th... This paper explores the algebraic essence of universal logic functions(ULFs)from an algebraic perspective.Under the framework of semi-tensor product of matrices,the“sequential nature”of ULFs is revealed.Utilizing the nature,a technique called universal transformation method is proposed,by which any ULF can be transformed into an equivalent expression with desired features that facilitate achieving specific objectives,such as modeling,analyzing and synthesizing universal logical systems.Furthermore,several useful logical operators are constructed in a mixed-dimensional situation,including power-raising operator,power-descending operator,erasure operator,and appending operator.Finally,these results are applied to model and analyze finite state machines and their networks,which demonstrate the practical value of the method and operators. 展开更多
关键词 logical systems Finite-valued systems Finite state machines Semi-tensor product of matrices Algebraic method Matrix approach STP approach
原文传递
Topological Corner States due to Boundary Defects
15
作者 Yiqi Zhang Yuwei Hu +1 位作者 Yongdong Li Ce Shang 《Chinese Physics Letters》 2026年第1期44-48,共5页
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. 展开更多
关键词 unit cellswe higher order topological insulators topological corner states boundary unit cells ieboundary incomplete unit cells bulk polarization index fractional charges emergence topological states
原文传递
Ideal Resolution Principle for Lattice-Valued First-Order Logic Based on Lattice Implication Algebra 被引量:1
16
作者 许伟涛 徐扬 《Journal of Shanghai Jiaotong university(Science)》 EI 2012年第2期178-181,共4页
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. 展开更多
关键词 automated reasoning lattice-valued logic lattice implication algebra generalized clause
原文传递
Boundary Hamiltonian Theory for Gapped Topological Orders 被引量:2
17
作者 胡愈挺 万义顿 吴咏时 《Chinese Physics Letters》 SCIE CAS CSCD 2017年第7期207-211,共5页
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. 展开更多
关键词 Boundary Hamiltonian Theory for Gapped Topological orders
原文传递
REAIZATION OF THE NEIGHBORING LOGIC SYMMETRY FOR BOOLEAN ORDERED SET
18
作者 林柏钢 《Journal of Electronics(China)》 1990年第4期306-311,共6页
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. 展开更多
关键词 BOOLEAN orderED SET Single neighboring PATH logical SYMMETRY
在线阅读 下载PDF
A Logical Characterization for Linear Higher-Order Processes
19
作者 徐贤 龙环 《Journal of Shanghai Jiaotong university(Science)》 EI 2015年第2期185-194,共10页
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. 展开更多
关键词 modal logic BISIMULATION LINEARITY HIGHER-order process calculi
原文传递
Application of higher order spectrum in analysis of magneto-rheological damper control
20
作者 刘晓梅 黄宜坚 陈俊杰 《Journal of Central South University》 SCIE EI CAS 2008年第S1期256-260,共5页
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. 展开更多
关键词 MRF vibrating CONTROL time SERIES HIGHER order SPECTRUM BISPECTRUM trispectrum
在线阅读 下载PDF
上一页 1 2 250 下一页 到第
使用帮助 返回顶部