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.展开更多
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.展开更多
子句选择是自动定理证明器(ATP)的核心部分,通过优化子句选择方法能够提升ATP的能力和效率。当前,传统基于属性优先级的逐一筛选方法虽然能够实现子句选择,但难以对子句进行全面评估,并且缺乏灵活性。因此,提出基于AHP_TOPSIS的子句动...子句选择是自动定理证明器(ATP)的核心部分,通过优化子句选择方法能够提升ATP的能力和效率。当前,传统基于属性优先级的逐一筛选方法虽然能够实现子句选择,但难以对子句进行全面评估,并且缺乏灵活性。因此,提出基于AHP_TOPSIS的子句动态选择方法。该方法通过层次分析法(AHP)计算子句各个属性的权重,再利用权重结果结合逼近理想解排序法(TOPSIS)对子句进行评估排序,从而为子句选择提供依据。在AHP中,考虑到子句属性的动态变化,引入阶段感知与平滑过渡的方法,使得判断矩阵能够根据推导进程动态调整,将AHP拓展为动态AHP。同时,根据上述子句选择方法实现相应的算法,并将算法应用于一阶逻辑定理证明器CSE(Contradiction Separation Extension)中形成新的证明器CSE_AT。利用该证明器对2021—2024年的TPTP(Thousands of Problems for Theorem Provers)问题库中的一阶逻辑问题进行测试,实验结果表明,CSE_AT比CSE多证明了22个定理,且CSE_AT证明的大部分定理的Rating值集中在[0.6,0.9]。可见,基于AHP_TOPSIS的子句动态选择方法能够优化演绎路径,从而提升证明器的证明能力。展开更多
基金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.
文摘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.
文摘子句选择是自动定理证明器(ATP)的核心部分,通过优化子句选择方法能够提升ATP的能力和效率。当前,传统基于属性优先级的逐一筛选方法虽然能够实现子句选择,但难以对子句进行全面评估,并且缺乏灵活性。因此,提出基于AHP_TOPSIS的子句动态选择方法。该方法通过层次分析法(AHP)计算子句各个属性的权重,再利用权重结果结合逼近理想解排序法(TOPSIS)对子句进行评估排序,从而为子句选择提供依据。在AHP中,考虑到子句属性的动态变化,引入阶段感知与平滑过渡的方法,使得判断矩阵能够根据推导进程动态调整,将AHP拓展为动态AHP。同时,根据上述子句选择方法实现相应的算法,并将算法应用于一阶逻辑定理证明器CSE(Contradiction Separation Extension)中形成新的证明器CSE_AT。利用该证明器对2021—2024年的TPTP(Thousands of Problems for Theorem Provers)问题库中的一阶逻辑问题进行测试,实验结果表明,CSE_AT比CSE多证明了22个定理,且CSE_AT证明的大部分定理的Rating值集中在[0.6,0.9]。可见,基于AHP_TOPSIS的子句动态选择方法能够优化演绎路径,从而提升证明器的证明能力。
