摘要：军用软件的安全性和可靠性已经成为系统设计的重要指标之一,针对某系留式球体平台测控系统软件的安全性问题,采用了SFMEA安全性分析方法,从系统的角度入手,识别出软件安全性需求及球体平台系统软件各种故障模式,分析每个故障模式产生的原因和对系统的影响,提出了软件在设计上采取的基于信息输出安全检测的一系列安全保障技术,提高了球体平台测控系统软件的可靠性。

摘要：河流滩地是河流廊道的重要组成部分,是维护河流健康的重要屏障。以浙江省钱塘江、瓯江、椒江、飞云江、鳌江、甬江六大干流省级河段滩地为研究对象,应用1985—2020年典型时段的遥感影像资料,获取滩地几何形态特征及空间矢量信息,并应用景观格局理论,计算主要滩地质心移动距离、滩地扰动度等,分析了滩地时空演变特征。结果表明:(1)1985—2020年,浙江省六大干流省级河段滩地数量增加225.51%、面积减少14.73%,主要滩地质心平均移动距离约369 m。滩地变化主要发生于2017年之前,以2013年前更为明显;(2)滩地扰动度分析需综合考虑河流整体与局部河段,大尺度研究情况下,不同河段的综合效应会更凸显;(3)钱塘江、瓯江滩地主要受电站、航道等涉水工程建设影响,椒江、鳌江、飞云江、甬江以及瓯江入海口等区域滩地,主要受围垦及潮汐顶托泥沙沉积影响。引起滩地时空演变的因素多样,需因地制宜,合理施策,才能有效遏制滩地破碎化和功能退化的趋势。

摘要：CTCS-3级列控系统规范是CTCS-3级列控系统设计与开发的基础,是实现互联互通以及确保系统高效率与安全性的关键环节。然而,依靠经验与直觉制定的规范不可避免地存在某些漏洞或者安全隐患,因此对CTCS-3级列控系统规范进行建模与形式化验证显得十分必要。本文提出CTCS-3级列控系统规范建模与形式化验证方法,此方法的特点是能够在系统规范、模型、验证工具以及验证结果之间建立一条跟踪链,从而始终保证系统规范、模型及程序代码之间的一致性。结合笔者运用此方法对CTCS-3级列控系统规范建模与形式化验证的实践,证明这种方法是可行的、高效的。

摘要：为把控浙江省域内合资铁路和城市轨道交通的统一运营管理,面向多制式轨道交通运营管理的组织架构亟需建立。本文从浙江省轨道交通发展战略出发,分阶段开展组织架构设计,稳步提升自主运营管理能力,有效集约资源,提高管理效率。第一阶段,战略目标为加强城际铁路、市域铁路运营管理职能,采用按线路设立运营公司的方案。第二阶段,考虑与自主运营地方铁路二十余年的铁路公司合并统一运营管理,同时进行资产剥离,充分吸收合资铁路运营管理经验。第三阶段,整合全省合资铁路和城市轨道交通资源,组建平台公司,采用专业集中管理、运营分段管理的方案,实现多制式轨道交通的统一管理。

摘要：鱼类作为水生态系统的食物链顶层生物,对维护河流生态系统健康起着十分重要的作用。从鱼类的种类组成与丰度、营养结构、繁殖共位群、鱼类数量与健康状况、耐受性等对环境变化较为敏感的项目中初选25个候选指标,根据2019年3月、5月、8月和10月瓯江干流(丽水段)鱼类调查数据计算指标结果,以2010年8月现场调查数据为参照,通过候选指标的分布范围筛选、判别能力筛选及相关性分析等,选择总种数、鲈形目占总种数的比例、中上层鱼类占总种数的比例、底层鱼类占总种数的比例、Shannon-Wiener多样性指数、敏感性鱼类占总种数的比例、耐受性鱼类占总种数的比例共7个指标构建瓯江干流(丽水段)的鱼类完整性指数(F-IBI)体系,评估瓯江干流(丽水段)水生态健康状况。结果表明,瓯江干流(丽水段)中龙泉段、莲都城区段、海口村段F-IBI体系评价结果处于“极好”水平,大港头段处于“好”水平,研究结果可为瓯江干流(丽水段)水生态健康评价以及鱼类群落结构的优化提供借鉴。

