排序方式: 共有39条查询结果,搜索用时 0 毫秒
1.
2.
模型检测的主要问题是处理具有量化信息的系统的验证问题,该文在量子逻辑和时序逻辑的相关理论基础上引入了可能性理论以及模糊线性时间的可能性测度,研究了线性时序逻辑在模糊时态下的模型检测方法.通过引入可能性理论以及广义可能性Kripke结构定义,对广义可能性Kripke结构中的模糊线性时间性质进行了讨论,有利于研究不确定现象... 相似文献
3.
4.
集对Fuzzy格及其在格表示论中的应用 总被引:1,自引:0,他引:1
用幂集格构造了集对 Fuzzy 格(这与用整数对构造有理数集有相似之处),并用它证明了完整的软代数表示定理,即定义了到自身的映射且有最大元和最小元的格为软代数的充要条件是它与某个集对 Fuzzy 格的子格同构.这样,与分配格在幂集 Boole 格中表示相对应,软代数在集对 Fuzzy 格中有表示,在理论上是很完美的 相似文献
5.
6.
7.
以碘作催化剂, 无水苯为溶剂, 六乙基亚磷酰三胺依次与羟乙基替加氟、1-芳硒基甘油及硫反应, 得中间体硒代环甘油磷脂替加氟缀合物2a~2f. 以无水N,N-二甲基甲酰胺(DMF)作溶剂, 室温下, 叠氮化钠中对2a~2f进行亲核开环, 得到O-(1-芳硒基-3-叠氮基)异丙基-O-2-(N3-替加氟)乙基硫代磷酯. 体外活性测试结果表明, 目标化合物3a~3f 对膀胱癌细胞PGA1抑制作用比替加氟高, 对胃癌细胞BGC-823的抑制作用与替加氟相当. 相似文献
8.
本文报道了聚苯乙烯固载聚乙二醇三相催化剂在卡宾的生成、酯化、假性紫罗兰酮、二茂铁、芳氧乙酸、对硝基茴香醇的合成和C、N-烃基化等反应中的应用,并对其催化机理进行了探讨. 相似文献
9.
10.