- 罗素《幸福之路》:你为什么不幸福?
金汐月
英国哲学家、数学家罗素的《幸福之路》,专门探讨了现代人不幸福的原因和寻得幸福的可能。这本书的英文名是TheConquestofhappiness,英语中的happiness既有快乐也有幸福的意义,而书中所列的内容超出了快乐的范畴,多指更持久的隽永的幸福。罗素认为,幸福,不是一种很容易获得的状态,虽然有少部分幸运儿天生就有幸福的条件,但多数人还是要自己去寻找,通过调整自身来获得幸福。因此这本书名字直
- Something About Sailing the Oceans
芙湘人
Manyyearsago,Isawamoviecalled:1492ConquestofParadise.AlthoughIhaveforgottendetailsofthemovie,Istillrememberitsthemesong"SAILING".Iamsotouchedbythissongthatiwillcrywhenlistentoit.Ireadapassagenamed""SA
- Android清洁架构实战教程:基于AliAsadi/Android-Clean-Architecture
符凡言Elvis
Android清洁架构实战教程:基于AliAsadi/Android-Clean-ArchitectureAndroid-Clean-ArchitectureAdemomovieandroidappshowcasingCleanArchitecture,writteninKotlinandfeaturingJetpackComposeformodern,declarativeUIs.(Offlin
- 陈小春版鹿鼎记女演员现状 只有她成阶下囚
闲人电影
(本文由闲人电影原创:idlemovie)陈小春版的《鹿鼎记》可以说是所有《鹿鼎记》影视剧中最为经典的一部。陈小春对韦小宝的传神刻画是使得陈氏“韦小宝”成为不可超越的品牌形象。双儿的扮演者陈少霞,她曾拍过很多经典的武侠剧,结婚后淡出娱乐圈,婚后育有2个女儿。后来第一任老公投资失败,夫妻关系变差,俩人随之离婚,前夫之后亦病逝。今年二婚嫁给身家达8亿的“法拉利之父”李文辉。阿珂的扮演者梁小冰,她饰演过
- 实例化ViewModel的三种方式及对比
兰亭大境
开发语言kotlin
privatevalvm:DemoViewModelbyviewModels()privatevalvm2bylazy{ViewModelProvider(this).get(DemoViewModel::class.java)}privatevalvm3bylazy{WeakReference(DemoViewModel()).get()}在Android开发中,三种方式用于获取ViewMode
- 爬信息到excel里
赤兔马百花袍
pythonchrome数据挖掘爬虫
代码:#-*-coding=utf-8-*-frombs4importBeautifulSoupimporturllib.request,urllib.errorimportreimportxlwt#主函数defmain():baseurl='https://movie.douban.com/top250?start='dataList=getData(baseurl)dbpath="豆瓣电影25
- 开源项目教程:TopCorn2 - 使用Jetpack Compose构建的IMDb_top_250电影浏览应用
廉霓津Max
开源项目教程:TopCorn2-使用JetpackCompose构建的IMDb_top_250电影浏览应用TopCorn2AminimalisticmovielistingapptobrowseIMDB'stop250movies,builttodemonstrateMVVMwithJetpackCompose.项目地址:https://gitcode.com/gh_mirrors/to/TopC
- Crash Course:10分钟心理学速成-【第27集】情绪,压力与健康
ado_l
链接:https://open.163.com/newview/movie/courseintro?newurl=%2Fspecial%2Fopencourse%2Fcrashcoursepsychology.html重点1、情绪情绪并不仅仅只是一个心理现象,因为很多情绪都具有一定的感染力,而由此引发我们的感受和行为,也会影响思维、身体和身心健康。2、面部表情情绪专家保罗·艾克曼认为面部表情具有跨
- cf946 div3 E. Money Buys Happiness(01背包)
MGNisme
算法
cf946div3E.MoneyBuysHappiness(01背包)题目链接思路这题用背包来写的话容量(英镑)很大,不可行;题目给出价值总和不超过10510^5105,所以可以用价值代表状态,属性就为该价值下所耗费的最小容量代码voidsolve(){intm,x;cin>>m>>x;llh=0;vectora(m),b(m);for(inti=0;i>a[i]>>b[i],h+=b[i];ve
- python实战之去除视频水印&;字幕_python 去除视频水印
2401_83641634
程序员python音视频开发语言
importosimportsysimportcv2importnumpyfrommoviepyimporteditorVIDEO_PATH=‘video’OUTPUT_PATH=‘output’TEMP_VIDEO=‘temp.mp4’classWatermarkRemover():def__init__(self,threshold:int,kernel_size:int):self.thre
- Day04 左侧菜单导航实现
小丫头呀
Wpf使用Prism实战开发wpfc#prism
一.点击左侧菜单导航到对应的View页面1.首先在MyToDo项目中,创建出左侧菜单所有的View(视图)及对应的ViewModel(视图逻辑处理类)ViewViewModel首页IndexViewIndexViewModel待办事项ToDoViewToDoViewModel忘备录MemoViewMemoViewModel设置SettingsViewSettingsViewModel</
- 有没有大佬帮孩子看看问题出在哪啊啊啊啊
MinerTob
pythonpygame
我写了一个python音乐播放器,在实现进度条功能时为什么拖动进度条后,进度条后会退回原来的位置,而不是在拖动到的位置继续加载啊求个大佬解答啊(qmq)这是我写的代码(有注释)importosimportsysimporttkinterastkfromtkinterimportfiledialog,messageboximportpygameimportjsonfrommoviepy.editor
- python 把一个视频复制3次
waterHBO
python音视频开发语言
1.先看效果输入输出2.代码第一种方法moviepy代码来源gpt4ofrommoviepy.editorimportVideoFileClip,clips_array#加载视频video=VideoFileClip("a22.mp4")#复制视频三次video_copied=clips_array([[video,video,video]])#输出最终的视频video_copied.write_
- java.io.IOException: Stream closed解决办法
Eddie-Wang
java基础Streamcl
1.出现这个bug的大体逻辑代码如下:privatestaticvoidfindMovieId()throwsException{FileresultFile=newFile("C:\\2016.txt");OutputStreamWriteroutputStreamWriter=newOutputStreamWriter(newFileOutputStream(resultFile));Buff
- python 利用视频制作表情包
qq_492448446
Pythonpython开发语言
要将视频转换成微信表情包,你可以使用Python中的moviepy库来处理视频文件,并将其转换为GIF格式,因为GIF格式适合作为表情包使用。以下是一个基本的步骤指南,帮助你将视频转换成微信表情包:1.安装必要的库:首先,你需要安装moviepy库,这是一个强大的Python视频处理库,可以用来编辑视频文件。你可以使用pip命令安装moviepy:pipinstallmoviepy2.加载视
- python根据时间段拆分视频并且合并(高效快速)
qq_492448446
Pythonpythonwindows开发语言
#coding=utf-8__author__='Administrator'importtimefrommoviepy.editorimportVideoFileClip,concatenate_videoclips"""defprint_time():now=time.time()r=time.strftime("%Y-%m-%d%H:%M:%S",time.localtime(now))pr
- 提取视频中的音频
萌新小强
frommoviepy.editorimport*video=VideoFileClip(r'E:\z\EP001.mp4')audio=video.audioaudio.write_audiofile(r'E:\z\my_new_video.mp3')
- Windows预定义阴影画刷学习
bcbobo21cn
VC++图形学和3Dwindows画刷GDI
画刷是一个8*8位图;用来重复填充区域内部;有实心和阴影画刷;实心就是SolidBrush;有6种预定义阴影画刷;voidCHatchdemoView::OnDraw(CDC*pDC){CHatchdemoDoc*pDoc=GetDocument();ASSERT_VALID(pDoc);//TODO:adddrawcodefornativedatahereCRectrect1(40,40,200
- Python将csv数据导入neo4j
静听山水
Neo4Jpythonneo4j开发语言
参考链接:https://github.com/SongX64/movie_recommend_knowleagegraphimportpandasaspdfromneo4jimportGraphDatabase#连接数据库驱动uri="bolt://localhost:7687"driver=GraphDatabase.driver(uri,auth=("neo4j","neo4j"))#参数设
- FLASH实用代码大全
victoryckl
asflash
http://www.cnblogs.com/top5/archive/2009/07/27/1532158.html外部调用swfon(release){loadMovieNum("service.swf",1);}外部调用数据loadVariablesNum("about.txt",0);System.useCodepage=true;//中文音乐加入mySound=newSound();
- Flash使用代码大全
_Lunay
AS3flashcommandaction音乐html脚本
外部调用swfon(release){loadMovieNum("service.swf",1);}外部调用数据loadVariablesNum("about.txt",0);System.useCodepage=true;//中文音乐加入mySound=newSound();mySound.attachSound("1");mySound.start();关闭指定音乐mySound.stop("
- BZOJ-2127: happiness(最小割)
AmadeusChan
题目:http://www.lydsy.com/JudgeOnline/problem.php?id=2127明显是最小割模型,首先,S向每个节点连边,容量为文科的价值,每个点向T连边,容量为理科的价值,接下来考虑相邻节点的情况(设a,b),只要a,b之中有一个选了理科,那么就要扣除共同选文科的价值,反之亦然,那么新增一个辅助点v,对于S向v连边,容量为a,b共同选文科的价值,然后v向a,b连边,
- Python实现视频转音频、音频转文本的最佳方法
AICodeThunder
问答教程python音视频开发语言
文章目录Python实现视频转音频和音频转文字视频转音频步骤1:导入moviepy库步骤2:选择视频文件步骤3:创建VideoFileClip对象步骤4:提取音频步骤5:保存音频文件音频转文字步骤1:导入SpeechRecognition库步骤2:选择音频文件步骤3:创建Recognizer对象步骤4:读取音频文件步骤5:将音频转换为文字步骤6:打印转换结果完整代码Python实现视频转音频和音频
- 爬虫学习笔记-scrapy爬取电影天堂(双层网址嵌套)
DevCodeMemo
爬虫学习笔记
1.终端运行scrapystartprojectmovie,创建项目2.接口查找3.终端cd到spiders,cdscrapy_carhome/scrapy_movie/spiders,运行scrapygenspidermvhttps://dy2018.com/4.打开mv,编写代码,爬取电影名和网址5.用爬取的网址请求,使用meta属性传递name,callback调用自定义的parse_sec
- moviepy,一个超酷的 Python 视频处理库!
漫走云雾
python音视频开发语言
前些天发现了一个巨牛的人工智能学习网站,通俗易懂,风趣幽默,忍不住分享一下给大家。点击跳转到网站零基础入门的AI学习网站~。前言大家好,今天为大家分享一个超酷的Python库-moviepy。Github地址:https://github.com/Zulko/moviepy在今天的数字时代,视频内容变得越来越流行,从社交媒体到在线教育。PythonMoviePy是一个强大的Python库,专门用于
- 图数据库 之 Neo4j - Cypher语法基础(5)
magic_kid_2010
图数据库neo4j图数据库
节点(Nodes)Cypher使用()来表示一个节点。()#最简单的节点形式,表示一个任意无特征的节点,其实就是一个空节点(movie)#如果想指向一个节点在其他地方,我们可以给节点添加一个变量名(如movie),表示一个变量名为movie的节点。(:Movie)#表示一个标签为Movie的匿名节点(movie:Movie)#表示一个变量名为movie,标签为Movie的节点(movie:Movi
- 马小秋秋言物语第七十八章:马小秋:明了因果,把握人生
秋言物语8
Qiu'sRhetoric(78)MaXiaoqiu:Knowthecauseandeffect,controlthelife看完电影《我不是药神》,内心受到很大冲击,感动之余,用一颗平静的心,来看待真实的人生。Afterwatchingthemovie"IamnotaDrugGod",Iwasquiteimpacted.Besidesbeingtouched,Istartedtolookatth
- Day 25 LEAVE
30cc17e5ace4
翻译Theendingofthemovieleftcountlessaudiencesintears.造句Yearinyearouthardworkinglefthimasicklybody.
- 「蒋劲夫家暴到俞灏明道歉」背后有多丑陋
腹黑电影
本文首发于腹黑电影微信公众号fhmovie事儿闹得越来越大。蒋劲夫在2018年7月15日在微博公开与中蒲悠花恋情的时候,很多迷妹虽然心痛,但依然祝福。让人没想到的是。仅仅过了5个月,这场发生在异国的恋情却以这样的结局收尾。"11月28日蒋劲夫自首,已被日本警方逮捕。"起因你们也都听说了,家暴。在女方刚刚爆出家暴事件的时候,很多人还被蒙在鼓里,依然支持蒋劲夫,等着有人出来澄清。结果······11月
- 2019-04-24
远古礼仪
《30个夜晚》movie爱是什么?无论是对自己还是对他人而已,它既是一种惩罚,又是一种奖赏。这或许取决于爱的质量,但我们往往只能从爱的已发生的结果中去判断过去的爱的质量......草稿箱几篇灰色文章,又是我荒芜掉的时光,要么消极要么空洞,一直在自己的情绪中,或许应该对人生这一场冒险保持开放、宽容,无论今天干了什么事,明天都会认为昨天干了傻事,然后总是对过去的错误尝试心有芥蒂,从不鼓起勇气去创造今天
- Hadoop(一)
朱辉辉33
hadooplinux
今天在诺基亚第一天开始培训大数据,因为之前没接触过Linux,所以这次一起学了,任务量还是蛮大的。
首先下载安装了Xshell软件,然后公司给了账号密码连接上了河南郑州那边的服务器,接下来开始按照给的资料学习,全英文的,头也不讲解,说锻炼我们的学习能力,然后就开始跌跌撞撞的自学。这里写部分已经运行成功的代码吧.
在hdfs下,运行hadoop fs -mkdir /u
- maven An error occurred while filtering resources
blackproof
maven报错
转:http://stackoverflow.com/questions/18145774/eclipse-an-error-occurred-while-filtering-resources
maven报错:
maven An error occurred while filtering resources
Maven -> Update Proje
- jdk常用故障排查命令
daysinsun
jvm
linux下常见定位命令:
1、jps 输出Java进程
-q 只输出进程ID的名称,省略主类的名称;
-m 输出进程启动时传递给main函数的参数;
&nb
- java 位移运算与乘法运算
周凡杨
java位移运算乘法
对于 JAVA 编程中,适当的采用位移运算,会减少代码的运行时间,提高项目的运行效率。这个可以从一道面试题说起:
问题:
用最有效率的方法算出2 乘以8 等於几?”
答案:2 << 3
由此就引发了我的思考,为什么位移运算会比乘法运算更快呢?其实简单的想想,计算机的内存是用由 0 和 1 组成的二
- java中的枚举(enmu)
g21121
java
从jdk1.5开始,java增加了enum(枚举)这个类型,但是大家在平时运用中还是比较少用到枚举的,而且很多人和我一样对枚举一知半解,下面就跟大家一起学习下enmu枚举。先看一个最简单的枚举类型,一个返回类型的枚举:
public enum ResultType {
/**
* 成功
*/
SUCCESS,
/**
* 失败
*/
FAIL,
- MQ初级学习
510888780
activemq
1.下载ActiveMQ
去官方网站下载:http://activemq.apache.org/
2.运行ActiveMQ
解压缩apache-activemq-5.9.0-bin.zip到C盘,然后双击apache-activemq-5.9.0-\bin\activemq-admin.bat运行ActiveMQ程序。
启动ActiveMQ以后,登陆:http://localhos
- Spring_Transactional_Propagation
布衣凌宇
springtransactional
//事务传播属性
@Transactional(propagation=Propagation.REQUIRED)//如果有事务,那么加入事务,没有的话新创建一个
@Transactional(propagation=Propagation.NOT_SUPPORTED)//这个方法不开启事务
@Transactional(propagation=Propagation.REQUIREDS_N
- 我的spring学习笔记12-idref与ref的区别
aijuans
spring
idref用来将容器内其他bean的id传给<constructor-arg>/<property>元素,同时提供错误验证功能。例如:
<bean id ="theTargetBean" class="..." />
<bean id ="theClientBean" class=&quo
- Jqplot之折线图
antlove
jsjqueryWebtimeseriesjqplot
timeseriesChart.html
<script type="text/javascript" src="jslib/jquery.min.js"></script>
<script type="text/javascript" src="jslib/excanvas.min.js&
- JDBC中事务处理应用
百合不是茶
javaJDBC编程事务控制语句
解释事务的概念; 事务控制是sql语句中的核心之一;事务控制的作用就是保证数据的正常执行与异常之后可以恢复
事务常用命令:
Commit提交
- [转]ConcurrentHashMap Collections.synchronizedMap和Hashtable讨论
bijian1013
java多线程线程安全HashMap
在Java类库中出现的第一个关联的集合类是Hashtable,它是JDK1.0的一部分。 Hashtable提供了一种易于使用的、线程安全的、关联的map功能,这当然也是方便的。然而,线程安全性是凭代价换来的――Hashtable的所有方法都是同步的。此时,无竞争的同步会导致可观的性能代价。Hashtable的后继者HashMap是作为JDK1.2中的集合框架的一部分出现的,它通过提供一个不同步的
- ng-if与ng-show、ng-hide指令的区别和注意事项
bijian1013
JavaScriptAngularJS
angularJS中的ng-show、ng-hide、ng-if指令都可以用来控制dom元素的显示或隐藏。ng-show和ng-hide根据所给表达式的值来显示或隐藏HTML元素。当赋值给ng-show指令的值为false时元素会被隐藏,值为true时元素会显示。ng-hide功能类似,使用方式相反。元素的显示或
- 【持久化框架MyBatis3七】MyBatis3定义typeHandler
bit1129
TypeHandler
什么是typeHandler?
typeHandler用于将某个类型的数据映射到表的某一列上,以完成MyBatis列跟某个属性的映射
内置typeHandler
MyBatis内置了很多typeHandler,这写typeHandler通过org.apache.ibatis.type.TypeHandlerRegistry进行注册,比如对于日期型数据的typeHandler,
- 上传下载文件rz,sz命令
bitcarter
linux命令rz
刚开始使用rz上传和sz下载命令:
因为我们是通过secureCRT终端工具进行使用的所以会有上传下载这样的需求:
我遇到的问题:
sz下载A文件10M左右,没有问题
但是将这个文件A再传到另一天服务器上时就出现传不上去,甚至出现乱码,死掉现象,具体问题
解决方法:
上传命令改为;rz -ybe
下载命令改为:sz -be filename
如果还是有问题:
那就是文
- 通过ngx-lua来统计nginx上的虚拟主机性能数据
ronin47
ngx-lua 统计 解禁ip
介绍
以前我们为nginx做统计,都是通过对日志的分析来完成.比较麻烦,现在基于ngx_lua插件,开发了实时统计站点状态的脚本,解放生产力.项目主页: https://github.com/skyeydemon/ngx-lua-stats 功能
支持分不同虚拟主机统计, 同一个虚拟主机下可以分不同的location统计.
可以统计与query-times request-time
- java-68-把数组排成最小的数。一个正整数数组,将它们连接起来排成一个数,输出能排出的所有数字中最小的。例如输入数组{32, 321},则输出32132
bylijinnan
java
import java.util.Arrays;
import java.util.Comparator;
public class MinNumFromIntArray {
/**
* Q68输入一个正整数数组,将它们连接起来排成一个数,输出能排出的所有数字中最小的一个。
* 例如输入数组{32, 321},则输出这两个能排成的最小数字32132。请给出解决问题
- Oracle基本操作
ccii
Oracle SQL总结Oracle SQL语法Oracle基本操作Oracle SQL
一、表操作
1. 常用数据类型
NUMBER(p,s):可变长度的数字。p表示整数加小数的最大位数,s为最大小数位数。支持最大精度为38位
NVARCHAR2(size):变长字符串,最大长度为4000字节(以字符数为单位)
VARCHAR2(size):变长字符串,最大长度为4000字节(以字节数为单位)
CHAR(size):定长字符串,最大长度为2000字节,最小为1字节,默认
- [强人工智能]实现强人工智能的路线图
comsci
人工智能
1:创建一个用于记录拓扑网络连接的矩阵数据表
2:自动构造或者人工复制一个包含10万个连接(1000*1000)的流程图
3:将这个流程图导入到矩阵数据表中
4:在矩阵的每个有意义的节点中嵌入一段简单的
- 给Tomcat,Apache配置gzip压缩(HTTP压缩)功能
cwqcwqmax9
apache
背景:
HTTP 压缩可以大大提高浏览网站的速度,它的原理是,在客户端请求网页后,从服务器端将网页文件压缩,再下载到客户端,由客户端的浏览器负责解压缩并浏览。相对于普通的浏览过程HTML ,CSS,Javascript , Text ,它可以节省40%左右的流量。更为重要的是,它可以对动态生成的,包括CGI、PHP , JSP , ASP , Servlet,SHTML等输出的网页也能进行压缩,
- SpringMVC and Struts2
dashuaifu
struts2springMVC
SpringMVC VS Struts2
1:
spring3开发效率高于struts
2:
spring3 mvc可以认为已经100%零配置
3:
struts2是类级别的拦截, 一个类对应一个request上下文,
springmvc是方法级别的拦截,一个方法对应一个request上下文,而方法同时又跟一个url对应
所以说从架构本身上 spring3 mvc就容易实现r
- windows常用命令行命令
dcj3sjt126com
windowscmdcommand
在windows系统中,点击开始-运行,可以直接输入命令行,快速打开一些原本需要多次点击图标才能打开的界面,如常用的输入cmd打开dos命令行,输入taskmgr打开任务管理器。此处列出了网上搜集到的一些常用命令。winver 检查windows版本 wmimgmt.msc 打开windows管理体系结构(wmi) wupdmgr windows更新程序 wscrip
- 再看知名应用背后的第三方开源项目
dcj3sjt126com
ios
知名应用程序的设计和技术一直都是开发者需要学习的,同样这些应用所使用的开源框架也是不可忽视的一部分。此前《
iOS第三方开源库的吐槽和备忘》中作者ibireme列举了国内多款知名应用所使用的开源框架,并对其中一些框架进行了分析,同样国外开发者
@iOSCowboy也在博客中给我们列出了国外多款知名应用使用的开源框架。另外txx's blog中详细介绍了
Facebook Paper使用的第三
- Objective-c单例模式的正确写法
jsntghf
单例iosiPhone
一般情况下,可能我们写的单例模式是这样的:
#import <Foundation/Foundation.h>
@interface Downloader : NSObject
+ (instancetype)sharedDownloader;
@end
#import "Downloader.h"
@implementation
- jquery easyui datagrid 加载成功,选中某一行
hae
jqueryeasyuidatagrid数据加载
1.首先你需要设置datagrid的onLoadSuccess
$(
'#dg'
).datagrid({onLoadSuccess :
function
(data){
$(
'#dg'
).datagrid(
'selectRow'
,3);
}});
2.onL
- jQuery用户数字打分评价效果
ini
JavaScripthtmljqueryWebcss
效果体验:http://hovertree.com/texiao/jquery/5.htmHTML文件代码:
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<title>jQuery用户数字打分评分代码 - HoverTree</
- mybatis的paramType
kerryg
DAOsql
MyBatis传多个参数:
1、采用#{0},#{1}获得参数:
Dao层函数方法:
public User selectUser(String name,String area);
对应的Mapper.xml
<select id="selectUser" result
- centos 7安装mysql5.5
MrLee23
centos
首先centos7 已经不支持mysql,因为收费了你懂得,所以内部集成了mariadb,而安装mysql的话会和mariadb的文件冲突,所以需要先卸载掉mariadb,以下为卸载mariadb,安装mysql的步骤。
#列出所有被安装的rpm package rpm -qa | grep mariadb
#卸载
rpm -e mariadb-libs-5.
- 利用thrift来实现消息群发
qifeifei
thrift
Thrift项目一般用来做内部项目接偶用的,还有能跨不同语言的功能,非常方便,一般前端系统和后台server线上都是3个节点,然后前端通过获取client来访问后台server,那么如果是多太server,就是有一个负载均衡的方法,然后最后访问其中一个节点。那么换个思路,能不能发送给所有节点的server呢,如果能就
- 实现一个sizeof获取Java对象大小
teasp
javaHotSpot内存对象大小sizeof
由于Java的设计者不想让程序员管理和了解内存的使用,我们想要知道一个对象在内存中的大小变得比较困难了。本文提供了可以获取对象的大小的方法,但是由于各个虚拟机在内存使用上可能存在不同,因此该方法不能在各虚拟机上都适用,而是仅在hotspot 32位虚拟机上,或者其它内存管理方式与hotspot 32位虚拟机相同的虚拟机上 适用。
- SVN错误及处理
xiangqian0505
SVN提交文件时服务器强行关闭
在SVN服务控制台打开资源库“SVN无法读取current” ---摘自网络 写道 SVN无法读取current修复方法 Can't read file : End of file found
文件:repository/db/txn_current、repository/db/current
其中current记录当前最新版本号,txn_current记录版本库中版本