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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

溶剂和温度诱导1,3,5-均苯三酸在高定向热解石墨表面上的自组装行为

利用扫描隧道显微镜研究了1,3,5-均苯三酸(TMA)在3种不同碳链长度的壬酸、庚酸和辛酸形成的液/固界面上超分子自组装结构。研究结果表明,TMA在壬酸和庚酸溶液中会分别形成蜂窝状和花状氢键网络结构,而在辛酸中则会形成花状和三聚体两种共存结构。最后将TMA饱和壬酸和庚酸溶液分别加热到60℃时,会发现TMA分子相嵌在蜂窝状和花状网格孔中。因此,溶剂和温度等外界因素对分子间的COOH……COOH氢键作用对形成不同的超分子纳米结构具有重要作用。