检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于Isabelle的证明信息系统设计

计算机与信息技术 2006年第12期 21-23页

作者：何成铃木秀男小林英恒日本大学理工学研究科职业能力开发综合大学校东京校

Isabelle定理证明器中的证明步骤和证明状态是非常具有参考价值的证明信息。然而目前没有工具可以有效管理这些信息。本文给出一个基于Isabelle的信息系统设计方案。利用该系统的实现,用户可以提取、保存和搜索这两种证明信息。

关键词：定理证明证明信息 Isabelle 关系数据库

轴向拉力及静水压力作用下多孔石墨烯增强截锥壳的屈曲特性研究

在线全文

学校读者我要写书评

暂无评论

武汉科技大学学报 2024年第3期47卷 166-173页

作者：黄小林王佳恒韦能国肖薇薇桂林电子科技大学建筑与交通工程学院广西桂林541004

为研究轴向拉力与静水压力作用下多孔石墨烯增强截锥壳的屈曲特性,基于泡沫金属材料参数的关系和修正的Halpin-Tsai模型,计算了不同孔隙和石墨烯分布的石墨烯增强复合材料的物性参数。利用经典薄壳理论建立了截锥壳屈曲控制方程,并用Gal... 详细信息

为研究轴向拉力与静水压力作用下多孔石墨烯增强截锥壳的屈曲特性,基于泡沫金属材料参数的关系和修正的Halpin-Tsai模型,计算了不同孔隙和石墨烯分布的石墨烯增强复合材料的物性参数。利用经典薄壳理论建立了截锥壳屈曲控制方程,并用Galerkin积分法求得了屈曲临界荷载的解析解,根据数值结果讨论了孔隙、石墨烯和截锥壳几何尺寸等因素对材料临界屈曲荷载的影响。结果表明,石墨烯作为增强材料可显著提升壳体的抗屈曲性能,且其抗屈曲能力随着石墨烯含量增加而提高;当壳体表层孔隙少且石墨烯含量高时,截锥壳的抗屈曲能力更好;另外,截锥壳尺寸也会对其抗屈曲性能造成影响。

关键词：石墨烯孔隙屈曲 FG-GRC 截锥壳解析法

在线全文

学校读者我要写书评

暂无评论

煤气化渣对污泥深度脱水性能的影响

造纸科学与技术 2024年第1期43卷 10-15页

作者：曹凯朱小林邓超恒华南理工大学制浆造纸工程国家重点实验室广东广州510640

市政污泥深度脱水是一个亟待解决的问题。研究了利用固体废弃物煤气化渣作为骨架构建剂,与市政泥混合进行机械脱水实现以废治废。实验结果表明,添加不同比例的粗渣、筛分渣和改性渣,能有效提高污泥的脱水率,脱水率提高到58.62%~82.01%... 详细信息

市政污泥深度脱水是一个亟待解决的问题。研究了利用固体废弃物煤气化渣作为骨架构建剂,与市政泥混合进行机械脱水实现以废治废。实验结果表明,添加不同比例的粗渣、筛分渣和改性渣,能有效提高污泥的脱水率,脱水率提高到58.62%~82.01%。脱水效果与煤气化渣的粒径、比表面积、空隙结构和添加量有关。大颗粒会降低脱水效果,而丰富的空隙结构会增加脱水效果。随着添加量的增加,脱水效果经历了平缓、快速增加和饱和三个阶段。最佳添加量分别为污泥绝干量的三倍(筛分渣)和一倍(改性渣)。煤气化渣在污泥中构建了间隙通道和层间通道,提供了刚性支撑,使内部水在压力作用下经脱水通道排出。

关键词：骨架构建剂煤气化渣深度脱水脱水通道

预滑震相还是气象影响？—与“汶川M7.9地震前华北和东北亚地块区的预滑活动”作者探讨

在线全文

学校读者我要写书评

暂无评论

地球物理学进展 2024年

作者：杨小林井冈山大学

