临高启明

命题d：‘地区码第2位为2’，
命题e：‘地区码第3位为2’，
则，复合命题的表达式为：‘（a∧b∧c）v（a∧d∧e）’。”
“我们的分类机是如何判断真假的呢？是通过检验穿孔卡是否穿孔，也就是说，分类机的每个读卡单元，能够判断复合命题中的一个简单命题的真假。同时，通过一个控制继电器，我们可以让每个读卡单元，判断仅有1个‘非’联结词的复合命题，也就是一个简单命题的非命题的真假。”
“假如我们仅有1个读卡单元，那么仅此而已。但是现在我们有10个读卡单元，所以事情要复杂一些。不过仍然是可以分析的。请大家注意，每个读卡单元侧面的卡袋，装入的卡片的特点：
k号卡袋中的卡片，是1~k-1号命题的‘非’命题的‘与’、再‘与’k号命题。
经过k号读卡单元的剩余卡片，是满足1~k号所判断的命题的‘非’命题的‘与’。
1~k号卡袋里面的卡片，合起来是满足1~k号所判断的命题的‘或’。
假设我们的读卡单元所判断的简单命题（或简单命题的非命题）为p1，p2，...，p10。
则我们所能够判断的命题表达式为：
1号卡袋：p1
2号卡袋：┐p1∧p2
3号卡袋：┐p1∧┐p2∧p3
4号卡袋：┐p1∧┐p2∧┐p3∧p4
...
10号卡袋：┐p1∧┐p2∧...∧┐p9∧p10
最终剩余卡片：┐p1∧┐p2∧...∧┐p10
最后由于这些卡片被彼此分开，所以我们最终可以自由选择任意多个卡袋的卡片合在一起，也就是上述表达式之间的‘或’；其中最重要的，是从1~k号的连续k个卡袋中的卡片合在一起，其结果为：p1v...vpk，即以p1为开头的连续‘或’运算；
而经过k号读卡单元后机器上剩余的卡片，可表示为┐p1∧...∧┐pk，即以┐p1为开头的连续‘与’运算。”
“所以，凡是能变换成上述形式表达式的命题，就是分类机能够查找的，否则，就是分类机不能查找的。”
“我给加奈出的问题，找出三亚大区除奴隶以外的卡片，可以分解成如下的简单命题或简单命题的非命题：
命题a：‘地区码第1位不为1’，
命题b：‘地区码第2位不为0’，
命题c：‘地区码第3位不为0’，
命题d：‘地区码第4位不为1’，
命题e：‘地区码第5位为1’，
命题f：‘地区码第5位不为2’
命题g：‘地区码第6位不为9’
命题h：‘地区码第7位不为9’
┐a∧┐b∧┐c∧┐d∧e，这是10011，三亚榆林，它符合5号卡袋的表达式，所以这些卡片位于5号卡袋中，可以记为p5。
┐a∧┐b∧┐c∧┐d∧┐e∧┐f∧g，这是100120~100128，三亚田独11~89公社，它符合7号卡袋的表达式，所以这些卡片位于7号卡袋中，可记为p7。
┐a∧┐b∧┐c∧┐d∧┐e∧┐f∧┐g∧h，这是1001290~1001298，三亚田独90~98公社，它符合8号卡袋的表达式，所以这些卡片位于8号卡袋中，可记为p8。
后两者合起来，即p7vp8，是三亚田独，但不包括奴隶。三者全部合起来，即p5vp7vp8，是我们所要的结果。因为这个表达式符合我们上面的形式，所以分类机可以解决。”
“而‘（a∧b∧c）v（a∧d∧e）’，无论我们怎样变换，是不能变换成上述表达式的，因而是当前的分类机所不能解决的。”
“好，问题来了，怎样变换表达式？”这时他看向了冯珊。
“这是0和1的布尔代数。”冯珊答道，她的眼睛里透出着迷的神色。
冯诺点点头，钱羽之和李加奈此前已经完全不知所云了，不过听到布尔代数，他们有点反应过来了。
冯诺只教过他俩最简单的布尔代数，以至于他们以为布尔代数就是0和1的布尔代数。
“然后呢？”冯诺继续引导。
“布尔代数是有补分配格！交运算是‘与’，并运算是‘或’，求补是‘非’，满**换律、结合律、吸收律，‘与’和‘或’彼此满足分配律！0-1布尔代数还满足幂等律！”
这是布尔代数的理论部分，钱羽之和李加奈又糊涂了。
“很好。”冯诺表扬了一句。
“不过，”他又补充说，“格的基本运算律只是‘与’和‘或’两种运算之间的，包括交换律、结合律、吸收律、幂等律、分配律等等。在命题逻辑里，还要考虑‘非’的性质，这里我暂时只说两点：其一，双重否定律，很显然，命题的非命题的非命题，是其自身。其表达式的形式是——”
冯诺在黑板上写下：
┐┐a=a；
“其二，德……唉，就叫‘与或转换律’吧，两个命题的合取的非，是两个命题的非的析取；两个命题的析取的非，是两个命题的非的合取。其表达式的形式是——”
他又写下：
┐（a∧b）=┐av┐b，
┐（avb）=┐a∧┐b。
“我举两个例子你们就明白了，‘不是16岁以上的男人’，也就意味着是‘16岁以下的人’或‘女人’；‘不是原籍海南或福建的人’，也就意味着‘不是原籍海南的人’并且‘不是原籍福建的人’。”
然后他继续说道，“根据这些运算律，可以把逻辑命题的表达式变换成各种形式，不过，一般我们会变换成连续‘与’的‘或’，或者连续‘或’的‘与’，称为析取范式和合取范式。”
“好，有了理论工具，我们就能够发现，目前分类机在设计上存在局限性。如果分类机能够处理一般的析取范式或者合取范式，就不存在从设计上无法解决的问题了。——比如‘找出原籍福建或海南的人’。”
“这就要求我们的每个读卡单元，不是仅能判断一个简单命题的真假，而是能够判断多个简单命题构成的合取项或者析取项的真假。反映在分类机设计上，就是把读卡单元目前仅包括1个工作继电器和1个控制继电器的简单电路，改造成包含多个继电器的开关电路。”
“羽之，你这段时间已经很熟悉电路了。你来组装一个有两个开关和一个灯泡的电路，要求‘只有2个开关都闭合，灯泡才亮’。”
冯诺指了指一旁的工作台。工作台上有一大堆导线、继电器、灯泡和开关，台下放着两个笨重的钟式电池，万用表和其他几种仪器则被丢在工作台的角落里。
钱羽之熟练地来到工作台前忙活起来，他首先从电池的正负极引出了导线，然后把灯泡连入电路，灯泡亮了。接着，他把两个开关用导线连起来，又和灯泡、电池连在了一起。
冯诺让三名学生都去试一下，是不是只有2个开关都闭合时，灯泡才亮，如果有任意1个开关是断开的，灯泡就熄灭。
－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－
下次更新：第七卷-两广攻略篇61节





