XML Schema 指示器 04
指示器通过指示器可以控制在文档中使用元素的方式。
Order 指示器Order 用于定义元素的顺序
All<all>指示器规定子元素可以按照任意顺序出现，且每个子元素必须只能出现一次。
当使用 <all> 指示器时，你可以把 <minOccurs>设置
...
XML Schema 限定 02
限定限定用于限制元素和属性可接受的值，对元素的限定被称为facet。关于限定的详细列子，请参考该链接XSD 限定 / Facets
限定定义12345678<xs:element name="age"><xs:simpleType> <xs:restricti
...
XML Schema 复合元素 05
复合元素复合元素包含其他元素及属性的XML元素。 复合元素包括：
空元素
包含其他元素的元素
仅包含文本的元素
包含元素和文本的元素
上述所有元素均可包含属性
仅包含元素的复合元素复合元素声明有两种方式，第二种方式可用于其他元素。
12345678<xs:element na
...
XML Schema 简易元素及属性 03
简易元素简易元素是指只包含文本的元素，不包括其他元素或者属性。
简易元素的语法1<xs:element name="xxx" type="yyy"/>
xxx是指元素的名称，yyy是指元素数据类型例如 ：
123456789<lastname>Smith<
...
XML Schema 简要 01
前言XML Schema 语言即XML Schema Definition(XSD)，是基于XML格式，用于描述XML结构的文档，也是DTD的替代者。
XML Schema的作用
定义可出现在文档中的元素
定义可出现在文档中的属性
定义哪个元素是子元素
定义子元素的次序
定义子元素的数目
...
Log4j.properties配置解释
实例123456789101112131415161718192021222324 ### 设置###log4j.rootLogger = debug,stdout,D,E### 输出信息到控制抬 ###log4j.appender.stdout = org.apache.log4j.Console
...
Java8下使用wsdl2java命令报错解决方案
环境JDK:1.8apache-cxf: 2.7.x
描述使用wsdl2java命令生产代码时抛出如下异常：
1java.lang.AssertionError: org.xml.sax.SAXParseException; systemId: jar:file:/path/to/gl
...
Linux 清空或删除文件
使用重定向的方式清空文件1234567> access.log # 在Mac下没有成功: > access.log # 在Mac下成功cat /dev/null > access.log # 使用cat 显示/dev/null中的内容，然后重定向access.log文件中cp /d
...
Math-DM-07-集合
集合集合是一组无序的对象。
该定义有逻辑悖论。以公理的基本假设为起点建立集合理论可以避免逻辑上的不一致。
集合概述
集合$A$等于集合$B$当且仅当$∀x(x\in A↔︎x\in B)$
集合$A$是集合$B$的子集当且仅当$∀x(x\in A→x\in B)$
集合$A$是集合$B$的真子集
...
Math-DM-06-证明导论
证明
定理：是一个能够表明为真的语句，有时把不太重要的定理称为命题。
引理：在其他结果证明中很有帮助的不大重要的定理
推论：从定理直接建立被证明的定理
猜想：被提出为真的命题，通常是在一些依据的基础上，启发式论证，未被证实。
##证明定理的方法
直接证明直接证明用于$p\rightarrow q$
...
Math-DM-05-推理规则
推理规则证明是建立在数学命题真实性之上的有效论证。为从已有的命题中推出新的命题，应用推理规则，它是构造有效论证的模板。推理规则是建立命题真实性的基本工具。
命题逻辑的推理规则命理逻辑中的论证是一连串的命题。除了论证中最后一个命题外都叫前提，最后的命题叫结论。当所有前提为真意味着结论为真时，
...
Math-DM-04-嵌套量词
嵌套量词嵌套量词类似于复合函数，例如$\forall x\exists y(x+y=0)$和$\forall xQ(x)$相同，其中$Q(x)$指$\exists y(x+y=0)$。
嵌套量词例子这里假定$x$和$y$的论域是所有实数的集合。$$ \forall x\forall y(x+y=y+
...
Math-DM-03-谓词逻辑
谓词逻辑若要明白什么是谓词逻辑，需要了解谓词和量词的概念。
谓词谓词可以理解为变量。当命题函数中的谓词确定时，命题函数就称为命题，因而有真值。例如：$P(x)$表示语句“$x$大于$3$”，一旦给变量$x$赋一个值，语句$P(x)$就称为命题，因而有真值。形为$P(x_1,x_2,…,x_n)$的语
...
Math-DM-02-逻辑等价
引言复合命题中如果无论其中出现的命题的真值是什么，它的真值总是真，称为永真式。真值永远为假的复合命题称为矛盾。最后，既不是永真式又不是矛盾的命题称为可能式。
逻辑等价在所有可能的情况下都有相同真值的两个复合命题称为逻辑等价。用如下定义这一概念：
如果$p↔︎q$是永真式。命题$p$和$q$称为
...
Math-DM-01-基本逻辑
命题逻辑逻辑的基本成分是命题，命题是一个或真或假的陈述语句，即一个陈述事实的句子，但不能既真又假。涉及命题的逻辑领域称为命题演算或命题逻辑。
逻辑运算符非令$p$为一命题，则$p$的否定表示为$\lnot p$，命题$\lnot p$读作”非$p$”。
与(合取)令$p$和$q$为命题，$p、q$的
...
软件推荐
名称
描述
平台
Toogl
时间管理软件
all
Pomotodo
番茄工作法
all
Alfred Alfred 插件集合
Mac最好用的快速启动工具
Mac
Moom
分屏工具
Mac
Go2Shell
在Finder打开terminal
Mac
OmniFoc
...