- 博客(34)
- 资源 (9)
- 收藏
- 关注
RSS订阅原创 Java集合总结-2020
Collection： 集合层次中的根。一个集合表示一组对象。有些有序，有些无序。有些重复，有些重复。Collection没有直接的实现，而只有它的子接口的对应的实现。Set：不能包含重复的元素，比如扑克手牌、学生选课计划、计算机的进程。List：有序的集合，也可以包含重复的元素。用于对每个元素精确的控制，比如插入、用index来索引。Queue：用于多元素有优先级的处理，可以用做FIFODeque：用于多元素有优先级的处理，double ended queue，可以用作FIFO，LIFOMap：
2020-09-15 15:16:29
193
原创 Ubuntu 18.04 安装CARLA
Ubuntu 18.04 安装CARLA环境准备安装NVIDIA驱动（显卡 K5000）安装vulkan-sdk （显卡 K5000）端口配置依赖安装构建安装 Unreal Engine 4.24.（10G左右）构建CARLA构建PythonAPI测试例子遇到的问题https://carla.readthedocs.io/en/latest/build_linux/环境准备安装NVIDIA驱动（显卡 K5000）安装NVIDIA驱动推荐版本：sudo ubuntu-drivers autoinst
2020-06-12 21:05:23
5631
8
原创 centos7通过yum安装JDK
安装之前先检查一下系统有没有自带open-jdk命令：rpm -qa |grep javarpm -qa |grep jdkrpm -qa |grep gcj如果没有输入信息表示没有安装。如果安装可以使用rpm -qa | grep java | xargs rpm -e --nodeps 批量卸载所有带有Java的文件 这句命令的关键字是java首先检索包含jav...
2018-12-06 23:59:35
160
原创 Z3Py 学习
一、数据类型integer 整型 ToInt(arg)转换为整型创建对象的方式：x = Int('x')x,y = Ints('x y') real 实数 ToReal(arg)转换为有理数x = Real('x')x ，y = Reals('x y') 例：x = Real('x')solve(3*x==1)# 启用精度set_option(r...
2018-12-06 23:56:34
991
原创 NuSMV模型检测器安装
直接下载官网的二进制版本http://nusmv.fbk.eu/bin/bin_download2-v2.cgi链接：https://pan.baidu.com/s/1ElRt0zwwG9H6VMV0fIjv3g 密码：9sya这个解压一下直接就可以用，不需要编译2. 解压命令tar -zxvf NuSMV2.6.0-linux.tar.gz3.代码测试cd NuS...
2018-12-06 23:55:14
1183
原创 Coq学习笔记
注释使用(* COMMENTS HERE *)进行注释分隔符每个Coq命令都要加上.表示结束. 逻辑命题（Prop），数学集合（Set）和 抽象类型(Type) Check 检测表达式是否合理/以及表达式的类型Coq < Check True.True : Prop Coq < Check ((3=5)/\True).3 = 5 /\ True...
2018-12-06 23:53:37
2886
原创 ionic3调用服务获取数据
App.modules.ts也需要导入import { HttpModule } from '@angular/http'; imports: [ BrowserModule, HttpModule, IonicModule.forRoot(MyApp) ], 调用页面导入：import { Http } from '@angular/http';import 'rxjs/add/o...
2018-06-12 17:44:32
1561
原创 ionic3 cordova-plugin-baidumaplocation非NATIVE插件使用
注意：非native插件只有在手机上有用，不能通过浏览器使用，否则提示未定义首先安装：ionic cordova plugincordova-plugin-baidumaplocation --variable ANDROID_KEY="key1"--variable IOS_KEY="key2" 添加百度地图插件Key1，key2分别为百度地图的的秘钥 具体可以去点击打开链接http://l...
2018-06-12 17:40:57
715
原创 IONIC3安装：Video Player出错 【本地安装NATIVE插件】
安装：Video Player出错ionic cordovaplugin add https://github.com/moust/cordova-plugin-videoplayer.git解决：首先下载：https://github.com/moust/cordova-plugin-videoplayer.git下载到本地放到D盘然后：解压进入文件夹：路径为D:\cordova-plugin-...
2018-06-12 17:32:58
904
6
原创 ionic3隐藏子页面的tabs
修改App.module.tsimports: [ BrowserModule, IonicModule.forRoot(MyApp,{ tabsHideOnSubPages: 'true' , //隐藏全部子页面tabs iconMode: 'ios', mode: 'ios', modalEnter: 'modal-slide-in', ...
2018-06-12 17:29:53
635
原创 Ionic3 关于启动后白屏问题跟app启动慢的问题
在开始接触Ionic3项目时，对项目进行调试的时候总是会出现启动前的黑白屏，并且启动的时间还很长甚至超过20多秒，简直不是App里面根本不允许的东西，为了解决这个问题，寻找了很多种方式来解决，都未能成功，最后实践博客(http://blog.csdn.net/tyro_java/article/details/74606239)得到解决方案：首先在路径为 platforms/android/res...
2018-06-12 17:27:51
1788
7
原创 Ionic3插件使用步骤
1. 安装插件 2. $ ioniccordova plugin add cordova-plugin-device3. $ npminstall --save @ionic-native/device4. App.modules.ts导入3. import { Device } from'@ionic-native/device'; 4. providers: [5. ...
2018-06-12 17:22:08
1263
2
转载 cordova常用命令
cordova platform add android 添加平台cordova platform add ioscordova platforms ls 查看支持的平台cordova platform remove <platform name>移除平台语句 cordova build <platform name> 编译 cordova build 编译所有平...
2018-06-12 17:18:54
344
1
转载 Meven Web项目解决跨域问题
pom.xml添加依赖<!-- 跨域支持--> <dependency> <groupId>com.thetransactioncompany</groupId> <artifactId>cors-filter</artifactId> &l...
2018-06-12 17:17:50
1835
转载 Oracle导出数据库和导入
利用cmd的操作命令导出，详情如下1:G:\Oracle\product\10.1.0\Client_1\NETWORK\ADMIN目录下有个tnsname.ora文件，内容如下：orcl= (DESCRIPTION = (ADDRESS_LIST = (ADDRESS = (PROTOCOL = TCP)(HOST =172.18.13.200)(PORT = 1521)) ...
2018-06-12 17:15:22
165
原创 ionic项目修改安卓发布的项目包名
1.把Android平台移除 ionic cordova platform remove android2.直接更改ionic项目下的config.xml里面的id属性，改成你想要的包名。 3.添加安卓平台：ionic cordova platform addd android4.使用 ionic cordova build android生成Android项目
2017-11-28 09:36:21
702
原创 解决Couldn't resolve host 'mirrorlist.centos.org
[root@node1 yum.repos.d]# yum makecacheLoaded plugins: fastestmirrorDetermining fastest mirrorsCould not retrieve mirrorlist http://mirrorlist.centos.org/?release=6&arch=x86_64&repo=os error was
2017-05-28 21:23:49
1111
原创 1010. Radix (25)[C语言]
1010. Radix (25)时间限制 400 ms内存限制 65536 kB代码长度限制 16000 B判题程序 Standard 作者 CHEN, YueGiven a pair of positive integers, for example, 6 and 110, can this
2017-05-06 21:40:21
354
原创 1011. World Cup Betting (20)[C语言]
1011. World Cup Betting (20)时间限制 400 ms内存限制 65536 kB代码长度限制 16000 B判题程序 Standard 作者 CHEN, YueWith the 2010 FIFA World Cup running, football fans the
2017-05-06 21:39:11
192
原创 1009. Product of Polynomials (25)[C语言]
1009. Product of Polynomials (25)时间限制 400 ms内存限制 65536 kB代码长度限制 16000 B判题程序 Standard 作者 CHEN, YueThis time, you are supposed to find A*B where A and
2017-05-06 21:38:08
265
原创 1008. Elevator (20)[C语言]
1008. Elevator (20)时间限制 400 ms内存限制 65536 kB代码长度限制 16000 B判题程序 Standard 作者 CHEN, YueThe highest building in our city has only one elevator. A request
2017-05-06 21:35:50
479
2
原创 1007. Maximum Subsequence Sum (25)[C语言]
1007. Maximum Subsequence Sum (25)时间限制 400 ms内存限制 65536 kB代码长度限制 16000 B判题程序 Standard 作者 CHEN, YueGiven a sequence of K integers { N1, N2, ..., NK }
2017-05-06 21:34:25
333
原创 1006. Sign In and Sign Out (25)[C语言]
1006. Sign In and Sign Out (25)时间限制 400 ms内存限制 65536 kB代码长度限制 16000 B判题程序 Standard 作者 CHEN, YueAt the beginning of every day, the first person who s
2017-05-06 21:33:09
408
原创 1005. Spell It Right (20)[C语言]
1005. Spell It Right (20)时间限制 400 ms内存限制 65536 kB代码长度限制 16000 B判题程序 Standard 作者 CHEN, YueGiven a non-negative integer N, your task is to compute the
2017-05-06 21:31:48
213
原创 1004. Counting Leaves (30)[C语言]
1004. Counting Leaves (30)时间限制 400 ms内存限制 65536 kB代码长度限制 16000 B判题程序 Standard 作者 CHEN, YueA family hierarchy is usually presented by a pedigree tree.
2017-05-06 21:30:28
325
原创 1003. Emergency (25)[C语言]
1003. Emergency (25)时间限制 400 ms内存限制 65536 kB代码长度限制 16000 B判题程序 Standard 作者 CHEN, YueAs an emergency rescue team leader of a city, you are given a sp
2017-05-06 21:28:28
384
原创 1002. A+B for Polynomials (25)[C语言]
1002. A+B for Polynomials (25)时间限制 400 ms内存限制 65536 kB代码长度限制 16000 B判题程序 Standard 作者 CHEN, YueThis time, you are supposed to find A+B where A and B
2017-05-06 21:26:56
280
原创 1001. A+B Format (20)[C语言]
1001. A+B Format (20)时间限制 400 ms内存限制 65536 kB代码长度限制 16000 B判题程序 Standard 作者 CHEN, YueCalculate a + b and output the sum in standard format -- that i
2017-05-06 21:24:45
173
原创 1012. The Best Rank (25)[C语言实现]
1012. The Best Rank (25)时间限制 400 ms内存限制 65536 kB代码长度限制 16000 B判题程序 Standard 作者 CHEN, YueTo evaluate the performance of our first year CS majored stu
2017-05-06 21:18:13
261
原创 L2-010. 排座位 JAVA
布置宴席最微妙的事情，就是给前来参宴的各位宾客安排座位。无论如何，总不能把两个死对头排到同一张宴会桌旁！这个艰巨任务现在就交给你，对任何一对客人，请编写程序告诉主人他们是否能被安排同席。输入格式：输入第一行给出3个正整数：N（这里假设朋友的朋友也是朋友。但敌人的敌人并不一定就是朋友，朋友的敌人也不一定是敌人。只有单纯直接的敌对关系才是绝对不能同席的。输出格式：对每个查询输出一行
2017-04-07 23:07:07
533
1
原创 L2-007. 家庭房产
时间限制 400 ms内存限制 65536 kB代码长度限制 8000 B判题程序 Standard 作者 陈越给定每个人的家庭成员和其自己名下的房产，请你统计出每个家庭的人口数、人均房产面积及房产套数。输入格式：输入第一行给出一个正整数N（编号 父 母 k 孩子1 ... 孩子k 房产套数 总
2017-04-07 17:24:19
383
原创 大臣的旅费--深度优先遍历 JAVA
问题描述很久以前，T王国空前繁荣。为了更好地管理国家，王国修建了大量的快速路，用于连接首都和王国内的各大城市。为节省经费，T国的大臣们经过思考，制定了一套优秀的修建方案，使得任何一个大城市都能从首都直接或者通过其他大城市间接到达。同时，如果不重复经过大城市，从首都到达每个大城市的方案都是唯一的。J是T国重要大臣，他巡查于各大城市之间，体察民情。所以，从一个城市马不停蹄地到另一个城市成了J最常做的事
2017-04-06 17:16:14
224
!Model-Driven Software Development with case study.pdf
2019-06-29
Engineering-Modeling-Languages-Turning-Domain-Knowledge-into-Tools.pdf
2019-06-29
coq-8.8.1-win64.exe和coq-hurry.pdf
2018-12-06
面向计算机科学的数理逻辑 系统建模与推理（全部） 答案
2018-08-15
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人