高校实验室安全检查标准化流程探索

目前,各高校实验室的数量越来越多,在实验室进行科研、教学等活动的人数也越来越多。频繁发生的高校实验室安全事故造成了重大的人员及财产损失,为预防实验室安全事故发生,各级各类检查人员需要经常对实验室进行安全检查,但是,实验室检查应该查哪些项目,如何检查实验室才能更好地发现安全隐患?针对上述问题,本文从两个方面阐述了实验室安全检查的顺序、内容和方法,供实验室检查人员参考。

辽河干流滩区居民迁建逃避险及保障措施

辽河流域(包括辽河水系和浑太河水系)总面积22.02万km^(2),其中辽宁省境内为6.93万km^(2),占全省国土面积的46.9%,覆盖全省11个地级市60个县(市、区)。为贯彻党中央、国务院关于“生态文明建设”及“四个全面”战略布局要求,保障辽河流域防洪安全、水质安全,维护河流生命健康。经实地调研、查勘现场、资料收集、座谈交、成果汇总、咨询论证、修改完善、征求意见,编制完成了本方案,并针对本方案提出了保障措施。

白水峪电站弧形闸门应力测试与复核计算

针对白水峪电站建设期溢流表孔4号孔弧形工作闸门支臂变形校正、加固补强的情况,除按照标准规定的必检项目外,增加了应力测试和复核计算项目。经现场检测的应力和有限元分析得到的应力基本吻合,均满足规范要求。通过闸门实际运行工况下测试的应力分布和复核计算结果的对比,既印证了三支臂弧形闸门应力测试方案的合理性,也印证了有限元复核计算结果的准确性,并表明支臂经过补强校正运行20年后仍然安全可靠。

《鲁迅全集》注释修订刍议

《鲁迅全集》注释本已出三版,注释质量逐次提高,但仍未臻完善。现新版出版已被提上日程。在新的注释修订方面,应提出最高标准,向定本目标努力。2005年版注释存在一些问题,如引文错误、事实叙述和知识介绍不准确、观点偏差、褒贬失当、文字讹误等。修订工作须从复核引文、重审内容、修改文字三方面着手。

基于玻璃啤酒瓶抗冲击检验结果重复性的对策研究

目的通过对啤酒瓶的抗冲击项目进行重复性测试,分析质量水平与公布数据之间的差异原因,探求适合持续监管和减少异议复检的对策。方法通过在同等条件下,对99组不同地区、不同厂家、不同规格的样品进行连续检测抗冲击指标,统计该项目结果的再现性。结果抗冲击项目在相同条件下的连续检测,不论是通过组还是未通过组,其结果再现性都很低。同理,监督工作中如运用备样进行复检,并以复检结果作为最终定论,可造成大概率的结论否定,给监管工作增加难度,使承检机构出具报告处于两难境遇。结论啤酒瓶抗冲击指标作为重复性很低的破坏性试验项目,不适合在监督工作中的备样复检,应严格规范试验过程,保留现场试验影像记录等方式,作为异议复检的证明资料对策运用,不但要能便于持续性监管,避免自我否定,而且还能维护各方的权益,确保监督工作的公信度。

XE-5000血液分析仪体液模式检测脑脊液细胞分析

目的探讨XE-5000血细胞分析仪体液模式(仪器法)在脑脊液细胞检测中的临床应用价值。方法分别应用仪器法和手工法对165例脑脊液标本进行白细胞(WBC)计数、分类及红细胞(RBC)计数的检测,并比较两种方法结果的差异;建立并验证仪器法脑脊液细胞检测的复检规则;分析仪器法对特殊病例的检测结果。结果当WBC>10×106/L时,仪器法WBC计数、分类检测结果与手工法之间差异无统计学意义(P>0.05);当RBC>0.5×109/L时,仪器法的RBC计数测定结果与手工法之间差异无统计学意义(P>0.05);制定出了合理、切实可行的仪器法复检规则。结论通过制定合理的复检规则,XE-5000血细胞分析仪体液模式可有效满足临床对脑脊液细胞自动化检测的需要。

水电站能量指标的影响因素分析

水电站运行多年后,特性值会发生改变。以安康水电站为例,在分析水电站能量指标影响因素的基础上,通过在变化条件下建立等出力调节模型,对水电站的能量指标进行了复核。结果显示,径流系列、下游水位与流量关系、水位与库容关系这3种因素的变化使得安康水电站的保证出力分别减少0.05万kW、-0.2万kW,0.07万kW,多年平均发电量分别减少1.52亿kW.h、-0.02亿kW.h、0.05亿kW.h。进一步分析发现,当天然入库径流量减少时,水电站能量指标相应减小;当同一流量对应的下游水位呈下降趋势时,能量指标增大;当水库同一水位对应的库容减小时,能量指标减小;在3种因素共同作用下,安康水电站能量指标减小。

山西省地下水超采区的复核与评价

利用动态法分析山西省盆地平原区和岩溶山区等重点地区地下水动态变化趋势,结果表明:随着水资源条件、地下水取用水情况等因素的变化,以及地下水超采区治理工作的不断加强,地下水超采状况已发生了较大变化。提出下一步超采区划定中应注意的问题:①基于前期划定成果对重点地区进行补充调查;②盆地平原区仍是复核、评价的重点;③确定峨嵋台地的超采范围;④重点分析洪水泉、郭庄泉对应局部地区,如汾阳杏花村水源地超采情况。

