检索结果-南通市图书馆

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

党建融合强引领质量安全多保障

江苏农村经济 2022年第7期 66-67页

作者：张啸然蔡昊达申瑞江苏省泗阳县委组织部泗阳县农业农村局

农产品质量安全是农业高质量发展的基础保障,是全面推进乡村振兴的重要支撑。宿迁市泗阳县积极推进党的建设与农产品监管工作有机融合、互促共进,为推进农业农村现代化建设提供坚强政治保证,确保广大人民群众“舌尖上的安全”。强化组... 详细信息

农产品质量安全是农业高质量发展的基础保障,是全面推进乡村振兴的重要支撑。宿迁市泗阳县积极推进党的建设与农产品监管工作有机融合、互促共进,为推进农业农村现代化建设提供坚强政治保证,确保广大人民群众“舌尖上的安全”。强化组织引领,护航质量安全。

关键词：乡村振兴农产品质量安全农业农村现代化农产品监管互促共进党的建设泗阳县有机融合

维普期刊数据库

在线全文

学校读者我要写书评

暂无评论

学前教育公办率将达70%以上 004

学前教育公办率将达70%以上

烟台日报

作者：孙长波张啸然

年内新增养老机构床位2000张，全市养老机构护理型床位占比达到60%以上;大力发展普惠托育事业，评选示范机构奖补项目，年内新增托位5000个。对12345政务服务热线受理群众投诉物业管理问题诉求量前20名的小区进行专项治理。改造30... 详细信息

年内新增养老机构床位2000张，全市养老机构护理型床位占比达到60%以上;大力发展普惠托育事业，评选示范机构奖补项目，年内新增托位5000个。对12345政务服务热线受理群众投诉物业管理问题诉求量前20名的小区进行专项治理。改造30处老旧乡镇卫生院，提高5个百分点的普通门

关键词：乡镇卫生院报销比例学前教育物业服务公共停车场民生实事业主委员会养老机构专项治理物业管理交通拥堵

来源： cnki报纸评论

在线全文

cnki报纸

学校读者我要写书评

暂无评论

无上界优先级反转问题的避免及其证明

无上界优先级反转问题的避免及其证明

作者：张啸然中国科学技术大学

学位级别：硕士

实时操作系统常常运用优先级调度方案来进行抢占式调度。然而,如果在这些操作系统中引入基于阻塞的同步原语则很容易产生无上界优先级反转问题。目前已有若干种同步协议用于避免产生此类问题。然而,这些协议实现起来往往非常复杂并且容... 详细信息

实时操作系统常常运用优先级调度方案来进行抢占式调度。然而,如果在这些操作系统中引入基于阻塞的同步原语则很容易产生无上界优先级反转问题。目前已有若干种同步协议用于避免产生此类问题。然而,这些协议实现起来往往非常复杂并且容易滋生错误。本文设计并实现了一套系统性的解决方案用于验证同步协议能够保证有上界优先级反转性质。本文首先给出了此问题的形式化定义,接着给出了一套能同时在协议规范层面和在协议实现层面验证该性质的框架。具体的来说,本文的贡献如下:·本文基于程序执行过程产生的迹给出了一个协议无关的有上界优先级反转性质的形式化定义。·本文设计的框架提供了一套高层抽象语言,用户可以运用此语言描述出同步协议等系统调用。并且,本文给出了一套基于该语言的辅助定义“合理操作系统规范”,用户可以通过此定义简单地证明有上界优先级反转性质。·本文引入了一套程序逻辑用于证明底层C代码实现与高层抽象语言之间的精化关系。该精化关系可以传递有上界优先级反转性质,从而使得对于该性质的验证可以被应用于底层。·作为应用此证明框架的实例,本文形式化定义了 POSIX标准建议的两套协议,并证明了它们能保证有上界优先级反转性质。本文也分别构造了这两套协议的底层范例C代码实现,并证明了它们和规范间的精化关系。

关键词：优先级调度形式化验证操作系统内核 Coq

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

实时操作系统中有限优先级反转的验证

小型微型计算机系统 2021年第1期42卷 1-8页

