学习与总结
文章平均质量分 68
飘零雁
软件工程师
展开
-
PackageReference in visual studio
NuGet PackageReference in project files | Microsoft Docs最直观的作用,使用这个种方式就不会有package.config文件 ,该文件的信息都自动到工程里,并且工程文件也显得很干净,如下:原来的方式是这样的:并且工程文件中会有一个packages.config文件改为PackageReference后是这样的:使用范围:NuGet PackageReference in project files | Micros...原创 2022-03-02 15:25:57 · 738 阅读 · 0 评论 -
一阶逻辑公式转Kripke structure(KS)
将一段imp程序转Kripke structure(KS)。这是系统分析与验证一门课的作业,需要将一段imp程序转为一阶逻辑公式,再由一阶逻辑公式转为 Kripke structure(KS)。并且老师要求是不能使用python.因为github上有python和t实现了完整的过程。https://github.com/lypnol/impy其实也有一个rust 版本https://gitlab.com/davirain.yin/imp-interpeter关于阶逻辑公式和Kripke原创 2021-06-06 10:33:11 · 803 阅读 · 1 评论 -
windows 10 安装 pygraphviz 模块
windows x64下安装Graphviz 后默认路径是在这里的C:\Program Files\Graphviz然后使用 pip 命令自动安装pygraphviz 模块时,总是报告各种错误。经过查找发现,原来是默认下载下来的setup.py 文件中关联的空路径并不能正确找这到Graphviz的头文件和lib文件。通过以下步骤解决了这个问题:手动下载https://pypi.org/project/pygraphviz/#files,解压到本地,假如目录为“…\pygrap..原创 2021-04-28 23:12:56 · 189 阅读 · 0 评论 -
在wpf中使用Naudio 录音和实时绘制波形图
Naudio是集录音、播放的源码库。https://github.com/naudio/NAudio,这是基于.net的框架。 在这链接的源码里有各种.net 框架的例子,对于基于.net wpf/universal 的程序,还提供了波形图的绘制。我从没接触过音频类的技术,有个基于wpf 的项目需要快速提供实时绘制录音的图形。因为源码库提供的wpf例子是基于文件播放的,其还中包括了比较多参数设置,技术上用了很多反射。很不直观 ,又因为对音频api毫无概念,想快速修改为基于实时录音还是需要费点时间的。原创 2020-10-18 17:32:15 · 4359 阅读 · 3 评论 -
简谈软件工程和实际的软件过程
写了十几年代码,如果你问我软件工程是什么,我还真的会卡壳,尽管我也记得大学时还学过这门课程。至到去年考研的复习中看到IEEE组织对软件工程定义:1)将系统化的、规范的、可度量的方法应用于软件的开发、运行和维护的过程,即将工程化应用于软件中;2)对1)中所述方法的研究。这个定义的形式对码农来说来应该是非常亲切了,而从内容来说,我感觉是概括出我想表达而无法总出来的内容。可是问题来了,既然有所谓的系统化,规范和度量的方法后,那么到底有哪些方法,可以让软件项目的开发工作可以度量和规划。(可能自己原创 2020-09-28 00:16:07 · 542 阅读 · 0 评论