新城里的旧少年^_^
新城里的旧少年^_^

人工智能：一种现代方法学习笔记（第七章）——逻辑Agent

基于知识的Agent

基于知识的Agent的核心部件是知识库(KB)，知识库是一个语句集合，这些语句用知识表示语言表达，表示了关于世界的某些断言
当某些语句是直接给定的而不是推理的叫做公理，由公理推导出来的叫做定理。

知识库的两个基本操作： Tell(将新语句添加到知识库) 和 Ask(查询目前所知的内容)
人工智能：一种现代方法学习笔记（第七章）——逻辑Agent_第1张图片
人工智能：一种现代方法学习笔记（第七章）——逻辑Agent_第2张图片

逻辑

人工智能：一种现代方法学习笔记（第七章）——逻辑Agent_第3张图片
人工智能：一种现代方法学习笔记（第七章）——逻辑Agent_第4张图片
模型检验： 通过枚举所有可能为真的模型来检验KB为真的情况下α都为真
在这里插入图片描述
人工智能：一种现代方法学习笔记（第七章）——逻辑Agent_第5张图片
人工智能：一种现代方法学习笔记（第七章）——逻辑Agent_第6张图片

命题逻辑

语法

命题逻辑的语法定义合法语句，原子语句由单个命题词组成，每个命题词代表一个或为真或为假的命题，一般用大写字母表示命题词，如：P,Q,R
有两个命题词有固定的含义： TRUE是永真命题， FALSE是永假命题

复合句由简单语句用括号和逻辑连接词构成
在这里插入图片描述

语义

人工智能：一种现代方法学习笔记（第七章）——逻辑Agent_第7张图片
人工智能：一种现代方法学习笔记（第七章）——逻辑Agent_第8张图片

模型

人工智能：一种现代方法学习笔记（第七章）——逻辑Agent_第9张图片
人工智能：一种现代方法学习笔记（第七章）——逻辑Agent_第10张图片
人工智能：一种现代方法学习笔记（第七章）——逻辑Agent_第11张图片
人工智能：一种现代方法学习笔记（第七章）——逻辑Agent_第12张图片

蕴含

人工智能：一种现代方法学习笔记（第七章）——逻辑Agent_第13张图片

逻辑等价

人工智能：一种现代方法学习笔记（第七章）——逻辑Agent_第14张图片
人工智能：一种现代方法学习笔记（第七章）——逻辑Agent_第15张图片
人工智能：一种现代方法学习笔记（第七章）——逻辑Agent_第16张图片

证明方法

  1. 模型检验
  2. 逻辑等价
  3. 推理规则

人工智能：一种现代方法学习笔记（第七章）——逻辑Agent_第17张图片
一条语句是不可满足的即这条语句等价于false : (如果证明这条语句是不可满足的就是证明这条语句是false)
一条语句是可满足的即这条语句等价于true

模型检验

人工智能：一种现代方法学习笔记（第七章）——逻辑Agent_第18张图片
模型检验说白了就是穷举法，列各个变量的真值表，看这条语句的true 和 false

人工智能：一种现代方法学习笔记（第七章）——逻辑Agent_第19张图片
人工智能：一种现代方法学习笔记（第七章）——逻辑Agent_第20张图片

逻辑等价

人工智能：一种现代方法学习笔记（第七章）——逻辑Agent_第21张图片
人工智能：一种现代方法学习笔记（第七章）——逻辑Agent_第22张图片

推理规则

利用旧的语句推出新的语句
人工智能：一种现代方法学习笔记（第七章）——逻辑Agent_第23张图片
人工智能：一种现代方法学习笔记（第七章）——逻辑Agent_第24张图片

形式化为一个搜索问题

人工智能：一种现代方法学习笔记（第七章）——逻辑Agent_第25张图片

子句与CNF

子句： 就是所有变量之间全为析取关系
CNF: 主合取范式
人工智能：一种现代方法学习笔记（第七章）——逻辑Agent_第26张图片
人工智能：一种现代方法学习笔记（第七章）——逻辑Agent_第27张图片
人工智能：一种现代方法学习笔记（第七章）——逻辑Agent_第28张图片
人工智能：一种现代方法学习笔记（第七章）——逻辑Agent_第29张图片

归结原则

