检索结果-南通市图书馆

领略昆曲之美,树立文化自信——以汤显祖《牡丹亭》在中学历史教学中的运用为例

在线全文

学校读者我要写书评

暂无评论

中学历史教学 2020年第5期 27-30页

作者：张协力南宁市第二中学

高考历史作为考查学生人文素养和价值观的学科,强调立德树人,增强考生对中华优秀传统文化的认同。[1]戏曲作为中国传统文化、艺术的集大成者,正是中华优秀传统文化的精髓所在。2018年新课标全国Ⅱ卷第27题就呈现了传统戏曲昆曲的精美与... 详细信息

高考历史作为考查学生人文素养和价值观的学科,强调立德树人,增强考生对中华优秀传统文化的认同。[1]戏曲作为中国传统文化、艺术的集大成者,正是中华优秀传统文化的精髓所在。2018年新课标全国Ⅱ卷第27题就呈现了传统戏曲昆曲的精美与精致。然而,明清时期盛极一时的戏曲文化如今已时过境迁,逐渐退出了大多数中国人的精神文化生活。

关键词：《牡丹亭》剧作家杜丽娘汤显祖昆山腔中学历史教学文化自信

C2P:基于Pi演算的协议C代码形式化抽象方法和工具

在线全文

学校读者我要写书评

暂无评论

软件学报 2021年第6期32卷 1581-1596页

作者：张协力祝跃飞顾纯祥陈熹数学工程与先进计算国家重点实验室河南郑州450001 网络密码技术河南省重点实验室河南郑州450002

形式化方法为安全协议分析提供了理论工具,但经过形式化验证过的协议标准在转换为具体程序实现时,可能无法满足相应的安全属性.为此,提出了一种检测安全协议代码语义逻辑错误的形式化验证方法.通过将协议C源码自动化抽象为Pi演算模型,基... 详细信息

形式化方法为安全协议分析提供了理论工具,但经过形式化验证过的协议标准在转换为具体程序实现时,可能无法满足相应的安全属性.为此,提出了一种检测安全协议代码语义逻辑错误的形式化验证方法.通过将协议C源码自动化抽象为Pi演算模型,基于Pi演算模型对协议安全属性形式化验证.最后给出了方案转换的正确性证明,并通过对Kerberos协议实例代码验证表明方法的有效性.根据该方案实现了自动化模型抽象工具C2P与成熟的协议验证工具ProVerif结合,能够为协议开发者或测试人员检测代码中的语义逻辑错误提供帮助.

关键词：协议实现形式化验证 Pi演算模型抽取 ProVerif

模型学习与符号执行结合的安全协议代码分析技术

在线全文

学校读者我要写书评

暂无评论

网络与信息安全学报 2021年第5期7卷 93-104页

作者：张协力祝跃飞顾纯祥陈熹数学工程与先进计算国家重点实验室河南郑州450001 网络密码技术河南省重点实验室河南郑州450002

符号执行技术从理论上可以全面分析程序执行空间,但对安全协议这样的大型程序,路径空间爆炸和约束求解困难的局限性导致其在实践上不可行。结合安全协议程序自身特点,提出用模型学习得到的协议状态机信息指导安全协议代码符号执行思路;... 详细信息

符号执行技术从理论上可以全面分析程序执行空间,但对安全协议这样的大型程序,路径空间爆炸和约束求解困难的局限性导致其在实践上不可行。结合安全协议程序自身特点,提出用模型学习得到的协议状态机信息指导安全协议代码符号执行思路;同时,通过将协议代码中的密码学逻辑与协议交互逻辑相分离,避免了因密码逻辑的复杂性导致路径约束无法求解的问题。在SSH协议开源项目Dropbear上的成功实践表明了所提方法的可行性;通过与Dropbear自带的模糊测试套件对比,验证了所提方法在代码覆盖率与错误点发现上均具有一定优势。

关键词：模型学习符号执行安全协议代码状态驱动

基于选择明文攻击的WPA2-Enterprise协议安全性分析

在线全文

学校读者我要写书评

暂无评论

信息工程大学学报 2017年第4期18卷 448-453页

