刘杰 作品数:108 被引量:182 H指数:7 供职机构: 南华大学 更多>> 发文基金: 湖南省自然科学基金 湖南省教育科学“十二五”规划课题 湖南省教育厅科研基金 更多>> 相关领域: 自动化与计算机技术 文化科学 核科学技术 医药卫生 更多>>
动态3D点云压缩快速CU划分方法、设备及存储介质 本申请公开了一种动态3D点云压缩快速CU划分方法、设备及存储介质,包括:判断当前动态3D点云压缩编码帧是否为P帧;若是,则顺序提取需要压缩编码的目标编码CU,获取目标编码CU的预测失真并进行变换;当目标编码CU的宽度和高... 李跃 万亚平 杨高波 刘杰 屈爱平 陈灵娜文献传递 反转反应堆堆芯组件中子学问题初步研究 2012年 针对反转反应堆(inverted pressurized water reactor-简称IPWR)中子学问题,首先构筑了IPWR全尺寸堆芯模型,在该模型的基础上进行了堆芯组件临界计算和中子学相关参数计算,确定了当氢重比为6.5,水棒直径范围为7~12 mm得组件栅元尺寸设计范围.同时通过点燃耗程序分析了不同可燃毒物在组件中均匀分布时,无限增殖系数随燃耗的变化,确定选择Er2O3作为IPWR堆芯可燃毒物. 曾正魁 于涛 谢金森 刘杰 秦勉关键词:可燃毒物 反转压水反应堆热工水力特性初步研究 2012年 采用CFD软件FLUENT对反转压水反应堆(IPWR:Inverted Pressurized WaterReactor)单个燃料元件及冷却剂通道流场进行了数值模拟计算,分析比较了不同栅格尺寸情况下的热工水力特性.计算结果表明,栅格尺寸对IPWR燃料元件温度及冷却剂流动传热特性有较大影响,为今后IPWR燃料栅元、组件、堆芯设计和热工水力分析提供了初步参考和依据. 刘杰 于涛 谢金森 曾正魁 秦勉关键词:CFD 热工水力 基于免疫原理的期刊工作流模糊预警模型 被引量:1 2008年 在期刊工作流程的领域中,应用生命体免疫原理的方法对应用系统不变性质和相应异常的问题进行了探索,并构造出相应的预警模型。该模型中最突出的特点是利用免疫机理获取得信息进行正常机体的演进,不仅能够对故障进行预警而且能够帮助应用系统自我学习,提升适应环境变化的能力。 吴取劲 阳小华 罗扬 刘杰 伍大清关键词:工作流 抗原 抗体 免疫 一种基于复杂性的数值表达式型蜕变关系选择方法 本发明公开了一种基于复杂性的数值表达式型蜕变关系选择方法。该基于复杂性的数值表达式型蜕变关系选择方法,包括以下步骤:S1数值表达式基本参数获取;S2数值表达式基本参数的复杂性分析;S3数值表达式复杂性度量方法确定;S4数... 李萌 阳小华 刘杰 闫仕宇 马安刚基于合约的SCADE测试工具设计与实现 2017年 反应堆保护系统是核电厂中最重要的安全系统,对保证核电设备、工作人员以及周边环境的安全有着至关重要的作用。由于反应堆保护系统所需要的高安全性,因此SCADE平台开发的压水堆反应堆保护系统(以下简称SCADE系统)是近年来重要的研究方向。但是SCADE平台的开发过程基本以图形方式展现,设计与验证工作也都在SCADE系统内部完成,缺少对内部的本质特征的说明。因此需要一种方法来对SCADE系统的内部结构进行解释,并根据此对SCADE系统进行后期的验证工作提供理论支持,确保对SCADE系统的验证工作是有效的。笔者由此提出了基于合约的SCADE测试理论,并根据此理论设计并开发了基于合约的SCADE自动测试平台,用于为SCADE系统的验证工作提供充分的测试用例并进行相关测试工作。 刘小同 熊梦 阳小华 刘杰关键词:反应堆保护系统 基于契约的程序动态分析技术研究 2006年 在当今信息社会中,程序质量是一个具有重要意义的热点问题,基于契约的程序设计是提高程序质量的重要且有效的技术,但是形式化契约的制定是一件十分困难的工作,因此软件质量保证问题一直是令人困扰的难题,本文介绍契约式程序设计的基本概念与方法,并在此基础上,提出利用契约进行程序动态分析的主要思路及其基本过程并给出简单实例,从一种新的维度来思考保障软件质量的方法. 刘树锟 阳小华 刘杰 罗江琴关键词:契约 断言 程序不变量 STAMP模型及其在核电厂DCS安全分析中的应用展望 被引量:17 2013年 数字化控制是核电发展的必然趋势,核电厂数字化控制系统(Digital Control System,DCS)的应用在提高核电厂系统控制能力的同时也增加了系统的复杂性,以事件链模型为基础的传统安全分析技术面临挑战。为提高核电厂DCS的安全性能,需要关注安全工程领域的新研究成果,将其引入到核电安全领域并加以研究。本文介绍一种新的基于系统理论的事故模型和过程(Systems-Theoretic Accident Modeling and Processes,STAMP)安全模型,对比分析了其与传统安全模型的优缺点,说明了基于STAMP的风险分析(STAMP-Based HazardAnalysis,STPA)技术的基本步骤,并根据STAMP在国内外的应用情况,对STAMP在我国核电领域的发展前景进行了展望。 阳小华 刘杰 刘朝晖 刘华 余童兰关键词:STAMP 一种数值程序蜕变关系的自动识别方法 本发明提出了一种数值程序蜕变关系(Metamorphic Relation,MR)的自动识别方法,包括以下步骤:(1)基于问题域的输入模式分析;(2)基于随机方法的初始测试输入生成;(3)基于基因表达式编程(Gene E... 李萌 王丽君 阳小华 闫仕宇 刘杰 万亚平 李丰源 任长安 陈珍平 谢金森 赵鹏程 于涛文献传递 一种VVC帧内CU深度快速划分方法 本申请公开了一种VVC帧内CU深度快速划分方法,包括:顺序提取需要编码的CU,并获取目标编码CU的亮度像素差值;若目标编码CU的宽度和高度是否均大于预设阈值,则获取目标编码CU的进一步划分模式;当目标编码CU的进一步划分... 李跃 丁平尖 聂明星 陈灵娜 龚向坚 刘杰 罗凌云文献传递