数学教学中如何捕捉和利用“动态生成”

教学是基于弹性预设的动态生成过程,我们应在预设基础上追求课堂教学的动态生成性,实现师生关系在课堂教学中的互动与升华,这是课堂教学理念对传统的超越,也是课堂教学理念新的追求,也唯有此,才能使课堂焕发出旺盛的生命活力,使课堂教学变得更加精彩.     

上海苏州河人工浮岛的设计

人工浮岛是一种生长有水生植物或陆生植物的漂浮结构。由于其独特的特点,能够被应用于多种类型的滨水区,对湖泊的生态环境有重要的净化功能。本文以苏州河水域为对象,设计人工浮岛,并对人工浮岛的生态效应进行分析,为苏州河水质净化提供一种新的参考方法。     

非绝对型Cesaro序列空间的对偶空间

本文证明非绝对型Cesaro序列空间X_p与l_p(1≤p≤∞)等距同构,求出X.(1≤p≤∞)的continuous dual,α-dual,γ-dual,并讨论它的四种时偶空间的包含关系.     

不可压流动的二阶迭代投影法

投影方法的计算,需要引入一个中间速度场及相应的人工边界条件,因而带来了分裂数值误差和数值边界层.为了解决这些不足,提出了一种迭代投影方法.在每个时间步,采用投影方法作为该方法的子迭代过程,当迭代收敛时便构成了完全耦合的数值方法.既然中间速度场是对真实速度场的逐步逼近,因此,就无需人工边界条件,或者说人工边界条件即为物理边界条件.数值试验表明: 迭代投影方法可以显著地减小数值边界层; 经过1～4次迭代后,速度和压力在时间方向上都可以达到二阶精度.     

论可能世界集合的封闭性与否定联结词的关系

本文对经典否定联结词真值函项的研究表明：该函项是否成立依赖于可能世界集合是否完备。但是，进一步研究的结论是：单纯通过概括原则确定的可能世界集合具有虚拟的完备性，定义在其上的命题并不具有明确的意义；同时，可能世界集合的穷举问题在逻辑学范围内不可解。为了描述可能世界集合的逻辑性质，本文在上述研究的基础上，提出了封闭世界和开放世界预设。最后，作为主要结果，本文证明：（1）有前一预设下，经典逻辑的否定词真值函数成立。（2）在后一预设下，否定联结词的真值函项具有非经典的特性，即：当语句p为真时，否定p为假；而p为假时，否定p既不真也不假。上述结果为构造一种非规范的3－值逻辑系统（鞠实儿，1997）提供了哲学基础。     

基于时域有限差分法的随钻声波测井仪隔声体隔声效果的数值模拟

随钻测井环境下,钻铤纵模式波会严重干扰地层纵波的测量,因此需要使用隔声体来减弱钻铤波对地层纵波测量的干扰.采用圆柱坐标系下的交错网格技术,自行开发了一种可用于设计随钻声波测井仪器隔声体的三维时域有限差分程序.利用该程序数值模拟采用不同结构的隔声体时,硬地层井眼中的随钻单极子声波测井响应,并对这几种不同结构的隔声体性能进行评价.结果表明:采用不同结构的隔声体,对钻铤纵模式波的时延量和隔声量存在很大差异;与其他结构隔声体相比,周期性交错排列的凹槽结构的隔声体在测量地层纵波速度时具有较好的效果.     

院级实验室管理体制改革的思考与实践

通过对高校传统的实验室管理体制弊端的分析,提出了实验室管理体制改革的思路,并通过实践对这一思路进行论证．阐明了实验室管理体制的改革有利于提高实验教学质量和培养工程创新人才．     

等离子体教学实验装置的研制

介绍一种等离子教学实验装置的构造、原理及其诊断方法,其主体为T型真空室,由两个圆柱形主辅真空室构成,它可获得直流辉光等离子体;射频电容耦合放电、无电极放电等多种等离子体,利用静电探针可以对直流等离子体的基本参数如电子温度、电子密度进行测量诊断,可对不同等离子体的相互作用进行演示、研究．     

基于风格转换注意的循环一致风格转换

为了解决现有艺术风格转换方法难以同时高质量保持图像内容和转换风格模式的问题,引入一种新颖的风格转换注意网络（style-transition attention network,STANet）,其包含2个关键部分：一是非对称注意力模块,用于确定参考图像的风格特征;二是循环结构,用于保存图像内容。首先,采用双流架构,分别对风格和内容图像进行编码;其次,将注意力模块无缝集成到编码器中,生成风格注意表征;最后,将模块放入不同的卷积阶段,使编码器变成交错式的,促进从风格流到内容流的分层信息传播。此外,提出了循环一致损失,强制网络以整体方式保留内容结构和风格模式。结果表明：编码器优于传统的双流架构,STANet能用于交换具有任意风格的2幅图像的风格模式,合成更高质量的风格化图像,同时更好地保留了各自的内容。提出的带有风格转换注意的风格转换循环网络,模型风格化图像的内容细节更多,在泛化到任意风格方面获得了良好的效果。