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.展开更多
Metamaterials have exotic physical properties that rely on the construction of their underlying architecture.However,the physical properties of conventional mechanical metamaterials are permanently programmed into the...Metamaterials have exotic physical properties that rely on the construction of their underlying architecture.However,the physical properties of conventional mechanical metamaterials are permanently programmed into their periodic interconnect configurations,resulting in their lack of modularity,scalable fabrication,and programmability.Mechanical metamaterials typically exhibit a single extraordinary mechanical property or multiple extraordinary properties coupled together,making it difficult to realize multiple independent extraordinary mechanical properties.Here,the pixel mechanics metamaterials(PMMs)with multifunctional and reprogrammable properties are developed by arraying uncoupled constrained individual modular mechanics pixels(MPs).The MPs enable controlled conversion between two extraordinary mechanical properties(multistability and compression-torsion coupling deformation).Each MP exhibits 32 independent and reversible room temperature programming configurations.In addition,the programmability of metamaterials is further enhanced by shape memory polymer(SMP)and 4D printing,greatly enriching the design freedom.For the PMM consisting of m×n MPs,it has 32(m×n)independent room temperature programming configurations.The application prospects of metamaterials in the vibration isolation device and energy absorption device with programmable performance have been demonstrated.The vibration isolation frequencies of the MP before and after programming were[0 Hz-5.86 Hz],[0 Hz-13.67 Hz and 306.64 Hz-365.23 Hz].The total energy absorption of the developed PMM can be adjusted controllably in the range of 1.01 J-3.91 J.Six standard digital logic gates that do not require sustained external force are designed by controlling the closure between the modules.This design paradigm will facilitate the further development of multifunctional and reprogrammable metamaterials.展开更多
Higher-order assembly of cell surface receptors plays a crucial role in fine-tuning signal transduction and regulating cell behavior.However,precise and efficient receptor manipulation is challenged by off-target effe...Higher-order assembly of cell surface receptors plays a crucial role in fine-tuning signal transduction and regulating cell behavior.However,precise and efficient receptor manipulation is challenged by off-target effects when relying on single-parameter input.Herein,we developed a programmable DNA logic circuitmediated receptor clustering(LCRC)strategy capable of multi-input recognition and cellular modulation.By integrating i-motif and ATP-binding aptamers as stimulus-responsive modules,the dynamic DNA circuitry enables logic-gated recognition of elevated protons and ATP in the tumor microenvironment,triggering nanoassembly between protein-anchored modulator modules.LCRC drives higher-order receptor clustering,effectively inhibiting tumor cell movement in the tumor-like microenvironment.Moreover,the DNA circuit enables fine-tuned inhibition of cell activity by customizing the number of engaged receptors per assembly.Our data demonstrate that higher-order receptor clustering leads to more efficient and robust modulation of cellular behavior compared to lower-order clustering.This strategy provides a versatile platform for controllable receptor clustering and programmable cell regulation,paving the way for precision therapeutic applications.展开更多
An approach was proposed to specify the C4ISR capability of domain-specific modeling language.To confine the domain modeling within a standard architecture framework,formally a C4ISR capability meta-ontology was defin...An approach was proposed to specify the C4ISR capability of domain-specific modeling language.To confine the domain modeling within a standard architecture framework,formally a C4ISR capability meta-ontology was defined according to the meta-model of DoD Architecture Framework.The meta-ontology is used for extending UML Profile so that the domain experts can model the C4ISR domains using the C4ISR capability meta-concepts to define a domain-specific modeling language.The domain models can be then checked to guarantee the consistency and completeness through converting the UML models into the Description Logic ontology and making use of inference engine Pellet to verify the ontology.展开更多
ased on the 4-valued logic function in orthogonal area, a new series──the orthogonal 4-valued function series──is proposed. Having good performances, the new series is superior to Walsh function and block pulse fu...ased on the 4-valued logic function in orthogonal area, a new series──the orthogonal 4-valued function series──is proposed. Having good performances, the new series is superior to Walsh function and block pulse function in the computation of truncation errors.展开更多
基金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.
基金the financial support provided by the National Key R&D Program of China(2022YFB3805700)the National Natural Science Foundation of China(Grant Nos.12072094 and 12172106)+2 种基金the China Postdoctoral Science Foundation(Grant No.2023M730869)the Heilongjiang Natural Science Foundation Joint Guidance Project(Grant No.LH2023A004)the Postdoctoral Fellowship Program of CPSF(Grant No.GZB20230959)。
文摘Metamaterials have exotic physical properties that rely on the construction of their underlying architecture.However,the physical properties of conventional mechanical metamaterials are permanently programmed into their periodic interconnect configurations,resulting in their lack of modularity,scalable fabrication,and programmability.Mechanical metamaterials typically exhibit a single extraordinary mechanical property or multiple extraordinary properties coupled together,making it difficult to realize multiple independent extraordinary mechanical properties.Here,the pixel mechanics metamaterials(PMMs)with multifunctional and reprogrammable properties are developed by arraying uncoupled constrained individual modular mechanics pixels(MPs).The MPs enable controlled conversion between two extraordinary mechanical properties(multistability and compression-torsion coupling deformation).Each MP exhibits 32 independent and reversible room temperature programming configurations.In addition,the programmability of metamaterials is further enhanced by shape memory polymer(SMP)and 4D printing,greatly enriching the design freedom.For the PMM consisting of m×n MPs,it has 32(m×n)independent room temperature programming configurations.The application prospects of metamaterials in the vibration isolation device and energy absorption device with programmable performance have been demonstrated.The vibration isolation frequencies of the MP before and after programming were[0 Hz-5.86 Hz],[0 Hz-13.67 Hz and 306.64 Hz-365.23 Hz].The total energy absorption of the developed PMM can be adjusted controllably in the range of 1.01 J-3.91 J.Six standard digital logic gates that do not require sustained external force are designed by controlling the closure between the modules.This design paradigm will facilitate the further development of multifunctional and reprogrammable metamaterials.
基金supported by the National Natural Science Foundation of China(22174044 to Xiaoxiao He,22177030 to Hong-Hui Wang)the Postgraduate Scientific Research Innovation Project of Hunan Province(CX20220425)。
文摘Higher-order assembly of cell surface receptors plays a crucial role in fine-tuning signal transduction and regulating cell behavior.However,precise and efficient receptor manipulation is challenged by off-target effects when relying on single-parameter input.Herein,we developed a programmable DNA logic circuitmediated receptor clustering(LCRC)strategy capable of multi-input recognition and cellular modulation.By integrating i-motif and ATP-binding aptamers as stimulus-responsive modules,the dynamic DNA circuitry enables logic-gated recognition of elevated protons and ATP in the tumor microenvironment,triggering nanoassembly between protein-anchored modulator modules.LCRC drives higher-order receptor clustering,effectively inhibiting tumor cell movement in the tumor-like microenvironment.Moreover,the DNA circuit enables fine-tuned inhibition of cell activity by customizing the number of engaged receptors per assembly.Our data demonstrate that higher-order receptor clustering leads to more efficient and robust modulation of cellular behavior compared to lower-order clustering.This strategy provides a versatile platform for controllable receptor clustering and programmable cell regulation,paving the way for precision therapeutic applications.
基金Project(2007AA01Z126) supported by the National High Technology Research and Development Program of ChinaProject(51306010202) supported by the National Defense Advance Research Program of China
文摘An approach was proposed to specify the C4ISR capability of domain-specific modeling language.To confine the domain modeling within a standard architecture framework,formally a C4ISR capability meta-ontology was defined according to the meta-model of DoD Architecture Framework.The meta-ontology is used for extending UML Profile so that the domain experts can model the C4ISR domains using the C4ISR capability meta-concepts to define a domain-specific modeling language.The domain models can be then checked to guarantee the consistency and completeness through converting the UML models into the Description Logic ontology and making use of inference engine Pellet to verify the ontology.
文摘ased on the 4-valued logic function in orthogonal area, a new series──the orthogonal 4-valued function series──is proposed. Having good performances, the new series is superior to Walsh function and block pulse function in the computation of truncation errors.