作者：张啸然中国科学技术大学计算机科学与技术学院合肥230027 中国科学技术大学苏州研究院软件安全实验室江苏苏州215123

实时操作系统常常运用优先级调度方案来进行抢占式调度.如果在这些操作系统中使用基于阻塞的同步原语则很容易产生无限优先级反转问题.历史上已经引入了多种不同的协议来避免产生这个问题.然而,这些协议往往非常复杂并且容易滋生错误.... 详细信息

实时操作系统常常运用优先级调度方案来进行抢占式调度.如果在这些操作系统中使用基于阻塞的同步原语则很容易产生无限优先级反转问题.历史上已经引入了多种不同的协议来避免产生这个问题.然而,这些协议往往非常复杂并且容易滋生错误.本文给出了一套系统的方案来定义这些协议并验证其能够保证有限优先级反转.本文首先给出有限优先级反转的形式化定义.然后介绍了验证框架,它可以用于验证不同的协议保证该性质.该框架可以支持协议抽象层面与具体实现层面的验证.本文已经成功的将该框架应用于验证POSIX标准中提供的优先级继承协议与优先级保护协议.并且,本文的所有工作都已在证明助手Coq中完成.

关键词：优先级调度形式化验证操作系统内核 Coq

维普期刊数据库

在线全文

学校读者我要写书评

暂无评论

JZ股份公司财务风险预警及管理策略研究

JZ股份公司财务风险预警及管理策略研究

作者：张啸河北经贸大学

学位级别：硕士

煤炭,被称为工业的“粮食”,是我国能源结构中“压舱石”。近年来,国内外政治经济形势十分复杂。全球经济复苏较为缓慢、经济结构和区域布局有待优化、“双碳”战略对煤炭产业考验有所加大等因素,为国内煤炭企业持续稳定经营带来了诸多... 详细信息

煤炭,被称为工业的“粮食”,是我国能源结构中“压舱石”。近年来,国内外政治经济形势十分复杂。全球经济复苏较为缓慢、经济结构和区域布局有待优化、“双碳”战略对煤炭产业考验有所加大等因素,为国内煤炭企业持续稳定经营带来了诸多挑战。财务管理亦面临着新的风险与不确定性。2020年11月,永城煤电控股集团有限公司“20永煤SCP003超短融”本金10亿元出现违约,在债券市场乃至整个金融体系造成巨大轰动,恶化了煤炭企业的融资形势。作为河北省煤炭行业龙头企业的JZ股份有限公司集中兑付了多只债券,造成企业流动性危机。虽然该公司通过采取多项扶持措施,度过了阶段性财务危机,但该事件引发了投资者、银行业金融机构以及企业管理者的高度重视。本文通过构建科学的财务风险评价及预测模型,有效识别JZ股份有限公司财务风险并提出相应改进策略,对该公司乃至煤炭行业持续健康发展具有深刻的现实意义。本文以JZ股份有限公司作为研究对象,以风险管理和灰色系统等理论为指导,通过文献研究、实地调研、数理分析等方法,在对经典指标进行相关性检验的基础上,最终遴选了11项财务指标和4项非财务指标,以系统反映企业的财务风险,并运用层次分析法、灰色关联分析法和灰色GM(1,1)构建财务风险评价及预警模型,对样本企业进行充分地比较分析。研究表明:JZ股份有限公司财务风险水平在A股煤炭上市企业中属于中游水平,存在负债结构不合理导致短期偿债压力大、应收账款管理水平有待提升、盈利水平存在提升空间、资本积累速度慢、规模与转型均处于相对劣势等问题。针对上述问题,本文相应提出了包括有效调整负债结构降低偿债风险、建立健全企业应收账款管理体系、创新驱动开源节流提升盈利水平、提升企业品牌价值获取市场认同、加速转型发展和纵向产业链延伸在内的5项风险化解策略,以期帮助JZ股份有限公司和其他煤炭企业有效开展财务风险评价和预警工作,及时做出科学、合理的决策,避免风险事件和损失发生。