2008年4月18～22日期间，陕西省泾阳井水位观测到了约0.156 m的缓降变化，其持续时间约为4.5 d。论文“汶川MW7.9地震前华北和东北亚地块区的预滑活动”，认为该信号为汶川MW7.9地震前构造块体的预滑震相Xp2。为客观验证该推测的合理性... 详细信息

2008年4月18～22日期间，陕西省泾阳井水位观测到了约0.156 m的缓降变化，其持续时间约为4.5 d。论文“汶川MW7.9地震前华北和东北亚地块区的预滑活动”，认为该信号为汶川MW7.9地震前构造块体的预滑震相Xp2。为客观验证该推测的合理性，本研究结合气压观测数据，系统分析并揭示了泾阳井水位“Xp2震相”的真正动力源。结果表明，气压上升才是主因。该工作可以为一些Xp2震相成因的再考证提供参考。

关键词：汶川M 7.9地震预滑震相Xp2 构造块体泾阳井气压井水位

非农就业对中国农村居民收入水平和收入分配的影响研究

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

宏观经济研究 2024年第4期 104-117页

作者：熊小林杜鑫中国社会科学院农村发展研究所

本文利用2020年中国乡村振兴综合调查(CRRS)数据，采用基于内生转换回归模型的收入模拟法考察非农就业对农村居民收入水平和收入分配的影响。研究结果表明，非农就业使参与非农就业农户的家庭人均纯收入从13588元提高到18275元，全体农... 详细信息

本文利用2020年中国乡村振兴综合调查(CRRS)数据，采用基于内生转换回归模型的收入模拟法考察非农就业对农村居民收入水平和收入分配的影响。研究结果表明，非农就业使参与非农就业农户的家庭人均纯收入从13588元提高到18275元，全体农户的家庭人均纯收入从14164元增加到17890元；与此同时，非农就业还对改善农村居民收入分配发挥了积极作用，使得农村居民人均纯收入基尼系数从0.4610降低到0.4508。这一结论也得到了国家统计局住户抽样调查相关结果的印证。根据上述结论，中国应当加快新型城镇化进程，继续推进农村劳动力转移，积极发挥其提高农村居民收入水平和缩小农村居民收入差距的双重福利改善效应，为在全面建成小康社会的基础上实现共同富裕作出贡献。

关键词：非农就业收入收入分配

“杂写”战地经验——丁玲的前线经历与写作形态

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

妇女研究论丛 2024年第3期 103-114页

作者：唐小林上海大学中文系上海200444

全面抗战爆发前后,丁玲多次随红军上前线,在复杂的战地环境中工作与写作,成为“打杂的人”和“组织家”。她在“一个一个的去认识人”的过程中,聚焦于思想和感情的细微波动处,以大量的“零碎”完成了战地“生活实录”,最终生成了一种可... 详细信息

全面抗战爆发前后,丁玲多次随红军上前线,在复杂的战地环境中工作与写作,成为“打杂的人”和“组织家”。她在“一个一个的去认识人”的过程中,聚焦于思想和感情的细微波动处,以大量的“零碎”完成了战地“生活实录”,最终生成了一种可以有效捕捉战地生活经验的“杂写”形态。区别于一般的战地写作,丁玲的这些“杂写”没有进行类别摘录,其中既有大量的人物特写和工作记述,也包含序言、后记、公演说明和杂文等,完整地还原了工作、写作与生活之间的交织过程。丁玲一方面以“零碎”的写法打破了“印象记”式的表达模式,从而得以灵活呈现被战争搅动的革命历史实践经验;另一方面以“杂写”的方式挣脱了“作风”等观念机制的束缚,让写作重新接通了生活与工作。丁玲的战地经历和“杂写”实践由此可以视为一种特殊的生命历练,不仅重组了她的文学结构,也拓展了她对革命和生活的感知程度和范围。

关键词：丁玲战地经验 “认识人” “杂写” 写作形态

非牛顿流固耦合问题的半隐式分区ALE有限元-间断有限元耦合算法研究

在线全文

