计及碳捕集和需求响应的综合能源系统低碳经济调度策略

发展综合能源系统是实现经济发展和节能减排的关键举措。首先,为提高机组的调峰能力、减少CO_(2)的排放,将碳捕集技术引入综合能源系统,研究其对综合能源系统灵活、经济、低碳运行的作用。然后,为减轻负荷和风电峰谷波动给系统带来的压力,考虑电、热负荷的需求响应作用,实现综合能源系统的健康、可持续运行。最后,考虑能源协调与耦合作用,以最小化综合成本为目标,构建电-热综合能源系统低碳经济调度模型。算例分析的结果表明,碳捕集和需求响应的共同作用减少了系统的总运行成本和碳排放成本,从源荷双侧促进了风电的消纳,促进了电-热综合能源系统的灵活调度和低碳运行。

组合型竞赛在组织学与胚胎学教学中的实践与探讨

组织学与胚胎学是一门医学形态学科,内容抽象难学,医学新生往往不愿主动学习,如何激发学生对组织胚胎学的学习热情,建立良好的医学思维模式尤为重要。文章针对组织胚胎学的教学特点,为医学新生精心设计了组合型竞赛来提高其学习兴趣,明确其学习目标,培养其医学学习习惯等,从而双向促进学生和教师发展,提高教学质量和学习效率。

运动康复专业组织学精准教学的尝试

运动康复专业作为一门新兴学科,传统的组织学教学模式对教学质量的提升有所欠缺。根据运动康复专业的特点,采用组织学精准教学模式对教学质量的提升效果明显。文章就组织学精准教学的三要素和具体实施进行了详细描述,并对它的优缺点进行了讨论。

一种C程序断言的全自动静态验证方法

在软件程序中插入断言是保证软件质量的一个简单但有效的方法,人们常使用测试的方法检验程序中的断言是否满足,但测试很难保证验证的完备性。本文提出了一种可以保证完备性的全自动静态断言验证方法,其基本思想是基于程序切片符号执行程序的所有执行路径,并证明路径上的所有断言都满足。为了尽量减少符号执行的语句的数量,使用了基于反例的抽象精化方法,从一个粗略的切片标准开始迭代地符号执行一条路径,根据验证的反例自动生成下一次迭代过程中使用的精化的切片标准。包含循环的程序可能具有无穷多条程序执行路径,提出的基于符号执行上下文不变式证明的方法可以证明由于循环导致的无穷多条路径中断言都满足,从而使得验证过程可以终止。实验表明,提出的全自动静态断言验证方法不仅可行,而且验证代价较小,具有较强的实用性。

青年教师组织学与胚胎学实验教学探讨

组织学与胚胎学是一门重要的医学基础课程,实验课是理论联系实践的桥梁,对于专业知识的理解和掌握尤为重要,青年教师如何快速进入角色带好实验课,对于医学新生来说有着极为重要的意义。文章分别从青年教师专业素质自我提升,课堂准备、讲解及辅导等多方面来提高青年教师教学水平,提升实验课堂教学质量,培养青年教师教学骨干,建立良好的教研室教学梯队。

翻转课堂在组织学综合性实验教学的应用

以学生为主体、以知识为红线、以实验为导向及以教师为辅助开展综合性实验应用课程,让学生自由学习、独立思考,巩固组织学专业知识;初窥科研门径,培养科研精神;提高团队协作能力和学生综合素质。

ε-AChR和γ-AChR在神经肌肉疾病中的表达变化

烟碱型乙酰胆碱受体(nAChR)分布于神经肌肉接头突触后膜上,分为ε–AChR和γ–AChR两种亚型。周围神经损伤和重症肌无力等神经肌肉疾病时,这两种亚型存在着亚基转换。它们在突触后膜上的表达转换可用作评价神经肌肉功能疾病恢复的指标。

基于Assume-Guarantee搜索复用的C程序验证方法

提出了一种基于Assume-Guarantee搜索复用的验证方法,对C程序源代码进行验证.其思想是,在程序的每点处都引入一个保守假设条件,并假设从任意点出发,变量取值满足该点假设条件的所有执行路径都不会违背给定性质,然后根据这些假设条件遍历所有可能的执行路径以验证给定的时序安全性质,并在遍历的过程中验证这些假设条件是否满足,如果不满足,则不断对其精化和加强.验证方法总是在保证假设条件可靠的前提下尽量使用较弱的条件,使得大量的执行路径由于满足假设条件而可以搜索复用,从而降低验证代价.应用该方法验证了Linux操作系统中SSL协议的实现程序openssl-0.9.6c满足SSL协议的初始握手规范.实验结果表明,该方法具有良好的实用性和可扩展性.