关键词： JZ股份公司财务风险预警灰色关联分析灰色GM(1,1) 财务风险管理策略

后激活增强效应对省队冰壶运动员下肢爆发力的影响 ——以箱式深蹲训练诱导为例

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

后激活增强效应对省队冰壶运动员下肢爆发力的影响 ——以箱式深...

作者：张啸武汉体育学院

学位级别：硕士

研究目的:通过分析实验数据,对比在不同负荷和间歇时间下的诱导方案中,后激活增强效应对受试者的下肢爆发力在多个维度的影响,并结合前人研究和理论依据,探究造成不同实验结果的原因。总结出最适合的后激活增强效应的诱导方案,进而帮助... 详细信息

研究目的:通过分析实验数据,对比在不同负荷和间歇时间下的诱导方案中,后激活增强效应对受试者的下肢爆发力在多个维度的影响,并结合前人研究和理论依据,探究造成不同实验结果的原因。总结出最适合的后激活增强效应的诱导方案,进而帮助广大教练员和运动员构建出适合冰壶运动员提高运动表现的训练方式和方法,提供训练的思路。然后结合实践不断优化冰壶运动员的训练方案,为国内冰壶体能训练提供参考。研究方法:采用文献资料法、访谈法、实验法、数理统计法为研究方法。基于国内外后激活增强效应的相关研究,采用70%1RM、80%1RM、90%1RM的三种负荷强度和2分钟、4分钟、6分钟、8分钟四种间歇时间的搭配,共计12种诱导方案,分析它们对于30名省冰壶队运动员在纵跳、立定跳远、30米冲刺跑和短表力量这些下肢爆发力指标的影响。实验结果:(1)70%1RM的箱式深蹲诱导出的增强效应出现时间最早,但持续时间相对较短。(2)80%1RM的箱式深蹲相对70%1RM的箱式深蹲诱导出的增强效应持续时间更长,但在30米冲刺中出现增幅顶峰的时间最晚,冰壶短表力量中出现增幅顶峰的时间最早。(3)90%1RM的箱式深蹲练习的诱导方案对出30米冲刺跑时间的其他项目来说拥有更长时间的和更高幅度的增幅。实验结论:(1)后激活增强效应适当方法诱导出增强效应能够有效提高冰壶运动员的下肢爆发力。以箱式深蹲练习为诱导方案,较大的负荷强度结合较长的间歇时间,例如90%1RM的负荷强度结合8分钟的间歇时间,或较短的间歇时间结合较小的负荷强度,例如70%1RM的负荷强度结合4分钟的间歇时间才能更好的诱导出后激活增强效应,因此,通过特定强度和间歇时间结合的诱导方案可以有效提高冰壶运动员的短表力量,帮助运动员在测试和比赛中获得更好的运动表现。(2)在间歇时间适宜的情况下,进行90%1RM箱式深蹲练习的诱导方案比进行70%1RM和80%1RM箱式深蹲练习的诱导方案更能促进受试者的部分运动表现的提高。诱导方案的负荷强度和间歇时间需要在合理搭配下才能获得最佳的效果。(3)相比另外几项测试而言,以箱式深蹲练习为诱导方案对30米冲刺跑成绩的提高似乎并不理想。箱式深蹲属于下蹲类动作,而30米跑属于快速跑动的动作,虽然都属于下肢主要发力的动作,但是这两种动作模式存在一定区别。结合综述中的前人研究来看,诱导后激活增强效应的手段应当尽可能贴合训练动作的模式。

关键词：后激活增强效应冰壶运动员下肢爆发力箱式深蹲体能训练

南京紫金山国家森林公园繁殖鸟类多样性及年间变化

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

野生动物学报 2018年第2期39卷 310-316页

作者：张啸然王淼王卉鲁长虎南京林业大学南方现代林业协同创新中心生物与环境学院南京210037

城市森林公园是城市鸟类重要的栖息地,研究繁殖季节城市森林公园的鸟类群落有助于鸟类保护与公园管理。自2014～2017年,每年5月和6月,采用固定样线对南京紫金山森林公园的鸟类种类和数量进行了调查。共记录鸟类73种(10目28科),其中4种... 详细信息