人工智能：一种现代方法学习笔记（第七章）——逻辑Agent_第30张图片

实例

人工智能：一种现代方法学习笔记（第七章）——逻辑Agent_第31张图片
人工智能：一种现代方法学习笔记（第七章）——逻辑Agent_第32张图片
人工智能：一种现代方法学习笔记（第七章）——逻辑Agent_第33张图片

HORN子句与限定字句

人工智能：一种现代方法学习笔记（第七章）——逻辑Agent_第34张图片
人工智能：一种现代方法学习笔记（第七章）——逻辑Agent_第35张图片

你可能感兴趣的:(人工智能：一种现代方法学习笔记)

  • ChatGPT、DeepSeek、Grok 三者对比：AI 语言模型的博弈与未来 一ge科研小菜菜 人工智能人工智能
    个人主页：一ge科研小菜鸡-CSDN博客期待您的关注1.引言随着人工智能技术的飞速发展，AI语言模型已经成为人机交互、内容创作、代码生成、智能问答等领域的重要工具。其中，ChatGPT（OpenAI）、DeepSeek（中国团队研发）和Grok（xAI，ElonMusk旗下公司）是当前三大具有代表性的AI语言模型。它们在技术架构、应用场景、用户体验、生态开放性等多个维度各具特色，并针对不同的用户需
  • 【go从入门到精通】探秘struct结构体转json为什么需要首字母大写？ 前网易架构师-高司机 golang从入门到精通golangjsongo结构体首字母大写golang从入门到精通go从入门到精通
    目录作者简介：问题抛出分析结论作者简介：高科，先后在IBMPlatformComputing从事网格计算，淘米网，网易从事游戏服务器开发，拥有丰富的C++，go等语言开发经验，mysql，mongo，redis等数据库，设计模式和网络库开发经验，对战棋类，回合制，moba类页游，手游有丰富的架构设计和开发经验。并且深耕深度学习和数据集训练，提供商业化的视觉人工智能检测和预警系统（煤矿，工厂，制造业
  • 基于发明的电容电感的新型热力梯度耦合电容电感lc谐振储能可行性 热爱电气 数学建模
    热梯度双层LC谐振储能结构可行性分析设计一种结合热力梯度、电容层（C层）、电感层（L层）及中间耦合层的双层LC谐振储能系统，需从物理原理、材料选择、热管理、能量耦合效率等方面进行综合评估。以下是详细分析：1.设计原理与理论模型（1）结构示意图[高温区]┌───────────────┐│电容层（C层）│→温度梯度ΔT├───────────────┤│热-电耦合层│→热传导/电磁耦合├──────
  • Netty基础—6.Netty实现RPC服务三 东阳马生架构 Netty应用与源码NettyRPC服务
    大纲1.RPC的相关概念2.RPC服务调用端动态代理实现3.Netty客户端之RPC远程调用过程分析4.RPC网络通信中的编码解码器5.Netty服务端之RPC服务提供端的处理6.RPC服务调用端实现超时功能5.Netty服务端之RPC服务提供端的处理(1)RPC服务提供端NettyServer(2)基于反射调用请求对象的目标方法(1)RPC服务提供端NettyRpcServerpubliccla
  • 软件开发面试题C#，.NET知识点（续） .房东的猫 c#.net
    1.C#中的封装是什么，以及它的重要性。封装（Encapsulation）是面向对象编程（OOP）的一个基本概念。它指的是将对象的状态（属性）和行为（方法）绑定在一起，并且将这些细节隐藏起来，只暴露必要的接口给外部使用。这样做的好处包括：提高代码的安全性：通过将数据隐藏在类内部，并通过公共方法（getters和setters）来访问和修改这些数据，可以防止外部代码直接修改类的内部状态，从而保护数据
  • python中定义结构体的方法 lxc521wjh python
    Python中没有专门定义结构体的方法，不过可以使用class标记定义类来代替结构体，其成员可以在构造函数__init__中定义，具体方法如下。classitem:def__init__(self):self.name=''#名称self.size=10#尺寸self.list=[]#列表a=item()#定义结构对象a.name='cup'a.size=8a.list.append('water
  • （十一）CSharp-LINQ-标准查询运算符（3） CRongQ CSharplinqc#
    一、标准查询运算符1、概念标准查询运算符由一系列API方法组成，API能让我们查询任何.NET数组或集合。标准运算符的要点：标准查询运算符使用方法语法。一些运算符返回Ienumerable对象（或其他序列），而其他运算符返回标量。返回标量的运算符立即执行查询，并返回一个值，而不是一个可枚举类型对象。ToArray()、ToList()等ToCollection运算符也会立即执行。很多操作都以一个谓
  • 增加对路由参数的支持 智想天开 php代码架构androidphp
    原文地址:增加对路由参数的支持更多内容请关注：智想天开理解路由参数路由参数允许在URL中捕获动态值，并将这些值传递给控制器的方法。例如：/user/123：捕获用户ID123。/post/45/comment/67：捕获帖子ID45和评论ID67。实现路由参数的关键在于：定义带参数的路由模式：使用特定的语法（如{id}）来标识动态部分。解析请求URI：匹配请求URI与路由模式，并提取参数值。传递参
  • Linq的理解 It_sharp C#Linq匿名类型
    前面的话这篇文章主要是在工具书中linq的基础上，我做了一些归纳。目录什么是Linq方法语法和查询语法查询表达式的结构标准查询运算符什么是Linq?Linq（link）代表语言集成查询（LanguageIntegratedQuery）Linq是.NET框架的扩展，它允许我们以使用SQL查询数据库的方式来查询数据集合。使用Linq，你可以从数据库、程序对象的集合以及XML文档中查询数据。一个例子st
  • （简单易懂口语化）对象的继承 - 2 成员变量 与 构造方法 的继承 奕口汤圆 Java学习java开发语言考研学习方法改行学it学习
    提示：文章写完后，目录可以自动生成，如何生成可参考右边的帮助文档成员变量与构造方法的继承规则内容概述一、成员变量的继承1，成员变量继承的本质2，访问的特点3，代码示例二、构造方法的继承1，构造方法的访问特点1.1父类的构造方法不会被子类继承。1.2子类中所有的构造方法默认先访问父类中的无参构造，再执行自己。1.3如何调用父类构造方法？总结内容概述（全文为Java描述）具体讲解成员变量与构造方法的继
  • 【练习】PAT 乙 1078 字符串压缩与解压 柠石榴 输入输出PAT题解有阻碍算法c++
    题目文本压缩有很多种方法，这里我们只考虑最简单的一种：把由相同字符组成的一个连续的片段用这个字符和片段中含有这个字符的个数来表示。例如ccccc就用5c来表示。如果字符没有重复，就原样输出。例如aba压缩后仍然是aba。解压方法就是反过来，把形如5c这样的表示恢复为ccccc。本题需要你根据压缩或解压的要求，对给定字符串进行处理。这里我们简单地假设原始字符串是完全由英文字母和空格组成的非空字符串。
  • 为什么转行大模型行业？深度解析职业变革与技术红利 大模型入门教程 大模型学习语言模型人工智能AI大模型程序员大模型入门
    引言2023年ChatGPT的爆发式发展，标志着AI大模型技术正式进入大众视野。这一技术不仅重塑了人工智能的边界，更催生了全新的职业赛道。从传统算法工程师到互联网从业者，越来越多的人开始将目光投向大模型领域。本文将深入探讨这一现象背后的核心动因，并结合行业现状、技术趋势与职业发展路径，为从业者提供系统性分析。一、行业变革：传统岗位萎缩与大模型崛起传统技术岗位的困境以推荐算法为例，随着移动互联网流量
  • Node.js -- exports 和 module.exports 详解：区别、用法与完整示例 还是鼠鼠 node.jsnode.jswebjavascript前端vscode
    目录Node.jsexports和module.exports详解1.module.exports和exports的关系2.module.exports的正确用法示例1：使用module.exports导出对象运行程序3.exports的正确用法示例2：使用exports导出多个方法4.exports的错误使用方式错误示例5.module.exports导出函数和类示例3：导出单个函数示例4：导出
  • P1328 [NOIP 2014 提高组] 生活大爆炸版石头剪刀布 让我上个超影吧 算法算法
    题目背景NOIP2014提高组D1T1题目描述石头剪刀布是常见的猜拳游戏：石头胜剪刀，剪刀胜布，布胜石头。如果两个人出拳一样，则不分胜负。在《生活大爆炸》第二季第8集中出现了一种石头剪刀布的升级版游戏。升级版游戏在传统的石头剪刀布游戏的基础上，增加了两个新手势：斯波克:《星际迷航》主角之一。蜥蜴人:《星际迷航》中的反面角色。这五种手势的胜负关系如表一所示,表中列出的是甲对乙的游戏结果。现在，小A和
  • 【go语言】Gin框架介绍和使用 加油，旭杏 Go语言gin
    一、简单使用Gin框架搭建一个服务器packagemainimport("github.com/gin-gonic/gin")funcmain(){//创建一个默认的路由引擎r:=gin.Default()//GET请求方法r.GET("/hello",func(c*gin.Context){//c.JSON返回的是JSON格式的数据c.JSON(200,gin.H{"message":"hell
  • DeepSeek 与云原生后端：AI 赋能现代应用架构 一ge科研小菜菜 后端人工智能后端
    个人主页：一ge科研小菜鸡-CSDN博客期待您的关注1.引言在当今快速发展的互联网时代，云原生（CloudNative）架构已成为后端开发的主流趋势。云原生后端的核心目标是利用云计算的弹性、可扩展性和高可用性，为现代应用提供稳定可靠的后端支持。而人工智能（AI）技术的发展，使得智能化成为云原生后端的新趋势。DeepSeek作为新一代AI技术，在云原生后端的自动化运维、智能资源调度、安全增强和高效数
  • 【数据结构】栈和队列 加油，旭杏 数据结构java开发语言
    一、栈1.1栈的概念以及结构栈：一种特殊的线性表，其只允许在固定的一端进行插入和删除元素的操作，进行数据插入和删除操作的一端称为栈顶，另一端称为栈底。栈中的数据元素遵守后进先出的原则。压栈：栈的插入操作叫做进栈/压栈/入栈，入数据在栈顶出栈：栈的删除操作叫做出栈，出数据在栈顶1.2栈的实现栈的实现一般可以使用数组或者链表实现，相对而言数组的结构实现更加优一些，因为数组在尾上插入数据的代价比较小。二
  • Java Stream 去重的多种方法 坎布里奇 javajavapython开发语言
    在JavaStream中实现去重有多种方法，具体取决于需求和场景。以下是常见的几种方法及示例：1.使用distinct()方法适用于对象已正确实现equals()和hashCode()，基于对象整体去重并保留顺序：ListuniquePersons=persons.stream().distinct().collect(Collectors.toList());2.根据对象的属性去重方法一：使用C
  • 【Attention】SEAttention shanks66 Attention各种深度学习模块人工智能深度学习python
    SEAttention摘要卷积神经网络（CNNs）的核心构建模块是卷积算子，它使网络能够通过在每一层的局部感受野内融合空间和通道信息来构建有价值的特征。此前大量研究聚焦于这种关系中的空间成分，试图通过在整个特征层级中提升空间编码质量来增强CNN的表征能力。在这项工作中，我们将重点放在通道关系上，并提出一种新颖的架构单元，称为“挤压与激励”（Squeeze-and-Excitation，简称SE）模
  • HarmonyOS NEXT开发实战：Navigation页面跳转对象传递案例 一晃有一秋 鸿蒙实例鸿蒙harmonyos华为鸿蒙鸿蒙系统android
    介绍本示例主要介绍在使用Navigation实现页面跳转时，如何在跳转页面得到转入页面传的类对象的方法。实现过程中使用了第三方插件class-transformer，传递对象经过该插件的plainToClass方法转换后可以直接调用对象的方法，效果图预览使用说明从首页进入本页面时，会传递一个类对象UserBookingInfo。点击“换个座位”按钮会调用该类对象的generateRandSeatN
  • AI 大模型应用数据中心建设：高性能计算与存储架构 AI智能涌现深度研究 AI大模型应用入门实战与进阶javapythonjavascriptkotlingolang架构人工智能
    AI大模型、数据中心、高性能计算、存储架构、分布式训练、GPU加速、数据管理1.背景介绍近年来，人工智能（AI）技术取得了飞速发展，特别是深度学习模型的突破性进展，催生了一系列基于大规模数据训练的强大AI模型，例如GPT-3、BERT、DALL-E等。这些AI大模型在自然语言处理、计算机视觉、语音识别等领域展现出强大的应用潜力，但也对计算资源和数据存储提出了极高的要求。传统的计算架构难以满足AI大
  • 解决注入mapper报红的问题 Jyannis springSpringBootspringmybatisspringbootjavabean
    在spring系列集成mybatis时，我们经常遇到这样的问题：明明注入没有问题，但是intellijidea会报红。这是因为我们没有手动在代码里把mapper接口注入spring容器中，而@Autowired注入方式默认要求注入的对象必须是在spring容器中存在的。所以idea认为这里的userMapper不存在，而用户（我们）选择注入，是一种错误操作，就报红。那么怎么解决这个问题呢？以下提供
  • [QMT量化交易小白入门]-二十二、deepseek+cline+vscode,让小白使用miniQMT量化交易成为可能 python自动化工具 QMT量化交易小白入门vscodeide编辑器
    本专栏主要是介绍QMT的基础用法，常见函数，写策略的方法，也会分享一些量化交易的思路，大概会写100篇左右。QMT的相关资料较少，在使用过程中不断的摸索，遇到了一些问题，记录下来和大家一起沟通，共同进步，自己淋过雨了，希望大家都有一把伞。文章目录相关阅读DeepSeek新用户注册cline集成指令测试相关阅读小白也能做量化：零门槛QMT、Ptrade免费送量化交易入门：如何在QMT中配置Pytho
  • 人工智能直通车系列24【机器学习基础】（机器学习模型评估指标（回归）） 浪九天 人工智能直通车开发语言python机器学习深度学习神经网络人工智能
    目录机器学习模型评估指标（回归）1.均方误差（MeanSquaredError,MSE）2.均方根误差（RootMeanSquaredError,RMSE）3.平均绝对误差（MeanAbsoluteError,MAE）4.决定系数（CoefficientofDetermination,R2）机器学习模型评估指标（回归）1.均方误差（MeanSquaredError,MSE）详细解释均方误差是回归问
  • eclipse运行问题 hitsz_syl eclipsejavaide
    你在D:\Personal_Finance_System\eclipse\eclipse\configuration目录下没有发现.log文件：方法：强制Eclipse生成日志如果.log文件不存在，可以尝试让Eclipse以-consoleLog模式运行，查看错误信息：打开Windowscmd终端进入Eclipse安装目录cdD:\Personal_Finance_System\eclipse\
  • python_学习爬虫遇到的第一个问题_urllib获取baidu首页源代码 KJDETL python_爬虫python学习爬虫
    第一天学习爬虫，学习的是urllib的基本用法，通过urllib.request获取baidu首页源代码。#导入urllib所需要的库importurllib.request#左边自定义名称，右边是要访问的地址url='https://www.baidu.com/Index.htm'#左边自定义名称可以叫做响应，右边是通过urllib.request.urlopen方法向url发出请求respon
  • VUE前端实现防抖节流 Lodash 2501_91133275 前端vue.jsjavascript
    写在前面：兄弟们，我手里有个长期项目，考虑接私活的可以看看我GitHub！https://github.com/ccy-233/coder2retire方法一：采用Lodash工具库Lodash是一个一致性、[模块化]、高性能的JavaScript实用工具库。（1）采用终端导入Lodash库$npmi-gnpm$npmi--savelodash（2）应用示例：搜索框输入防抖在这个示例中，我们希望用
  • 五大基础算法——模拟算法 六七_Shmily 数据结构与算法分析算法
    模拟算法是一种通过直接模拟问题描述的过程或规则来解决问题的算法思想。它通常用于解决那些问题描述清晰、步骤明确、可以直接按照规则逐步实现的问题。以下是模拟算法的核心概念、适用场景、实现方法及经典例题：一、核心概念问题描述清晰问题的规则和步骤明确，可以直接按照描述实现。逐步模拟按照问题的规则，一步一步模拟过程，直到得到最终结果。无复杂优化模拟算法通常不涉及复杂的优化技巧，重点是准确实现问题描述。二、适
  • 一篇文章带你学完Java所有的时间与日期类 MHP小喇叭 java开发语言
    目录一、传统时间与日期类1.Date类构造方法获取日期和时间信息的方法设置日期和时间信息的方法2.Calendar类主要特点和功能常用方法1.获取当前日历对象2.获取日历中的某个信息3.获取日期对象4.获取时间毫秒值5.修改日历的某个信息6.为某个信息增加或者减少值3.SimpleDateFormat类主要用途构造函数模式字符串将日期格式化成日期与时间字符串将时间毫秒值格式化成字符串解析日期示例要
  • Redis 安装详细教程（小白版） 小小鸭程序员 springjavaAI编程springcloudredis
    一、Windows系统安装Redis方法1：直接安装（推荐新手）下载RedisforWindows访问微软维护的Redis版本：https://github.com/microsoftarchive/redis/releases下载Redis-x64-3.2.100.msi（或最新版本）安装包。安装Redis双击下载的.msi文件点击下一步，勾选“AddRedisinstallationfolde
  • java Illegal overloaded getter method with ambiguous type for propert的解决 zwllxs javajdk
    好久不来iteye,今天又来看看，哈哈,今天碰到在编码时，反射中会抛出 Illegal overloaded getter method with ambiguous type for propert这么个东东，从字面意思看，是反射在获取getter时迷惑了，然后回想起java在boolean值在生成getter时，分别有is和getter，也许我们的反射对象中就有is开头的方法迷惑了jdk，
  • IT人应当知道的10个行业小内幕 beijingjava 工作互联网
    10. 虽然IT业的薪酬比其他很多行业要好，但有公司因此视你为其“佣人”。 　　尽管IT人士的薪水没有互联网泡沫之前要好，但和其他行业人士比较，IT人的薪资还算好点。在接下的几十年中，科技在商业和社会发展中所占分量会一直增加，所以我们完全有理由相信，IT专业人才的需求量也不会减少。 　　然而，正因为IT人士的薪水普遍较高，所以有些公司认为给了你这么多钱，就把你看成是公司的“佣人”，拥有你的支配
  • java 实现自定义链表 CrazyMizzz java数据结构
    1.链表结构   链表是链式的结构 2.链表的组成    链表是由头节点，中间节点和尾节点组成    节点是由两个部分组成：       1.数据域       2.引用域 3.链表的实现 &nbs
  • web项目发布到服务器后图片过一会儿消失 麦田的设计者 struts2上传图片永久保存
      作为一名学习了android和j2ee的程序员，我们必须要意识到，客服端和服务器端的交互是很有必要的，比如你用eclipse写了一个web工程，并且发布到了服务器（tomcat）上，这时你在webapps目录下看到了你发布的web工程，你可以打开电脑的浏览器输入http://localhost:8080/工程/路径访问里面的资源。但是，有时你会突然的发现之前用struts2上传的图片
  • CodeIgniter框架Cart类 name 不能设置中文的解决方法 IT独行者 CodeIgniterCart框架　
    今天试用了一下CodeIgniter的Cart类时遇到了个小问题，发现当name的值为中文时，就写入不了session。在这里特别提醒一下。 在CI手册里也有说明，如下： $data = array( 'id' => 'sku_123ABC', 'qty' => 1, '
  • linux回收站 _wy_ linux回收站
    今天一不小心在ubuntu下把一个文件移动到了回收站，我并不想删，手误了。我急忙到Nautilus下的回收站中准备恢复它，但是里面居然什么都没有。     后来我发现这是由于我删文件的地方不在HOME所在的分区，而是在另一个独立的Linux分区下，这是我专门用于开发的分区。而我删除的东东在分区根目录下的.Trash-1000/file目录下，相关的删除信息（删除时间和文件所在
  • jquery回到页面顶端 知了ing htmljquerycss
    html代码： <h1 id="anchor">页面标题</h1> <div id="container">页面内容</div> <p><a href="#anchor" class="topLink">回到顶端</a><
  • B树、B-树、B+树、B*树 矮蛋蛋 B树
    原文地址： http://www.cnblogs.com/oldhorse/archive/2009/11/16/1604009.html B树        即二叉搜索树：        1.所有非叶子结点至多拥有两个儿子（Left和Right）； &nb
  • 数据库连接池 alafqq 数据库连接池
    http://www.cnblogs.com/xdp-gacl/p/4002804.html @Anthor:孤傲苍狼 数据库连接池 用MySQLv5版本的数据库驱动没有问题，使用MySQLv6和Oracle的数据库驱动时候报如下错误： java.lang.ClassCastException: $Proxy0 cannot be cast to java.sql.Connec
  • java泛型 百合不是茶 java泛型
    泛型 在Java SE 1.5之前，没有泛型的情况的下，通过对类型Object的引用来实现参数的“任意化”，任意化的缺点就是要实行强制转换，这种强制转换可能会带来不安全的隐患   泛型的特点：消除强制转换 确保类型安全 向后兼容   简单泛型的定义：      泛型：就是在类中将其模糊化，在创建对象的时候再具体定义 class fan
  • javascript闭包[两个小测试例子] bijian1013 JavaScriptJavaScript
    一.程序一 <script> var name = "The Window"; var Object_a = { 　　name : "My Object", 　　getNameFunc : function(){ var that = this; 　　　　return function(){ 　　　　
  • 探索JUnit4扩展：假设机制（Assumption） bijian1013 javaAssumptionJUnit单元测试
    一.假设机制（Assumption）概述        理想情况下，写测试用例的开发人员可以明确的知道所有导致他们所写的测试用例不通过的地方，但是有的时候，这些导致测试用例不通过的地方并不是很容易的被发现，可能隐藏得很深，从而导致开发人员在写测试用例时很难预测到这些因素，而且往往这些因素并不是开发人员当初设计测试用例时真正目的，
  • 【Gson四】范型POJO的反序列化 bit1129 POJO
    在下面这个例子中，POJO(Data类)是一个范型类，在Tests中，指定范型类为PieceData，POJO初始化完成后，通过 String str = new Gson().toJson(data); 得到范型化的POJO序列化得到的JSON串，然后将这个JSON串反序列化为POJO   import com.google.gson.Gson; import java.
  • 【Spark八十五】Spark Streaming分析结果落地到MySQL bit1129 Stream
    几点总结： 1. DStream.foreachRDD是一个Output Operation，类似于RDD的action，会触发Job的提交。DStream.foreachRDD是数据落地很常用的方法 2. 获取MySQL Connection的操作应该放在foreachRDD的参数（是一个RDD[T]=>Unit的函数类型)，这样，当foreachRDD方法在每个Worker上执行时，
  • NGINX + LUA实现复杂的控制 ronin47 nginx lua
    安装lua_nginx_module 模块 lua_nginx_module 可以一步步的安装，也可以直接用淘宝的OpenResty Centos和debian的安装就简单了。。 这里说下freebsd的安装： fetch http://www.lua.org/ftp/lua-5.1.4.tar.gz tar zxvf lua-5.1.4.tar.gz cd lua-5.1.4 ma
  • java-递归判断数组是否升序 bylijinnan java
    public class IsAccendListRecursive { /*递归判断数组是否升序 * if a Integer array is ascending,return true * use recursion */ public static void main(String[] args){ IsAccendListRecursiv
  • Netty源码学习-DefaultChannelPipeline2 bylijinnan javanetty
    Netty3的API http://docs.jboss.org/netty/3.2/api/org/jboss/netty/channel/ChannelPipeline.html 里面提到ChannelPipeline的一个“pitfall”： 如果ChannelPipeline只有一个handler（假设为handlerA）且希望用另一handler（假设为handlerB） 来
  • Java工具之JPS chinrui java
    JPS使用     熟悉Linux的朋友们都知道，Linux下有一个常用的命令叫做ps（Process Status)，是用来查看Linux环境下进程信息的。同样的，在Java Virtual Machine里面也提供了类似的工具供广大Java开发人员使用，它就是jps（Java Process Status)，它可以用来
  • window.print分页打印 ctrain window
    function init() { var tt = document.getElementById("tt"); var childNodes = tt.childNodes[0].childNodes; var level = 0; for (var i = 0; i < childNodes.length; i++) {
  • 安装hadoop时 执行jps命令Error occurred during initialization of VM daizj jdkhadoopjps
    在安装hadoop时，执行JPS出现下面错误   [slave16][email protected]:/tmp/hsperfdata_hdfs# jps Error occurred during initialization of VM java.lang.Error: Properties init: Could not determine current working
  • PHP开发大型项目的一点经验 dcj3sjt126com PHP重构
    一、变量 最好是把所有的变量存储在一个数组中，这样在程序的开发中可以带来很多的方便，特别是当程序很大的时候。变量的命名就当适合自己的习惯，不管是用拼音还是英语，至少应当有一定的意义，以便适合记忆。变量的命名尽量规范化，不要与PHP中的关键字相冲突。 二、函数 PHP自带了很多函数，这给我们程序的编写带来了很多的方便。当然，在大型程序中我们往往自己要定义许多个函数，几十
  • android笔记之--向网络发送GET/POST请求参数 dcj3sjt126com android
    使用GET方法发送请求 private static boolean sendGETRequest (String path, Map<String, String> params) throws Exception{ //发送地http://192.168.100.91:8080/videoServi
  • linux复习笔记 之bash shell (3) 通配符 eksliang linux 通配符linux通配符
    转载请出自出处： http://eksliang.iteye.com/blog/2104387 在bash的操作环境中有一个非常有用的功能，那就是通配符。 下面列出一些常用的通配符，如下表所示 符号 意义 * 万用字符，代表0个到无穷个任意字符 ? 万用字符，代表一定有一个任意字符 [] 代表一定有一个在中括号内的字符。例如：[abcd]代表一定有一个字符，可能是a、b、c
  • Android关于短信加密 gqdy365 android
    关于Android短信加密功能，我初步了解的如下（只在Android应用层试验）：     1、因为Android有短信收发接口，可以调用接口完成短信收发；         发送过程：APP（基于短信应用修改）接受用户输入号码、内容——>APP对短信内容加密——>调用短信发送方法Sm
  • asp.net在网站根目录下创建文件夹 hvt .netC#hovertreeasp.netWeb Forms
    假设要在asp.net网站的根目录下建立文件夹hovertree,C#代码如下： string m_keleyiFolderName = Server.MapPath("/hovertree"); if (Directory.Exists(m_keleyiFolderName)) { //文件夹已经存在 return; } else { try { D
  • 一个合格的程序员应该读过哪些书 justjavac 程序员书籍
    编者按：2008年8月4日，StackOverflow 网友 Bert F 发帖提问：哪本最具影响力的书，是每个程序员都应该读的？ “如果能时光倒流，回到过去，作为一个开发人员，你可以告诉自己在职业生涯初期应该读一本， 你会选择哪本书呢？我希望这个书单列表内容丰富，可以涵盖很多东西。” 很多程序员响应，他们在推荐时也写下自己的评语。 以前就有国内网友介绍这个程序员书单，不过都是推荐数
  • 单实例实践 跑龙套_az 单例
       1、内部类 public class Singleton { private static class SingletonHolder { public static Singleton singleton = new Singleton(); } public Singleton getRes
  • PO VO BEAN 理解 q137681467 VODTOpo
    PO：      全称是 persistant object持久对象 最形象的理解就是一个PO就是数据库中的一条记录。 好处是可以把一条记录作为一个对象处理，可以方便的转为其它对象。     BO：     全称是 business object:业务对象 主要作用是把业务逻辑封装为一个对象。这个对
  • 战胜惰性，暗自努力 金笛子 努力
    偶然看到一句很贴近生活的话：“别人都在你看不到的地方暗自努力，在你看得到的地方，他们也和你一样显得吊儿郎当，和你一样会抱怨，而只有你自己相信这些都是真的，最后也只有你一人继续不思进取。”很多句子总在不经意中就会戳中一部分人的软肋，我想我们每个人的周围总是有那么些表现得“吊儿郎当”的存在，是否你就真的相信他们如此不思进取，而开始放松了对自己的要求随波逐流呢？ 我有个朋友是搞技术的，平时嘻嘻哈哈，以
  • NDK/JNI二维数组多维数组传递 wenzongliang 二维数组jniNDK
    多维数组和对象数组一样处理，例如二维数组里的每个元素还是一个数组 用jArray表示，直到数组变为一维的，且里面元素为基本类型，去获得一维数组指针。给大家提供个例子。已经测试通过。 Java_cn_wzl_FiveChessView_checkWin( JNIEnv* env,jobject thiz,jobjectArray qizidata) { jint i,j; int s
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他