【计算机科学】_谓词转换器_期刊发文热词逐年推荐_20140724
合集下载
【计算机应用】_机器翻译_期刊发文热词逐年推荐_20140724
2012年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
科研热词 机器翻译 隐马尔科夫模型 转换 语态 语义 词性标注 自然语言处理 算法 离散化 特征选择 有主题网页 最大信息熵模型 时态 异常流量 平行网页判断 平行句对挖掘 对照网页识别 实例分析 噪音信息 哈萨克语 句对评价 参数估计 匹配规则 主题信息
推荐指数 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
推荐指数 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2011年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42
推荐指数 3 2 2 2 1 1 1 1 1 1 1 1
2010年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
科研热词 机器翻译 高斯混合模型 语义鸿沟 规则 自动翻译机 自动图像标注 聚类 维吾尔语 维吾尔人名 汉文翻译 机器翻译自动评测 情绪识别 句类转换 句法分析 句式转换 叠加空间 上下文无关文法
2011年 科研热词 词语相似度 统计机器翻译 机器翻译 输入法 谓词标注 语音识别 语境 语义角色标注 语义特征 词性 词对齐 自然语言处理 翻译模型约简 短语表过滤 短语粘结度 知网 相关提示词 正文提取 概念层次网络 术语规范化 服务聚合 对齐补充 哈萨克文 命名实体短语 启发式优化 名词性谓词 同声传译 同义词推荐 双语翻译对 双语平行语料库 双语平行句对 切分 信息处理 依存关系 义项 义原 中文信息处理 专利 tts ibm modell-3 fisher精确检验 c-value 推荐指数 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
【计算机科学】_谓词_期刊发文热词逐年推荐_20140722
推荐指数 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2009年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
科研热词 软件模型检测 谓词模态逻辑 谓词抽象 访问控制 源程序验证 本体 抽象求精 多安全域 命题模态逻辑 可能世界 发布/订阅 原子订阅管理 原子订阅匹配 动态属性 使 1 1 1 1 1 1 1 1 1
2014年 序号 1 2 3 4
2014年 科研热词 索引 数据空间 倒排列表 imemex数据模型 推荐指数 1 1 1 1
推荐指数 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2011年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27
2011年 科研热词 推荐指数 谓词演算形式系统 3 泛逻辑 3 泛与运算 3 谓词抽象 2 访问控制 2 模型检测 2 安全性分析 2 可信评估 2 金融投资决策 1 语义网 1 语义web 1 自定义数据类型 1 知识表示和推理 1 模糊知识的表示与推理 1 模糊知识的否定 1 模糊描述逻辑 1 模糊产生式规则 1 模糊 owl 1 查询原语 1 智能主体 1 动态描述逻辑 1 动作理论 1 关系矩阵 1 中介逻辑及其无穷值解释 1 xpath求值 1 xml编码 1 f-shoin(g) 1
推荐指数 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2010年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
【计算机科学】_神经网络学习_期刊发文热词逐年推荐_20140724
科研热词 神经网络 风险评估 集成学习 遗传规划 遗传算法 进化泛函网络 语音识别 粒子群 神经元函数 特征项 混合基函数 权重 敏感系数 支持向量机 小波神经网络(wnn) 小波分析 函数逼近 入侵检测 信息 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2011年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
2011年 科研热词 神经网络 特征抽取 深网入口 机器学习 预测误差 粗逻辑神经网络 粗糙集 粗糙神经元 短期负荷预测 模糊神经网络 模糊推理 数字识别 改进bp网络 安全态势 天气预测 l-m优化法 bp算法 推荐指数 4 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1
2012年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
科研热词 隐神经元 贡献因子 蛋白质二级预测 结构信息 离散hopfield 神经网络 特征提取 正交基函数 正交化 样本属性 权值与结构确定法 权值 最优结构 径向基网络 学习算法 奇异值分解 多输入 噪声数字识别 函数逼近 人脸识别 rbf神经网络 laguerre正交多项式
推荐指数 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2013年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
科研热词 集成学习 连续学习 软件可靠性早期预测 蚁群算法 矩阵伪逆 特征选择 混沌神经网络 泛函神经元 概率神经网络 时空总和 忆阻器 布尔函数 学习算法 奇偶校验问题 基函数 分类 二进神经网络 lvq神经网络 lasso回归方法 lars算法 bp神经网络 bagging
【小型微型计算机系统】_软件框架_期刊发文热词逐年推荐_20140724
2010年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33
科研热词 操作系统 领域模型 领域工程 面向服务 面向对象模型 集成系统 通用构件 连接件 转换 虚拟 自适应软件 潜在中间语义空间 模拟 模型验证 模型转换 构件模型 服务组件架构 时间自动机 数据模型 态射 开放服务网关规范 平行语料库 安全 多语言信息检索 在线演化 双核 动态迁移 动态演化 动态对象替换 主动安全防御 中间语义 petri网 marte(modeling and analysis of real time
推荐指数 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2009年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45
rgps领域资产 hoare逻辑 deep web dcom
1 1 1 1
推荐指数 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2011年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45
2008年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27
【计算机科学】_选择密文攻击_期刊发文热词逐年推荐_20140724
科研热词 组合阶双线性群 ibe hibe cca
推荐指数 1 1 1 1
2013年 序号 1 2 3 4 5 6 7 9 10 11 12 13 14 15 16 17
科研热词 预言 随机预言模型 随机预言机模型 随机性 阈值 选择密文攻击 签密 泄漏 无证书密码体制 授权服务器 广播签密 可证明安全 双线性对 加密方案 公钥加密 公开可验证 代理重签名
推荐指数 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
推荐指数 1 1 1 1
2011年 序号 1 2 3 4 5 6 7 8 9
2011年 科研热词 混沌映射 实数域 公钥加密 chebyshev多项式 非对称性 消息认证码 广播加密 可证明安全性 叛逆者追踪 推荐指数 2 2 2 2 1 1 1 1 1
2012年 序号 1 2 3 4
2008年 序号 1 2 3 4
科研热词 混沌 密码分析 分组加密 信息安全
推荐指数 1 1 1 1
2009年 序号 1 2 3 4 5
科研热词 选择密文安全 标准模型 基于身份加密 双线性对 公钥密码
推荐指数 1 1 1 1 1
2010年 序号 1 2 3 4
科研热词 环签密 标准模型 双线性对 cdh问题
【计算机应用与软件】_语义标注_期刊发文热词逐年推荐_20140724
2012年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27
科研热词 视频检索 距离学习 语义鸿沟 语义角色标注 语义网 语义优选 语义 角色分类 视频分类 潜在语义聚类 树核空间 本体 无指导学习 教学资源库 支持向量机 复杂核 图像标注 台标 分布式 分层语义 分层索引 体育视频 二叉树 scorm标准 mpeg-7 lucene cbir
推荐指数 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2013年 序号 1 2 3 4 5 6 7
科研热词 遥感图像 语义环境 语义标注 自动标注 甲骨文卜辞 本体 作者主题模型
推荐指数 1 1 1 1 1 1 1
2014年 序号 1 2 3 4
2008年 序号 1 2 3 4
科研热词 语义检索 图形化标注 图像语义 mpeg-7
推注 2 特征工程 3 最大熵分类器
推荐指数 1 1 1
2010年 序号 1 2 3 4 5 6 7 8
科研热词 语义角色标注 短语结构句法分析 支持向量机 支持向量数据描述 基于内容的图像检索 图像自动标注 依存句法分析 mpeg-7
推荐指数 1 1 1 1 1 1 1 1
2011年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36
2011年 科研热词 频繁镜头集合 音视频标注 资源模型 谓词标注 语义鸿沟 语义角色标注 语义相似度 语义标注 词汇信息量 视频场景分割 自动图像标注 结构模式识别 系统调用 社会化标注 相似度 熵 深度特征 泛化类型 模式实例 标签 权重 搜索引擎 异常检测 异常分析 局部特征 场景特征 名词性谓词 共生关系 全文检索 入侵检测 信息抽取 依存关系 三维模型 yacc lucene hmm 推荐指数 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
【计算机应用与软件】_转换处理_期刊发文热词逐年推荐_20140725
推荐指数 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2013年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29
2011年 科研热词 谓词标注 语义角色标注 词对齐 虚拟化 离散傅立叶变换 特征模板 灰度-梯度直方图 模拟器 数据转换 数据质量 数据抽取 数据仓库 数据交换 数字签名 支持向量机模型 快速傅立叶变换 基本名词短语 启发式优化 名词性谓词 参数化设计 动态二进制翻译 加密 倒位序生成法 倒位序 依存关系 体绘制 传递函数 代理容器 xml wsrp2.0 协作 portlet容器 portlet portal k均值聚类 jsr286 ibm modell-3 etl dos系统 cad模型交换 b2b automation api 推荐指数 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
科研热词 音频内容认证 面向用户 铁路智能运输系统 计算机辅助设计 规则库 自定义标签 缩写 编辑器 纳西象形文 精确时钟同步 标签文件 标签处理程序 最优基 无线射频标签技术 数据提取 拼音输入法 拼写错误 工业以太网 小波包变换 图片转换 图片 图像处理 可扩展 参数化设计 医学图像 列车监控 几何约束 全球定位系统 信息处理 中文数据清洗 x3d token sopc niosⅱ j2ee imm ime dicom ct c#明 边缘检测 表面重构 网络攻击 离散余弦变换 矢量场 盲提取 特征函数 模型转换 梯度 密写 动作语言 健壮 sql注入 mda工具 mda linq fftw
【计算机应用与软件】_数据转换_期刊发文热词逐年推荐_20140722
2010年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
ቤተ መጻሕፍቲ ባይዱ
科研热词 推荐指数 调制 1 解调 1 网络攻击 1 类语音 1 数据模式 1 异构数据交换 1 声码器 1 农村新能源规划与评价系统 1 xml schema 1 sql注入 1 linq 1 kml 1 google 1 gis 1 earth 1
2008年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52
2011年 科研热词 数据转换 边折叠法 语义网关 范围查询 网格索引 统一交换 簇头 灰度-梯度直方图 渲染不一致性 浮点数 模型简化 无线传感器网络 数据驱动 数据质量 数据访问 数据类型转换 数据时延 数据抽取 数据仓库 数据交换 数字签名 支配 并行 实时性 存储系统 存储格式 多边形 多客户端 动态轮廓 加密 函数库 共同存储 信息集成 信息量 信息孤岛 体绘制 传递函数 二次误差度量 usb2.0通信 polytrans mpi mcf52223 k均值聚类 iges fcoib etl eoib b2b arcgis ad转换 推荐指数 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
推荐指数 3 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
【计算机科学】_语言转换工具_期刊发文热词逐年推荐_20140725
推荐指数 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2012年 序号 1 2 3 4 5 6 7 8 9
科研热词 验证 行为模型 模型转换 建模原语-模式 可扩展标记语言(xml) 作战活动模型(ov-5) 体系结构 uppaal aadl
推荐指数 1 1 1 1 1 1 1 1 1
推荐指数 2 2 2 1 1 1 1 1 1 1 1 1 1 1
2011年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
科研热词 通用仓库元模型 软件安全 转换技术 语义web 计算安全 模型驱动体系结构 模型转换 整形漏洞 整形溢出 扩展商业报告语言 多维模型 受控自然语言 元建模 仿真 价格时间自动机 wordnet system 1 2 3
2013年 科研热词 推荐指数 着色petri网 1 异常处理 1 bpel(business process execution 1 language)
2008年 序号 1 2 3 4
科研热词 特定领域 模型驱动 模型转换 数控系统
推荐指数 1 1 1 1
2010年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14
科研热词 模型检测 web服务组合 bpel 转换规则 组合服务 特征交互 流程验证 模型 元模型 xyz/re xyz/adl wf-net uppaal pnml
谓词公式转换
谓词公式转换在咱们学习数学和逻辑的这个奇妙旅程中，有个叫谓词公式转换的家伙，时不时就出来给咱们找点小挑战。
咱先来说说啥是谓词公式。
简单讲，谓词公式就是用一些符号和规则来描述事物的性质和关系的式子。
比如说，“对于所有的 x，如果 x是偶数，那么 x 能被 2 整除”，这就是一个谓词公式。
那为啥要进行谓词公式转换呢？这就好比你有一堆乱七八糟的积木，你得把它们重新组合、排列，才能搭出你想要的城堡。
谓词公式转换也是这个道理，通过转换，能让我们更清楚地理解和解决问题。
我记得有一次，我在给学生讲谓词公式转换的时候，有个学生一脸迷茫地看着我，问：“老师，这东西到底有啥用啊？”我笑了笑，拿起一支笔和一张纸，给他举了个例子。
假设我们有个果园，里面有苹果树和梨树。
我们用谓词 P(x) 表示 x 是苹果树，用 Q(x) 表示 x 结的果子是甜的。
那么“有的苹果树结的果子是甜的”这个命题，用谓词公式可以写成：存在 x (P(x) 且 Q(x)) 。
那如果我们要把这个公式转换一下，比如说，转换成“存在 x (Q(x)且P(x))”，意思是不是一样的呢？这时候学生们就开始七嘴八舌地讨论起来。
经过一番思考和讨论，大家发现，这两个公式表达的其实是同一个意思，只是顺序不同罢了。
通过这个小小的例子，学生们一下子就明白了谓词公式转换的作用，那就是可以从不同的角度去描述同一个问题，让我们的思维更加灵活。
再比如说，“对于所有的 x，P(x) 蕴含Q(x)”这个谓词公式，我们可以通过等价变换，把它变成“不存在 x (P(x) 且非Q(x))”。
这种转换在解决逻辑推理问题的时候特别有用。
在实际的学习和应用中，谓词公式转换就像是一把万能钥匙，能帮我们打开很多难题的大门。
比如说在数学证明中，通过巧妙地转换谓词公式，可以让复杂的问题变得简单明了；在计算机编程中，正确地进行谓词公式转换，可以让程序的逻辑更加清晰，减少错误。
总之，谓词公式转换虽然看起来有点复杂和抽象，但只要我们多练习、多思考，就能掌握其中的窍门，让它成为我们学习和解决问题的得力工具。