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

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

A Logical Framework for Knowledge Base Maintenance

1IntroductionAmongalltheoreticalworksonknowledgebasemaintenance,Doyle's"TruthMaintenanceSystem"[1]andAlchourr6n,GdrdenforsandMakinson's"LogicofThe-oryChange"[2]playthemostimportantrole.'Inthe"TruthMaintenanceSystem",everylawcontainedinaknowledgebase,orabaseforshort,isspecifiedby"in"and"out"status,whichindicatethededuciblerelationsbetweenthelawsofthebase.Whenalawofthebaseisrejectedbytheusers3arevisedversionofthebasecanbeobtainedbymechanicallychangingthe"in"and"out"statusofthelaws.Thismech…     

一个在Horn子句中求解极大缩减的算法

在信念修正理论中,一个核心问题是求解一个公式集合关于事实集合的所有极大协调子集,即极大缩减.本文尝试从算法的角度来解决这一问题,研究在Horn子句中求解所有极大缩减的算法.首先,本文指出并证明了公式集合和事实集合并集的极小不协调子集与公式集合关于事实集合的极大缩减之间的转化关系.其次,给出并证明了Horn子句集合极小不协调的一个必要条件.然后,基于上述两个结论,本文提出了一个在Horn子句中枚举公式集合和事实集合并集的极小不协调子集的交互式算法和一个通过这些极小不协调子集计算所有极大缩减的算法.最后,综合这两个算法,提出了一个在Horn子句中求解所有极大缩减的交互式算法.     

关于提高计算机本科教育质量的几点思考

<正>1过去10年我国高等教育的发展1.1改革开放30年来,特别是过去10年,我国高等教育事业取得了巨大的发展在全面普及九年制义务教育的同时,我国大力发展职业教育和高等教育,有一半以上的适龄青年接受     

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

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

“体制 机制 编制 管制”——荆州市城乡规划“四制”的问题与思考

所谓"规划",《汉语词典》的定义是:比较全面的长远的发展计划。在我看来,"规划"即"编制"加"管制",而且此二者必须要有行政体制和管理机制作为支撑和保障。因此,体制、机制、编制和管制这"四制"的组合囊括了规划工作的主要内容,而这"四制"之间既相辅相成,又互为因果,决定了"四制"的架构与运行,直接关系到规划的服务功能和社会功效。     

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

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

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

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

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

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

基于多模干涉光子晶体波导1×4超紧凑分束器

本文基于自成像效应的波导多模耦合,提出并且数值计算了一种1×4超紧凑分束器。将七光子晶体单模波导的相互耦合看成一个多模干涉系统,当入射波长λ=1．55μm时,这种分束器耦合区的长度只有3．92μm。通过调节耦合区介质柱半径R,来改变耦合区电磁场的相位分布,从而控制四个输出端口的能量分布。这种分束器在光子晶体集成电路中具...