1. renamerename 's/(0-9).txt/file_$1.txt/' *.txt 2. 查看硬件信息lscpu lshw hwinfo lspci lsusb lsblk 3. 查找文件locate file_path 4. 制作iso文件mkisofs -l -J -L -r -o filename.iso path_to_folder 5. 查看主机开放端口nmap your-domain-ip 6. ffmpeg 剪切拼接视频 剪切:ffmpeg -ss START -i input.mp4 -t TIME -acodec copy -vcodec copy output.mp4 其中 START/TIME 的格式有两种: 以秒为单位计数 80, 时:分:秒 00:01:20 拼接:ffmpeg -i "concat:input1.mpg|input2.mpg|input3.mpg" -c copy output.mpg 也可以将要拼接的视频放在一个文件list.txt里:file '/path/to/file1' file ' ...

1. 问题在创建新的联邦时, 将Thesis.xml换成了Test.xml去create, 但CRC端实际显示的还是Thesis.xml, 以为是前端问题或是后端创建时传参问题, 检查没有发现错误 2. 解决在CRC服务器上关闭了Pitch RTI, 重新打开, 新创建的联邦显示的FOM就是Test.xml了。。。

1. 服务器-浏览器通信技术服务器-浏览器通信也可以称为服务器端推送技术, 是一种当服务器端的业务数据、资源状态发生改变时, 服务器可以主动将这一信息通知给相关的浏览器的通信技术。如果服务器与客户端使用TCP/IP协议建立连接, 这样的Socket通信并无特别之处, 一旦连接建立, 在这样的双向通信链路中随时都可以发送通知. 然而REST通信是基于HTTP的通信, 而HTTP是无状态的通信协议, 每一次请求-响应都是基于一个新建立的HTTP的连接, 这就是使服务器主动通知浏览器成为一个难点. 这是因为在基于请求-响应的模式下, 服务器的角色是主动应答, 无法主动通知浏览器; 另一个原因是每次请求后HTTP连接断开, 服务器无法再获取客户端的地址, 也就无法将通知发送给浏览器端 1.1 Polling(客户端轮询) 技术即浏览器周期性地主动访问服务器的特定地址, 以获取服务器端数据状态的变化优点: 易于实现 对设计没有注入性污染缺点: 如果服务器的业务数据在两次定时任务发起的请求过程中没有变化, 后一次请求的做功实际为负数——浪费了服务器的带宽, 而且没有获得有效负载 浏 ...

1. No such file or directory./pwn1执行后出现错误信息:./pwn1: No such file or directory, 可执行权限Kino已经加上了, 查了查可能是因为库的原因, 直接cat pwn1看到需要/lib/ld-linux.so, 查了下系统的确没有, 用readelf去查看pwn1的各项信息, 反而没有看到. ld-linux.so这个库是Linux下进行动态库链接的链接器, 无它其他动态库就都无法成功链接, 详细说明可以戳这里查看怎么安装这个库, 32位系统下是libc6, 64位是libc6-i386, 这是因为64位中默认安装了/lib64/ld-linux-x86-64.so.2 2. dmesgdmesg用来显示内核环缓冲区(kernel-ring buffer)内容, 内核将各种消息存放在这里. 在系统引导时, 内核将与硬件和模块初始化相关的信息填到这个缓冲区中. 内核环缓冲区中的消息对于诊断系统问题非常有用 3. ls硬件信息lsmod lscpu lspci lsusb等 4. 时间参考1参考2参考 ...

1. 构建数学知识的常用数学方法1.1 数学表示方法1.2 等价变换方法 自反性(Reflactive): 对任何a ϵ A, 必有aRa(R条件) 对称性(Symmetry): 对任何a ϵ A, b ϵ A, 若有aRb, 必有bRa(S条件) 传递性(Transitive): 设a、b、c均在A中, 若有aRb,bRc, 则必有aRc(T条件) 1.3 公理化方法和结构主义公理系的三性: 独立性, 即各条公理相互独立, 不能由一条推出另外一条 无矛盾性, 即各条公理之间没有矛盾, 从一条公理推出的结果不能与另一条矛盾 完备性, 即通过它能推出该学科已有的全部重要命题, 不能随便省略公理 公理化的近代发展是”结构主义”. 例如代数结构, 群、环、域、线性空间等都是可以用满足一定公理来定义的代数结构; 还有序结构, 包括半序和全序半序集E: 若E的元素之间定义了一个关系”≤”, 它具有以下性质: 自反性: 若xϵE, 则x≤x 反对称性: 若x,yϵE, x≤y且y≤x, 则x=y 传递性: 若x,y,zϵE, x≤y且y≤z, 则x≤z则称E为半序集 全序是在半序基 ...

