公共文化服务平台

周勇: 作品数：160 被引量：130H指数：6; 供职机构：南京航空航天大学更多>>; 发文基金：国家自然科学基金中国航空科学基金中央高校基本科研业务费专项资金更多>>; 相关领域：自动化与计算机技术理学一般工业技术文化科学更多>>

合作作者

基于营养风险筛查的护理干预对原发性肝癌患者的影响: 2025年; 目的探讨基于营养风险筛查的护理干预对原发性肝癌患者术后康复的影响。方法选择2022年10月—2023年10月医院收治的原发性肝癌患者72例作为研究对象,按照组间基线资料具有可比性原则分为对照组和观察组,每组36例。对照组实施常规营养方案,观察组利用I-FEED量表进行营养风险筛查,再结合风险筛查结果给予患者针对性的营养干预。比较两组患者术后康复指标、并发症发生率,同时统计两组患者干预前、干预7 d后营养状况[血浆总蛋白(TPP)、前清蛋白(PA)和转铁蛋白(TF)水平],采用生活质量核心量表(QLQ-C30)对患者干预前、干预7 d后的生活质量进行评分。结果观察组术后康复时间均短于对照组,观察组并发症发生率低于对照组,干预7 d后观察组TPP、PA和TF水平均高于对照组,差异均有统计学意义(P<0.05)。干预7 d后,观察组患者QLQ-C30评分高于对照组,差异有统计学意义(P<0.05)。结论基于营养风险筛查的营养干预对于原发性肝癌患者术后康复具有积极作用,能加快患者术后恢复时间,减少患者并发症的发生,改善营养指标,提高患者的生活质量。; 应杰萍周勇朱素文王跃琴成迎春; 关键词：营养干预原发性肝癌患者术后康复

同步语言多线程代码生成的语义保持证明方法被引量：2: 2020年; 同步语言具有确定性并行和精确时间语义等特性,因此被广泛用于设计和验证安全关键软件.随着安全关键领域应用多核处理器逐渐成为趋势,同步语言的多线程代码生成及其语义保持证明研究成为研究热点.目前,已有同步语言代码生成方法还较少考虑多线程代码生成的语义保持证明.因此,本文提出一种同步语言SIGNAL多线程代码生成的语义保持证明方法:首先形式化定义编译过程中源、目标、中间语言的结构化操作语义;其次形式化定义多线程代码生成过程;最后基于互模拟等价思想证明编译前后的语义一致性.; 袁胜浩杨志斌张博林周勇周勇BODELEIX Jean-PaulFILALI Mamoun; 关键词：安全关键软件 COQ

伊犁地块南缘古生代花岗岩类的地质特征及构造意义: 中亚造山带位于西伯利亚和华北、塔里木、东欧克拉通之间。人们普遍认为，在中元古代晚期至晚古生代期间，古亚洲洋的俯冲和多个岛弧、增生楔、海岛和海山的碰撞形成了这一造山带。中国新疆境内的西天山造山带位于中亚造山带的西南缘，对其...; 周勇; 关键词：花岗岩类地质特征古生代; 文献传递

一种基于自然语言需求的AADL模型组合验证性质自动生成方法: 本发明公开了一种基于自然语言需求的AADL模型组合验证性质自动生成方法，在以AADL为建模语言建立的软件模型验证阶段，通过该方法将输入的自然语言需求文本自动生成为形式化契约，该形式化契约插入原模型中，从而方便基于验证工具...; 杨志斌李晓劼张泽伦周勇薛垒李维

面向IMA的AADL多范式建模及代码自动生成方法被引量：10: 2021年; 综合模块化航空电子系统(Integrated Modular Avionics,IMA)是安全关键领域中一类重要的复杂嵌入式系统,具有分布式、异构、计算资源和物理资源强耦合等特征,单一建模语言无法完全覆盖该类系统的建模要求.近年来,多范式建模方法(Multi-Paradigm Modeling,MPM)已成为IMA设计的研究热点.AADL(Architecture Analysis and Design Language)是一种安全关键嵌入式系统体系结构描述语言,具有丰富的表达能力和可扩展性.本文提出一种面向IMA的AADL多范式建模及代码自动生成方法.首先,给出面向IMA的AADL多范式建模方法,即AADL用于表达IMA软硬件架构,AADL行为附件、同步语言SIGNAL和SDL(Specification and Description Language)用于描述软件构件的功能行为,分别支持状态机、同步数据流、异步执行等多种计算模型.其次,给出面向IMA的代码自动生成方法,涉及IMA任务、分区、内核3个层面的代码及其配置文件的自动生成.最后,在AADL开源建模环境OSATE中实现多范式建模和代码生成原型工具,并基于飞机空气增压系统案例,验证本文所提方法的有效性.; 邱宝杨志斌周勇周勇王铁鑫谢健; 关键词：AADL SDL 代码生成

一种基于机器学习的SCADE模型组合验证环境假设自动生成方法: 本发明公开了一种基于机器学习的SCADE模型组合验证环境假设自动生成方法，包括：基于SCADE支持的API，获取目标SCADE模型的I/O信息；对I/O信息进行映射处理，生成指定数量的测试用例；将测试用例转换为SCADE...; 杨志斌张泽伦李晓劼周勇黄志球李维

一种基于遗传算法的模糊关联规则挖掘方法被引量：1: 2012年; 文中提出了一种基于遗传算法的生成隶属度函数的方法,该方法通过遗传算法对初始种群进行优化,获得一个适应度较高的隶属度函数编码,然后再根据机场噪声数据的实际标准对优化后得到的隶属度函数进行修正,进而得到梯形分布的隶属度函数编码。最后通过得到的隶属度函数对数据进行模糊化,并采用FP-trees算法生成模糊关联规则。该文针对数量型属性提出了这种方法,它的优点是能够使通过遗传算法得到的较优的隶属度函数更加适用于实际的数据集。; 王畅周勇; 关键词：隶属度函数适应度模糊关联规则

一种面向IMA的AADL多范式建模及自动生成C代码的方法: 本发明公开了一种面向IMA的AADL多范式建模及自动生成C代码的方法，通过AADL表达IMA软硬件架构，AADL行为附件、同步语言SIGNAL和SDL描述软件构件的功能行为，以支持状态机、同步数据流、异步执行等多种计算模...; 杨志斌邱宝王飞谢健周勇; 文献传递

用分布式时序逻辑形式化分析IEEE802.11i协议: 2010年; 基于Caleiro提出的分布式时序逻辑,在其模型中增加了挑战问题集合和挑战应答集合,将IEEE802.11i协议转化为分布式时序逻辑的事件结构语义模型.形式化分析并证明了该协议的保密性以及协议中申请者、认证者、认证服务器之间的相互认证性.结果表明,IEEE802.11i协议是安全的.; 杨琳琳周勇; 关键词：形式化分析网络模型

基于状态约简的顺序图和状态图一致性检测被引量：4: 2014年; 为了解决系统设计过程中模型一致性问题,提出了一种对UML顺序图和状态图的语义一致性检测方法。该方法对顺序图和状态图一致性进行符号化描述,为一致性检测提供理论基础;提出状态约简规则和状态约简算法,能够减少冗余状态和迁移,证明了状态约简不影响一致性检测;提出改进的UML模型到PROMELA的转换方法并使用SPIN进行验证。实验表明上述方法能够有效地检测顺序图和状态图的一致性,在验证过程中减少冗余状态和迁移,转换后的代码结构简单、执行效率高。; 钱成燕雪峰周勇徐海生; 关键词：统一建模语言顺序图状态图