临高启明 三百三十五节 瓜熟蒂落
www.telexh .com，最快更新临高启明最新章节！
然后他说，“如果每个开关是一个命题，开关闭合为‘真’，开关断开为‘假’，灯泡也是一个命题，亮起是‘真’，熄灭是‘假’，那么两个开关所代表的命题和灯泡所代表的命题是什么关系？”
“只有两个子命题同时为真时，复合命题为真，这是‘与’关系。”冯珊回答。
“羽之，这是什么电路？上次给你讲过。”
钱羽之挠了挠脑袋，回答道：“串联电路。”
“好，现在你改造一下这个电路，要求‘任意一个开关闭合，灯泡就亮’。”冯诺接着说。
钱羽之想了一下，把两个开关从电路里拆下来，然后把两个开关的两端用导线连接起来，再连入灯泡和电池的电路。然后他主动说道：“两个开关并联，可以达到这样的效果。”
“这两个开关是‘或’的关系了！”李加奈也抢着说道。
“所以，我们为分类机的每个读卡单元增加一个读孔触辊，将其和原来的触辊串联起来，会怎么样？”冯诺又提问道，他看了一眼冯珊，示意她不要回答。
“只有两个触辊所在的位置都穿孔了，相当于两个串联开关闭合、能够通电，继电器才会工作，把卡片推入卡袋。”钱羽之回答说。
“它的逻辑含义是什么呢？”冯诺又看向李加奈。
“是这张卡片满足两个触辊所代表的两个简单命题的‘与’。”李加奈回答。
“原来如此！那如果在每个读卡单元上多增加几个触辊，然后并联起来，就可以控制继电器推出其中任一个孔穿孔的卡片了，相当于多个孔位所代表的简单命题之间的‘或’！”钱羽之仿佛也发现了新的世界，高兴地说。
“就是这样，明天我们就这样改装一下，每个读卡单元安装10个触辊，彼此之间串联。”冯诺很满意，钱羽之最近似乎开窍了不少。
这样一来，只要待查询问题能够表达成“合取项不超过10个、同时每个合取项内部简单命题不超过10个”的析取范式，分类机就都能够处理了，功能将比现在强大很多。
他看了看表，已经差不多到晚饭时间了。
“最后要说的是，分类机的这一类功能，实际与0-1布尔代数联系十分紧密，‘与’和‘或’，实际也是运算，我们称之为‘逻辑运算’，是计算机最核心的功能之一。”
“我们可以看到，逻辑运算的‘与’和‘或’，与电路的串并联有等价关系；而开关可能闭合、断开，继电器可能通电、断电，灯泡可能亮起、熄灭，这些元件的两种状态都可以用来表示‘真’、‘假’或者‘0’、‘1’。未来，还有别的电子元件能够做得更好。”
“所以，用电子电路来进行逻辑运算是非常方便的。而且，电子电路的速度要远比机械结构快得多，将是计算机的未来发展方向。”
“那么，问题来了，上面这些都是逻辑运算。但是计算机系统并不是只需要做逻辑运算的，还有普通的加减乘除、乘方开方，乃至微积分等等。这些运算，我们称之为‘算术运算’。计算机系统里的制表机，实际就是用来做算术运算的设备，现在我们能够用机械结构来完成累加功能。但如果我想用电子电路来做算术运算，该怎么做呢？开关可以表示真假，可不能表示具体数字啊。”
冯诺的目光扫过下面的三个学生，看到他们期待的眼神，嘴角露出了灿烂的微笑。他转过身去，在黑板顶端写下了一行字。
“世界上有10种人，一种懂二进制，另一种不懂。”
几天后，机械厂会议厅里人声鼎沸。这是工业口开例会的地方，企划院在这里组织了一次穿孔卡计算机系统的研讨会――实际就是吹风会。目的是通过向政务院下属部委和强力部门介绍这套系统的功能，以便各单位回去研究提出具体的应用需求再考虑采购方案。
元老院对数据的采集管理运用的需求十分迫切，所以这个会议通知一出来，包括企划院自身在内，国土、民政、财政、税务、审计、警务、金融、政保等部门和伏波军的不少元老及归化民高层都参加了吹风会。
马千瞩虽然是推动这个项目的主要领导，不过本人并没有出席，只是发来了贺信。元老院的会风十分简练，主持吹风会的邬德仅用一分钟简单介绍了项目的背景和进展，就让冯诺上台来对整个系统进行讲解及答疑。
冯诺这一刻百感交集，眼睛有些发酸。和当初设想的“钓鱼”不一样，自己跨了n多个专业，亲手搞出来的机器，感觉就像是自己的孩子。
穿孔卡计算机系统在旧时空国内没有自产和仿制，中文资料寥寥无几。在国外也仅有ibm等少数几家制造商，而用户往往是大型企业和政府机构，并没有多少信息流传出来。其原理和设计都是零星分布于各类文献中，实际上并不存在可供复制或仿制的完整资料。
为了设计这套系统，项目组几乎检索了大图书馆的所有电子资料，将所有涉及这种原始计算机的资料――哪怕只是只言片语都给找了出来，再从中重新整理组合，仅编成的参考小册子就有等身高。
现在的一套原型机，是他和项目组的诸多元老们多少个晚上殚精竭虑不眠不休地反复研读、讨论、争辩、设计、制造、验证、修改、再验证、再修改……搞出来的，虽然机械结构和很多关键部件的设计都出自攻关小组的其它元老，但冯诺作为主要策划者，心中的激动感是难以形容的。
虽然这个孩子的“智商”还不太高，外形更是傻大黑粗，但是起码它已经能够真正的开始工作了。下一步，他还会进一步的改进它，让它变得更加聪明，运行的速度更快――当然，这也仰赖于工业口的技术进步。
他很清楚，机械式穿孔卡计算机只是一个过渡性产品，但是这个产品却是未来更高级的电子管、晶体管计算机的滥觞，有了这个简陋的系统，元老院的计算机体系就可以培养出第一批专业的计算机技术人员。他们必然会成为未来更高级计算机的开创者和使用者。
想到此处，冯诺心潮澎湃，几乎要落下泪来。
他整理了一下心情，走到了主讲人的位置上，开始逐一介绍穿孔卡计算机系统的各组件功能和性能参数……
会场的后排，李加奈悄悄地走了出去，又到了定期联络的时间。
她感到有点怪异，贾苯明明就在不远的工段上，每次还得跑到特定的联络点联络。“以后要总是这样可够奇怪的。”她暗暗地想，没有注意到“组织”在这么小的范围内安排两个“隐干”，本来就很奇怪。
“这一年来你的工作做得不错，继续努力吧。”这是见面后贾苯的第一句话。
说完，他笑了一下，李加奈还不知道贾苯居然也是会笑的。但马上他的表情就恢复了严肃，补充说，“这不是我的话，这是地区指挥员同志委托我向你转达的”。
“是！谢谢组织的鼓励与信任！”李加奈连忙立正敬了个礼。
贾苯摆了摆手，示意她放松些。“过几天就会换其它同志联系你了”，他看似不经意地说，“既然你到了这里，我大概很快就要调走了，以后你要多留心机械厂，这也不用我多说。”
他没有提自己可能会调往广东，元老院正在佛山筹备一个金属加工企业；也没有提李加奈这段时间在穿孔卡机这方面干得不错，上头可能会考虑调她到技术处兼职——政保局的元老们对于建立详尽快捷的档案系统有着很迫切的需求，而这玩意儿当年给集中营用又是出了名的。
“还有什么问题吗？”
这时，李加奈却一反常态，略显不好意思地掏出一份材料递了过去，“又是什么？”贾苯一边接过来，一边问。
“恋爱申请书？”看到上面的几个字，贾苯愣了一下，接着又笑了起来――这次他笑的时间比之前长得多，仿佛看到了什么特别有趣的东西。他看了李加奈一眼，少女的脸微微有些发烫，但却很认真地注视着他。
按照政治保卫局的规定，李加奈这样的“隐干”是要履行“重要个人事务报告”制度的。恋爱也算一种“重要个人事务”。
贾苯收起了笑容，不过脸上还是残留着一丝微笑，“你是认真的吗？我可不鼓励你把这个交上去――你还年轻，现在又是首长的学生了，前途大有可为。”
李加奈的脸更红了，但她还是没有答话，固执地看着贾苯。
贾苯有些无奈，他把信封往兜里一揣，“好吧，从规定上来说，你有这个权利。不过，你要知道，按照你的身份，就算钱羽之那小子是烈属，政治评级也算很高，要通过这个申请也要很长时间。”
“谢谢您。”李加奈的声音像蚊子一样细，“没关系，我愿意等。”
－－－－－－－－－－－－－－－－－－－－－－－－－
下次更新：第七卷-两广攻略篇62节