一个灵活的操作系统安全框架FMAC

当前,操作系统的安全需求越来越多样、灵活和具体,它们往往只描述系统中一小部分实体之间的约束,但对安全策略的灵活性及定制的简洁性有较高的要求。传统的安全框架,如 FLASK 等,难于满足此类“轻量级”的安全需求。本文提出的 FMAC 框架专门面向此类安全需求,它定义了基于标记迁移系统 LTS 的安全策略模型,以规范和简化安全策略的定制。FMAC 框架由通用的对象管理器模型和安全策略管理器模型组成。讨论了 FMAC 在 Unix 类操作系统中的实现,通过层次式的客体组织与基于角色的主体组织,普通用户可以方便快捷地定制出满足要求的轻量级安全策略。

大鼠失肌皮神经与屈肘重建后供受体肌内亚型乙酰胆碱受体的表达

目的探索失肌皮神经与胸大肌部分移位重建屈肘后供受体肌内成熟型与胚胎型乙酰胆碱受体(ε-ACh R和γ-ACh R)的表达变化,旨在为其术后肌萎缩的防治提供新视角。方法将70只成年SD大鼠随机分为A组(正常组);B1、B2组(肌皮神经切断2、4周组);C1、C2组(假移植术2、4周组);D1、D2组(胸大肌部分移位缝合至肱二头肌腱重建屈肘功能术2、4周组),共7组,每组10只。称量肌重,HE染色后测量肌纤维横切面积,RT-PCR和Western blot技术检测ε-ACh R和γ-ACh R的m RNA与蛋白表达变化。结果与A组比较,B组大鼠跛行,觅食受限,肱二头肌(受体肌)湿重逐渐减轻,肌纤维横切面积减小,ε-ACh R m RNA和蛋白表达下调,γ-ACh R出现重新表达并逐渐上调;C组中上述改变进行性加重,D组的上述改变逐渐恢复,且胸大肌(供体肌)内ε和γ-ACh R仅一过性异常表达。结论大鼠失肌皮神经损伤后,行胸大肌部分移位重建屈肘功能术,能上调受体肌内ε-ACh R表达和下调γ-ACh R的表达而改善屈肘功能。

面向MOOC的程序设计语言课程教学设计

计算机程序设计语言的学习具有很强的实用性和普及性,随着大规模在线课程(MOOC)的兴起,计算机程序设计语言成为适合作为MOOC的课程之一。文章探讨如何利用MOOC这一工具,与校园教育相结合进行课程设计。从概念图、学习目标、主动学习和评价4个方面进行研究,说明具体的建议和操作方法,为未来计算机程序设计语言课程更好地适应MOOC变革做好准备。

面向高性能计算机的海量数据处理平台实现与评测

高性能计算机主要应用于传统的科学计算领域,而在云计算时代,数据密集型应用成为一大类新型应用,已经变得越来越重要.主要探索如何在高性能计算机上高效地进行海量数据处理,使高性能计算机在进行科学计算的同时,能够非常好地支持数据密集型应用,拓展高性能计算机的应用领域.分析了高性能计算机上MapReduce模型实现和部署的可行性之后,在高性能计算环境中进行了实验.实验结果表明,存储系统的并行I/O能力不能充分发挥,是造成系统无法高效运行的主要瓶颈.而导致这个性能瓶颈的原因,是高并发带来的对集群文件系统资源的竞争和冲突.最后,提出了几种解决集群文件系统资源冲突的方案,这是今后的研究方向.

机器人操作系统研究型课程建设

随着第三次工业革命的兴起,机器人操作系统将成为突破机器人产业发展瓶颈的关键。机器人操作系统课程涉及的是一个新兴领域,其课程建设与研究密不可分。文章基于教学与科研的正向促进关系,提出建设和调整机器人操作系统课程新的教学科研目标、内容、手段和体系,以最终实现机器人操作系统课程的研究型课程建设。

实时更新的全局一致三维栅格建图

在未知的三维环境中,移动机器人自主导航通常需要实时构建与环境全局一致的栅格地图,而现有大部分系统缺少地图更新策略,构建的栅格地图与实际环境不一致.文中将同步定位与建图模块获得的环境信息以点云形式提供给栅格建图模块处理,同时提出基于关键帧的高效数据结构和地图实时更新策略,实时构建可用于移动机器人自主导航的全局一致的地图.室内动态的实验数据测试表明,文中方法可以有效实时更新地图,生成与环境一致的三维栅格地图,支持其后续的自主导航操作.

