IF_I-CSDN博客

原创 Modeling and Formal Analysis of the NAOMI... Four-Way Traffic Intersection System in Real-Time Maude

论文：Modeling and Formal Analysis of the NAOMI EDeTCMS-4 Four-Way Traffic Intersection System in Real-Time Maude 原文作者：Peter Csaba Olveczky (Department of Informatics, University of Oslo)，Jos´e Meseguer...

2018-12-10 17:22:39 316

原创第十五届“挑战杯”赛后总结

反思--基本功不扎实。对于自己想完成的作品还是不能更好地运用自己的知识，自己了解的知识面太窄，已掌握的技术太少，整体能力还是有待提高。感悟--结果跟付出是成正比的。大部分情况下，结果是能反映出付出了多少，只要你认真地去对待这件事了，这件事的结果肯定会令你满意（一般情况下）。--人外有人，山外有山，比你NB的人多的是。当你真正去参加一些正规的比赛时，你会发现很多比你优秀的人，这个时候

2017-05-22 20:20:57 1190

原创齐鲁软件设计大赛及物联网应用设计大赛赛后总结

团队–现在不管是比赛还是做项目都是讲究以团队形式完成相应任务，工作量确实也不是一个人可以胜任，所以说有一个优秀的团队或者说能有一群跟你一起奋斗朝着一个目标努力的队友很重要！很重要！很重要！当面临一个难题一个人解决不了的时候你的队友们会陪你一起解决会给予你向前进的动力（最关键的是这些队友是靠谱的队友），当你们一起为了攻克这个难题而努力时即使是通宵你都会一直有干劲，因为你知道你不是一个人在奋斗！在此

2016-11-19 23:40:12 1665

原创 Android移动开发--遇到的问题及解决（二）

1.运行程序时提示：the selection cannot be launched ,and there are no recent launches解决方案：右键你要运行的类，Run as - Java Application2.运行程序时提示：ActivityManager: Warning: Activity not started, its current task has

2016-08-03 11:19:00 534

原创 2016年TI杯电子设计大赛赛后总结

从7月25号题目发下来开始一直到7月31号比赛结束，连续7天白天+2个夜晚的通宵做出来题目的一部分，通过这次的比赛感想如下： 1.缺乏基础知识。拿到题目后毫无头绪，不知道该用什么知识去解决，更重要的是脑子里没有相关的知识（2333 2.不要在意别人怎么评价自己，自己的水平自己最清楚。不管别人支持你也好瞧不起你也好，ta怎么评价是ta的事，自己真正什么水平自己心里最清楚，会就

2016-08-02 11:24:32 7216

原创 Android 移动开发--遇到问题及解决（一）

1.刚打开eclipse就出现如下错误：解决方案：deleting this packages: 2.出现如下错误： Android requires compiler compliance level 5.0 or 6.0 Found '1.8' instead. Please use Android Tools>Fix Project Properties

2016-07-24 21:02:17 540 2

原创 LCD1602液晶显示+超声波测距-51单片机

#include #include #define unchar unsigned char//unchar LED_D[]= {0x30,0x31,0x32,0x33,0x34,0x35,0x36,0x37,0x38,0x39};unsigned long time,distance;unsigned int timer=0;sbit reciever=P3^2;sbit cont

2016-01-28 20:06:59 7721 4

原创串口中断通讯

#include #define uchar unsigned char#define uint unsigned int//uchar trdata[]={'B','i','g','B','i','g',0x0d,0x0a,0x00};uchar code trdata[]={'R','I','C','H','M','C','U',0x0d,0x0a,0x00};sbit K1=P3

2016-01-28 19:57:38 551

原创第一天

---------------------------------上午--------------------------------------1.相互自我介绍不是传统的自我介绍而是彼此介绍即由另一个人介绍你的姓名，你的兴趣爱好和你最大的优点与缺点，你再介绍关于Ta的问题。自我感觉这种自我介绍更有创新性，可以充分了解到团体内成员之间相互了解的程度，当然这种介绍方法也有一

2016-01-05 20:58:45 348

原创数据结构实验之排序五：归并求逆序数【OJ--3402】【归并排序】

