码迷,mamicode.com
首页 >  
搜索关键字:tla    ( 982个结果
mybatis扩展之类型处理器(枚举类型处理)
Employee.java(省略getter和setter方法) private Integer id; private String lastName; private String gender; private String email; private EmpStatus empStatus ...
分类:其他好文   时间:2020-01-23 16:49:30    阅读次数:118
MATLAB小常识1
1.添加注释: 先选中,再CTRL+R 2.取消注释: 先选中,再CTRL+K 3.消除工作区变量: 命令行窗口输入:clear 4.清除命令行窗口: 命令行窗口输入:clc 5.字符串合并: strcat('str1','str2','str3',...,'strn'); ['str1','str ...
分类:其他好文   时间:2020-01-22 23:42:33    阅读次数:100
Android Studio 图形化设计 UI 界面
我们开发 Android 程序必定是从 UI 开始的 ,使用最新版的 Android Studio 可以在图形化界面下设计软件 UI, Android Studio 默认的布局是 ConstraintLayout 通过拖动可以快捷的将我们想要的文字、图片、输入框放到界面中 通过各种国定对齐方式可以方 ...
分类:移动开发   时间:2020-01-21 00:18:05    阅读次数:531
将本地项目添加到gitLab上管理
1,先在gitLab 上创建一个新的项目,把开发人员加入项目 2,在本地项目初始化git git init 3,从远程的git 仓库 pull 项目下来 git pull XXXX(项目地址) 这个时候 报错:Couldn't find remote ref master 这个应该是因为 本地 和远 ...
分类:其他好文   时间:2020-01-19 09:32:26    阅读次数:234
安卓----控件基础
今天学习安卓的控件发现和WEB的相似,只不过WEB是通过代码然后再页面上显示,但是安卓的只需点击相应的控件拉到Component Tree里。个人觉得安卓的界面搭建比WEB的简单,不需要耗费太多时间。 而且和WEB一样,每个控件都有一个id,我们通过其id来建立它们之间的联系。 用每一个控件时,都得 ...
分类:移动开发   时间:2020-01-18 19:26:10    阅读次数:105
RChain的一键形式化验证:关于RCast 33 – LADL话题的讨论摘要
作者/Atticbee 在这一集,Greg和RChain的研究人员Isaac,Christian讨论了TLA(Temporal Logic of Actions)和RChain的LADL(Logic As Distribution Law)。下面是Atticbee做的摘要,然后加了一些自己的理解。 ...
分类:其他好文   时间:2020-01-18 12:21:23    阅读次数:106
GASP动画的基本使用
GSAP(TimelineMax、TweenMax) 什么是GSAP? GSAP(GreenSock Animation Platform)是一个从flash时代一直发展到今天的专业动画库。 GSAP优点 1、速度快。GSAP专门优化了动画性能,使之实现和CSS一样的高性能动画效果。2、轻量与模块化 ...
分类:Web程序   时间:2020-01-18 01:17:07    阅读次数:259
thinkphp5基础
【thinkphp5框架的目录结构,以及使用框架model 、controler、view的使用,以及错误调试和日志记录】 ThinkPHP5 在php5.5版本以上”No input file specified“问题解决: public/.htaccess文件中的 RewriteRule ^(. ...
分类:Web程序   时间:2020-01-17 13:52:57    阅读次数:100
动态规划求最短路
运行例子为清华大学运筹学第四版本科版P155例7-1 clc;clear all M=100 A{1}=[5,3] A{2}=[1 3 6 M;M 8 7 6] A{3}=[6 8 M;3 5 M;M 3 3;M 8 4] A{4}=[2 2 M;M 1 2;M 3 3] A{5}=[3 5;5 2 ...
分类:其他好文   时间:2020-01-13 22:05:09    阅读次数:96
Hook executed successfully but returned HTTP 403 
jenkins持续构建遇到问题 Hook executed successfully but returned HTTP 403 解决方法: 选择 --配置 构建触发器 高级--generate 然后复制生成的密钥。 然后粘贴至gitlab的web-hook的Secret Token ...
分类:Web程序   时间:2020-01-13 10:39:11    阅读次数:181
982条   上一页 1 ... 17 18 19 20 21 ... 99 下一页
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!