检索结果-维普期刊中文期刊服务平台

扩展模态语言中模态可定义性的不可判定性结果被引量：1: 1; 作者赵之光《逻辑学研究》 CSSCI 2021年第6期25-40,共16页; 在本文中,我们使用Balbiani和Tinchev的稳定类方法证明在加全称模态词的模态语言L_(U)、时态语言L_(T)、混合语言L_(H),L_(H(@))中,Chagrova定理成立,即一阶公式相对于特定框架类的模态/时态/混合可定义性问题是不可判定的。; 关键词可定义性不可判定性混合语言模态词 LH 时态; 在线阅读下载PDF 职称材料

关于交换积分的几点注记被引量：1: 2; 作者朱洪玉《大学物理》北大核心 1992年第12期11-13,22,共4页; 本文指出：交换积分Ｊｉｊ来自全同粒子的不可识别性，并作反对称波函数所特有；Ｊｉｊ并非仅仅存在于自旋平行态之间，某些自旋非平行态亦存在交换积分；交换积分并作总是导致能量降低；在Ｌ一Ｓ耦合下，虽然电子间的库仑作用ＥＣ是“... 展开更多; 关键词变换积分全同粒子不可判定性; 在线阅读下载PDF 职称材料

计算机病毒与安全: 3; 作者王雄《遥测遥控》 1991年第1期48-52,共5页; 1.计算机安全与恶意程序计算机安全含三要素:(1)保密性(2)完整性(3)可正常服务性。保密性指保证用户的信息不泄露给无权了解该信息的人;完整性指信息内容不能被无权的用户改动;可服务性指防止出现“拒绝服务”; 关键词计算机安全拒绝服务信息内容物理扇区可服务性用户区不可判定性小球病毒状态检测系统管理模块; 在线阅读下载PDF 职称材料