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...

2018-12-10 17:22:39

阅读数 47

评论数 0

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

反思 --基本功不扎实。对于自己想完成的作品还是不能更好地运用自己的知识,自己了解的知识面太窄,已掌握的技术太少,整体能力还是有待提高。 感悟 --结果跟付出是成正比的。大部分情况下,结果是能反映出付出了多少,只要你认真地去对待这件事了,这件事的结果肯定会令你满意(一般情况下)。 --人外有人,山...

2017-05-22 20:20:57

阅读数 657

评论数 0

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

团队–现在不管是比赛还是做项目都是讲究以团队形式完成相应任务,工作量确实也不是一个人可以胜任,所以说有一个优秀的团队或者说能有一群跟你一起奋斗朝着一个目标努力的队友很重要! 很重要! 很重要!当面临一个难题一个人解决不了的时候你的队友们会陪你一起解决会给予你向前进的动力(最关键的是这些队友是靠谱的...

2016-11-19 23:40:12

阅读数 906

评论数 0

Android移动开发--遇到的问题及解决(二)

1.运行程序时提示:the selection cannot be launched ,and there are no recent launches 解决方案: 右键你要运行的类,Run as - Java Application 2.运行程序时提示:ActivityManager: Warn...

2016-08-03 11:19:00

阅读数 269

评论数 0

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

从7月25号题目发下来开始一直到7月31号比赛结束,连续7天白天+2个夜晚的通宵做出来题目的一部分,通过这次的比赛感想如下:      1.缺乏基础知识。拿到题目后毫无头绪,不知道该用什么知识去解决,更重要的是脑子里没有相关的知识(2333      2.不要在意别人怎么评价自己,自己的水平自...

2016-08-02 11:24:32

阅读数 5541

评论数 0

Android 移动开发--遇到问题及解决(一)

1.刚打开eclipse就出现如下错误: 解决方案: deleting this packages:  2.出现如下错误:     Android requires compiler compliance level 5.0 or 6.0 Found '1.8' instead. Plea...

2016-07-24 21:02:17

阅读数 276

评论数 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; ...

2016-01-28 20:06:59

阅读数 3834

评论数 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',...

2016-01-28 19:57:38

阅读数 337

评论数 0

第一天

---------------------------------上午-------------------------------------- 1.相互自我介绍      不是传统的自我介绍而是彼此介绍即由另一个人介绍你的姓名,你的兴趣爱好和你最大的优点与缺点,你再介绍关于 Ta的问题。自我感...

2016-01-05 20:58:45

阅读数 265

评论数 0

数据结构实验之排序五:归并求逆序数 【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)等等,你的任务是对给定的...

2015-12-25 20:49:29

阅读数 747

评论数 0

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

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

2015-12-25 20:13:21

阅读数 857

评论数 0

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

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

2015-12-23 19:05:32

阅读数 1382

评论数 0

Jug Hard【ZSTUOJ--4216】

Description You 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.,...

2015-12-21 20:59:35

阅读数 392

评论数 0

String Game【ZSTUOJ--4212】

Description Alice and Bob are playing the following game with strings of letters. Before the game begins, an initial string and a target stri...

2015-12-21 20:29:23

阅读数 1068

评论数 0

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

Description RJ Freight, a Japanese railroad company for freight operations has recently constructed exchange lines at Hazawa, Yokohama. The l...

2015-12-19 16:09:22

阅读数 824

评论数 0

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

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

2015-12-17 21:43:21

阅读数 1618

评论数 0

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

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

2015-12-17 20:54:44

阅读数 1733

评论数 1

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

题目描述   对应给定的一个序列可以唯一确定一棵二叉排序树。然而,一棵给定的二叉排序树却可以由多种不同的序列得到。例如分别按照序列{3,1,4}和{3,4,1} 插入初始为空的二叉排序树,都得到一样的结果。你的任务书对于输入的各种序列,判断它们是否能生成一样的二叉排序树。 输入    输入包含...

2015-12-14 20:51:03

阅读数 1426

评论数 0

Archer 【CF--312B】

Description SmallR 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....

2015-12-06 20:32:56

阅读数 336

评论数 0

GCD Extreme 【FZU--1969】

Description Given the value of N, you will have to find the value of G. The meaning of G is given in the following code G=0; for(i=1;i   for(j=...

2015-12-04 21:38:18

阅读数 280

评论数 0

提示
确定要删除当前文章?
取消 删除
关闭
关闭