基于Linux的文件系统日志服务的研究

本文研究了Linux操作系统中文件系统日志服务的体系结构和关键技术,分析了Linux操作系统中已有日志服务器JBD的结构,提出了一种新日志服务器-JournalFS的模型,证明了使用JournalFS可以保证文件系统的一致性并且性能高于JBD,给出了JournalFS的实现原型。

航天用射频同轴连接器质量保证及总规范研究

航天用射频同轴连接器是微波系统信号传输的重要元器件,其质量保证是型号关注的重点,目前其质量保证主要参考现有国军标总规范,缺乏对宇航特殊环境适应性的考核以及航天型号用户对产品的质量保证要求。文章调研国内外射频同轴连接器质量保证情况,分析产品特点,开展对应失效模式和机理分析,在此基础上研究航天用射频同轴连接器质量保证总规范,在质量检验考核试验、生产过程控制、产品评估、产品应用等方面明确质量保证要求。

注射性坐骨神经损伤后针刺对家兔腓肠肌内NADH-TR和胶原纤维的影响

目的探索注射性坐骨神经损伤后针刺腧穴改善肌萎缩的机制。方法成年家兔42只,随机分为7组:正常组;青霉素注射坐骨神经2周和4周组;青霉素注射坐骨神经加针刺腧穴4周和8周组;青霉素注射坐骨神经加针刺尾部对照4周和8周组。取腓肠肌外侧头横切片作烟酰胺腺嘌呤二核苷酸四唑氧化还原酶染色与VG染色。结果青霉素注射2周时,腓肠肌外侧头内烟酰胺腺嘌呤二核苷酸四唑氧化还原酶染色加深,光密度值增大,肌纤维横切面积减小,肌重减轻,胶原纤维增多。I型和II型纤维的比例不变,IIA型纤维比例增加,IIB型纤维相应减少。4周时上述变化更重。坐骨神经注射性损伤4周后,针刺穴位治疗4周,上述变化明显恢复。8周时,进一步好转。尾部针刺对照组无恢复迹象。结论针刺腧穴改善注射性坐骨神经损伤所致的肌萎缩可通过降低肌内烟酰胺腺嘌呤二核苷酸四唑氧化还原酶活性和减少胶原纤维增生实现。

高层建筑供配电技术方案及其可靠性分析

通过分析高层建筑供电方案的选择,以电源供电为基础,论述高层建筑供电电源可靠性,并根据高层建筑配电特点提出了技术方案。

基于博弈论赋权的电压暂降风险GRA-TOPSIS评估模型

针对尚未统筹考虑现有暂降评估指标体系、赋权方法不全面灵活以及暂降风险评估方法应用不完善等问题,提出了一种基于博弈论赋权的电压暂降风险GRA-TOPSIS评估模型。首先,基于正态分布概率密度函数与累计求和方式建立敏感负荷故障率模型;然后,构建兼顾考虑电网侧与用户侧的暂降评估指标体系,采用博弈论思想将主客观权重系数进行集成组合赋权,并根据GRA-TOPSIS评估方法建立节点电压暂降风险评估计算模型。最后,通过实测数据进行验证,结果证明了所提方法的准确性与实用性。

基于GIS和SLAM的机器人大范围环境自主导航

机器人自主导航技术的基础是其自定位能力,同时同步定位与建图(SLAM)是实现机器人自定位的重要方法。目前由于大规模SLAM技术发展的限制,机器人很难实现在大范围环境下进行建图和导航,并且尚没有结合SLAM和实际地理空间信息指导大范围机器人导航的完整自主导航系统。提出基于GIS和SLAM的机器人大范围环境自主导航方法,利用真实的城市空间路网信息,以地理信息系统(GIS)空间数据库的存储和计算能力为数据支撑,基于提出的大范围导航算法,实现了一套包含空间数据库、SLAM、导航算法的完整系统,具有良好的可复用性和可扩展性,符合实际生活场景,可以指导机器人进行大范围条件下的导航和建图行为。同时通过对机器人激光建图信息的存储,使得再次经过本区域的机器人可以在户外精确定位,实现在室外GPS缺失或误差条件下自身位置的修正。此外地图信息的存储可以实现多机器人对地图信息的复用,为多机器人的规划提供支撑。同时将人类世界的空间信息与机器人建图信息相结合,细化和丰富了原有的空间信息。