梁浩然
- 作品数：10 被引量：8H指数：1
- 供职机构：大连理工大学更多>>
- 发文基金：国家自然科学基金中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术文化科学建筑科学更多>>
- 一种可调节活动极板的底泥微生物燃料电池
- 本发明属于能源化工技术领域，提供一种可调节活动极板的底泥微生物燃料电池，底泥微生物燃料电池与外电路、底泥系统构成微生物燃料电池产电装置；底泥微生物燃料电池包括外电路支撑架、导线、阴极板、阳极板、用电器。阴极板根据水位的上...
- 杨俏梁浩然马雪辉沙胜男
- 文献传递
- 嵌入式系统中断服务可靠性评估方法被引量：5
- 2016年
- 在资源受限的情况下,嵌入式软件在运行时其性能指标能否满足要求至关重要,在确定的目标前提下,对于已给定的参数配置,嵌入式系统的设计也是至关重要的。针对嵌入式系统内中断服务的随机性、实时性和并发性等特点,该文提出基于排队理论的嵌入式系统中断服务可靠性评估方法,并构建多级中断服务抢占优先权的排队模型,得出中断服务系统的性能评估指标。仿真实验结果表明:基于排队的中断服务方法符合嵌入式系统的动态可靠性评估,同时具有一定的普适性。
- 崔凯王洁周宽久梁浩然潘杰李明楚
- 关键词：嵌入式软件
- 嵌入式系统中断服务可靠性评估方法
- 源受限的情况下,嵌入式软件在此条件下运行,其性能指标能否满足目标要求是至关重要的,如果在确定的目标前提下,对于已给定的参数配置,对于嵌入式系统的设计也是至关重要的.针对嵌入式系统内中断服务的随机性、实时性和并发性等特点,...
- 崔凯王洁周宽久梁浩然潘杰李明楚
- 关键词：嵌入式软件可靠性评估
- 基于概率扩展有限状态机的统计测试方法研究
- 由于软件产品在社会各领域的应用范围越来越广，软件系统中的缺陷会造成更为广泛和严重的后果，这给软件可靠性保证工作提出了新的挑战。软件测试是最常用的一种保证软件质量和可靠性的重要手段，但目前随着软件复杂度的增长，软件测试过程...
- 梁浩然
- 关键词：有限状态机统计测试正则表达式
- 嵌入式软件形式化建模方法被引量：1
- 2018年
- 随着嵌入式系统在各行各业的普及,嵌入式系统也越来越复杂,为保证嵌入式系统正确性,研究从需求分析、系统设计到系统验证、代码自动生成统一建模方法尤为重要。针对以上问题,提出采用状态变迁矩阵(STM)对嵌入式软件进行建模,通过确认STM中的每个单元格保证软件的正确性,且在需求分析阶段更容易发现需求遗漏。针对单元格处理经常出现大量的逻辑判断问题,提出采用决策表(DT)模型对复杂多条件判断分支问题进行建模。在模型建立后进行验证,最后自动生成代码。通过对紧急制动控制建模实验,说明方法的正确性。
- 潘杰渡边政彦周宽久梁浩然崔凯
- 关键词：决策树嵌入式系统代码自动生成
- 一种基于信息挖掘的室内人员状态特征和多种用能需求估计方法
- 本发明公开一种基于信息挖掘的室内人员状态特征和多种用能需求估计方法，属于建筑能耗精准预测领域。本发明运用数据挖掘技术，将“人”的影响运用数据表达出来，加入到以传统物理模型为基础的仿真平台，克服了传统物理模型无法刻画人行为...
- 梁若冰王鹏梁浩然
- Android智能电视测试用例生成方法及应用研究被引量：1
- 2016年
- 相比传统电视,由于增加上网浏览、音视频文件播放、下载各种应用软件等多种功能,智能电视系统软硬件变得异常复杂,用户使用相对繁琐,这种大批量消费类产品的可靠性是目前智能电视厂家面临的主要问题。提出根据系统设计规格书对智能电视的操作行为采用AutoStar进行层次化状态迁移矩阵(STM)建模,进而转化为具有记忆功能的正则表达式,同时根据正则表达式圈复杂度来递归确定正则表达式中包含所有闭包循环的次数,并生成测试用例,自动转成Python脚本,通过Android提供的ADB接口发送给Android智能电视,最后设计实现Android智能电视测试平台,该平台应用于国内智能电视的测试。
- 崔凯周宽久梁浩然潘杰
- 关键词：圈复杂度正则表达式
- 一种可调节活动极板的底泥微生物燃料电池
- 本发明属于能源化工技术领域，提供一种可调节活动极板的底泥微生物燃料电池，底泥微生物燃料电池与外电路、底泥系统构成微生物燃料电池产电装置；底泥微生物燃料电池包括外电路支撑架、导线、阴极板、阳极板、用电器。阴极板根据水位的上...
- 杨俏梁浩然马雪辉沙胜男
- 基于PEFSM行为模型的黑盒测试用例生成方法被引量：1
- 2017年
- 随着计算机软件在医疗、航天、金融等领域的广泛应用,人们对软件系统可靠性的要求越来越严格。软件测试是保证软件安全可靠的有效手段,测试用例的优劣会直接影响测试效果及测试成本。针对嵌入式系统黑盒测试问题,提出了基于概率扩展有限状态机(PEFSM)行为模型的测试用例生成方法,通过两个假设给出了该方法的适用场景,设计了正则表达式转化和展开算法,并将该方法应用于Android智能电视的黑盒测试。该方法的特点是:1)根据用户对待测系统各类操作的使用频率信息,优先测试用户常用操作,从而缩减测试用例的数量和长度;2)可人为指定测试用例的初始状态和结束状态,设置闭包循环次数和迁移之间的等待时长,从而保证测试方法的灵活性和适用性。对比实验结果表明,该方法能够降低软件测试成本,提高测试用例的错误探测效率。
- 梁浩然周宽久崔凯潘杰侯刚
- 关键词：正则表达式自动化测试
- 基于改进的粒子群优化算法的暖通空调制冷机房BIM自动优化布置方法
- 2024年
- 采用结合Revit API和MATLAB的编程模式,对Revit平台进行了有效的二次开发,从而实现了暖通空调制冷机房设备的自动化布置设计,不仅有效地实现了设备布置方案的自动生成,还支持了布置方案的预览与验证,显著提高了设计效率和准确性。该研究的创新之处在于成功将粒子群优化算法与BIM技术相结合,为暖通空调系统的自动化设计提供了新的视角,并验证了BIM在暖通空调领域正向设计中的应用潜力。
- 梁若冰梁浩然马宏博
- 关键词：暖通空调制冷机房粒子群优化算法二次开发
