案例驱动模式下“计算机软件技术基础”课程教学研究

"计算机软件技术基础"是电类专业的一门重要的计算机课程.针对非计算机专业学生和课程特点,通过采用案例讲解驱动教学方法向学生讲授课程知识点,在很好地完成课程内容教学,同时又提高了学生的学习兴趣.通过加强实验教学和课后师生交流互动,使得学生编程能力得以提高,取得较好的教和学效果.     

基于UML和SPIN的软件安全模型验证

介绍了使用模型验证工具SPIN检测软件设计阶段存在的安全漏洞的方法.用LTL描述安全属性,将软件设计转换为PROMELA.通过一个关注时序安全属性的实际案例,证明了该方法的可行性.     

考虑城市群间竞争与合作关系的环境效率评价研究：基于交叉效率评价模型（英文）

为应对经济活动规模盲目扩张带来的环境的负外部性,环境效率被视为描述区域资源利用能力的关键指标,生产活动集中的城市地区是环境效率评价的重要研究对象。然而,传统的环境效率评价理论和方法假设所有决策单元之间都是相互独立的,无法处理城市群背景下城市间复杂关系,因而往往难以应用于城市群的环境效率评价问题。本文充分考虑同一城市群内城市之间的合作关系以及不同城市群之间的竞争关系,构建了一组基于交叉效率的数据包络分析（DEA）模型,并将其应用于中国三个主要城市群的环境效率评价。实证研究中,本文使用4个投入、2个期望产出和2个非期望产出,分析了2014-2019年间京津冀、长三角和粤港澳大湾区三个城市群内48个中国大陆城市的环境效率。效率评价结果显示,在2014-2019年间整体环境效率呈上升趋势,而不同城市和城市群之间的环境效率差异显著,京津冀是历年来表现最好的城市群,其城市的环境效率得分优势明显。最后,本文从三个不同的角度选取了11个影响因素,分析了城市内外部因素对环境效率得分的影响,相关发现可以为管理者改善城市环境效率提供进一步的启示。     

构造非线性方程的Weierstrass椭圆函数解的方法与应用

提出了一种由Weierstrass椭圆函数及其导数来构造非线性演化方程的解的方法,通过这种方法我们得到了boussinesq和Burgers方程的Weierstrass椭圆函数解.显然这种方法适用于一类非线性演化方程的求解.     

浅谈食品检测实验室尚需关注的问题

食品安全是目前比较突出的问题,国家在加强食品安全方面加大了投入和打击力度。建立食品检测实验室是应对食品安全的重要举措,是加强食品安全的基础性保障工作,对于我国提高食品安全水平具有重要推动意义。当前,我国的食品检测实验室尚有不完善的地方,我国的食品安全检测现状还存在较为突出的问题,在进行食品采样的制备等关键性检测上,还需要深入分析。该文针对现实存在的问题进行深入探讨,以期把食品安全检测工作提高到新的水平。     

无限小变换下对谐和坐标条件的思考

引力场方程是10个方程式,但是由于Bianchi恒等式的存在,独立的方程只有6个.6个独立的方程无法解出10个表引力势的度规张量,由于de Donder和C.Lanczos首先引入了谐和坐标条件限制了坐标选取的任意性,那么谐和坐标条件与6个独立的方程形成了完备的方程组,使解场方程成为可能.论证了在弱引力场条件下,满足方程组:kψki=0ψki=hii-12δki{h的这一谐和坐标系统受到任意无限小变换:x*i=xi+ξi时得方程:□ξi=0,并对其意义简要阐述.     

关于提升海洋化学硕士研究生的药物研发能力的探索

向海洋要食物,要药物已经成为21世纪人类社会经济赖以持续发展的重要条件及发达国家在高技术领域竞争的又一热点。海洋化学硕士研究生培养设有三个方向,即应用海洋化学,海洋天然药物化学和海洋活性物质结构修饰与改造。培养能从事和胜任海洋药物研发的硕士研究生,使海洋化学硕士研究毕业生具海洋药物研发能力成为目前海洋化学硕士研究生培养的重点内容。本文将从培养方案、科研实践及校企合作几个方面探讨如何提高硕士研究生海洋药物研发能力。     

山东省浅层地下卤水资源浅析

山东省的浅层卤水资源主要分布在环渤海和胶州湾沿岸,呈条带状沿海岸带分布于以下三个地区:黄河三角洲平原区、莱州湾南岸平原区和胶州湾港湾区。随着经济的发展,卤水资源的开采量呈逐步上升的趋势,并因此产生了一些不良地质现象。通过对矿区浅层卤水资源的调查评价,对区内浅层卤水资源开采作了相应分区,以达到资源的可持续利用,并对浅层卤水资源保护提出了措施建议。     

梁思成的困惑

1948年底，解放军包围了北平城。城内不时地可以听到轰隆隆的炮声。此时，一代建筑大师梁思成、林徽因夫妇正居住在清华园新林院8号宅院。这是一栋西式小洋楼，坐北朝南，红砖灰瓦，两扇厚厚的铁门将喧嚣的尘世阻挡在了外面。