全面提高计算机类高等教育质量的战略机遇

海量在线开放课程(MOOCs)和开源社区及群体软件的普及,为我国全面提高高等教育质量提供了战略机遇。文章提出一个快速、全面提高计算机高等教育质量的思路:由教指委以MOOCs形式制作9门核心基础课的课件,推荐为全国计算机类硕士考试必读课程,通过全国硕士统考或大学联盟统考调控本科教育质量,并以社区和社群活动方式提高本科生科学实践能力,进而提高创新能力。     

命题中介逻辑的可靠和完备Gentzen推导系统

中介逻辑是朱梧槚先生提出的一个3-值逻辑.给出了一个命题中介逻辑,其中引入中介连接词~、反对连接词◁以及蕴涵连接词→,并且定义否定连接词.给出了一个Gentzen-型的推导系统,使得该系统关于中介逻辑的3-值语义是可靠的和完备的.     

R演算——科学发现的逻辑

R演算是一个关于逻辑连接词符号和量词符号的形式推理系统,它可以把现有理论中与实验和观测结果矛盾的原理或定律推演出来并予以删除,之后再与实验支持的事实合并,获得新的自然科学理论。文章对R演算进行简单介绍,并使用R演算,对爱因斯坦创立狭义相对论和达尔文创立进化论的科学发现活动进行逻辑验证,最后讨论R演算的基本性质及其基本思想在软件测试和程序调试等方面的应用。     

基于能量有限元方法的声腔内部噪声预测

为了预测声腔内部噪声,基于能量有限元方法(EFEA)建立了声腔-平板-声腔的EFEA耦合模型,对声腔内部噪声进行了数值计算。建立了声腔-平板-声腔的统计能量分析(SEA)模型,并将EFEA模型的预测结果与SEA模型的预测结果进行了对比。结果表明,二者具有较好的一致性。建立了声腔-前风挡玻璃-声腔的EFEA耦合模型和SEA耦合模型,分别对EFEA和SEA模型的外侧声腔响应进行了仿真分析,并与试验结果进行了对比。结果表明,EFEA预测结果与SEA预测结果以及试验结果均吻合良好,充分显示了本文所建立的声腔-前风挡玻璃-声腔EFEA模型对声腔内部噪声预测的准确性。     

信念修正的各种方法之比较

自从1956年提出了“人工智能”以来,人们已在这一领域做了大量的工作,很多专家系统已经非常成功地得到了应用。当前哲学和人工智能领域的热点之一就是信念修正(belief revision),下面我们用文中的例子来说明信念修正的意义。假设有如下的四个命题     

聚乙烯聚吡咯烷酮吸附多酚物质性质研究及其在无甲醛酿造啤酒工艺中的应用

本文主要研究PVPP(聚乙烯聚吡咯烷酮)吸附多酚的性质,及其在无甲醛酿造工艺中的应用。结果表明,麦汁或啤酒中的敏感蛋白、酒精度、pH以及PVPP的添加量和添加方式等因素对PVPP吸附多酚都有一定影响。当pH在4.0左右,酒精度在3%(V/V)左右时PVPP的吸附效率最高。PVPP在添加量较低的情况下有一定的吸附专一性,主要吸附高分子的聚合多酚,但在添加量较高的情况下,不具备此性质,对单体酚的吸附迅速增加,会降低麦汁或啤酒的抗氧化能力。PVPP结合硅胶使用可以有效替代甲醛在啤酒酿造中的应用,在保证啤酒非生物稳定的条件下,改善啤酒风味稳定性和抗氧化能力。     

五平行光子晶体多模波导的耦合特性及应用

本文通过模拟计算研究了二维三角形光子晶体波导自成像多模干涉的耦合特性。提出一种二维光子2端口晶体分束器,基于自成像多模干涉效应,用有限时域差分法数值计算和分析了这种分束器的特性。研究发现这种分束器的反射率低于10-4,透射率可高达0.9999。我们分析发现造成这种现象的物理原因是多模干涉区的自成像效应,这种多模干涉在光子晶体光学集成电路中具有重大的潜在应用价值。     

知识库维护过程中检查其协调性的有效方法

本文首先描述了知识库维护过程中的协调性问题，然后给出了扩充逻辑程序设计的框架，在此框架下，每个逻辑程序等价于一个知识库．为了检查知识库的协调性，本文为知识库中的推理规则构造了正支持集和负支持集，并给出了一些定义；基于这些概念和定义，提出了知识库维护过程中检查知识库协调性的一种有效方法，并证明了相关的定理；基于此方法，实现了一个算法ＣＨＩＭＥ，并给出了用ＣＨＩＭＥ分析一些知识库的实验结果．本文还提到一些相关的工作，最后给出结论.     

现浇钢筋混凝土高层住宅楼防渗漏施工

渗漏是住宅楼工程施工质量问题中的顽疾,为减少住宅楼的渗水隐患,通过一大型高档商品住宅工程的施工实践,总结了从地下室到屋面、从结构施工到装饰施工全过程采取的防渗漏施工技术和措施,并介绍了建筑渗漏薄弱部位施工质量的有效控制。     

含缺陷光子晶体波分复用器研究

利用光子晶体的光子禁带和体积小的优点,在光子晶体中适当设计线缺陷和点缺陷,使这些缺陷会形成波导和微腔.根据耦合模理论,波导与波导及波导与微腔之间会发生耦合现象,通过调节耦合长度和微腔中心半径的大小,可以选择不同波长的光波在各信道中通过.依此原理,可以制作相应的光子晶体波分复用器.