作者：张协力顾纯祥陈熹信息工程大学河南郑州450001 数学工程与先进计算国家重点实验室江苏无锡214125

描述一种针对PEAP认证突破的新思路,在满足一定网络配置条件下,将已有LEAP协议破解思路结合选择明文攻击方法应用到PEAP协议的认证突破中。实验表明,在采用PEAP认证的无线网络满足一些设置条件时,攻击者可以在几分钟内获取合法用户认证... 详细信息

描述一种针对PEAP认证突破的新思路,在满足一定网络配置条件下,将已有LEAP协议破解思路结合选择明文攻击方法应用到PEAP协议的认证突破中。实验表明,在采用PEAP认证的无线网络满足一些设置条件时,攻击者可以在几分钟内获取合法用户认证凭证实现网络非授权访问目的。最后给出一些策略来预防这种攻击,以供网络配置人员和用户参考。

关键词： PEAP协议 LEAP协议 AP欺骗中间人攻击选择明文攻击

在线全文

学校读者我要写书评

暂无评论

以“平等”观念探寻思想与政治的互动

中学历史教学 2021年第3期 11-13页

作者：张协力广西南宁二中

16—18世纪,英国革命、美国革命、法国大革命相继发生,共同造就了世界历史上的"革命"年代。在如此众多的"革命"事件中,法国革命以其徘徊于宏大理想与跌宕现实之间的激烈进程,不仅独享"大革命"的称号,更是引起时人与后世无尽的争论与追... 详细信息

16—18世纪,英国革命、美国革命、法国大革命相继发生,共同造就了世界历史上的"革命"年代。在如此众多的"革命"事件中,法国革命以其徘徊于宏大理想与跌宕现实之间的激烈进程,不仅独享"大革命"的称号,更是引起时人与后世无尽的争论与追思。相较于英美革命,法国大革命究竟有何不同?如何让学生深入理解法国大革命对后世的价值?笔者认为,近年来的高考试题给我们提供了明确的指引:2019年全国2卷第34题引用法国史学家索布尔的观点.

关键词：法国大革命高考试题跌宕

在线全文

学校读者我要写书评

暂无评论

压型钢板-混凝土组合桥面板极限承载力试验

吉林大学学报(工学版) 2023年

作者：张协力吴冲苏庆田同济大学土木工程学院

本文提出了一种适用于中小跨径钢板梁桥的压型钢板-混凝土组合板桥面板结构，对2块压型钢板-混凝土组合桥面板试件进行了两跨跨中对称加载试验，考察了连续组合桥面板的跨中挠度、混凝土和钢筋应变、负弯矩区混凝土裂缝的分布范围和裂... 详细信息

本文提出了一种适用于中小跨径钢板梁桥的压型钢板-混凝土组合板桥面板结构，对2块压型钢板-混凝土组合桥面板试件进行了两跨跨中对称加载试验，考察了连续组合桥面板的跨中挠度、混凝土和钢筋应变、负弯矩区混凝土裂缝的分布范围和裂缝宽度，得到了组合桥面板的破坏形态与极限承载力。组合桥面板试件长9.25m，宽1.5m，压型钢板厚3mm，混凝土板厚24cm，两试件除PBL连接件布置位置不同(压型钢板的波峰或波谷)外其余构造、尺寸相同。试验结果表明，组合桥面板试件的极限承载力分别为1128.5kN与1095.7kN，破坏形态均为弯曲破坏；PBL连接件布置在压型钢板波峰位置可使得组合桥面板具有更大的抗弯刚度；组合桥面板的支点位置存在较大范围的负弯矩区，裂缝的分布范围约为2倍顶板宽度，在设计时应引起注意；按塑性理论计算连续组合桥面板的极限承载力与试验结果吻合较好。

关键词：桥梁工程组合桥面板压型钢板极限承载力试验研究

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

组合梁预应力混凝土桥面板承载力试验研究

结构工程师 2022年第1期38卷 140-149页

作者：曾明辉张协力江西省交通投资集团有限有限公司南昌330025 同济大学土木工程学院上海200092

为研究双主梁钢板组合梁桥预应力混凝土桥面板的静力承载能力与破坏形态,设计制作了足尺的预应力混凝土桥面板试件,进行跨中单点加载试验,测试了混凝土和钢筋的应变、结构的变形及裂缝的发展。试验结果表明,试件的破坏形态为延性破坏,... 详细信息