基于XYZ/ADL的Web服务组合描述与验证

Web服务组合是当前Web服务领域的一个研究热点,目前已有一些相关的描述与验证方法,本文从软件体系结构角度研究Web服务组合描述与验证方法.基于软件体系结构描述语言XYZ/ADL和精化检验/模型检测方法,提出了一种Web服务组合的描述与验证方法.XYZ/ADL是时序逻辑语言XYZ/E的扩展,考虑到多数Web服务具有实时特征,采用XYZ/E的实时扩展语言XYZ/RE表示系统应满足的时间约束.针对Web服务组合系统,根据XYZ/RE到时间自动机的映射规则将系统描述转换为对应的时间自动机,分别采用精化检验和模型检测两种技术验证Web服务组合的正确性;最后通过两个实例分析分别阐述了上述方法的可行性和有效性.

专利技术再创新项目查新的探讨

本文主要讨论了专利技术再创新项目查新的关键要素,重点讨论了查新结论的撰写,并对提高专利技术再创新项目查新的质量提出了几点建议。

水闸工程复核计算方法初探

结合日照市大沙洼林场防潮闸工程复核计算项目,简要介绍了河道管理范围内水闸工程复核计算的基本内容和方法,包括水闸的过流能力、消能防冲、渗透稳定、闸室稳定和结构受力计算等,并根据复核结果和工程现状提出了综合评价结论与建议。

一种基于UPPAAL的Web服务组合模型检测方法

Web服务组合的正确性验证对提高软件开发效率、实现服务增值具有重要意义。为从高层抽象层次研究Web服务组合的正确性及其形式化验证方法,考虑到Web服务组合中的实时特征,在采用软件体系结构描述语言XYZ/ADL对Web服务组合进行描述的基础上,将其实时描述部分XYZ/RE转换至时间自动机模型,组合后系统应满足的性质用分支时序逻辑CTL公式表示,最后应用模型检测工具UPPAAL实现了Web服务组合正确性的自动化验证。

特种光纤传输系统数据包的快速变更与重封装技术

主要介绍了在特种光纤传输系统中数据包的MAC、IP地址快速变更及其带来的MAC层、IP层以及UDP层的协议快速重新运算的实现原理及方法。

江苏省句容市6座小型水库的安全评价

以江苏省6个小(1)型水库为例,采用瞬时单位线法推求设计洪水,在不同设计暴雨情况下,复核坝顶高程;运用加拿大软件Geo-Slope模拟不同设计暴雨情况下大坝的渗流、抗滑和抗震变化情况。以上述小型水库作为典型小型病险水库,分析了小型水库普遍存在的主要安全隐患,并提出了相关的安全建议和措施。

白山抽水蓄能水泵水轮机模型验收复核试验

白山抽水蓄能泵站的水泵—水轮机模型验收复核试验在哈尔滨电机厂完成。模型验收复核试验进行了传感器等仪器的标定、水轮机及水泵效率、空化、压力脉动、指数试验、水轮机飞逸特性试验、水泵零流量扬程和功率试验、水泵异常低扬程试验、水泵水轮机全特性试验、模型尺寸检查等项目的模型验收。本次验收达到了合同规定的复核验收要求。这是首台国内自行设计制造的大型抽水蓄能泵的验收,取得了满意的结果。

信息化环境下高校学生报到信息系统设计与实现

在信息化环境下,传统高校学生报到业务流程凸显出效率低、过程复杂、流程难以理解等问题。文章提出在方便学生、协调高校各部门、改善当前信息化系统的宗旨下,应以坚持高校师生参与为原则,重构高校学生报到业务流程,进一步提高高校学生报到工作的效率与服务水平。

基于XYZ/ADL的Web服务组合精化检验

Web服务组合的正确性验证在Web服务组合过程中至关重要.从软件体系结构角度考虑Web服务组合,可以从整体上把握系统布局.采用体系结构描述语言XYZ/ADL描述Web服务组合,并将XYZ/ADL中的XYZ/RE程序映射至时间自动机,使用精化检验方法验证Web服务组合的正确性.

基于数据验证的诊断技术在FPGA中的应用

文章采用了基于数据验证的诊断技术来提高FPGA(现场可编程门阵列)的可靠性。利用单片机的硬件和软件的高可靠性,对FPGA中各个功能单元的输入端口、内部状态和输出端口进行数据扫描,在单片机中对这些数据进行验证。在验证数据出错的情况下,启动动态重配置程序,使功能单元重新恢复正常运行状态,提高了系统的的可靠性。

基于河网概化的滨海平原地区骨干河道排涝复核计算

在天然河道治理规划中,必须对河道断面进行排涝复核。以南通市为例,对平原河网地区的排涝复核计算方法作了探讨,介绍了河网概化、排涝流量计算、水面线推求以及水位平差等技术问题,可为类似地区的河道整治规划提供参考。

基于有向图的流式文档逻辑结构重构方法

为解决以往流式文档中逻辑结构重构方法的不足,提出一种基于有向图的流式文档逻辑结构重构方法。从模板文档中提取逻辑结构,在此基础上,通过对待查文档中的逻辑标签进行筛选建立有向图,利用有向图的单源最短路径算法过滤多余的逻辑结构,得到最佳的文档逻辑结构。实验结果表明,该算法能够有效改善逻辑结构识别的准确性,对于文档内容理解和自动化排版与格式检查等应用具有重要意义。