城市森林公园是城市鸟类重要的栖息地,研究繁殖季节城市森林公园的鸟类群落有助于鸟类保护与公园管理。自2014～2017年,每年5月和6月,采用固定样线对南京紫金山森林公园的鸟类种类和数量进行了调查。共记录鸟类73种(10目28科),其中4种鸟类为国家Ⅱ级保护动物,雀形目鸟类占主要地位(66%)。从繁殖季节月份变化上看,鸟类种数、密度不存在显著差异。从年间变化上看,鸟类群落多样性指数为3.0510～3.3174,均匀度指数为0.8241～0.8524,优势度指数为0.9358～0.9510;不同年份鸟类群落相似性全部处于中等相似水平。繁殖季节鸟类群落结构组成和多样性在4年间的波动并不明显,总体上较为稳定。

关键词：紫金山繁殖鸟类多样性年间变化

维普期刊数据库

考虑决策者风险厌恶偏好的双渠道供应链库存博弈问题研究

在线全文

学校读者我要写书评

暂无评论

考虑决策者风险厌恶偏好的双渠道供应链库存博弈问题研究

作者：张啸内蒙古财经大学

学位级别：硕士

随着互联网应用的普及和电子商务的发展,通过网络渠道购买商品的消费者与日俱增。为了应对不断变化的消费者偏好和加剧的竞争,双渠道模式逐渐成为不同行业的品牌制造商的优选运营模式,涵盖了传统零售渠道与网络销售渠道。不可避免的是,... 详细信息

随着互联网应用的普及和电子商务的发展,通过网络渠道购买商品的消费者与日俱增。为了应对不断变化的消费者偏好和加剧的竞争,双渠道模式逐渐成为不同行业的品牌制造商的优选运营模式,涵盖了传统零售渠道与网络销售渠道。不可避免的是,传统渠道自身的纵向博弈以及与网络渠道之间的横向竞争会影响供应链成员如何制定有效的库存策略,这就导致供应链成员面临着十分重要的问题:如何进一步扩大市场?如何缓解两条渠道间的冲突,协调好各个渠道的收益?目前,对双渠道供应链库存策略进行研究的大部分文献都是在风险中性的条件假设下进行的,缺失了风险厌恶这一更贴近现实的行为偏好因素。鉴于消费者市场需求的不确定性及竞争环境的不断加剧,供应链成员的行为偏好极易会受到影响,导致其在制定管理决策时偏离实际状况,表现出风险规避的行为倾向。本文从行为偏好的视角出发,主要聚焦于供应链成员的渠道定价和渠道库存这两种关键库存策略,对决策偏差进行深入分析和优化。本文充分考量了决策者风险厌恶的行为偏好,并将此因素融入到一个由制造商与两个非对称零售商组成的双渠道供应链模型中。具体的研究内容如下:本文从供应链的视角出发,考虑供应链成员具有风险厌恶的行为偏好条件对自身制定管理决策的影响,采用CVa R准则(Conditional Value-at-Risk)来度量风险厌恶水平,并将渠道之间的替代竞争纳入库存博弈分析中,利用主从博弈论、库存管理理论和行为决策理论研究了决策者风险厌恶情境下的双渠道供应链库存博弈问题。文章考虑了市场需求独立和市场需求关联两种情境,分析了非对称零售商之间的库存竞争对均衡加工量和均衡损益值的影响,验证了损益函数、最优响应函数的良好性质,证明了存在唯一纳什均衡,推导出在不同的风险厌恶水平下零售商的均衡订货策略和制造商的最优定价策略,进一步证明了在Stackelberg博弈中风险厌恶这一行为偏好对于供应链成员决策的影响:会使决策者制定较少的订货量来降低自己的库存风险。

关键词：风险厌恶双渠道供应链替代竞争主从博弈

“双减”背景下南京市初中开展课后体育服务的现实困境及应对策略

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

“双减”背景下南京市初中开展课后体育服务的现实困境及应对策略

作者：张啸驰南京体育学院

学位级别：硕士