搜索筛选:
搜索耗时2.3315秒,为你在为你在102,285,761篇论文里面共找到 17 篇相符的论文内容
发布年度:
[学位论文] 作者：吉顺慧,,
来源：东南大学 年份：2015
面向服务的体系架构SOA(Service-Oriented Architecture)是分布式计算领域和软件技术发展的一个.里程碑。Web服务作为其实现基础,是一种自治、开放、自描述和实现无关的网络...
[期刊论文] 作者：吉顺慧,
来源：流行色 年份：2010
调经补气·当归党参炖乌鸡 【原料】 乌骨鸡1000克、当归、党参、麦冬、太子参、大茴香各2克、香菇30克、葱10克、蒜10克、姜10克、盐2克、糖5克、醋20克、料酒30克 【做法】 1 乌骨鸡洗净，香菇洗净切丁备用 2 砂锅用热水烫一下，再倒入......
[期刊论文] 作者：吉顺慧,张鹏程,
来源：计算机科学 年份：2020
程序控制流的设计是为实现正确的数据流服务的,数据流测试是非常重要的。文中将面向all-uses数据流准则的测试用例生成问题建模为多目标优化问题,提出了一种基于遗传算法的测...
[期刊论文] 作者：吉顺慧,易小燕,,
来源：流行色 年份：2010
调经补气·当归党参炖乌鸡[原料]乌骨鸡1000克、当归、党参、麦冬、太子参、大茴香各2克、香菇30克、葱10克、蒜10克、姜10克、盐2克、糖5克、醋20克、料酒30克Tiaojing Bu...
[期刊论文] 作者：陈乔乔,李必信,吉顺慧,
来源：计算机研究与发展 年份：2013
随着CPS在工业控制、智能交通、智能医疗等领域的广泛应用，安全性已成为目前CPS理论和应用研究的核心问题．提出了一种基于微分代数动态逻辑的CPS安全性验证方法，该方法首先把Hyb......
[期刊论文] 作者：吉顺慧,李必信,周宇,,
来源：东南大学学报(自然科学版) 年份：2011
为了更好地理解和分析Web组合服务的过程及其相关属性,针对个体服务的WSDL文档和服务组合规约BPEL,提出了基于UML的Web组合服务建模和验证方法.从服务的WSDL中提取消息、操作...
[期刊论文] 作者：吉顺慧,李必信,邱栋,
来源：电子学报 年份：2013
BPEL组合服务实现了Web服务的复用和增值,但其复杂性带来了一定的挑战.例如,BPEL流程中正确的数据流对确保服务组合的正确性是十分重要的,然而现有的研究很少关注这类问题.本...
[期刊论文] 作者：邵孟巧,吉顺慧,张鹏程,
来源：计算机与现代化 年份：2021
社交网络平台科研工作者数量的急剧增多使得寻找与自己兴趣相近的科研合作者变得十分困难。本文提出一种在ResearchGate平台下基于多维特征的科研合作者推荐方法。该方法结合...
[期刊论文] 作者：吉顺慧,张鹏程,胡鹤轩,,
来源：读与写 年份：2017
服务计算课程是我校计算机专业的主要理论课程之一，是学术研究型的专业提升课。为了培养学生自主学习国际前沿知识和技术的能力，该课程采用双语教学。本文从备课和课堂讲授这两......
[期刊论文] 作者：江艳,张鹏程,吉顺慧,李臣明,
来源：微型电脑应用 年份：2018
QoS（Quality of Service）是衡量第三方服务质量的重要标准,有效监控QoS是Web服务质量控制的必要过程。针对现有的QoS监控方法几乎只考虑单个QoS指标,无法满足用户的满意度要求...
[期刊论文] 作者：张功源,李必信,邱栋,吉顺慧,,
来源：计算机研究与发展 年份：2010
为了更好地对组合服务的控制流进行分析及验证,提出了一种基于并发的BPEL控制流模型.首先给出了该模型的定义,并通过把BPEL中选择结构的控制流转换为具有相同语义的并发结构...
[期刊论文] 作者：张鹏程,王丽艳,吉顺慧,李雯睿,
来源：软件学报 年份：2019
为准确并多步预测 Web 服务的服务质量(quality of service,简称 QoS),方便用户选择更好的 Web 服务,提出了一种基于多元时间序列的 QoS 预测方法 MulA-LMRBF(multiple step...
[会议论文] 作者：李加凯;李必信;朱敏;吉顺慧;,
来源：2011全国软件与应用学术会议(NASAC2011) 年份：2011
信息物理融合系统(Cyber-Physical systems，CPS)是一类融合了计算与物理过程，并且通过通信网络高度集成的物理设备系统。形式化验证作为验证系统正确性的重要方法已经成功...
[会议论文] 作者：朱敏,李必信,李加凯,吉顺慧,
来源：2011全国软件与应用学术会议(NASAC2011) 年份：2011
随着传感网络以及嵌入式系统等的发展，集计算、通信、控制于一体的信息CPS逐渐成为人们关注的热点。未来CPS将会应用到社会生活的各个方面，随着应用的越来越普及，CPS能否满足设计需求对系统设计实施显得至关重要。验证技术在保障和提高系统安全性、可靠性等方面起......
[期刊论文] 作者：何志鹏, 张鹏程, 江艳, 吉顺慧, 李雯睿,,
来源：软件学报 年份：2018
服务质量(quality of service,简称QoS)是衡量Web服务好坏的重要标准,也是用户选择Web服务的重要依据.能够实时而准确有效地对Web服务进行监控,是Web服务质量保障的重要基础....
[期刊论文] 作者：朱敏,李必信,陈乔乔,吉顺慧,李加凯,
来源：电子学报 年份：2012
随着信息物理融合系统（Cyber-Physical Systems,CPS）应用的越来越普及,CPS的设计和实现能否满足实际需求显得至关重要.本文提出了一种CPS建模与属性验证框架.在框架中,首先使用...
[期刊论文] 作者：叶仕俊,张鹏程,吉顺慧,戴启印,袁天昊,任彬,
来源：软件学报 年份：2020
随着神经网络等技术的快速发展,人工智能被越来越多地应用到安全关键或任务关键系统中,例如汽车自动驾驶系统、疾病诊断系统和恶意软件检测系统等.由于缺乏对人工智能软件系统全面和深入的了解,导致系统时常发生严重错误.人工智能软件系统的功能属性和非功能属......
相关搜索：