为研究双主梁钢板组合梁桥预应力混凝土桥面板的静力承载能力与破坏形态,设计制作了足尺的预应力混凝土桥面板试件,进行跨中单点加载试验,测试了混凝土和钢筋的应变、结构的变形及裂缝的发展。试验结果表明,试件的破坏形态为延性破坏,达到极限强度时受拉钢筋屈服,受压区混凝土压溃,试件产生明显的挠曲变形。试件的极限弯矩试验值与规范计算值的比值为1.8,当桥面板裂缝宽度达到0.2 mm时的弯矩试验值与计算值的比值为1.9。计算恒载与车辆荷载作用效应并与抗弯承载力设计值进行对比,得到了按两类极限状态设计的预应力混凝土桥面板的安全系数;试验与分析结果表明,预应力混凝土桥面板具有较高的静力承载能力与安全富余度。

关键词：双主梁钢板组合梁预应力混凝土桥面板极限承载力破坏形态

NaCl和茶多酚对碱诱导鸡蛋卵白蛋白凝胶特性的影响

在线全文

学校读者我要写书评

暂无评论

核农学报 2024年第1期38卷 93-100页

作者：吴彤刘丽莉杨协力苏克楠张潇丹程伟伟丁玥河南科技大学食品与生物工程学院/食品加工与安全国家级实验教学示范中心/功能食品资源研究与利用河南省教育厅科技创新团队/河南省食品加工与质量安全控制国际联合实验室河南洛阳471023 河南科技大学丽正书院河南洛阳471023

为了探究NaCl和茶多酚(TP)对碱诱导卵白蛋白(OVA)凝胶的作用,本研究以OVA为主要原料,以未添加NaCl和TP组为空白对照(CK),分析单独添加NaCl或TP以及两者组合对碱诱导OVA凝胶理化特性和结构特性的影响。结果表明,与CK相比,NaCl、TP以及两... 详细信息

为了探究NaCl和茶多酚(TP)对碱诱导卵白蛋白(OVA)凝胶的作用,本研究以OVA为主要原料,以未添加NaCl和TP组为空白对照(CK),分析单独添加NaCl或TP以及两者组合对碱诱导OVA凝胶理化特性和结构特性的影响。结果表明,与CK相比,NaCl、TP以及两者混合添加组pH值分别降低了1.17%、1.34%和4.02%(P<0.05);Zeta电位绝对值从24.91 mV分别变化至10.81、31.71和32.68 mV;4组样品中TP组凝胶强度最大,NaCl组硬度增加了10.18%(P<0.05),TP组的弹性增加了9.30%;3组凝胶样品的弛豫时间均向短弛豫方向移动;NaCl组和TP组的α-螺旋和β-转角含量下降,β-折叠含量上升;NaCl和TP均能使碱诱导OVA凝胶的结构更加致密;NaCl组的荧光峰强度最大。本研究结果为鸡蛋皮蛋凝胶形成机制研究提供了理论基础,并为拓宽OVA的应用领域提供了重要信息。

关键词：卵白蛋白凝胶特性茶多酚氢氧化钠氯化钠

时空观念的培养:在历史进程中理解全民族抗战的形成

在线全文

学校读者我要写书评

暂无评论

新课程教学（电子版） 2018年第8期 88-90页

作者：张协力广西南宁二中

2017年10月,笔者参加了由南宁市教科所组织的、以“时空观念在历史教学中的渗透”为主题的教学研讨活动,所授课例为《抗日战争》。以下详细论述了如何在具体的教学内容中培养学生的时空观念,以及时空观念在学生认识、理解历史过程中的... 详细信息

2017年10月,笔者参加了由南宁市教科所组织的、以“时空观念在历史教学中的渗透”为主题的教学研讨活动,所授课例为《抗日战争》。以下详细论述了如何在具体的教学内容中培养学生的时空观念,以及时空观念在学生认识、理解历史过程中的价值。

关键词：时空观念历史进程全民族抗战培养教学研讨活动《抗日战争》历史教学教学内容