寒江雪里独钓着的蓑笠翁
寒江雪里独钓着的蓑笠翁

求命题公式的主范式

成绩 100 开启时间 2017年04月6日 星期四 08:00
折扣 0.8 折扣时间 2017年05月5日 星期五 08:00
允许迟交 否 关闭时间 2017年05月18日 星期四 23:55

实现功能：输入命题公式的合式公式，求出公式的真值表，并输出该公式的主合取范式和主析取范式。

输入：命题公式的合式公式

输出：公式的主析取范式和主析取范式，输出形式为：“ mi ∨ mj ; Mi ∧ Mj” ，极小项和 ∨ 符号之间有一个空格，极大项和 ∧ 符号之间有一个空格；主析取范式和主合取范式之间用“ ; ”隔开，“ ; ”前后各有一个空格。 永真式的主合取范式为 1 ，永假式的主析取范式为 0 。

输入公式的符号说明：

! 非，相当于书面符号中的 “ ¬ ”

& 与，相当于书面符号中的 “ ∧ ”

| 或，相当于书面符号中的 “ ∨ ”

- 蕴含联结词，相当于书面符号中的 “ → ”

+ 等价联结词，相当于书面符号中的 “ ↔ ”

( 前括号

) 后括号

  测试输入 期待的输出 时间限制 内存限制 额外进程
测试用例 1 以文本方式显示
  1. a&b↵
 以文本方式显示
  1. m3 ; M0 ∧ M1 ∧ M2↵
 无限制 64M 0
测试用例 2 以文本方式显示
  1. a|b↵
 以文本方式显示
  1. m1 ∨ m2 ∨ m3 ; M0↵
 无限制 64M 0
思路：栈模拟+暴力枚举  
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#define INF 0x3f3f3f3f
#define maxn 100100
#define N 1111
#define eps 1e-6
#define pi acos(-1.0)
#define e exp(1.0)
using namespace std;
const int mod = 1e9 + 7;
typedef long long ll;
int Value[N], ans[N];
char Exist[N];
int cnt;
class Stack
{
private:
	int topdata;
	char *data = new char[N];

public:
	void init()//初始化构造函数
	{
		topdata = 0;
	}
	int is_Empty()//判断栈空
	{
		if (!topdata)
		{
			return 1;
		}
		return 0;
	}
	void push(int n)//压栈
	{
		data[topdata++] = n;
	}
	char pop()
	{
		return data[--topdata];
	}
	char front()//查看栈顶
	{
		return data[topdata - 1];
	}
	void bye()
	{
		delete[] data;
	}
};
int get_Priority(char ch)//优先级处理
{
	switch (ch)
	{
	case '!':
		return 5;
	case '|':
		return 4;
	case '&':
		return 3;
	case '-':
		return 2;
	case '+':
		return 1;
	case ')':
		return 6;
	case '(':
		return 0;
	default:
		return -1;
	}
}
int get_Value(char ch)//获得变量ch数值
{
	if (ch <= 'z' && ch >= 'a')
	{
		return Value[ch];
	}
	if (ch == '0' || ch == '1')
	{
		return ch - '0';
	}
	return -1;
}
int get_Value(int n)//获得第n个变量数值(重载get_Value函数)
{
	if (n < cnt)
		return Value[Exist[n]];
	return -1;
}
bool is_Word(char ch)//判断是否是变量
{
	if (ch <= 'z' && ch >= 'a')
	{
		return 1;
	}
	return 0;
}
void set_Value(int ch_id, int i)//设置变量值
{
	if (ch_id < cnt)
		Value[Exist[ch_id]] = i;
}
int solve(char single, Stack &word)//计算不同运算符
{
	int b = word.pop();
	int a = word.pop();
	switch (single)
	{
	case '|':
		return a | b;
	case '&':
		return a & b;
	case '-':
		return (!a) | b;
	case '+':
		return a == b;
	case '!':
		word.push(a);
		return !b;
	default:
		return -3;
	}
}
int main()
{
#ifndef ONLINE_JUDGE
	freopen("in.txt", "r", stdin);
	freopen("out.txt", "w", stdout);
	long _begin_time = clock();
#endif
	char ch[maxn];
	while (~scanf("%s", ch))
	{
		bool flag = 0;
		memset(ans, 0, sizeof(ans));
		int one = 0, zero = 0;
		cnt = 0;
		int len = strlen(ch);
		for (int i = 0; i < len; i++)//遍历变量数量
			if (is_Word(ch[i]))
			{
				flag = 1;
				for (int j = 0; j < cnt; j++)
					if (Exist[j] == ch[i])
					{
						flag = 0;
						break;
					}
				if (flag)
				{
					Exist[cnt] = ch[i];
					cnt++;
				}
			}
		for (int i = 0; i < cnt; i++)//对变量排序
			for (int j = i + 1; j < cnt; j++)
				if (Exist[i] > Exist[j])
					swap(Exist[i], Exist[j]);
		Stack word, sign;
		for (int i = 0; i < (1 << cnt); i++)//对每一个真值表数值进行计算
		{
			word.init();
			sign.init();
			for (int j = 0; j < len; j++)
				if (is_Word(ch[j]) || ch[j] == '0' || ch[j] == '1')
					word.push(get_Value(ch[j]));
				else
				{
					if (get_Priority(ch[j]) == 6)//右括号
					{
						while (get_Priority(sign.front()))
							word.push(solve(sign.pop(), word));
						sign.pop();
					}
					else if (!get_Priority(ch[j]))//处理括号
						sign.push(ch[j]);
					else
					{
						while ((!sign.is_Empty()) && get_Priority(sign.front()) > get_Priority(ch[j]))//如果后面优先度小于前面则进行计算
							word.push(solve(sign.pop(), word));
						sign.push(ch[j]); //将符号压栈
					}
				}
			while (!sign.is_Empty())//读完后进行计算
				word.push(solve(sign.pop(), word));
			if (word.front() == 1)
			{
				one++;
				ans[i]++;
			}
			else if (word.front() == 0)
			{
				zero++;
				ans[i]--;
			}
			int j = cnt - 1;
			while (get_Value(j) > 0)//真值表加1
				j--;
			set_Value(j, 1);
			j++;
			while (j <= cnt - 1)
			{
				set_Value(j, 0);
				j++;
			}
		}
		word.bye();
		sign.bye();
		int j = 0;
		for (int i = 0; i < one; i++) //输出计算结果
		{
			while (ans[j] <= 0)
				j++;
			printf("m%d", j);
			if (i < one - 1)
				printf(" ∨ ");
			j++;
		}
		if (!one)
			putchar('0');
		printf(" ; ");
		j = 0;
		for (int i = 0; i < zero; i++) //输出计算结果
		{
			while (ans[j] >= 0)
				j++;
			printf("M%d", j);
			if (i < zero - 1)
				printf(" ∧ ");
			j++;
		}
		if (!zero || !cnt)
			putchar('1');
		puts("");
	}
#ifndef ONLINE_JUDGE
	long _end_time = clock();
	printf("time = %ld ms.", _end_time - _begin_time);
#endif
	return 0;
}