学校读者我要写书评

暂无评论

浙江大学学报（理学版） 2024年第4期51卷 450-458页

作者：高普阳胡小林长安大学理学院陕西西安710064

针对非牛顿流固耦合问题,提出了任意拉格朗日-欧拉(arbitrary Lagrangian-Eulerian,ALE)框架下的半隐式分区有限元-间断有限元耦合算法。其数学模型主要包括非牛顿流体和固体结构的控制方程,以及流体-固体交界面上的边界条件。固体结构... 详细信息

针对非牛顿流固耦合问题,提出了任意拉格朗日-欧拉(arbitrary Lagrangian-Eulerian,ALE)框架下的半隐式分区有限元-间断有限元耦合算法。其数学模型主要包括非牛顿流体和固体结构的控制方程,以及流体-固体交界面上的边界条件。固体结构由弹性材料组成,非牛顿流体由幂律型本构模型描述。用分裂格式对非牛顿流体控制方程进行解耦,得到若干子方程;通过有限元、间断有限元方法求解对应恰当类型的子方程。用中心差分及标准有限元方法分别对固体结构弹性动力学方程进行时间和空间离散;用修正的Laplace移动网格方法处理固体结构的形变及流体区域网格的变化过程。最后用数值算法研究了带有圆弧顶端梯形结构体的非牛顿流固耦合问题,并详细分析了结构体高度、入口速度及流体特性等因素对流固耦合问题的影响及机理。

关键词：流固耦合非牛顿流体幂律模型半隐式有限元

维普期刊数据库博看期刊

在线全文

学校读者我要写书评

暂无评论

中国审计学会专题研讨会综述

审计研究 2024年第1期 152-160页

作者：曾小林郭旭王慧中国审计学会秘书处 100086

2023年12月,中国审计学会召开了“地方政府融资平台治理与审计”“政府投资基金管理及其审计”和“地方政府债务合并监管与审计”合作研究课题成果汇报交流暨专题研讨会。与会人员就当前地方政府融资平台治理、政府投资基金管理和地方... 详细信息

2023年12月,中国审计学会召开了“地方政府融资平台治理与审计”“政府投资基金管理及其审计”和“地方政府债务合并监管与审计”合作研究课题成果汇报交流暨专题研讨会。与会人员就当前地方政府融资平台治理、政府投资基金管理和地方政府债务合并监管中存在的问题,以及审计如何发挥监督作用等进行了深入探讨,形成了许多共识。现将主要观点综述如下,供参考。

关键词：中国审计学会地方政府债务地方政府融资平台课题成果政府投资基金汇报交流合并监管研讨会综述

在线全文

学校读者我要写书评

暂无评论

欠发达地区布局建设未来产业的实践探索

学术前沿 2024年第12期 49-55页

作者：王小林复旦大学六次产业研究院

前瞻布局建设未来产业,因地制宜发展新质生产力,是中国式现代化的必然选择。“十四五”规划正式提出布局未来产业以来,受前瞻性、颠覆性技术制约,欠发达地区对其鲜有布局。贵州“村超”以文化创意和数字商业模式为驱动,融合体育、文化... 详细信息

前瞻布局建设未来产业,因地制宜发展新质生产力,是中国式现代化的必然选择。“十四五”规划正式提出布局未来产业以来,受前瞻性、颠覆性技术制约,欠发达地区对其鲜有布局。贵州“村超”以文化创意和数字商业模式为驱动,融合体育、文化、美食、表演等众多业态,探索了乡村振兴未来产业实践路径。欠发达地区发展未来产业,关键在于挖掘文化和生态旅游资源,推动欠发达地区数字化、绿色化和创意化“三化转型”,培育创意、电子商务和公共服务“三个生态系统”,激发创意活力,以价值共创助推优秀传统文化和生态旅游资源创造性转化,以东西部协作和对口支援进行人才和技术赋能,为欠发达地区注入未来产业新动能。

关键词：未来产业价值共创创意生态系统文化创意东西部协作