09 2020 档案
摘要:Grep 是 Global Regular Expression Print 的缩写,它搜索指定文件的内容,匹配指定的模式,默认情况下输出匹配内容所在的行。注意,grep 只支持匹配而不能替换匹配到的内容。 grep 支持不同的匹配模式,比如默认的 BRE 模式,增强型的 ERE 模式,还有更强悍的
阅读全文
摘要:##A题 华为-芯片相噪算法设计 ##B题 辛烷值建模值建模 基于近红外光谱的汽油辛烷值预测与模型优化 长庆石化汽油辛烷值的数学建模法计算研究 基于GA-BP优化算法的BP网络及其在汽油调合辛烷值建模中应用 汽油辛烷值NIR数据处理与建模仿真 ##C题 面向康复工程的脑电信号分析和判别模型 ##D题
阅读全文
摘要:引用https://www.cnblogs.com/rsty/p/10443749.html tar tar是linux中最常用的解压缩命令。tar命令可用于处理后缀名为tar,tar.gz,tgz,.tar.Z,tar.bz2的文件。 -c 建立新的压缩文件 -r 添加文件到已经压缩的文件 -u
阅读全文
摘要:SPIN官网 SPIN github SPIN是用于形式化验证并发程序的模型检测工具。Promela是SPIN的输入语法,通过LTL(Linear Temporal Logic)或者断言来对验证属性进行规约,并给出违反验证属性情况下的反例路径 github下载SPIN包 linux SPIN 安装(
阅读全文
摘要:问题如下: 执行命令 sudo rm /var/lib/apt/lists/lock
阅读全文
摘要:参考1 参考2 #永久修改 创建pip.conf文件 mkdir ~/.pip cd ~/.pip touch pip.conf 编辑pip.conf文件 sudo gedit ~/.pip/pip.conf 写入豆瓣源 [global] index-url = http://pypi.douban
阅读全文