第三单元学习了JML规格描述语言，根据JML的规定编写对应的方法，同时也复习了数据结构的知识，并且也考察了程序的时间复杂度。 一.JML语言 理论基础 JML全名为Java Modeling Language(Java建模语言)，在Java代码中增加一些不影响程序正常编译运行的符号用来标识一个方法是 ...
分类：
其他好文 时间：
2019-05-22 09:52:01
阅读次数：
173
以下记录为本人在使用PGI社区版编译器遇到的问题，包含两类问题 1，PGI编译器本身存在你的bug。 2，在其他编译器编译运行没问题，在PGI中出现问题。 版本（18.11社区版） 1，（bug）内置函数，EOSHIFT，当偏移量为0的时候，数组会重置为0，图例中对这段代码分别使用gfortran， ...
分类：
其他好文 时间：
2019-05-11 16:15:12
阅读次数：
129
程序开发步骤说明 开发环境已经搭建完毕，可以开发我们第一个Java程序了。Java程序开发三步骤：编写、编译、运行。 代码实现 入门程序说明： 编译和运行是两回事编译：是指将我们编写的Java源文件翻译成JVM认识的class文件，在这个过程中， javac 编译器会检查我们所写的程序是否有错误，有 ...
分类：
其他好文 时间：
2019-05-10 20:50:58
阅读次数：
151
用c++写了个蚁群算法，发现用到c++随机数这里还是问题多多，下面就来总结一下： 首先调用rand()函数可以生成一个0-RAND_MAX之间的随机数，RAND_MAX的值为32767； 然后假设我输出一个rand()之后，重新编译运行代码，这个值不会变， 想要得到一个新的随机数，这里就要用到随机数 ...
分类：
编程语言 时间：
2019-04-27 19:33:48
阅读次数：
159
一、前提 安装Java 二、创建工作目录并编辑java文件 三、编译 四、运行 ...
分类：
编程语言 时间：
2019-04-27 13:16:02
阅读次数：
204
实验结论： 1）Part1 验证性内容：以多文件结构组织的项目文件示例：在画布上可以上下左右移动的小球 Ctrl C+V之后编译运行出现了如下界面： （假装有图片） 2）Part2 基于已有信息，补足并扩充程序。 在graph文件夹里提供有三个文件： graph.h (类Graph的声明) grap ...
分类：
编程语言 时间：
2019-04-26 00:39:22
阅读次数：
143
■ The GOption interface： goption.c ■ 编译 ■ 运行结果 ■ 参考 https://developer.gnome.org/glib/stable/glib-Commandline-option-parser.html https://gstreamer.free ...
分类：
其他好文 时间：
2019-04-21 10:03:12
阅读次数：
168
■ Simple initialization test.c ■ 编译 ■ 运行结果 ■ gst log EMEDITOR 去除1.log中不能显示的字符 ...
分类：
其他好文 时间：
2019-04-21 09:45:21
阅读次数：
126
实验结论： Part 1:验证性内容 1. 思考： 结论：替换代码后，依然成立。 拓展： 可以重复运行程序，更加方便。 2. 改写： 注：刚在打代码时，我漏掉了一个“break;”，编译运行正常，但是在结束时，Ctrl+D造成程序进入死循环，一直为等级是E,此处注意。 3. 结论：continue和 ...
分类：
其他好文 时间：
2019-04-15 23:24:14
阅读次数：
160
Mac平台下的Qt程序在Windows下执行编译运行时，QString::asprintf()部分会出现的中文乱码问题，之前已经使用QStringLiteral宏解决了一个中文乱码问题； 但是此种情形单凭QStringLiteral宏解决不了。 原因： mac下采用MinGW编译，在Windows下 ...
