It’s kind of busy in China. Fewer sleep without David’s help. When he was there, I had many times trying to make him sleep but turned into sleep myself before him. I stayed in Beijing for 2 weeks, preaching 6 times at Sunday morning, afternoon and Wednesday night. Each time I would prepare about 40 pages of PowerPoint, and revised it for several times with the double check of Dr. Shin....
知道向你欢呼的，那民是有福的！ / 自从20年前，我在大学里认真学习谢才公式，发现水力学其实甚为有趣，一点也不像当初我想象的那样的讨厌力学，顺便在大四的时候拿到大学里第一个非体育类奖学金（我每年都拿体育单项奖，因为我是学校的围棋冠军）之后，我就发现我可以在短期内将注意力集中在一个完全未知的领域，但是还有兴趣能学习和掌握一点皮毛。 一旦开始研究一个课题，我就觉得我可以在这个领域成为一个入门者，至少每一种研究都是有趣的，不算枯燥。 ×××××××××××××××××××× 统计测试是均匀随机测试和结构测试的混合体，结合了二者的特点，一方面是采样测试，类似随机测试，但是采样分布不是均匀随机分布，而是根据代码结构获得最佳的分布，让最难以测试的路径也具有较大的覆盖概率。这样的测试能够在较小的测试集合下覆盖随机测试无法覆盖的路径，又能比结构测试更丰富，检查出更多的错误。 这种概率分布的学习是一种‘反学习’，其目的是让所有的输入向量具有相同的发生概率，所以最难覆盖的路径的概率应该不断调整增大。 输入变量的关系用信度网来表达，所以是一个信度网结构和参数学习的问题，np-complete类型。由于最近的测试集合生成技术都是用搜索算法，大家都要采用一个标准的fitness函数，所以也有用遗传算法来求解的；模拟退火也可以。 不过我们想，信度网结构似乎应该用cfg（控制流图）转化而成，这个是比较可靠的，就减少了结构学习的步骤，后面的训练难度要减少不少。 最近的经验表明，遗传算法不如替代变量法（alternative variables）有效，因为几年的数模竞赛我都采用模式搜索了，不再自己写遗传算法的程序。所以，后面的参数学习采用模式搜索算法。然后，加上边界测试生成，我觉得这样的测试集合自动生成算法已经很好了，可惜没有时间做实验。 ××××××××××××××× 用一些时间读文献是很能够快速提高自己的眼界和阅历的。所以感谢我的研究生们，一边努力的学习一边什么也不太懂，还需要我操心一下。 这学期要叫李欣张步良来办公室坐着，我监督看文献，编程序，写文章，翻译资料什么的了。 ×××××××××××××××× 下一个目标是自动转账，自动销售。
这就是所谓‘神州行’，接下来他们要继续参加各个省的省考，在祖国大地上飞来飞去。 有个统计是招一个公务员要2.7万元的成本，那是不算大家预备所消耗的时间，买资料的费用和旅费的吧。 ×××××××××× 我听见我的学生Foxiang要参加公务员考试的时候，是9月份。我当时心中不爽，极力劝他不要考了。但是他还是得到其他几位师长的支持，说可以考。 所幸他没能考上。据说申论差了一点。 要是叫我写一篇“呼唤雷锋精神”的申论，并且凭借这种叫魂一样的文章进入政府，我会胃疼的。 ××××××××××××× 但是，我还是支持年轻人参加国考。 这意味着放弃冒险，放弃创新，放弃自己的身份，消失在茫茫公务员大军中。 Simon的老师似乎对于这种结果颇为失望，他着力培养的研究生们，承诺要做一辈子学术的才俊们，在12月的寒风中，就纷纷飞走了。 ×××××××××× 本月工作室也经历同样的事情，我们失去一位同事，他去追求自己的理想，做监理去了。 Eric有点失落。但是我们继续。 ×××××××××× 昨天去小刚的老家万盛吃狗肉，然后去万盛公园一游。算是EE工作室的冬至。Jason和小刚近来加盟和投资工作室，让我们的情况大为改观。
耶稣说：手扶着犁向后看的，不配进神的国。 耶稣说：先求神的国和神的义，这些都要加给你们了。 ×××××××××××××××××× 晚上11点过，电话响起。邹老师告知我，全国大学生数学建模竞赛的结果已经出来了。我指导的队获得全国一等奖（竞赛结果公告）。 这差不多是意料之中的事情，前天看见Foxiang，还说起当年他、洪晶、小和尚参加数模的事情。他以为那支队伍是梦之队，的确也不错。但是遗憾的是，他们当时以赛区第一名，9分多的高分（第二名以下，在10分制中只得7分）出线，但是到了全国评奖的时候，居然只落得一个二等奖。连我的朋友杨教授提出的评分细则似乎也受到诟病。 但是这一次没有什么意外发生。因为我一定要想拿到这个全国一等奖。我就像一个职业奖金猎手一定要拿到悬赏的奖金，红着眼蹲伏在草丛中，等待着一击而中。 ×××××××××××××××× 数模竞赛的时间是从周五一早到周一下午。3位学生组成一队。今年我是最懵懂的，事先居然仅仅见过我的队员一面。也没有负责为他们培训。所以，只有时间告诉他们常识性的内容： 1）要团结，不要分裂； 2）要过程，不要结果； 3）要努力，不要放弃； 4）要靠自己，不要靠我。 我说星期天我是肯定不会出席的。所以请不要依赖我。公开自己的基督徒身份就有这般好处，星期天我什么都不会参加，这是我的信仰。月底的重庆市桥牌竞标赛，建华前日邀请我参加，我也是这样说，主日不能参加。建华说知道。所以我的朋友们还是相当体谅我。 到了竞赛期间，另一个学校又要求去帮他们指导4只队伍。所以一共带领了7只队伍。幸好我的研究生们帮助我照顾了另一个地方的小朋友们，我才有时间分心看看。 ××××××××××××××××××× 最终有一个甜蜜的结果，指导了7队，全部都有奖。1个全国一等奖，3个重庆一等奖，3个重庆二等奖。 明年的课时费是已经挣够了吧。也许，已经超过全年的课时费了。因为我上一门课大致只得49×40×1.3左右的课时费。我晒工资干嘛？本学期就上一门专业英语课，一门研究生的软件课。以后再说这事。 ××××××××××××××××× 还是要感谢邹昌文老师，在竞赛期间无私的帮助和讨论，还有鼓励。他年龄比我大一些，但是却很有信心的坚持在赛场指导学生，最后一天几乎没有睡觉。如果没有邹老师的鼓励，我应该是老早就放弃了。 邹老师去阅卷，第一时间通知我结果，昨天又第一时间打来电话祝贺。作为学校著名的边缘人，有几个朋友还是很温暖。 邹老师可是说是我校数模成绩最好的教练，最近年年获得全国的奖励。但是他，还有我的老朋友建章，这次只得全国二等奖。对于他们来说，非战之罪，实在是运气不佳吧。 ××××××××××××××××××× 好吧，俗套一点，既然我之前每天为了数模有一个好的结果祷告，也主要是为了更多的时间服侍教会祷告，不要让挣钱的事情占用太多的时间，所以我需要这份奖金而祷告。但是，我坚持了主日不出席的原则，神也祝福了我，让我得到我们学校的今年唯一一个全国一等奖（重庆赛区一共11个全国一等奖），我感谢神的恩典。 先求神的国和神的义，这些都要加给你们。 Eddy加油！