1. 数学符号Wiki上有所有数学符号的一个list, 点击每个数学符号link可以查看其具体内容, 然而Kino只是想看一下其Unicode值 2. 分形理论Benoit Mandelbrot 创立了 分形理论(fractal theory), 基础是分形几何(fractal geometry)

1. 前言Methodology of Mathematics主要记录了《数学方法论稿》[1] 的内容 2. 钱学森对于数学的分类钱学森在《关于思维科学》中用过一张表进行科学的分类(然而这是Kino在数学方法论稿书中看到的): 3. 重大数学方法与哲学范畴3.1 数学方法·形式与内容数学的研究对象是形式化的思想材料, 整个数学是一个形式化的思想体系. 数学要形式化, 但是不可局限于形式化, 形式是为内容服务的. 因为形式不能更好的表示内容, 因而很多数学论文中的方法被冷落和扬弃了, 或者被更好的数学形式所代替 3.2 数理逻辑方法·原因与结果“原因”和”结果”是一对哲学范畴, 它反映事物之间的相互联系和相互制约. 当我们把事物从普遍联系中抽象出来, 就会看到有序的、不断更替的运动, 一种现象会引起另一种现象. 前者为原因, 后者为结果, 这种因果观念是人们一切自觉活动必不可少的逻辑条件数学的表示一个命题, 要用谓词和八个逻辑常量, 即∀, Ǝ, V, Λ, =, ¬(非), →(蕴涵), ⇔(if and only if). 我们用⇒表示”推出”, 谓词S(a)、P(b)即 ...

1. RTI中time management相关问题1.1 在创建Federate之后如何修改其时间控制策略想要在创建Federate后改变其时间控制策略, 且同时修改其前瞻量, 这时会出现相关问题, 当然, 我们先假设三个Federate, A、B、C初始都是Regulating状态, 且A前瞻量2, 步长2, 当前时间为20, B前瞻量4, 步长4, 当前时间60, C前瞻量5, 步长5, 当前时间100 先修改C为 Regulating and Constrained, 这时若先rtiAmbassador.enableTimeRegulation(lookahead);会throw一个TimeRegulationAlreadyEnabled的异常, 若我们捕获它并在catch中rtiAmbassador.disableTimeRegulation(); rtiAmbassador.enableTimeRegulation(lookahead);, 看似并没有什么问题。于是接下来执行rtiAmbassador.enableTimeConstrained();, 此时查看Pitch ...

1. 前言无新歌可听, 翻了翻收藏的专辑, 一直打算把自己最爱的10张专辑挑出来, 但是总觉得有更好的音乐, 不过还是留存一份当前最喜欢的几张专辑吧 2. List The Dark Side of the Moon —— Pink Floyd The Girl Who Was… Death —— Devil Doll Famous Blue Raincoat —— Jennifer Warnes A Sombre Dance —— Estatic Fear 21 —— Adele Laurie Blue Adkins Where You Live —— Tracy Chapman 万能青年旅店 —— 万能青年旅店 Born to Die —— Lana Del Rey 浮躁 —— 王菲 Diana Ross —— Diana Ross

1. Ubuntu ssh 登录提示信息修改/etc/issue和/etc/motd前者的内容显示在login提示符之前, 后者显示在用户成功登录系统后, 一般都是希望修改后者 2. curl post json数据curl -H "Content-Type: application/json" -X POST -d '{"id":"1","password":"miao"}' http://api在post的data中使用变量: currentTime=`date +%s` curl -i -H "Accept:application/json" -H "Content-Type:application/json" -X POST \ --data '{"time":"'"$currentTime"'","message":"hypocrisy"}' "https://yourhost:port/api" 循环post: #!/b ...