临高启明 三百三十六节 财税局局长
www.telexh .com，最快更新临高启明最新章节！
这段磕磕绊绊的机械计算机研发史前前后后走了差不多十个月，其中的艰难对冯诺来说真是一言难尽。不过眼下随同他来到广州的，是已经正式定型的“祖冲之型”，祖冲之此人，即是古代数额学家，对机械学也有相当深的涉猎，而且姓名里又带着一个“祖”字，用来命名这型机械计算机可谓相得益彰。
“祖冲之一号”在原型机的基础上进一步改进，受惠于机械厂的技术升级和材料进步，继电器车间可以生产出比冯诺当初手工制造更好的继电器，一些机械机构也做了优化。所以第一批次的几套机器不但体积比试作机要小了许多，功能和运算速度也有了很大的提高。已经不是原型机那种粗笨的模样了。
第一批次一共制造了六套机器，除了两套交给法务省劳改管理局和政保局档案处试验性使用之外，全部交给了在广州新成立的“华南数据中心”。
这个数据中心除了2台调拨来的台式服务器之外，就全靠这四套机械计算机了。
别看这设备傻大黑粗，运作缓慢，对于广东大区财税专员兼广州市财税局局长艾志新来说却是解了他的燃眉之急。
他管理的是财税，而财税政策的制定又离不开对经济总量、货币流通总量等各个方面详细统计，问题是到现在为止，这些对他来说依然是一个谜。各个部门调查来的数据没有经过汇总分类和统计，和废纸没什么两样。而大明各级衙门累积下来的档案又缺乏足够的专业人员去整理：别说是现在，就是在旧时空，要清理几百年留存下来的海量档案也不是一件容易事。所以除了一些书办老吏知晓的“循例旧规”之外，基本没什么参考价值。
所以冯诺和徐老五一抵达，最高兴最热心的就是他了。从码头接站到送到大世界的内部招待所里帮他们安顿妥当，一路嘘寒问暖，搞得俩人很不好意思。只好表示会“尽心竭力”的搞好华南数据中心的工作。
虽说华南数据中心的土建工作已经进入尾声，但是接下来的内部装修，设备安装和调试，人员培训……没有三四个月根本不可能投入实际使用。不过徐老五已经保证，他和冯诺，还有带来的归化民操作员会在大世界先搭建一套设备，投入实际运作。
“你们先好好休息，明天我带你们去河南岛的数据中心工地。”
艾志新安排好他们，自己出门上了轿子――刘翔的“满地挖”因为鼠疫耽搁了几个月，现在重新开始了，公务马车继续没戏，只能继续使用不太舒服的轿子。
广州城的大东门到大世界不过2公里，坐轿子要40分钟以上才能到，坐小火车只要几分钟，
因为巫蛊案的关系，刘翔和午木联合发出备忘录，要求在广州的元老除非有足够的警卫，否则不要在城内街道上步行或者乘坐公共交通工具。艾志新原本想做大世界到大东门的小火车，因为这个通知他只能继续坐轿子了。不过坐轿子也有好处，多少屏蔽掉了广州街面上的种种恶臭怪味和蚊蝇，轿子虽然不防弹，但是隐身其中，安全线也多少能有保证。
一行人沿着大东门外的小火车铁轨快步前行，来到了大东门。负责大东门警卫的国民军班长是个日本雇佣兵出身的下士，名叫日向鸣人，凑过去询问：“请提供交通文书或者身份证明进行登记。”
随从的警卫拿出了提供了相关文书，日向鸣人看了文书，又问道：“轿子里是什么人？”
“是市财税局的局长。”警卫说道。
“请他露下脸。”日向鸣人说道，“这是规定。”
既然是规定也毋庸多言，警卫当下就要撩起帘子，帘子里忽然有人说道：
“日向鸣人ですか？仕事を忠実な！”（日向鸣人吗？很忠于自己的工作吗！）
日向鸣人听到这么一句日语，立刻知道这是位元老。元老说的日语和日本人很不一样。有一种奇特的江户腔，遣词造句也不太一样。
他立刻一个立正，回了一句：“元老院の恩義のために。”（为了报答元老院的恩义。）随后交回证件，敬礼放行，两边的国民军士兵一起行举枪礼。
艾志新从纱罗的轿窗里看着这些士兵，心中五味杂陈。
即有大丈夫功成名就的得意满足，又充满了对未来的忧虑。
权力越大，责任越大。广州的财税的这副重担可真不好挑啊。想到这些士兵其实都是要靠税收来供养，艾志新就愈发感到压力沉重。
回到设在盐课司的财税局办公室，他脱下外套交给艾懿心。这件外套是无标志的伏波军北方冬服短风衣，是从联勤被装仓库里买来的，保暖防潮――在小冰河期的广州很用的着。
里面穿的是他的工作服：那是从洪璜楠的82号特供店订做了几套不带军衔和标志的伏波军军官制服。
艾志新刚进广州时二乎乎的穿了身他在临高的财务省工作时候经常穿的西装，一副“雅皮士”风味，结果发现税务局的人员对他的风度并不买账，部分留用的老吏还觉得他奇装异服，背地里说他穿的是香山澳的夷人服装，澳洲人要以夷变夏。艾志新觉得这帮土著不知道什么叫做金领范，什么叫西装革履，都是群土包子。