摘要：纯水系统作为发电机定子重要冷却系统,直接影响着机组的安全运行。某大型水力发电厂纯水系统现均使用橡胶膨胀节直接安装在管路上,橡胶膨胀节的可靠性关乎纯水系统运行的可靠性。本文着重介绍某大型水电厂700 MW水内冷发电机纯水系统所选用的橡胶膨胀节,研究橡胶膨胀节的结构,并分析其不足。为解决所发现的问题,设计一种新型橡胶膨胀节并将之应用于现场。

摘要：【背景】为了提高堆肥降解有机废弃物的效率,高效堆肥菌剂成为了研究热点,其中以真菌应用的研究为多,但真菌也有对氧气和底物敏感等缺点,细菌对堆肥的作用开始被研究。本实验室以羧甲基纤维素钠(CMC-Na)为底物,从绿化废弃物堆肥中筛选得到枯草芽孢杆菌(Bacillussubtilis,***) BL03,它具有较好的纤维素分解能力,能提高绿化废弃物堆肥中纤维素降解和腐殖质合成的速度。【目的】进一步提高***03的纤维素酶生产能力。【方法】利用常压室温等离子(Atmospheric and room temperature plasma,ARTP)诱变BL03菌,通过CMC-刚果红固体培养基观察水解透明圈,以及液体发酵后检测酶活力的方法进行3轮筛选;通过连续多代培养观察突变株的遗传稳定性;通过梯度温度、p H培养研究突变株发酵的最适生长温度、培养基初始pH;利用正交设计方法研究适合突变株发酵培养的工业级原料配方。【结果】筛选到2株正突变株,酶活力分别提高了69%和72%;连续10代培养稳定,验证了突变株的遗传稳定性;其中酶活力最高的突变株BLA3890最适培养温度为37°C、培养基初始pH为5.0-6.5,研究得到较经济的发酵培养基配方。【结论】ARTP诱变B. subtilis BL03后得到的突变株BLA1973和BLA3890在绿化废弃物堆肥或其他纤维素降解行业具有进一步研究和应用的价值。

摘要：金融抑制的存在是目前我国资源配置效率问题长期存在的重要根源。基于所有制歧视的金融抑制视角,使用空间计量模型探讨了金融抑制对区域创新及其溢出效应的影响;并从金融抑制下企业行为偏移等方面对其中的机制进行了探讨,从而为当下中国创新效率问题提供一个可能的政治经济学解释。结果发现,信贷摩擦对地区创新有显著的负面影响,但对不同类型的技术创新影响有所差异,这是由于不同专利创新类型的技术特性和投入收益差别造成的;信贷摩擦对地区创新的消极影响存在显著的空间溢出效应,特别体现在金融抑制对实用新型专利和外观设计专利的负面作用上。金融抑制对地区创新的影响是一个地区之间互相不断破坏的过程。

摘要：结构分析与设计语言(Architecture Analysis and Design Language,AADL)是复杂嵌入式实时系统体系结构建模的语言标准,但是对于嵌入式实时系统中大量存在的并发和交互,AADL并没有给出形式化的描述。本文结合AADL在实时系统中大量的并发及约束方面描述的不足,通过分析AADL的建模元素和建模流程,对AADL的行为附件进行扩充,将约束和并发的概念引入AADL,并给出形式化语义描述,丰富了AADL的建模元素,然后根据AADL和进程代数的建模特点,将经过扩充的AADL模型形式化转换为进程代数模型,为后续形式化的模型验证,开发大规模复杂、安全可靠的实时系统打下基础。

摘要：构件式系统是一种采用构件组合技术实现的结构系统,即在采用单个构件封装简单的业务功能基础上,通过集成多个构件逐步构造新的组合构件来实现比较复杂的业务功能。在开发构件式系统软件的过程中,正确的子构件模型组合方式才有可能构建安全可靠的总构件模型。计算树逻辑(CTL)能较为准确地描述状态迁移的时序性质,而擅长形式规格说明的Z语言在数据约束方面具有强大作用。因此,基于CTL和Z语言对体系结构分析设计语言(AADL)进行功能拓展,即可建立更为安全可靠的组合模型。为此,在分析研究AADL的建模元素和建模流程的基础上,提出了计算树逻辑CTL和Z语言对AADL行为附件进行扩充的思路与方法。该方法可有效保证构建模型的合理性和有序性。基于CZ_AADL建模规范和飞行管理系统实例进行了验证实验。实验结果表明,CZ_AADL建模规范增强了AADL建模的灵活性和多样性,也为采用不同建模方式的多模块间的融合提供了可能。

摘要：构件交互自动机(Component-Interaction Automata,Co-IA)是扩展了构件之间交互描述的自动机。体系结构分析设计语言(Architecture Analysis and Design Language,AADL)是一种基于构件的半形式化体系结构分析和设计语言,是嵌入式系统体系结构建模和设计的标准,但无法直接进行形式化模型的检测工作。为了形式化描述系统交互过程中产生的大量数据,更好地描述模型中的状态集合、状态变迁和数据约束的性质,在构件交互自动机研究和发展的基础上,提出了一种扩充的构件交互自动机,将形式化规格说明语言Z引入构件交互自动机Z-Co IA,描述模型中包含状态和状态变迁。为检测与验证所建立的模型,基于具体实例进行了由AADL模型向经扩充的构件交互自动机模型的转换。验证结果表明,所提出的方法推动了AADL的形式化进程。

摘要：党的二十大报告指出,深入实施区域协调发展战略、区域重大战略、主体功能区战略、新型城镇化战略,优化重大生产力布局,构建优势互补、高质量发展的区域经济布局和国土空间体系。2022年12月25日,“中国区域经济50人论坛”第23次专题研讨会以“学习贯彻党的二十大精神促进区域经济高质量发展”为主题进行了线上研讨,与会专家结合我国区域协调发展与高质量发展的成就,畅谈了学习党的二十大报告的体会,提出了对区域发展战略的认识和理解。过去20多年来,区域战略和区域政策的制定与实施对推动区域经济发展成效明显,但促进区域高质量发展任务依然艰巨,尤其是区域协调发展作为我国现代化建设的重大战略,具有现实性和长期性。与会专家从优化区域政策体系、加强市场设计、提升区域创新能力、构建人与自然和谐共生等方面提出了政策建议,对我国区域协调与高质量发展具有重要的决策参考价值。

摘要：根据市场上不同种类光伏电池的价格、发电效率等性能,采用山西省大同市典型气象数据,综合参考当地的太阳辐射强度、光线入射角以及建筑物所处地理纬度等因素,建立了多目标决策模型和线性规划模型,并通过进一步优化得出房屋表面光伏电池的最优设计方案。