最新词条

结构规则 中文 序列演算 中文 Gentzen式表示 中文 消去规则 中文 自然演绎 中文 程序验证 中文 命题逻辑 中文 直觉逻辑 中文 归结法 中文 非经典逻辑 中文 形式逻辑 中文 推理规则 中文 赫尔曼-莫甘记号 中文 共轭类 中文 点群 中文 晶体学 中文 高对称路径 中文 k点网格 中文 费米面 中文 布里渊区 中文 薛定谔方程 中文 能带理论 中文 布洛赫定理 中文 倒易晶格 中文 粉末衍射 中文 晶面间距 中文 透射电子显微镜 中文 电子衍射 中文 固溶强化 中文 位错 中文 点缺陷 中文 空位 中文 界面张力 中文 界面工程 中文 热扩散率 中文 热管理材料 中文 焦耳 中文 焦耳热效应 中文 多目标优化 中文 多物理场耦合 中文 阻尼 中文 流固耦合 中文 定热流边界条件 中文 传热方程 中文 柯西问题 中文 常微分方程 中文 通解 中文 初值问题 中文 诺伊曼条件 中文 边值问题 中文 Brouwer固定点定理 中文 逐次逼近法 中文 固定点 中文 阶乘 中文 递归函数 中文 可中断获取 中文 重入锁 中文 活锁（持续响应但无法推进的并发状态） 中文 锁机制 中文 冲突处理 中文 复制架构 中文 数据库复制 中文 会话一致性 中文 副本同步 中文 工作流引擎 中文 保存点 中文 重试机制 中文 事件驱动 中文 回滚机制 中文 自动化运维工具 中文 消息队列 中文 策略刷新 中文 事件查看器 中文 WMI 筛选 中文 安全筛选 中文 组策略 中文 目录服务 中文 权限控制 中文 404 页面 中文 Hash 模式 中文 静态站点生成 中文 单页应用路由 中文 白名单机制 中文 反向通知 中文 前端重定向 中文 访问控制 中文 单点退出 中文 单点登录 中文 XSS 中文 访问令牌 中文 ABAC 中文 断言式授权 中文 密钥管理 中文 客户端凭证模式 中文 授权服务器 中文 OAuth 中文 规则引擎 中文 API网关 中文 数字签名 中文 审计日志 中文