摘要：超大规模集成电路设计与验证是计算机科学与技术学科以及电子科学与技术学科专业的核心课程。总结了近几年来该课程教学实践方法。参照国外相关课程经验,不断优化、调整教学内容,以及与之配合的课内实验课和课外课程设计实践,探索了基于虚拟机环境一体化EDA工具为载体的实验环境;为学生课后的自主学习和实验创造了条件。

摘要：【目的】探究南方双季稻区冬闲期不同绿肥品种混播对稻田氮磷钾养分固持减排效果,为有效降低冬闲期稻田中养分的流失,改善农业生态环境提供参考依据。【方法】2019—2020年,采用田间小区试验,设计紫云英、油菜、黑麦草和肥田萝卜等常见绿肥单播或混播8个绿肥处理,以自然生草为对照处理,监测双季稻区冬闲期间水体氮磷钾养分流失量,测定绿肥总生物量和植株体中总碳氮磷钾含量以及土壤中养分含量。【结果】冬闲期种植绿肥的处理中稻田氮磷钾养分固持和减排效果明显优于对照处理,种植绿肥处理水体中总氮、总磷和总钾流失量较对照处理降幅分别为27.7%~47.6%、14.3%~65.5%和9.8%~93.6%,其中种植黑麦草的处理中总氮磷钾流失量显著低于其他处理(P<0.05,下同);种植绿肥处理的植株总生物量较对照处理增加46.9%~378.7%,植株体中总碳、总氮、总磷和总钾含量较对照处理分别增加67.9%~377.1%、55.4%~2613.6%、68.0%~557.8%和100.0%~664.5%,其中种植紫云英的处理中总碳氮磷钾含量显著高于其他处理;相比对照处理,冬闲期种植绿肥处理中土壤活性有机质含量、缓效钾含量和阳离子交换量分别增加21.3%~29.8%、1.6%~5.7%和1.3%~8.2%,土壤有效磷和速效钾含量分别降低2.3%~17.0%和3.7%~30.1%。【结论】南方双季稻区冬闲期种植绿肥对田间养分固持减排效果显著,其中紫云英和黑麦草混播(紫云英∶黑麦草=4∶6)处理对降低水体总磷钾流失量、提高植株体中总碳磷钾固持量的效果最佳。

摘要：对具有双曲底面的盒形件在设定压边力(BHF)和设定压边间隙(BHG)两种压边方式下的拉深成形进行了数值模拟和试验研究,分析了BHF压边方式下压边力的变化以及BHG压边方式下压边间隙的变化对板料成形性能及设备成形载荷的影响.结果表明:BHF压边方式下,在一定范围内变动的压边力对成形性能及载荷影响不大;而在BHG压边方式下,压边间隙的变化对成形性能及压边载荷的影响显著,稍大或稍小的压边间隙都会使盒形件拉深深度明显降低,压边载荷显著增大.研究结果可为不同设备、不同成形方式下的拉深工艺和模具设计及试生产提供有益的指导.

摘要：针对一类带有排队等待时间提示的呼叫中心人力资源分配问题,提出了基于考虑顾客放弃行为的M/M/N+M排队模型的优化方法.首先,给出了系统提示等待时间的估算方法和排队等待时间提示对顾客放弃行为(直接退出和中途放弃)影响的概率函数.其次,通过生灭过程的评估方法给出了稳态系统的性能计算公式,并且设计了基于固定点算法的人力资源水平求解算法.最后,通过数值分析给出了排队信息对顾客放弃行为和对人力资源水平的影响效果.研究结果表明,所提出的方法对具有排队信息提示的呼叫中心人力资源管理具有一定的指导作用.

摘要：根据旋转、平移和缩放不变性、易于探测与高精度定位等原则设计出了两种用于航天器交会对接视觉测量的编码靶标。一种为圆形编码靶标,使用二进制相对编码的方法对靶标进行编码和解码。另一种为圆环形编码靶标,是一种具有坐标系的绝对编码,通过模版匹配实现解码。在不同条件下进行了实验,两种编码靶标都能被准确地识别。实验结果证明两种靶标具有很好的抗干扰性和稳定性,能够适应交会对接视觉测量的要求。