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.展开更多
A coordination polymer{[Cd(H_(2)dpa)(bpy)]·3H_(2)O}_(n)(Cd-CP)was designed and hydrothermal synthesized based on 4-(2,4-dicarboxyphenoxy)phthalic acid(H_(4)dpa),2,2'-bipyridine(bpy)and Cd(NO_(3))_(2)·4H_...A coordination polymer{[Cd(H_(2)dpa)(bpy)]·3H_(2)O}_(n)(Cd-CP)was designed and hydrothermal synthesized based on 4-(2,4-dicarboxyphenoxy)phthalic acid(H_(4)dpa),2,2'-bipyridine(bpy)and Cd(NO_(3))_(2)·4H_(2)O.The structure was characterized by single-crystal X-ray diffraction,powder X-ray diffraction,elemental analysis,and infrared spectroscopy.Cd-CP belongs to the monoclinic crystal system with the P2_1/c space group and performs in a 1D double-chain structure.The adjacent double chains further form a 3D supramolecular network structure through hydrogen bonding.Thermogravimetric analysis shows that Cd-CP has good thermal stability.Fluorescence analysis showed that Cd-CP had good choosing selectively and was sensitive to metal ions(Fe^(3+)and Zn^(2+)),2,4,6-trinitrophenylhydrazine(TRI),and pyrimethanil(Pth).Interestingly,when Cd-CP was used for fluorescence detection of metal ions,it was found to have a fluorescence quenching effect on Fe^(3+)but had an obvious enhancement effect on Zn^(2+).Therefore,we designed an“on-off-on”logic gate.In addition,the mechanism of fluorescence sensing has been deeply explored.CCDC:2258625.展开更多
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.
文摘A coordination polymer{[Cd(H_(2)dpa)(bpy)]·3H_(2)O}_(n)(Cd-CP)was designed and hydrothermal synthesized based on 4-(2,4-dicarboxyphenoxy)phthalic acid(H_(4)dpa),2,2'-bipyridine(bpy)and Cd(NO_(3))_(2)·4H_(2)O.The structure was characterized by single-crystal X-ray diffraction,powder X-ray diffraction,elemental analysis,and infrared spectroscopy.Cd-CP belongs to the monoclinic crystal system with the P2_1/c space group and performs in a 1D double-chain structure.The adjacent double chains further form a 3D supramolecular network structure through hydrogen bonding.Thermogravimetric analysis shows that Cd-CP has good thermal stability.Fluorescence analysis showed that Cd-CP had good choosing selectively and was sensitive to metal ions(Fe^(3+)and Zn^(2+)),2,4,6-trinitrophenylhydrazine(TRI),and pyrimethanil(Pth).Interestingly,when Cd-CP was used for fluorescence detection of metal ions,it was found to have a fluorescence quenching effect on Fe^(3+)but had an obvious enhancement effect on Zn^(2+).Therefore,we designed an“on-off-on”logic gate.In addition,the mechanism of fluorescence sensing has been deeply explored.CCDC:2258625.
基金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.