题目描述对于数列a1,a2,a3…中的任意两个数ai,aj (i aj,那么我们就说这两个数构成了一个逆序对；在一个数列中逆序对的总数称之为逆序数，如数列 1 6 3 7 2 4 9中，(6,4)是一个逆序对，同样还有(3,2),(7,4),(6,2)，(6,3)等等，你的任务是对给定的数列求出数列的逆序数。输入输入数据N(N 输出输出逆序数

2015-12-25 20:49:29 977

原创数据结构实验之排序四：寻找大富翁【OJ--3401】【堆排序】

题目描述2015胡润全球财富榜调查显示，个人资产在1000万以上的高净值人群达到200万人，假设给出N个人的个人资产值，请你快速找出排前M位的大富翁。输入首先输入两个正整数N( N ≤ 10^6)和M(M ≤ 10)，其中N为总人数，M为需要找出的大富翁数目，接下来给出N个人的个人资产，以万元为单位，个人资产数字为正整数，数字间以空格分隔。输出一行数据，按降

2015-12-25 20:13:21 1180

原创数据结构实验之排序六：希尔排序【OJ--3403】

题目描述我们已经学习了各种排序方法，知道在不同的情况下要选择不同的排序算法，以期达到最好的排序效率；对于待排序数据来说，若数据基本有序且记录较少时，直接插入排序的效率是非常好的，希尔排序就是针对一组基本有序的少量数据记录进行排序的高效算法。你的任务是对于给定的数据进行希尔排序，其中增量dk=n/(2^k)(k=1,2,3....)输入连续输入多组数据，每组输入数据的第一

2015-12-23 19:05:32 1643

原创 Jug Hard【ZSTUOJ--4216】

DescriptionYou have two empty jugs and tap that may be used to fill a jug. When filling a jug from the tap, you can only fill it completely (i.e., you cannot partially fill it to a desired level

2015-12-21 20:59:35 530

原创 String Game【ZSTUOJ--4212】

DescriptionAlice and Bob are playing the following game with strings of letters.Before the game begins, an initial string and a target string are decided. The initial string is at least as l

2015-12-21 20:29:23 1251

原创 Organize Your Train part II【POJ--3007】【平衡二叉树】

DescriptionRJ Freight, a Japanese railroad company for freight operations has recently constructedexchange lines at Hazawa, Yokohama. The layout of the lines is shown in Figure 1.Figure

2015-12-19 16:09:22 1013

原创数据结构实验之查找三：树的种类统计【OJ--3375】

题目描述随着卫星成像技术的应用，自然资源研究机构可以识别每一个棵树的种类。请编写程序帮助研究人员统计每种树的数量，计算每种树占总数的百分比。输入输入一组测试数据。数据的第1行给出一个正整数N (n 观测到的一棵树的种类名称，树的名称是一个不超过20个字符的字符串，字符串由英文字母和空格组成，不区分大小写。输出按字典序输出各

2015-12-17 21:43:21 2100

原创数据结构实验之查找二：平衡二叉树【OJ--3374】

题目描述根据给定的输入序列建立一棵平衡二叉树，求出建立的平衡二叉树的树根。输入输入一组测试数据。数据的第1行给出一个正整数N(n 数，按数据给定顺序建立平衡二叉树。输出输出平衡二叉树的树根。示例输入588 70 61 96 120示例输出70#include #include #inclu

2015-12-17 20:54:44 2034 1

原创数据结构实验之查找一：二叉排序树【OJ--3373】

题目描述对应给定的一个序列可以唯一确定一棵二叉排序树。然而，一棵给定的二叉排序树却可以由多种不同的序列得到。例如分别按照序列{3,1,4}和{3,4,1}插入初始为空的二叉排序树，都得到一样的结果。你的任务书对于输入的各种序列，判断它们是否能生成一样的二叉排序树。输入输入包含若干组测试数据。每组数据的第1行给出两个正整数N (n 空格分隔的正整数，作为初始插入

2015-12-14 20:51:03 2234

原创 Archer 【CF--312B】

DescriptionSmallR is an archer. SmallR is taking a match of archer with Zanoes. They try to shoot in the target in turns, and SmallR shoots first. The probability of shooting the target each tim

2015-12-06 20:32:56 534

原创 GCD Extreme 【FZU--1969】

DescriptionGiven the value of N, you will have to find the value of G. The meaning of G is given in the following codeG=0;for(i=1;i for(j=i+1;j G+=gcd(i,j);/*Here gcd() is a functi

2015-12-04 21:38:18 389

原创 AOE网上的关键路径【OJ--2498】【SPFA】

题目描述一个无环的有向图称为无环图（Directed Acyclic Graph），简称DAG图。 AOE(Activity On Edge)网：顾名思义，用边表示活动的网，当然它也是DAG。与AOV不同，活动都表示在了边上，如下图所示：如上所示，共有1

2015-12-04 19:34:41 681

原创数据结构实验之图论四：迷宫探索【基于邻接表的广度优先搜索】

题目描述有一个地下迷宫，它的通道都是直的，而通道所有交叉点(包括通道的端点)上都有一盏灯和一个开关；请问如何从某个起点开始在迷宫中点亮所有的灯并回到起点？输入连续T组数据输入，每组数据第一行给出三个正整数，分别表示地下迷宫的结点数N(1 3000)和起始结点编号S，随后M行对应M条边，每行给出一对正整数，表示一条边相关联的两个顶点

2015-11-27 10:04:12 1057

原创数据结构实验之二叉树五：层序遍历

题目描述已知一个按先序输入的字符序列，如abd,,eg,,,cf,,,(其中,表示空结点)。请建立二叉树并求二叉树的层次遍历序列。输入输入数据有多行，第一行是一个整数t (t，代表有t行测试数据。每行是一个长度小于50个字符的字符串。输出输出二叉树的层次遍历序列。示例输入2abd,,eg,,,cf,,,xnl,,i,,u,,示例输出a

2015-11-05 21:36:04 1260

原创开关问题【高斯消元】

Description有N个相同的开关，每个开关都与某些开关有着联系，每当你打开或者关闭某个开关的时候，其他的与此开关相关联的开关也会相应地发生变化，即这些相联系的开关的状态如果原来为开就变为关，如果为关就变为开。你的目标是经过若干次开关操作后使得最后N个开关达到一个特定的状态。对于任意一个开关，最多只能进行一次开关操作。你的任务是，计算有多少种可以达到指定状态的方法。

2015-11-01 17:08:57 856

原创 Painter's Problem【高斯消元】

DescriptionThere is a square wall which is made of n*n small square bricks. Some bricks are white while some bricks are yellow. Bob is a painter and he wants to paint all the bricks yellow. But th

2015-11-01 15:15:07 367

原创 EXTENDED LIGHTS OUT【高斯消元】

DescriptionIn an extended version of the game Lights Out, is a puzzle with 5 rows of 6 buttons each (the actual puzzle has 5 rows of 5 buttons each). Each button has a light. When a button is pres

2015-11-01 14:29:06 361

原创 Xenia and Bit Operations 【线段树】

DescriptionXenia the beginner programmer has a sequence a, consisting of 2n non-negative integers: a1, a2, ..., a2n. Xenia iscurrently studying bit operations. To better understand how t

2015-10-31 20:07:09 327

原创 A Bug's Life 【POJ--2492】【带权的并查集】

DescriptionBackgroundProfessor Hopper is researching the sexual behavior of a rare species of bugs. He assumes that they feature two different genders and that they only interact with bugs of th

2015-10-27 21:10:54 214

原创 The Pilots Brothers' refrigerator 【POJ--2965】

DescriptionThe game “The Pilots Brothers: following the stripy elephant” has a quest where a player needs to open a refrigerator.There are 16 handles on the refrigerator door. Every handle can b

2015-10-22 11:17:00 208

原创 Flip Game【POJ--1753】【枚举】【高斯消元】

DescriptionFlip game is played on a rectangular 4x4 field with two-sided pieces placed on each of its 16 squares. One side of each piece is white and the other one is black and each piece is lying

2015-10-22 10:19:43 340

原创 Prime Query【ZOJ--3911】

DescriptionYou are given a simple task. Given a sequence A[i] with N numbers. You have to perform Q operations on the given sequence.Here are the operations:A v l, add the value v to element

2015-10-17 21:11:19 269

原创数据结构实验之栈六：下一较大值（二）【OJ-3333】【自己写的封装的栈代码】

题目描述对于包含n（1输入输入有多组，第一行输入t（1以后是 t 组输入：每组先输入n，表示本组序列的元素个数，之后依次输入本组的n个元素。输出输出有多组，每组之间输出一个空行（最后一组之后没有）；每组输出按照本序列元素的顺序，依次逐行输出当前元素及其查找结果，两者之间以-->间隔。之所以写这篇博客主要是想记录一下手写的栈。示例输入

2015-10-08 20:05:25 780

原创 Safecracker【ZOJ - - 1403】

=== Op tech briefing, 2002/11/02 06:42 CST ==="The item is locked in a Klein safe behind a painting in the second-floor library. Klein safes are extremely rare; most of them, along with Klein and

2015-10-01 16:23:46 418

原创 An easy problem【上海网络赛-HDU-5475】

Problem DescriptionOne day, a useless calculator was being built by Kuros. Let's assume that number X is showed on the screen of calculator. At first, X = 1. This calculator only supports two type

2015-09-26 20:35:17 382

原创 Surprising Strings(POJ -3096

DescriptionThe D-pairs of a string of letters are the ordered pairs of letters that are distance D from each other. A string isD-unique if all of its D-pairs are different. A string is surpris

2015-09-24 15:52:09 266

原创 Elven Postman【HDU 5444】【长春网络赛】

Problem DescriptionElves are very peculiar creatures. As we all know, they can live for a very long time and their magical prowess are not something to be taken lightly. Also, they live on trees.

2015-09-15 20:41:24 372

原创大数加减法

#include #include #include #include #include #define ll long long#define esp 1e-10using namespace std;struct BigInteger{ char num[10000]; BigInteger(){} BigInteger(const char *s) { whi

2015-08-31 10:04:34 284

原创最长01串(OJ--3308

题目描述给定一个0-1串，请找到一个尽可能长的连续子串，其中包含的0与1的个数相等。组数很多，注意常数优化。。。输入一个字符串，只包含01，长度不超过1000000输出一行一个整数，最长的0与1的个数相等的子串的长度。思路：如果某子串中0与1的

2015-08-30 20:04:03 1219

原创 Hacking Cypher(CF--490C

DescriptionPolycarpus participates in a competition for hacking into a new secure messenger. He's almost won.Having carefully studied the interaction protocol, Polycarpus came to the conclusio

2015-08-30 09:41:07 369

原创 Chef and Prime Divisors (CodeChef CHAPD

DescriptionYou are given two positive integers – A and B. You have to check whether A is divisible by all the prime divisors of B.InputThe first line of the input contains an integer T d

2015-08-30 08:44:31 312

空空如也

空空如也