- 如何计算一个7B的模型训练需要的参数量以及训练时需要的计算资源
yxx122345
算法
计算理论过程见:transformer中多头注意力机制的参数量是多少?1.模型参数量的计算7B参数模型的总参数量是70亿(7billion)。这些参数主要分布在以下几个部分:Transformer层:多头注意力机制(Multi-HeadAttention)前馈神经网络(Feed-ForwardNetwork)嵌入层(EmbeddingLayer):词嵌入(TokenEmbeddings)位置编码(
- 计算理论(2): Common Lisp
跑起来总会有风
计算理论·极境之旅lisp开发语言
【系列】计算理论计算理论(1):数学归纳法与结构归纳法计算理论(2):CommonLisp计算理论(3):自动机基本入门计算理论(4):从NFA到DFA的子集构造详解文章目录【系列】计算理论CommonLisp入门与进阶指南1.简介2.S-表达式与符号表达2.1符号表达式(S-expression)2.2列表(List)与cons3.基本操作与变量绑定3.1变量与作用域3.2打印与格式化输出4.函
- YashanDB访问约束
数据库
本文内容来自YashanDB官网,原文内容请见https://doc.yashandb.com/yashandb/23.3/zh/%E6%A6%82%E5%BF%B5%...访问约束是YashanDB特有的一种关系数据结构,基于有界计算理论的访问约束模型(AC,AccessConstraint)实现:通过在数据源上建立AC,实现大数据变小的模型变换。在查询时,通过访问AC数据,缩小查询代价和提升查
- BAT的大数据战略
数据资本主意
实际上,大数据并不是什么新鲜事物。信息革命带来的除了信息的更高效地生产、流通和消费外,还带来数据的爆炸式增长。“引爆点”到来之后,人们发现原有的零散的对数据的利用造成了巨大的浪费。移动互联网浪潮下,数据产生速度前所未有地加快。人类达成共识开始系统性地对数据进行挖掘。这是大数据的初心。数据积累的同时,数据挖掘需要的计算理论、实时的数据收集和流通通道、数据挖掘过程需要使用的软硬件环境都在成熟。概念、模
- 计算理论初步——形式语言与自动机
cincout869
学习
形式语言入门一、字符串理论1.理论模型:AAA是一个有限字母集,我们定义AAA上的串结构:空串:没有任何字母的串λ\lambdaλ是AAA上的串,单个字符的串:对于AAA中的任意字母aaa是AAA上的串,加法(拼接):对于AAA上任意两个字符串sss和ttt,s+ts+ts+t也是AAA中的字符串,模:所有的串都有有限的长度,由空串λ\lambdaλ每次添加一个AAA中的字符得到串sss所进行的加
- 机器学习
会敲键盘的猩猩
PRML机器学习
在过去50年,机器学习的研究已经从几个计算机工程师探索计算机是否能学会玩游戏的影响下不断成长,统计领域(在很大程度上忽视计算的考虑)到广泛的学科(该学科产生了基本的学习过程的统计-计算理论)已经设计了许多学习算法,这些算法通常应用在商业系统中,例如语音识别,计算机视觉,和其他各种各样的任务,并已剥离了数据挖掘中的工业来发掘网上不断增长的数据量中隐藏的规律。这篇文章提供了该学科(已经作为机器学习出现
- 心智的起源、进化以及心智的四个能力
更好时代
声明:↑照片来自Internetwork,基于CC0协议,有一定幅度通过专业创意应用程序完成的更改。轻触下方声音标识,即刻收听语音版。还可移步【喜马拉雅FM】、【网易云音乐】或【企鹅FM】,搜索【更好时代知识服务】收听:(音频由CV杨一方演绎)心智的起源、进化以及四个能力来自更好时代00:0004:33-心智计算理论心智计算理论是认知科学中具有代表性的核心理论,也是哲学中研究的热点,理论认为,自然
- 人工智能大事记-持续更新中
城市中迷途小书童
20世纪30年代末到50年代,来自数学、心理学、工程学、神经学等学科的科学家开始探讨制造人工大脑的可能性。维纳(Wiener)的控制论、香农(Shannon)提出的信息论,以及图灵(Turing)的计算理论等,为人工智能的出现奠定了基础。BP1986年,GeoffreyHinton提出了前馈算法,一个通过对输入数据按照重要进行排序的精准神经网络。卷积1989年,YannLeCun写了另外一篇旷世之
- 可计算理论的优点及缺陷
人机与认知实验室
可计算理论对计算机科学的发展和理论基础起到了重要的作用,它提供了计算问题可解性和不可解性的理论依据,并且对计算机算法的设计和性能分析有着重要的指导作用。同时,可计算理论也与形式语言、自动机理论、复杂性理论等其他计算科学领域有着紧密的联系。可计算理论的研究主要涉及以下几个方面:计算模型:可计算理论研究的首要问题是什么样的问题可以通过计算解决,以及如何进行计算。常用的计算模型包括图灵机、lambda演
- C#--递归算法
人生无绝境
Algorithmalgorithm
前言递归算法在计算机科学中是指一种通过重复将问题分解为同类的子问题而解决问题的方法。绝大多数编程语言支持函数的自调用,在这些语言中函数可以通过调用自身来进行递归。计算理论可以证明递归的作用可以完全取代循环,因此在很多函数编程语言(如Scheme)中习惯用递归来实现循环。递归特点:(1)调用自身函数(2)使用递归的时候就必须要有一个明确指定的递归结束条件,这个条件就称为递归出口。递归优缺点:优点:解
- 周记:2019第27周(7.1—7.7)
孙文辉已被占用
1工作:写算法,周六加班一天周六写算法遇到点困难,找经理帮忙,然后意识到经验这个东西真的是很重要的。对我而言不知如何下手的问题,有经验的人却能找到最直接有效的解决方案,这就是我需要学习的地方了。2学习:《DeepLearning》8/20(chapters)看第8章(OptimizationforTrainingDeepModels),前面有不少计算理论的知识,理解起来比较难,需要多花些时间。3读
- How to understand privacy computing
qwfys200
Reading隐私计算隐私计算保护
Howtounderstandprivacycomputing概述什么是隐私计算数据流通的困境隐私计算流派隐私计算应用场景金融行业医疗健康行业政务行业相关技术同态加密可信执行环境概述什么是隐私计算 2016年,中国科学院信息工程研究所研究员李凤华等对隐私计算在概念上进行了界定:隐私计算是面向隐私信息全生命周期保护的计算理论和方法,具体是指在处理视频、音频、图像、图形、文字、数值、泛在网络行为信息
- 心智计算理论:智能即计算
竹说
01关于心智有两个深刻的问题:“智能怎么产生”、“意识怎么产生”。如果说随着认知神经科学的发展,智能能够部分地从“谜”变成问题的话,那么,意识则仍然是谜中之谜。所以我们还是先探讨,人类关于智能这个问题的发现,和回答。智能有几层含义,第一层是指一种能力倾向(通常用智商来衡量);第二层则是一种理性的、像人类一样的思维。这样说可能还是比较笼统,就像人们对心智的认识一样:我们都熟悉它,甚至一见到就可以判断
- 【计算理论】【《计算理论导引(原书第3版)》笔记】第二章:上下文无关文法
丷从心
#计算理论计算理论笔记
文章目录@[toc]2.1|上下文无关文法概述上下文无关文法的形式化定义乔姆斯基范式定理证明个人主页:丷从心系列专栏:计算理论2.1|上下文无关文法概述上下文无关文法的形式化定义上下文无关文法是一个444元组(V,Σ,R,S)(V,\Sigma,R,S)(V,Σ,R,S),且VVV是一个有穷集合,称为变元集Σ\SigmaΣ是一个与VVV不相交的有穷集合,称为终结符集RRR是一个有穷规则集,每条规则
- 【计算理论】04 图灵机
Recitative
计算理论算法数学建模
文章目录图灵机定义图灵可识别/可判定图灵机描述多带图灵机确定/非确定计算图灵机其他例题参考图灵机定义图灵机(Turingmachine)与DFA类似,但相比DFA,图灵机具有无限制的存储空间,且读写头可以左右移动、既能读也能写。并且,与DFA不同,当图灵机进入accept或者reject状态时,图灵机会立即停机。图灵机可以模拟所有实际计算机的所有计算行为,但仍存在不可解的问题。一台图灵机可以被形式
- 【计算理论】05 可判定性
Recitative
计算理论算法数学建模
文章目录概述DFA可判定性ADFAA_{DFA}ADFA是可判定的ANFA,AREXA_{NFA},A_{REX}ANFA,AREX是可判定的EDFAE_{DFA}EDFA是可判定的EQDFAEQ_{DFA}EQDFA是可判定的CFG可判定性ACFGA_{CFG}ACFG可判定ECFGE_{CFG}ECFG可判定EQCFGEQ_{CFG}EQCFG不可判定语言关系不可识别语言存在性证明单射满射,双
- 【计算理论】03 上下文无关文法与下推自动机
Recitative
计算理论算法数学建模
文章目录前瞻上下文无关文法CFG的设计例题乔姆斯基范式2n-1定理证明例题下推自动机形式化定义等价性证明CFG可以被转化为一台PDA一台PDA可以被转化为CFG泵引理引理证明使用泵引理证明非上下文无关上下文无关语言封闭性并连接星交补正则与上下文无关语言的交封闭性参考前瞻在上下文无关文法与下推自动机章节,有一些知识点着重掌握:上下文无关文法的定义,以及语法分析树语言文法的推导,如何化繁为简,拆分文法
- 【计算理论】06 可归约性
Recitative
计算理论算法数学建模
文章目录本章要点可归约性映射可归约图灵可判定归约证明HALTTMHALT_{TM}HALTTM不可判定ETME_{TM}ETM不可判定REGULARTMREGULAR_{TM}REGULARTM不可判定EQTMEQ_{TM}EQTM不可判定图灵可识别的归约性参考本章要点可归约性定义;映射可归约:若A≤mBA\le_mBA≤mB且AAA不可判定,则BBB也是不可判定证明;A≤mBA\le_mBA≤m
- 计算理论基础知识
宪章文武
计算机的基本问题和能力限制可计算性理论究竟哪些问题可以通过计算解决计算复杂性理论解决可计算问题,需要耗费多少资源为了研究计算,需要哪些计算模型形式语言与自动机理论自动机理论研究抽象机器及其所能解决问题的理论图灵机有限状态机文法,下推自动机形式语言经数学定义的语言需要以数学方法研究计算,首先就要以数学方法描述问题,描述问题的语言即为形式语言字母表符号的非空有穷集字符串由某字母表中的元素组成的有穷序列
- 【计算理论】【《计算理论导引(原书第3版)》笔记】第一章:正则语言
丷从心
#计算理论计算理论笔记
文章目录@[toc]1.1|有穷自动机有穷自动机的状态图有穷自动机的形式化定义有穷自动机计算的形式化定义正则语言正则运算并连接(并置)星号定理证明定理1.2|非确定性确定型有穷自动机DFADFADFA非确定型有穷自动机NFANFANFA示例非确定型有穷自动机的形式化定义NFANFANFA计算的形式化定义NFANFANFA与DFADFADFA的等价性定理证明定理在正则运算下的封闭性正则语言类在并运算
- 掌握5大心智模型运作原理,构建品牌认知优势就能少走弯路
c52d3765da49
认知心理学一个重要的概念—计算机隐喻在很早以前很多人都认为我们的智慧是神的恩赐,心智就是我们的灵魂,所以讨论心智问题一般都是在哲学和神学的领域。到了20世纪中叶出现了计算机革命,为心智是什么?提供了新的答案。心智计算理论是认知科学中具有代表性的核心理论,也是哲学领域中的研究热点。这个理论认为自然界有自己的算法系统,人的心智现象就是这些算法的其中之一。简单来说就是把人脑当成一台计算机,人的认知过程和
- 【计算理论】【《计算理论导引(原书第3版)》笔记】第〇章:绪论
丷从心
#计算理论计算理论笔记
文章目录@[toc]第〇章:绪论0.1|自动机、可计算性与复杂性计算复杂性理论可计算性理论自动机理论0.2|数学概念和术语集合关系等价关系图简单路径连通图圈强连通图字符串和语言字母表上的字符串空串www的反转(倒序)xxx和yyy的连接字符串顺序语言0.3|定义、定理和证明定理证明PPP仅当QQQPPP当QQQ0.4|证明的类型构造性证明示例定理证明反证法示例定理证明归纳法示例定理证明后继【计算理
- 计算复杂性理论(傅育熙) 第一章 时间复杂度
Wall-E99
学习笔记
计算复杂性理论(傅育熙)计算理论TuringMachine(2023-09-11)UniversalTuringMachineSpeedupTheoremTimeComplexityClassVerificationProblemTimeHierarchyTheoremGapTheorem2023-09-111.1图灵机TuringMachine图灵机一台k-带图灵机(TM)M有k-条带子。第一条
- bash+vasp+vaspkit能量应变计算弹性常数
DFT计算杂谈
vaspvaspkitlinux
脚本分享计算理论弹性常数常用的方法是应力应变,而另一种方法是根据能量变化,对平衡晶格结构施加小应变。能量-应变法对应于弹性刚度张量由总能量对应变的二阶导数导出。一般来说,应力应变法需要更高的计算精度才能达到与能量应变法相同的精度。然而,能量应变法需要的变形比后者小得多。能量应变法比应力应变法具有更小的应力敏感性,而且该方法已经在VASPKIT程序中实现。独立弹性常数的数目取决于晶体的对称性。对称性
- 使用CUDA计算GPU的理论显存带宽
不喜欢打篮球的厨师不是好程序员
c++GPUCUDA
文章目录一、显存带宽和理论显存带宽1.显存带宽2.理论显存带宽1)计算公式2)举例二、利用CUDA计算理论显存带宽一、显存带宽和理论显存带宽1.显存带宽显存带宽是指显存和GPU计算单元之间的数据传输速率。显存带宽越大,意味着数据传输越快,那么GPU整体的计算速度也会越快。所以该指标可以作为我们评估核函数运行速度的评价指标。2.理论显存带宽1)计算公式理论显存带宽由具体硬件所定义。计算公式为:理论显
- 【带宽、主频、位宽、数据传输速率】DDR带宽怎么计算?
寻找永不遗憾
日常生活学习记录DDR带宽主频数据传输速率Mbps位宽
文章目录1.如何计算DDR带宽2.DDRdatarate和DDR主频3.Mbps和Mhz4.出题1.如何计算DDR带宽计算DDR理论带宽的公式为:DDR主频*位宽=理论带宽其中,位宽(bitwidth)指的是内存总线的位宽,例如64位、128位、16bit、32bit等,bit意为"位"或"比特"。主频指的是DDR内存的实际主频,而不是DDR内存的倍频频率。因此,在计算理论带宽时,需要将DDR主频
- 第一章 引言
徴徴南风
算法在计算机科学中的角色算法是计算机科学的主题解决一个计算问题的过程:可计算否---》能行可计算否---》算法设计与分析---》用计算机语言实现算法---》软件系统可计算理论--计算模型--可计算问题、不可计算问题--计算模型的等价性--图灵/church命题计算复杂性理论--在给定计算模型下研究问题的复杂性*固有复杂性*上界*下界*平均*复杂性问题分类*抽象复杂性研究算法的概念算法的定义计算:可
- 计算复杂性理论
山登绝顶我为峰 3(^v^)3
数学基础密码学数学复杂度理论密码学性能优化信息安全
参考:OIWiki-计算理论基础各种复杂度类的记号与解释7个复杂度类及它们的关系文章目录问题图灵机复杂度类问题字母表(alphabet):有限非空集合Σ\SigmaΣ,其中的元素被称为符号(symbol)语言(language):字母表中元素组成的串的子集,L∈Σ∗L\in\Sigma^*L∈Σ∗;任何语言都可以转化为比特串,一般令Σ={0,1}\Sigma=\{0,1\}Σ={0,1}判定问题:
- 计算复杂性理论习题及解答
简vae
其他
计算复杂性理论习题及解答计算复杂性课程这门课的一共有48学时,其中的思想需要慢慢品味。不得不承认,我仅仅学习了一些皮毛,很多东西都没有搞懂。下面是我整理的作业题答案,肯定有很多地方是错误的,仅供参考。第1章计算理论问题1设计一个计算两个自然数相乘的图灵机。解答:设计一个三带图灵机。第一条带子为输入带,第二条带子为草稿带,第三条带子用于保存结果。图灵机将自然数乘运算转换为移位运算和加法运算。首先,将
- 图灵计算机模型意义,图灵机有什么意义_学习图灵机模型中遇到的问题 - 人工智能 - 电子发烧友网...
爱情教练晋美
图灵计算机模型意义
图灵机意义图灵提出图灵机的模型并不是为了同时给出计算机的设计,它的意义我认为有如下几点:1、它证明了通用计算理论,肯定了计算机实现的可能性,同时它给出了计算机应有的主要架构;2、图灵机模型引入了读写与算法与程序语言的概念,极大的突破了过去的计算机器的设计理念;3、图灵机模型理论是计算学科最核心的理论,因为计算机的极限计算能力就是通用图灵机的计算能力,很多问题可以转化到图灵机这个简单的模型来考虑。对
- Java开发中,spring mvc 的线程怎么调用?
小麦麦子
springmvc
今天逛知乎,看到最近很多人都在问spring mvc 的线程http://www.maiziedu.com/course/java/ 的启动问题,觉得挺有意思的,那哥们儿问的也听仔细,下面的回答也很详尽,分享出来,希望遇对遇到类似问题的Java开发程序猿有所帮助。
问题:
在用spring mvc架构的网站上,设一线程在虚拟机启动时运行,线程里有一全局
- maven依赖范围
bitcarter
maven
1.test 测试的时候才会依赖,编译和打包不依赖,如junit不被打包
2.compile 只有编译和打包时才会依赖
3.provided 编译和测试的时候依赖,打包不依赖,如:tomcat的一些公用jar包
4.runtime 运行时依赖,编译不依赖
5.默认compile
依赖范围compile是支持传递的,test不支持传递
1.传递的意思是项目A,引用
- Jaxb org.xml.sax.saxparseexception : premature end of file
darrenzhu
xmlprematureJAXB
如果在使用JAXB把xml文件unmarshal成vo(XSD自动生成的vo)时碰到如下错误:
org.xml.sax.saxparseexception : premature end of file
很有可能时你直接读取文件为inputstream,然后将inputstream作为构建unmarshal需要的source参数。InputSource inputSource = new In
- CSS Specificity
周凡杨
html权重Specificitycss
有时候对于页面元素设置了样式,可为什么页面的显示没有匹配上呢? because specificity
CSS 的选择符是有权重的,当不同的选择符的样式设置有冲突时,浏览器会采用权重高的选择符设置的样式。
规则:
HTML标签的权重是1
Class 的权重是10
Id 的权重是100
- java与servlet
g21121
servlet
servlet 搞java web开发的人一定不会陌生,而且大家还会时常用到它。
下面是java官方网站上对servlet的介绍: java官网对于servlet的解释 写道
Java Servlet Technology Overview Servlets are the Java platform technology of choice for extending and enha
- eclipse中安装maven插件
510888780
eclipsemaven
1.首先去官网下载 Maven:
http://www.apache.org/dyn/closer.cgi/maven/binaries/apache-maven-3.2.3-bin.tar.gz
下载完成之后将其解压,
我将解压后的文件夹:apache-maven-3.2.3,
并将它放在 D:\tools目录下,
即 maven 最终的路径是:D:\tools\apache-mave
- jpa@OneToOne关联关系
布衣凌宇
jpa
Nruser里的pruserid关联到Pruser的主键id,实现对一个表的增删改,另一个表的数据随之增删改。
Nruser实体类
//*****************************************************************
@Entity
@Table(name="nruser")
@DynamicInsert @Dynam
- 我的spring学习笔记11-Spring中关于声明式事务的配置
aijuans
spring事务配置
这两天学到事务管理这一块,结合到之前的terasoluna框架,觉得书本上讲的还是简单阿。我就把我从书本上学到的再结合实际的项目以及网上看到的一些内容,对声明式事务管理做个整理吧。我看得Spring in Action第二版中只提到了用TransactionProxyFactoryBean和<tx:advice/>,定义注释驱动这三种,我承认后两种的内容很好,很强大。但是实际的项目当中
- java 动态代理简单实现
antlove
javahandlerproxydynamicservice
dynamicproxy.service.HelloService
package dynamicproxy.service;
public interface HelloService {
public void sayHello();
}
dynamicproxy.service.impl.HelloServiceImpl
package dynamicp
- JDBC连接数据库
百合不是茶
JDBC编程JAVA操作oracle数据库
如果我们要想连接oracle公司的数据库,就要首先下载oralce公司的驱动程序,将这个驱动程序的jar包导入到我们工程中;
JDBC链接数据库的代码和固定写法;
1,加载oracle数据库的驱动;
&nb
- 单例模式中的多线程分析
bijian1013
javathread多线程java多线程
谈到单例模式,我们立马会想到饿汉式和懒汉式加载,所谓饿汉式就是在创建类时就创建好了实例,懒汉式在获取实例时才去创建实例,即延迟加载。
饿汉式:
package com.bijian.study;
public class Singleton {
private Singleton() {
}
// 注意这是private 只供内部调用
private static
- javascript读取和修改原型特别需要注意原型的读写不具有对等性
bijian1013
JavaScriptprototype
对于从原型对象继承而来的成员,其读和写具有内在的不对等性。比如有一个对象A,假设它的原型对象是B,B的原型对象是null。如果我们需要读取A对象的name属性值,那么JS会优先在A中查找,如果找到了name属性那么就返回;如果A中没有name属性,那么就到原型B中查找name,如果找到了就返回;如果原型B中也没有
- 【持久化框架MyBatis3六】MyBatis3集成第三方DataSource
bit1129
dataSource
MyBatis内置了数据源的支持,如:
<environments default="development">
<environment id="development">
<transactionManager type="JDBC" />
<data
- 我程序中用到的urldecode和base64decode,MD5
bitcarter
cMD5base64decodeurldecode
这里是base64decode和urldecode,Md5在附件中。因为我是在后台所以需要解码:
string Base64Decode(const char* Data,int DataByte,int& OutByte)
{
//解码表
const char DecodeTable[] =
{
0, 0, 0, 0, 0, 0
- 腾讯资深运维专家周小军:QQ与微信架构的惊天秘密
ronin47
社交领域一直是互联网创业的大热门,从PC到移动端,从OICQ、MSN到QQ。到了移动互联网时代,社交领域应用开始彻底爆发,直奔黄金期。腾讯在过去几年里,社交平台更是火到爆,QQ和微信坐拥几亿的粉丝,QQ空间和朋友圈各种刷屏,写心得,晒照片,秀视频,那么谁来为企鹅保驾护航呢?支撑QQ和微信海量数据背后的架构又有哪些惊天内幕呢?本期大讲堂的内容来自今年2月份ChinaUnix对腾讯社交网络运营服务中心
- java-69-旋转数组的最小元素。把一个数组最开始的若干个元素搬到数组的末尾,我们称之为数组的旋转。输入一个排好序的数组的一个旋转,输出旋转数组的最小元素
bylijinnan
java
public class MinOfShiftedArray {
/**
* Q69 旋转数组的最小元素
* 把一个数组最开始的若干个元素搬到数组的末尾,我们称之为数组的旋转。输入一个排好序的数组的一个旋转,输出旋转数组的最小元素。
* 例如数组{3, 4, 5, 1, 2}为{1, 2, 3, 4, 5}的一个旋转,该数组的最小值为1。
*/
publ
- 看博客,应该是有方向的
Cb123456
反省看博客
看博客,应该是有方向的:
我现在就复习以前的,在补补以前不会的,现在还不会的,同时完善完善项目,也看看别人的博客.
我刚突然想到的:
1.应该看计算机组成原理,数据结构,一些算法,还有关于android,java的。
2.对于我,也快大四了,看一些职业规划的,以及一些学习的经验,看看别人的工作总结的.
为什么要写
- [开源与商业]做开源项目的人生活上一定要朴素,尽量减少对官方和商业体系的依赖
comsci
开源项目
为什么这样说呢? 因为科学和技术的发展有时候需要一个平缓和长期的积累过程,但是行政和商业体系本身充满各种不稳定性和不确定性,如果你希望长期从事某个科研项目,但是却又必须依赖于某种行政和商业体系,那其中的过程必定充满各种风险。。。
所以,为避免这种不确定性风险,我
- 一个 sql优化 ([精华] 一个查询优化的分析调整全过程!很值得一看 )
cwqcwqmax9
sql
见 http://www.itpub.net/forum.php?mod=viewthread&tid=239011
Web翻页优化实例
提交时间: 2004-6-18 15:37:49 回复 发消息
环境:
Linux ve
- Hibernat and Ibatis
dashuaifu
Hibernateibatis
Hibernate VS iBATIS 简介 Hibernate 是当前最流行的O/R mapping框架,当前版本是3.05。它出身于sf.net,现在已经成为Jboss的一部分了 iBATIS 是另外一种优秀的O/R mapping框架,当前版本是2.0。目前属于apache的一个子项目了。 相对Hibernate“O/R”而言,iBATIS 是一种“Sql Mappi
- 备份MYSQL脚本
dcj3sjt126com
mysql
#!/bin/sh
# this shell to backup mysql
#
[email protected] (QQ:1413161683 DuChengJiu)
_dbDir=/var/lib/mysql/
_today=`date +%w`
_bakDir=/usr/backup/$_today
[ ! -d $_bakDir ] && mkdir -p
- iOS第三方开源库的吐槽和备忘
dcj3sjt126com
ios
转自
ibireme的博客 做iOS开发总会接触到一些第三方库,这里整理一下,做一些吐槽。 目前比较活跃的社区仍旧是Github,除此以外也有一些不错的库散落在Google Code、SourceForge等地方。由于Github社区太过主流,这里主要介绍一下Github里面流行的iOS库。 首先整理了一份
Github上排名靠
- html wlwmanifest.xml
eoems
htmlxml
所谓优化wp_head()就是把从wp_head中移除不需要元素,同时也可以加快速度。
步骤:
加入到function.php
remove_action('wp_head', 'wp_generator');
//wp-generator移除wordpress的版本号,本身blog的版本号没什么意义,但是如果让恶意玩家看到,可能会用官网公布的漏洞攻击blog
remov
- 浅谈Java定时器发展
hacksin
java并发timer定时器
java在jdk1.3中推出了定时器类Timer,而后在jdk1.5后由Dou Lea从新开发出了支持多线程的ScheduleThreadPoolExecutor,从后者的表现来看,可以考虑完全替代Timer了。
Timer与ScheduleThreadPoolExecutor对比:
1.
Timer始于jdk1.3,其原理是利用一个TimerTask数组当作队列
- 移动端页面侧边导航滑入效果
ini
jqueryWebhtml5cssjavascirpt
效果体验:http://hovertree.com/texiao/mobile/2.htm可以使用移动设备浏览器查看效果。效果使用到jquery-2.1.4.min.js,该版本的jQuery库是用于支持HTML5的浏览器上,不再兼容IE8以前的浏览器,现在移动端浏览器一般都支持HTML5,所以使用该jQuery没问题。HTML文件代码:
<!DOCTYPE html>
<h
- AspectJ+Javasist记录日志
kane_xie
aspectjjavasist
在项目中碰到这样一个需求,对一个服务类的每一个方法,在方法开始和结束的时候分别记录一条日志,内容包括方法名,参数名+参数值以及方法执行的时间。
@Override
public String get(String key) {
// long start = System.currentTimeMillis();
// System.out.println("Be
- redis学习笔记
MJC410621
redisNoSQL
1)nosql数据库主要由以下特点:非关系型的、分布式的、开源的、水平可扩展的。
1,处理超大量的数据
2,运行在便宜的PC服务器集群上,
3,击碎了性能瓶颈。
1)对数据高并发读写。
2)对海量数据的高效率存储和访问。
3)对数据的高扩展性和高可用性。
redis支持的类型:
Sring 类型
set name lijie
get name lijie
set na
- 使用redis实现分布式锁
qifeifei
在多节点的系统中,如何实现分布式锁机制,其中用redis来实现是很好的方法之一,我们先来看一下jedis包中,有个类名BinaryJedis,它有个方法如下:
public Long setnx(final byte[] key, final byte[] value) {
checkIsInMulti();
client.setnx(key, value);
ret
- BI并非万能,中层业务管理报表要另辟蹊径
张老师的菜
大数据BI商业智能信息化
BI是商业智能的缩写,是可以帮助企业做出明智的业务经营决策的工具,其数据来源于各个业务系统,如ERP、CRM、SCM、进销存、HER、OA等。
BI系统不同于传统的管理信息系统,他号称是一个整体应用的解决方案,是融入管理思想的强大系统:有着系统整体的设计思想,支持对所有
- 安装rvm后出现rvm not a function 或者ruby -v后提示没安装ruby的问题
wudixiaotie
function
1.在~/.bashrc最后加入
[[ -s "$HOME/.rvm/scripts/rvm" ]] && source "$HOME/.rvm/scripts/rvm"
2.重新启动terminal输入:
rvm use ruby-2.2.1 --default
把当前安装的ruby版本设为默