分类： IT

Posted in: IT

ffmpeg的一些用法

Written by springwood Leave a Comment on ffmpeg的一些用法

音频

ffmpeg -i foo.mkv foo.mp3 # 如果感觉音量太轻，则加一个 -vol 656 参数试试。

字幕

# 第一个字幕
ffmpeg -i foo.mkv -map 0:s:0 foo.ass # 或foo.srt，看原来是什么格式就写什么格式。
# 第二个字幕
ffmpeg -i foo.mkv -map 0:s:1 foo.ass # 或foo.srt，看原来是什么格式就写什么格式。

视频格式转换 

ffmpeg -i foo.mkv -c copy foo.mp4  # 千万不要漏掉 -c copy

# 缩放：-vf scale=-1:1080（这时不能加 -c copy，只能重新编码）

字幕格式转换

ffmpeg -i foo.ass -c:s text foo.srt
Posted in: Life, Mobile/iOS, Travel

iOS添加各地区节假日日历

Written by springwood iOS添加各地区节假日日历有 4 条评论

2023年更新：iOS 16 和 相应的 macOS 已经可以直接在日历里面添加节假日，不用人工输入URL。

iOS一般都会自带默认地区的节假日日历，例如国行版本自带中国大陆节假日日历（2022年已经有调休信息）。

下面介绍其他国家地区的日历订阅方法（如果只有iPhone：设置——邮件——账户——添加账户——其他——添加已订阅的日历。如果还有MacOS，则推荐在MacOS的日历——文件——新建日历订阅中添加，这样可以通过iCloud同步到iOS），参考来自Che’s Blog的文章，并实测有效：

Read More “iOS添加各地区节假日日历”

Posted in: IT, Science

图灵的“停机问题”

Written by springwood Leave a Comment on 图灵的“停机问题”

资料来自：科普书《复杂》和知乎网站。

假设存在这么一个“停机程序”，不管它是怎么实现的，但是它能够回答“停机问题”：它接受一个“程序”和一个“输入”，然后判断这个“程序”在这个“输入”下是否能给出结果：

def is_halt(program, input) -> bool:
  # 返回 True  如果 program(input) 会返回
  # 返回 False 如果 program(input) 不返回

Read More “图灵的“停机问题””

Posted in: IT

一个用于定位含简并碱基的oligo的工具

Written by springwood Leave a Comment on 一个用于定位含简并碱基的oligo的工具

能用于定位oligo（或primer）的工具很多，比如BioEdit、BLASTN都可以，但是它们不能处理简并碱基的情况，只会把简并碱基当成错配。

现在列一个能够用于定位含简并碱基的oligo的工具：usearch中的search_oligodb命令。

命令格式为：

usearch -search_oligodb [your/target/seq.fa] -db [your/probes.fa] -alnout or -blast6out [your/result]

可用参数有：

-strand: plus or both
-maxdiffs: [int]
Back to Top