你可能感兴趣的:(离散数学)

  • CTF 竞赛密码学方向学习路径规划 David Max CTF学习笔记密码学ctf信息安全
    目录计算机科学基础计算机科学概念的引入、兴趣的引导开发环境的配置与常用工具的安装WattToolkit（Steam++）、机场代理Scoop（Windows用户可选）常用Python库SageMathLinux小工具yafuOpenSSLMarkdown编程基础Python其他编程语言、算法与数据结构（可选）数学基础离散数学与抽象代数复杂性分析密码学的正式学习兴趣的培养做题小技巧系统学习需要了解并
  • 【Rust】——采用发布配置自定义构建 Y小夜 Rust（官方文档重点总结）rust开发语言后端
    博主现有专栏：C51单片机（STC89C516），c语言，c++，离散数学，算法设计与分析，数据结构，Python，Java基础，MySQL，linux，基于HTML5的网页设计及应用，Rust（官方文档重点总结），jQuery，前端vue.js，Javaweb开发，Python机器学习等主页链接：Y小夜-CSDN博客今日学习推荐：在当今这个飞速发展的信息时代，人工智能（AI）已经成为了一个不可或
  • 【Rust】——高级类型 Y小夜 Rust（官方文档重点总结）rust开发语言后端
    博主现有专栏：C51单片机（STC89C516），c语言，c++，离散数学，算法设计与分析，数据结构，Python，Java基础，MySQL，linux，基于HTML5的网页设计及应用，Rust（官方文档重点总结），jQuery，前端vue.js，Javaweb开发，Python机器学习等主页链接：Y小夜-CSDN博客目录为了类型安全和抽象而使用的newtype模式类型别名用来创建类型同义词不返回
  • 【晨间日记】 2020年9月23日 语瞳SAMA
    2020年9月23日天气：小雨【90天践行目标】（108/120）①5：30早起②22：30早睡③写晨间日记【昨日践行】①5：41起床②22：29入睡③晨间日记已达成【今日青蛙】①完成概率论和离散数学作业②午间冥想③洗衣服*昨日三只青蛙已达成【反思日志】①早晨听这门Java课，真的有种“虽然是使用中文教学，但是上起来却和外语课一样”的感觉，好多未知的术语糅杂在一起，整堂课听着就跟猜谜似的，太离谱了
  • 离散数学中的逻辑基础（1） 小魏冬琅 其他算法
    目录引言1.命题及其逻辑运算2.逻辑等价与范式3.逻辑推理规则4.逻辑问题练习5.总结引言逻辑是离散数学的核心概念之一，它用于精确描述数学命题并分析其关系。逻辑不仅是数学证明的基础，也是计算机科学中算法设计和编程的基石。本篇文章将详细介绍逻辑学中的命题、逻辑运算和推理规则，帮助读者建立扎实的逻辑基础。1.命题及其逻辑运算1.1命题的定义在离散数学中，命题是一个能够明确判定真假的陈述句。例如，“5是
  • 寒假 AOS加贝
    寒假已经过去五分之一，科目二挂科，离散数学中断学习，花了大量时间在新闻和睡觉上，懒惰的油腻糊住了眼角膜，铺天盖地的新闻铺面而来EVENTIME（事件时间）渐渐变少，寒假所剩的时间也越来越少，日日没盼头。我的盼头在哪里？
  • 离散数学-通过真值表计算主合取范式和主析取范式 梓仁沐白 数学学习
    （去你丫的离散数学）首先，我们需要理解主合取范式（CNF）和主析取范式（DNF）的定义：主合取范式（CNF）：是一个逻辑公式，它是一系列子句的逻辑与（合取），每个子句是一系列文字的逻辑或（析取）。文字是变量或其否定。主析取范式（DNF）：是一个逻辑公式，它是一系列子句的逻辑或（析取），每个子句是一系列文字的逻辑与（合取）。文字是变量或其否定。然后，我们可以根据真值表得出公式的主合取范式和主析取范式
  • 贪心 邻项交换 数学 Loboqui
    进一步学习：1.具体数学2.离散数学3.布尔代数4.Matroid5.（逻辑学）你需要学会的技能：解最值不等式严格弱序Ithastobeantisymmetric.Thismeansthatforoperator<:Ifx
  • 《离散数学》第三章：命题逻辑（第一部分） Sɪʟᴇɴᴛ໊ོ235 离散数学离散数学
    3.1什么是命题3.1.1命题和非命题注意：数理逻辑研究的中心问题是推理，而推理的前提和结论都是命题。因而命题是推理的基本单位。定义：具有确切真值的陈述句称为命题(proposition)。该命题可以取一个“值”，称为真值。真值只有“真”和“假”两种，分别用“T”(或“1”)和“F”(或“0”)表示。注意：一切没有判断内容的句子，如命令句(或祈使句)、感叹句、疑问句、二义性的陈述句等都不能作为命题
  • 世界顶级名校计算机专业，都在用哪些书当教材？(文末送书) 小尘要自信 java开发语言数据库算法赠书计算机组成
    目录01《深入理解计算机系统》02《算法导论》03《计算机程序的构造和解释》04《数据库系统概念》05《计算机组成与设计：硬件/软件接口》06《离散数学及其应用》07《组合数学》08《斯坦福算法博弈论二十讲》参与规则清华、北大、MIT、CMU、斯坦福的学霸们在新学期里要学什么？今天我们来盘点一下那些世界名校计算机专业采用的教材。01《深入理解计算机系统》原书第3版）作者：兰德尔E.布莱恩特大卫R.
  • 离散数学c语言实验报告,离散数学数理逻辑C++或C语言实验报告 weixin_39951396 离散数学c语言实验报告
    离散数学实验报告专业班级：12级计算机本部一班姓名：鲍佳珍学号：1016实验成绩：1．【实验题目】命题逻辑实验一2．【实验目的】熟悉掌握命题逻辑中的联接词，实现二元合取、析取、蕴涵和等价表达式的计算。熟悉连接词逻辑运算规则，利用程序语言实现逻辑这几种逻辑运算。3．【实验内容】从键盘输入两个命题变元P和Q的真值，求它们的合取、析取、条件和双条件的真值。(A)4、【实验要求】C或C＋＋语言编程实现5
  • 离散数学上机作业 lgt23456 c++c语言
    集合的运算任务1、利用搜索法进行并、交、差、补运算设U={0,1,…,9},A={0,1,2,3,4},B={1,3,5,7,9}请参考“任务1.cpp”中的代码，使用C语言编写程序，分别输出A∩B、A-B、B-A、A、B、A∪B、AB的所有元素，代码及运行结果截图。要求：通过搜索(查找)的方式输出符合条件的元素，不允许输出重复元素。任务2、集合的模拟位表示法设U={0,1,…,9},A={0,1
  • 离散数学截图 simplesin 笔记
    二元运算及其性质二元运算中的特殊元半群和独异点代数系统的同态与同构下确界是最大的下界，而在4、5、6三个下界里面，4和5都比6大。可4和5之间没办法分出大小，所以这个哈斯图没有下确界
  • C++ QT结合FFmpeg实战开发视频播放器-16音视频采样编码的基本原理 虚坏叔叔 QTQT音视频采样编码转换
    作者：虚幻私塾博客：https://xuhss.com早餐店不会开到晚上，想吃的人早就来了！一、音视频采样编码的基本原理这节课主要讲解音视频采样，编解码到最后播放的大致过程。大家都知道，平常传感器采集的音视频是模拟信号。类似于这幅图：这幅图学过高中数学就应该了解它类似于三角函数的曲线它每一个点的数据是平滑的大学学过一门课程是离散数学，采样的过程就是取其中平滑的曲线上的一个一个离散的点，它实际上是将
  • 2018-04-15六项精进打卡 Tonychen2018
    姓名：陈峰企业名称：上海孚因流体动力设备股份有限公司组别：谦虚一组第361期，孚因--努力组打卡第27天【知~学习】《六项精进》2遍,共80遍《大学》1遍，共27遍【经典名句分享】抱最大的希望，为最大的努力，做最坏的打算。生命太过短暂，今天放弃了明天不一定能得到【行~实践】一、修身：（对自己个人）1.看专升本的视频离散数学2.多运动，晚上少吃饭二、齐家：（对家庭和家人）1.跟家里人打电话三、建功（
  • 添加个规划 睡不醒的年代
    最近，在思索学点什么。莫名其妙的，一个人，难的有点清闲的时间，没什么正儿八经的事；就给自己规划了下。离散数学怎么说呢，突然，想起来，前端时间的考试离散数学不怎么样？就把它加到个人规划里了。毕竟，数学，是一门不错的学科，加进来，利远远大于弊。课程地址：https://www.bilibili.com/video/BV1BW411n7gw，大约应该是北大的一门课。每节课时间没有那么长，不像现在的随便一
  • 笔记：离散数学 ITS_Oaij 笔记：数学数学
    第一章命题逻辑1-1命题及其表示法命题——定义联结词1-2联结词简单命题可以用大写字母表示复合命题由若干个连结词、标点符号及原子命题复合构成的命题六个逻辑联结词逻辑联结词可以看成是运算，因为有运算结果其运算的对象是命题运算规则是每个联结词的真值表1-3命题公式与翻译注意：命题公式是没有真假值的，仅当在一个公式中命题变元用确定的命题带入时，才得到一个命题1-4真值表与等价公式1-5重言式与蕴含式第三
  • 离散数学——图论（笔记及思维导图） kaixin_啊啊 离散数学学习图论笔记离散数学思维导图
    离散数学——图论（笔记及思维导图）目录大纲内容参考大纲内容参考笔记来自【电子科大】离散数学王丽杰
  • 考研数据结构中的代码如何写——线性表的顺序存储 haodi_wang 数据结构c语言
    提起数据结构这门学科，相信绝大多数学计算机的同学对此门课程并不陌生，很多人对程序的定义是：程序=构数据结+算法，可见数据结构的重要性，想要写出好的程序，数据结构是一门必须要掌握的学科。然而，很多人却把数据结构这门课学成了“离散数学”，只是初步的掌握了其中的手动模拟过程，真正要上手写代码的时候，往往感觉无从下手，这不是个例，而是一种通病。数据结构在考研中同样占据着举足轻重的地位，无论是国家统一命题的
  • 离散数学习题1.2 命题逻辑的应用 ＜小学智商测试题＞ 梅头脑_ #离散数学笔记离散数学
    图源：文心一言离散数学习题记录，仅节选习题。标题就是我做完这节题目的心声，建议路过的小学老师傅们码住，另外，家里有娃的程序员也可以酌情考虑收藏~因为个人的蜗牛刷题速度与紧张时间，每个类型的题目我随机仅挑选1-2道解答~这些习题主要用于自我巩固。由于是自学，答案难免有误，非常欢迎各位小伙伴指正与讨论！第1版：自己的解题~编辑：梅头脑审核：——题源：黑书《离散数学》原书第8版KennethH.Rose
  • Redis -- set集合 niceffking Redisredis
    挑战自己，每天进步一点点，成就将属于不停止脚步的你。目录Redis集合？集合基本命令saddsmemberssismemberscardspopsrandmembersmovesrem集合间操作sintersinterstoresunionsdiffsdiifstoreRedis集合？集合就是把一些有关的数据放在一起，你可以思考一下数学中的集合，离散数学中的集合里面的元素是不区分顺序的。不同于li
  • 离散数学_代数系统 先生先生393 考研
    代数系统目录代数系统1.1二元运算及其性质1.2二元运算中的特殊元素幂等元幺元（单位元恒等元）零元逆元可消去元1.3代数系统的概念1.4代数系统的性质编辑编辑编辑2.1半群2.2群与子群2.3子群及其证明子群的陪集2.4循环群：生成元编辑编辑循环群的子群1.1二元运算及其性质性质在这里减法不封闭，因为减法可能得出负数通过看是否以主对角线元素对称1.2二元运算中的特殊元素幂等元幺元（单位元恒等元）零
  • 【晨间日记】2021年1月14日 语瞳SAMA
    2021年1月14日天气：晴【90天践行目标】（221/300）①每日冥想②坚持运动③写晨间日记【昨日践行】①昨日冥想已完成②Keep平板支撑③晨间日记已完成【今日青蛙】①复习离散数学②背诵web习题③放平心态，迎接不完美的自己*昨日三只青蛙已达成【反思日志】考完了Java，整个人从概率论的愉悦高峰一瞬跌入低谷。听着季总乃至其他同学对试题的激烈讨论，不禁有些疑惑自己这学期到底是浪费了多少时间才有了
  • 离散数学——命题逻辑、谓词逻辑、集合与关系知识点 D D D D C 离散数学笔记
    一、命题逻辑一、命题及其表示法命题的定义：具有确定真值的陈述句。二、联结词（简单不做赘述）1.否定：¬2.合取：∧3.析取：∨4.条件：→5.双条件：↔三、命题公式与翻译四、真值表与等价公式1.真值表：根据命题公式的真值可简单构建，示例：构造¬P∨Q的真值表如下PQ¬P¬P∨QTTFTTFFFFTTTFFTT2.等价公式：对合律：¬¬P⇔P；幂等律：P∨P⇔P，P∧P⇔P；结合律：（P∨Q)∨R⇔
  • 离散数学第二版计算机系,离散数学 第2版 weixin_39793576 离散数学第二版计算机系
    图书简介获奖情况：“十一五”国家级规划教材、国家级精品课配套教材配套资源：电子课件、教学思路流程图作者简介：王元元，解放军理工大学教授，国家级教学名师，中国人工智能学会离散数学专业委员会主任委员。执教30多年，先后出版专著12部、主编教材60余本，主编的《计算机科学中的逻辑学》教材获全国优秀教材奖，《离散数学》课被评为国家精品课程。本书特色：★书中每个知识点都配有相应练习题。★依据给出的教学思路流
  • 跨考大连理工大学计算机考研,如何备战大连理工大学的计算机考研_跨考网 weixin_39893728 跨考大连理工大学计算机考研
    大家应该首先把历年的专业课考题弄到手，以下的这些东西便一目了然。1、离散数学(1)第一、二章逻辑部分:翻看历年试题可以看到，本部分都要考一道这样的题，首先符号化某一命题，然后证明命题的正确性。涉及的是第二章最后一节的内容。(2)第三章集合论部分:06年以前的试题都是要考一道等价关系的题目，但是06年考了一道偏序关系。(3)第四章函数部分:本部分的题目完全来自课后题，06年同样不例外。注意，大家不可
  • 校学 离散数学主析取合取范式 做题心得 九歌问天 笔记其他
    看上去很简单，为什么做题要做哭了……难点：等价推演，三法：真值表肯定前件、否定后件等价推演（非P）==（P或非P）==（P与非P）细节：P条件非Q==非P析取非Q（别把非Q的非漏了！）等价推演心得从外到内转化顺序：条件、双条件先，非其次，利用分配律转为目标形式最后整体思想：A析取（B合取C）==（A析取C）合取（A析取B）//ABC都可以是复杂命题主析取合取范式转换：真值表：0~2^n-1，主析取
  • 【晨间日记】2020年10月4日 语瞳SAMA
    2020年10月4日天气：阴【90天践行目标】（119/120）①5：30早起②22：30早睡③写晨间日记【昨日践行】①5：57起床②22：39入睡③晨间日记已达成【今日青蛙】①概率论和离散数学的预习②阅读确定性的丧失③午间冥想*昨日三只青蛙完成两只【反思日志】①午间跟着母亲回老家拜访外公外婆，中午和舅舅、舅妈们齐聚一堂吃了一顿丰盛的午餐，餐桌上其乐融融地拉家常的氛围让我感受到了“家”的温暖，每一
  • 离散数学期末复习（3）：关系 cx努力编程中 离散数学复习学习拓扑学
    目录9.1RelationsandTheirProperties(关系及其性质)1.二元关系（binaryrelation）（1）基本概念：（2）自反（reflexive）（3）对称（symmetric）（4）反对称（antisymmetric）编辑（5）传递性（transitive）2.复合关系9.3RepresentingRelations(关系的表示)1.矩阵如何表示关系2.矩阵运算（1）并
  • 离散数学期末复习（2）: 集合、函数、序列、矩阵 cx努力编程中 离散数学复习学习拓扑学
    目录2.1Sets(集合)1.特殊集合2.一些概念2.2SetOperations(集合运算)一.集合间的概念1.并集（Union）2.交集（Intersection）3.补集（Complement）4.差集（Difference）二.定律三.多重集1.概念2.多重集的并集3.多重集的交集4.多重集的差集5.多重集合集2.3Functions(函数)1.函数的三种理解2.单射（injection）
  • Nginx负载均衡 510888780 nginx应用服务器
    Nginx负载均衡一些基础知识: nginx 的 upstream目前支持 4 种方式的分配 1)、轮询（默认）       每个请求按时间顺序逐一分配到不同的后端服务器，如果后端服务器down掉，能自动剔除。 2)、weight       指定轮询几率，weight和访问比率成正比
  • RedHat 6.4 安装 rabbitmq bylijinnan erlangrabbitmqredhat
    在 linux 下安装软件就是折腾，首先是测试机不能上外网要找运维开通，开通后发现测试机的 yum 不能使用于是又要配置 yum 源，最后安装 rabbitmq 时也尝试了两种方法最后才安装成功 机器版本： [root@redhat1 rabbitmq]# lsb_release LSB Version: :base-4.0-amd64:base-4.0-noarch:core
  • FilenameUtils工具类 eksliang FilenameUtilscommon-io
    转载请出自出处：http://eksliang.iteye.com/blog/2217081 一、概述 这是一个Java操作文件的常用库，是Apache对java的IO包的封装，这里面有两个非常核心的类FilenameUtils跟FileUtils，其中FilenameUtils是对文件名操作的封装;FileUtils是文件封装，开发中对文件的操作，几乎都可以在这个框架里面找到。 非常的好用。
  • xml文件解析SAX 不懂事的小屁孩 xml
    xml文件解析:xml文件解析有四种方式， 1.DOM生成和解析XML文档(SAX是基于事件流的解析) 2.SAX生成和解析XML文档(基于XML文档树结构的解析) 3.DOM4J生成和解析XML文档 4.JDOM生成和解析XML 本文章用第一种方法进行解析，使用android常用的DefaultHandler import org.xml.sax.Attributes;
  • 通过定时任务执行mysql的定期删除和新建分区，此处是按日分区 酷的飞上天空 mysql
    使用python脚本作为命令脚本，linux的定时任务来每天定时执行 #!/usr/bin/python # -*- coding: utf8 -*- import pymysql import datetime import calendar #要分区的表 table_name = 'my_table' #连接数据库的信息 host,user,passwd,db =
  • 如何搭建数据湖架构？听听专家的意见 蓝儿唯美 架构
    Edo Interactive在几年前遇到一个大问题：公司使用交易数据来帮助零售商和餐馆进行个性化促销，但其数据仓库没有足够时间去处理所有的信用卡和借记卡交易数据  “我们要花费27小时来处理每日的数据量，”Edo主管基础设施和信息系统的高级副总裁Tim Garnto说道：“所以在2013年，我们放弃了现有的基于PostgreSQL的关系型数据库系统，使用了Hadoop集群作为公司的数
  • spring学习——控制反转与依赖注入 a-john spring
           控制反转（Inversion of Control，英文缩写为IoC）是一个重要的面向对象编程的法则来削减计算机程序的耦合问题，也是轻量级的Spring框架的核心。 控制反转一般分为两种类型，依赖注入（Dependency Injection，简称DI）和依赖查找（Dependency Lookup）。依赖注入应用比较广泛。  
  • 用spool+unixshell生成文本文件的方法 aijuans xshell
    例如我们把scott.dept表生成文本文件的语句写成dept.sql,内容如下: 　　set pages 50000; 　　set lines 200; 　　set trims on; 　　set heading off; 　　spool /oracle_backup/log/test/dept.lst; 　　select deptno||','||dname||','||loc
  • 1、基础--名词解析(OOA/OOD/OOP) asia007 学习基础知识
    OOA:Object-Oriented Analysis（面向对象分析方法） 是在一个系统的开发过程中进行了系统业务调查以后，按照面向对象的思想来分析问题。OOA与结构化分析有较大的区别。OOA所强调的是在系统调查资料的基础上，针对OO方法所需要的素材进行的归类分析和整理，而不是对管理业务现状和方法的分析。 　　OOA（面向对象的分析）模型由5个层次（主题层、对象类层、结构层、属性层和服务层）
  • 浅谈java转成json编码格式技术 百合不是茶 json编码java转成json编码
    json编码;是一个轻量级的数据存储和传输的语言       在java中需要引入json相关的包,引包方式在工程的lib下就可以了   JSON与JAVA数据的转换（JSON 即 JavaScript Object Natation，它是一种轻量级的数据交换格式，非   常适合于服务器与 JavaScript 之间的数据的交
  • web.xml之Spring配置(基于Spring+Struts+Ibatis) bijian1013 javaweb.xmlSSIspring配置
    指定Spring配置文件位置 <context-param> <param-name>contextConfigLocation</param-name> <param-value> /WEB-INF/spring-dao-bean.xml,/WEB-INF/spring-resources.xml, /WEB-INF/
  • Installing SonarQube（Fail to download libraries from server） sunjing InstallSonar
    1.  Download and unzip the SonarQube distribution 2.  Starting the Web Server The default port is "9000" and the context path is "/". These values can be changed in &l
  • 【MongoDB学习笔记十一】Mongo副本集基本的增删查 bit1129 mongodb
    一、创建复本集   假设mongod,mongo已经配置在系统路径变量上，启动三个命令行窗口，分别执行如下命令：   mongod --port 27017 --dbpath data1 --replSet rs0 mongod --port 27018 --dbpath data2 --replSet rs0 mongod --port 27019 -
  • Anychart图表系列二之执行Flash和HTML5渲染 白糖_ Flash
    今天介绍Anychart的Flash和HTML5渲染功能   HTML5 Anychart从6.0第一个版本起，已经逐渐开始支持各种图的HTML5渲染效果了，也就是说即使你没有安装Flash插件，只要浏览器支持HTML5，也能看到Anychart的图形（不过这些是需要做一些配置的）。 这里要提醒下大家，Anychart6.0版本对HTML5的支持还不算很成熟，目前还处于
  • Laravel版本更新异常4.2.8-> 4.2.9 Declaration of ... CompilerEngine ... should be compa bozch laravel
    昨天在为了把laravel升级到最新的版本，突然之间就出现了如下错误： ErrorException thrown with message "Declaration of Illuminate\View\Engines\CompilerEngine::handleViewException() should be compatible with Illuminate\View\Eng
  • 编程之美-NIM游戏分析-石头总数为奇数时如何保证先动手者必胜 bylijinnan 编程之美
    import java.util.Arrays; import java.util.Random; public class Nim { /**编程之美 NIM游戏分析 问题： 有N块石头和两个玩家A和B，玩家A先将石头随机分成若干堆，然后按照BABA...的顺序不断轮流取石头， 能将剩下的石头一次取光的玩家获胜，每次取石头时，每个玩家只能从若干堆石头中任选一堆，
  • lunce创建索引及简单查询 chengxuyuancsdn 查询创建索引lunce
    import java.io.File; import java.io.IOException; import org.apache.lucene.analysis.Analyzer; import org.apache.lucene.analysis.standard.StandardAnalyzer; import org.apache.lucene.document.Docume
  • [IT与投资]坚持独立自主的研究核心技术 comsci it
           和别人合作开发某项产品....如果互相之间的技术水平不同,那么这种合作很难进行,一般都会成为强者控制弱者的方法和手段.....        所以弱者,在遇到技术难题的时候,最好不要一开始就去寻求强者的帮助,因为在我们这颗星球上,生物都有一种控制其
  • flashback transaction闪回事务查询 daizj oraclesql闪回事务
       闪回事务查询有别于闪回查询的特点有以下3个： （1）其正常工作不但需要利用撤销数据，还需要事先启用最小补充日志。 （2）返回的结果不是以前的“旧”数据，而是能够将当前数据修改为以前的样子的撤销SQL（Undo SQL）语句。 （3）集中地在名为flashback_transaction_query表上查询，而不是在各个表上通过“as of”或“vers
  • Java I/O之FilenameFilter类列举出指定路径下某个扩展名的文件 游其是你 FilenameFilter
    这是一个FilenameFilter类用法的例子，实现的列举出“c:\\folder“路径下所有以“.jpg”扩展名的文件。 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
  • C语言学习五函数，函数的前置声明以及如何在软件开发中合理的设计函数来解决实际问题 dcj3sjt126com c
    # include <stdio.h> int f(void) //括号中的void表示该函数不能接受数据，int表示返回的类型为int类型 { return 10; //向主调函数返回10 } void g(void) //函数名前面的void表示该函数没有返回值 { //return 10; //error 与第8行行首的void相矛盾 } in
  • 今天在测试环境使用yum安装，遇到一个问题： Error: Cannot retrieve metalink for repository: epel. Pl dcj3sjt126com centos
    今天在测试环境使用yum安装，遇到一个问题： Error: Cannot retrieve metalink for repository: epel. Please verify its path and try again   处理很简单，修改文件“/etc/yum.repos.d/epel.repo”， 将baseurl的注释取消， mirrorlist注释掉。即可。 &n
  • 单例模式 shuizhaosi888 单例模式
    单例模式      懒汉式 public class RunMain { /** * 私有构造 */ private RunMain() { } /** * 内部类，用于占位，只有 */ private static class SingletonRunMain { priv
  • Spring Security（09）——Filter 234390216 Spring Security
    Filter 目录 1.1     Filter顺序 1.2     添加Filter到FilterChain 1.3     DelegatingFilterProxy 1.4     FilterChainProxy 1.5
  • 公司项目NODEJS实践0.1 逐行分析JS源代码 mongodbnginxubuntunodejs
      一、前言         前端如何独立用nodeJs实现一个简单的注册、登录功能，是不是只用nodejs+sql就可以了？其实是可以实现，但离实际应用还有距离，那要怎么做才是实际可用的。         网上有很多nod
  • java.lang.Math liuhaibo_ljf javaMathlang
    System.out.println(Math.PI); System.out.println(Math.abs(1.2)); System.out.println(Math.abs(1.2)); System.out.println(Math.abs(1)); System.out.println(Math.abs(111111111)); System.out.println(Mat
  • linux下时间同步 nonobaba ntp
    今天在linux下做hbase集群的时候，发现hmaster启动成功了，但是用hbase命令进入shell的时候报了一个错误  PleaseHoldException: Master is initializing，查看了日志，大致意思是说master和slave时间不同步，没办法，只好找一种手动同步一下，后来发现一共部署了10来台机器，手动同步偏差又比较大，所以还是从网上找现成的解决方
  • ZooKeeper3.4.6的集群部署 roadrunners zookeeper集群部署
    ZooKeeper是Apache的一个开源项目，在分布式服务中应用比较广泛。它主要用来解决分布式应用中经常遇到的一些数据管理问题，如：统一命名服务、状态同步、集群管理、配置文件管理、同步锁、队列等。这里主要讲集群中ZooKeeper的部署。   1、准备工作 我们准备3台机器做ZooKeeper集群，分别在3台机器上创建ZooKeeper需要的目录。   数据存储目录
  • Java高效读取大文件 tomcat_oracle java
    　　读取文件行的标准方式是在内存中读取，Guava 和Apache Commons IO都提供了如下所示快速读取文件行的方法： 　　Files.readLines(new File(path), Charsets.UTF_8); 　　FileUtils.readLines(new File(path)); 　　这种方法带来的问题是文件的所有行都被存放在内存中，当文件足够大时很快就会导致
  • 微信支付api返回的xml转换为Map的方法 xu3508620 xmlmap微信api
    举例如下： <xml>    <return_code><![CDATA[SUCCESS]]></return_code>    <return_msg><![CDATA[OK]]></return_msg>    <appid><
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他