期刊文献+
共找到45篇文章
< 1 2 3 >
每页显示 20 50 100
An action-based Markov chain modeling approach for predicting the window operating behavior in office spaces 认领
1
作者 Xin Zhou Tiance Liu +2 位作者 Da Yan Xing Shi Xing Jin 《建筑模拟(英文)》 SCIE EI 2021年第2期301-315,共15页
Reliable energy and performance prediction for building design and planning is important for newly-designed or retrofitted buildings.Window operating behavior has an important influence on the ventilation and energy c... Reliable energy and performance prediction for building design and planning is important for newly-designed or retrofitted buildings.Window operating behavior has an important influence on the ventilation and energy consumption of these buildings under different realistic scenarios.Therefore,quantitatively describing this behavior and constructing a prediction model are important.In this work,an action-based Markov chain modeling approach for predicting window operating behavior in office spaces was proposed.Two summer measurement data(2016 and 2018)were used to verify the accuracy and validity of the modeling approach.The opening rate,outdoor temperature,time distribution,and on-off curve were proposed as four inspection standards.This study also compared the prediction performance between the action-based Markov chain modeling approach with the state-based Markov chain modeling approach,which is the most popular modeling approach to model occupant window operating behavior.This study proved that the yearly variation of occupants’behavior performed a form of action that remained unchanged during a certain period.Meanwhile,the results also proved that the action-based Markov chain modeling approach can reflect the actual window operating behavior accurately within an open-plan office,which is a beneficial supplement for energy-consumption simulation software in a window-state prediction module.The state-based Markov chain modeling approach showed better stability and accuracy in terms of the opening rate,whereas the action-based Markov chain modeling approach showed good consistency with the measurement data in the on-off curves and in situations with little data.For the on-off curves,the accuracy of action-based modeling approach in the prediction of window open-state is 20%higher. 展开更多
关键词 window operating behavior stochastic-numerical model action-based modeling approach stochastic model verification
基于行为的安全验证码生成及验证方案研究 认领
2
作者 张艳 彭华熹 何申 《信息安全研究》 2020年第2期139-144,共6页
通过分析传统验证码存在的主要问题及安全现状,提出一种基于行为的安全验证码生成及验证方案.通过检测用户在验证码图片中输入的多个元素间的连线轨迹是否符合元素间的对应关系,来判断验证码的正确性,只有当用户输入的所有连线轨迹都被... 通过分析传统验证码存在的主要问题及安全现状,提出一种基于行为的安全验证码生成及验证方案.通过检测用户在验证码图片中输入的多个元素间的连线轨迹是否符合元素间的对应关系,来判断验证码的正确性,只有当用户输入的所有连线轨迹都被验证正确时才能通过验证码验证.方案能够有效解决现有技术中验证码需要用户通过键盘输入时的输入效率低、容易误操作等问题,提高验证码的输入效率;同时,能够解决现有技术中不能准确判断验证码是由人输入还是由机器人自动化操作进行输入的问题,有效增加程序自动识别验证码的难度和效率,降低恶意访问的通过率,适用于所有可能通过机器人自动化操作进行攻击的场景.方案具有用户体验好、安全性高、应用场景多、盈利渠道广等特点,市场发展前景良好. 展开更多
关键词 安全验证码 行为验证码 验证码生成 验证码识别 验证码验证 恶意访问
在线阅读 下载PDF
超声导波在层状管道结构传播性质的有限元模拟及验证 认领
3
作者 李赢 阎石 《沈阳建筑大学学报:自然科学版》 CAS CSCD 北大核心 2020年第4期645-652,共8页
目的使用有限元分析软件ABAQUS建立层状管道结构模型,克服试验中不能在任意位置设置传感器的弊端,不破坏外包层的前提下实现对结构层的损伤识别和健康监测.方法利用有限元模型能对管道结构任意位置和任意节点的信号进行提取和分析的优势... 目的使用有限元分析软件ABAQUS建立层状管道结构模型,克服试验中不能在任意位置设置传感器的弊端,不破坏外包层的前提下实现对结构层的损伤识别和健康监测.方法利用有限元模型能对管道结构任意位置和任意节点的信号进行提取和分析的优势,分析压电超声导波的轴向传播机理.然后制定同等条件的试验室模型,建立试验系统,验证有限元分析的准确性.随后采用试验方法定量分析外包层对结构层的影响.结果试验结果与有限元模型的端部反射波波形图相符合,在非频散区间,试验信号和有限元模拟信号的群速度误差较小.结论有限元模型能够准确地模拟压电超声导波在层状管道结构的传播性质,量化外包层影响后,为后续损伤识别研究奠定了基础. 展开更多
关键词 有限元模拟 层状管道结构 压电超声导波 传播性质 试验验证
在线阅读 下载PDF
职务犯罪大数据证据研究 认领
4
作者 丰叶 《科技与法律》 CSSCI 2020年第1期76-85,共10页
职务犯罪案件具有犯罪主体特殊性、犯罪行为隐蔽性、犯罪手段诡秘化等特点,给监察调查带来很大困难。大数据分析技术的出现,通过对海量数据进行筛选、汇总、提炼、形成结论并作为证据在职务犯罪案件监察调查、审查起诉、审判中使用,缓... 职务犯罪案件具有犯罪主体特殊性、犯罪行为隐蔽性、犯罪手段诡秘化等特点,给监察调查带来很大困难。大数据分析技术的出现,通过对海量数据进行筛选、汇总、提炼、形成结论并作为证据在职务犯罪案件监察调查、审查起诉、审判中使用,缓解职务犯罪案件"口供中心主义"的调查惯习对被调查人权利造成的威胁。职务犯罪案件大数据证据的获取应当遵循关联指引、利用再生证据、围绕职务行为展开,其举证、质证过程中应当依托和尊重大数据的多维性、智能化,对大数据证据进行实质化审查,实现对算法的理论指引,并合理运用印证证明规则对其进行检验。 展开更多
关键词 大数据证据 职务行为 关联指引 实质性审查 印证证明
在线阅读 下载PDF
证据理论和神经网络的上网行为预警模型 认领
5
作者 梁勇 穆肇南 +1 位作者 张俊 刘伟 《现代电子技术》 北大核心 2020年第2期17-19,共3页
传统预警模型对上网行为进行预警时,存在预警性能差与预警精度较低的问题,基于此提出基于证据理论和神经网络的上网行为预警模型。根据证据理论的定义计算出分配理论框架的矩阵,对用户的上网行为进行分配。根据神经网络的结构特点,计算... 传统预警模型对上网行为进行预警时,存在预警性能差与预警精度较低的问题,基于此提出基于证据理论和神经网络的上网行为预警模型。根据证据理论的定义计算出分配理论框架的矩阵,对用户的上网行为进行分配。根据神经网络的结构特点,计算出隐层的节点输出,最终得出上网行为预警模型,并给出模型建立的整体流程图。实验结果表明,所提方法可以高效率、高精度地完成用户上网行为的预警,最高效率可达到95.5%,具有一定的实际应用性。 展开更多
关键词 构建预警模型 上网行为 证据理论 神经网络 参数设置 实验验证
在线阅读 免费下载
支持向量机算法在船舶网络入侵检测中的应用 认领
6
作者 刘钊勇 《舰船科学技术》 北大核心 2019年第18期169-171,共3页
入侵行为严重威胁船舶网络安全,对其入侵检测进行研究具有重要的意义,针对当前船舶网络入侵检测存在精度低、错误率高等不足,设计了一种支持向量机算法的船舶网络入侵检测模型。首先分析船舶网络入侵原理,并且提取船舶网络入侵检测特征... 入侵行为严重威胁船舶网络安全,对其入侵检测进行研究具有重要的意义,针对当前船舶网络入侵检测存在精度低、错误率高等不足,设计了一种支持向量机算法的船舶网络入侵检测模型。首先分析船舶网络入侵原理,并且提取船舶网络入侵检测特征,然后采用支持向量机算法根据入侵检测特征建立船舶网络入侵检测分类器,并引入和声搜索算法对船舶网络入侵检测分类器的参数进行优化,最后以某一个船舶网络入侵检测数据为例进行了验证性测试。支持向量机算法克服了当前船舶网络入侵检测模型的局限性,入侵检测精度超过90%,减少了入侵检测错误,检测效果要优于当前其他船舶网络入侵检测模型,是一种有效的船舶网络入侵检测模型。 展开更多
关键词 船舶网络 入侵行为 分类器设计 验证性测试 检测错误
在线阅读 下载PDF
面向对象软件系统行为监控及其验证策略 认领
7
作者 张杰 《信息与电脑》 2019年第10期117-119,共3页
随着信息技术的不断发展,软件系统也在不断的演化,变得越来越复杂、庞大,在社会各个领域中发挥着越来越重要的作用。随着用户对软件系统应用需求的不断增加,软件系统在运行时往往会发生一些错误,软件规模在不断扩大,分布式计算等应用也... 随着信息技术的不断发展,软件系统也在不断的演化,变得越来越复杂、庞大,在社会各个领域中发挥着越来越重要的作用。随着用户对软件系统应用需求的不断增加,软件系统在运行时往往会发生一些错误,软件规模在不断扩大,分布式计算等应用也在不断普及,人们对软件系统的可信问题也越来越关注。而与传统软件维护技术相比,面向对象软件系统基于监控和验证的方法,能有效保障软件系统的可信运行。笔者对面向对象软件系统行为监控和验证问题进行了研究,为了使面向服务的架构更适应动态演化的需求,提出了基于体系结构空间、支持动态演化的面向对象软件系统行为监控及验证的SASM模型。 展开更多
关键词 软件行为 监控及验证 SASM模型
在线阅读 下载PDF
基于BP神经网络的船舶网络安全状态评价 认领
8
作者 刘坤 《舰船科学技术》 北大核心 2019年第20期157-159,共3页
船舶网络是一种特殊的移动网络,面临巨大的安全隐患,传统线性船舶网络安全状态评价的偏差大,结果极不科学。为改善船舶网络安全状态评价效果,设计了基于BP神经网络的船舶网络安全状态评价方法。该方法首先分析船舶网络安全状态评价影响... 船舶网络是一种特殊的移动网络,面临巨大的安全隐患,传统线性船舶网络安全状态评价的偏差大,结果极不科学。为改善船舶网络安全状态评价效果,设计了基于BP神经网络的船舶网络安全状态评价方法。该方法首先分析船舶网络安全状态评价影响因素,采集船舶网络安全状态评价数据,然后将影响因素和船舶网络安全状态评价分别作为BP神经网络的输入和输出,通过BP神经网络学习,对船舶网络安全状态进行评价,最后采用VC编程实现了船舶网络安全状态评价仿真实验,结果显示BP神经网络可以区分各种船舶网络安全状态,评价准确性得到大幅度改善,同时提升了船舶网络安全状态评价效率,可以有效保证船舶网络安全。 展开更多
关键词 船舶网络 安全状态 评价因子 入侵行为 验证性实验
在线阅读 下载PDF
基于行为声明的可信性测试方法与可信度计算研究 认领
9
作者 于学军 肖然 《计算机系统应用》 2018年第11期17-26,共10页
针对软件行为的可信性进行了测试方法与度量标准的研究.在测试方法上,通过在软件开发阶段植入可信埋点模块的方式获取行为的动作路径,以"言行一致"思想为依据,将软件的行为声明与动作路径做比对,得到可信性测试的新方法.在判定标准上... 针对软件行为的可信性进行了测试方法与度量标准的研究.在测试方法上,通过在软件开发阶段植入可信埋点模块的方式获取行为的动作路径,以"言行一致"思想为依据,将软件的行为声明与动作路径做比对,得到可信性测试的新方法.在判定标准上针对动作路径提出显性可信性判断指标和隐性可信指标,在度量上提出基于Kmeans聚类的隐性指标判定模型,并将此应用在单一行为的可信度计算以及相似行为的可信甄别上.通过实验验证了方法的可行性,为可信性测试提供了新的思路. 展开更多
关键词 软件可信性 软件行为 行为声明 可信性测试 可信度计算
在线阅读 下载PDF
协同业务过程建模与行为验证 认领
10
作者 赵莹 潘华 +2 位作者 张云猛 莫启 代飞 《计算机科学》 CSCD 北大核心 2018年第B11期597-602,共6页
对协同业务过程进行建模和行为验证是确保业务过程正确实施的关键。文中提出了一种协同业务过程的建模和行为验证方法。首先,该方法使用有限状态自动机建模每个参与组织的业务过程,并通过集中式消息缓冲区,将业务过程异步组合为协同业... 对协同业务过程进行建模和行为验证是确保业务过程正确实施的关键。文中提出了一种协同业务过程的建模和行为验证方法。首先,该方法使用有限状态自动机建模每个参与组织的业务过程,并通过集中式消息缓冲区,将业务过程异步组合为协同业务过程;其次,提出了行为约束的声明式模板,用于定义协同业务过程中的行为约束关系,并通过映射规则,将行为约束关系转换为LTL(Linear Temporal Logic)公式;最后,提出了行为验证框架,借助进程分析工具PAT,实现了对协同业务过程行为的自动验证。通过对电力突发公共事件应急处置系统的建模与行为验证,阐述了所提方法的可行性和有效性。 展开更多
关键词 协同业务过程 业务过程 异步消息通信 行为验证 模型检测
在线阅读 免费下载
大学生网购行为影响因素及实证研究 认领 被引量:2
11
作者 马颖莉 黄燕 +2 位作者 张爱国 李洪 石雪姗 《江苏商论》 2018年第9期35-38,47共5页
本文在充分阅读大量文献以及进行理论研究的基础之上,并总结前人的研究结果,采用问卷调查方式,搜集数据,分析大学生网络购物消费行为影响因素以及构建消费者行为模型,并基于SPSS软件和Amos软件对相关概念模型和假设进行验证,得出本文的... 本文在充分阅读大量文献以及进行理论研究的基础之上,并总结前人的研究结果,采用问卷调查方式,搜集数据,分析大学生网络购物消费行为影响因素以及构建消费者行为模型,并基于SPSS软件和Amos软件对相关概念模型和假设进行验证,得出本文的结论。研究结果表明:(1)网站操作对大学生网络消费满意度产生正影响,同时也显著地影响着网购信任度。(2)商品因素显著地正向的影响网购满意度。(3)销售服务显著地正向影响大学生网购满意度。(4)网购安全显著地正向影响着大学生网购信任度。(5)满意度显著地正向影响大学生信任度,信任度正向的影响大学生最终消费行为。最后针对研究结果提出本文研究结论并为电子商务企业提供营销建议,以促进电商行业的健康持续发展。 展开更多
关键词 网络消费 行为 调查 信度分析 验证
在线阅读 下载PDF
基于场景行为的需求建模及质量特性检测 认领 被引量:1
12
作者 金欢 黄箐 《计算机应用研究》 CSCD 北大核心 2016年第5期1384-1389,1398共7页
为在需求分析阶段验证软件是否满足非功能质量要求,提出一种基于场景行为的需求建模及质量特性检测方案。该方案定义能够建立高精度、可推理、易理解的需求行为模型的行为描述语言BDL,构造需求行为模型到状态迁移模型CCS的模型转换函数... 为在需求分析阶段验证软件是否满足非功能质量要求,提出一种基于场景行为的需求建模及质量特性检测方案。该方案定义能够建立高精度、可推理、易理解的需求行为模型的行为描述语言BDL,构造需求行为模型到状态迁移模型CCS的模型转换函数,以互模拟的定义为前提,验证转换函数的正确性,进而开发可信建模检测工具MTS。该工具导出的行为模型能够与质量特性表达式一起导入特性检测工具CWB实现质量检测。最后,使用该工具对手机软件升级这一需求进行行为建模,成功验证手机软件的一致性、安全性、行为可信性及行为非终止性。 展开更多
关键词 场景行为 行为建模 模型转换 可信验证 特性检测
在线阅读 下载PDF
基于UPPAAL的认知机器人控制行为建模与验证 认领 被引量:8
13
作者 巩卫卫 王瑞 李晓娟 《小型微型计算机系统》 CSCD 北大核心 2016年第6期1279-1283,共5页
随着机器人技术的高速发展,越来越多的人开始聚焦到认知机器人领域的研究,机器人系统中的两大研究领域主要是路径规划和任务规划,而传统的规划问题主要侧重于任务规划.本文的研究是在机器人基于行为的控制结构的基础上,提出机器人系统... 随着机器人技术的高速发展,越来越多的人开始聚焦到认知机器人领域的研究,机器人系统中的两大研究领域主要是路径规划和任务规划,而传统的规划问题主要侧重于任务规划.本文的研究是在机器人基于行为的控制结构的基础上,提出机器人系统的任务规划层次框架.认知机器人的大部分的控制行为需要人的参与,这就要求这类机器人系统具有在线自适应的能力,而采用传统的验证方法验证其正确性和实时性上存在一定的局限性.采用形式化方法对认知机器人系统的简单实例建模并验证几个重要的属性,采用时间自动机对系统进行形式化的描述,并结合符号化模型检测工具Uppaal进行验证.针对系统的重要属性采用计算树逻辑的形式表述. 展开更多
关键词 认知机器人系统 行为验证 符号化模型检测 UPPAAL
考虑残余变形影响的混凝土疲劳损伤本构模型 认领 被引量:8
14
作者 卫军 李松林 +2 位作者 董荣珍 刘晓春 吴志强 《湖南大学学报:自然科学版》 EI CAS CSCD 北大核心 2016年第7期57-61,共5页
从分析混凝土材料的基本损伤机制出发,考虑疲劳荷栽作用下混凝土的损伤累积和残余变形,推导了由Helmholtz自由能表示的混凝土本构方程,根据变分原理建立了基于能量的混凝土疲劳损伤本构模型.并根据疲劳过程中残余变形的发展规律,... 从分析混凝土材料的基本损伤机制出发,考虑疲劳荷栽作用下混凝土的损伤累积和残余变形,推导了由Helmholtz自由能表示的混凝土本构方程,根据变分原理建立了基于能量的混凝土疲劳损伤本构模型.并根据疲劳过程中残余变形的发展规律,定义了物理意义明确的残余变形影响因子,并将其与混凝土变形模量损伤因子一同融入混凝土疲劳损伤本构模型中,为混凝土疲劳行为的计算机分析提供了一种更为精确、简化的混凝土疲劳本构模型.试验数据和数值算例的对比误差不超过39,6,从而验证了该模型的准确性与适用性. 展开更多
关键词 混凝土 残余变形影响因子 疲劳行为 疲劳损伤本构模型 模型验证
在线阅读 下载PDF
职场排斥对员工主动性行为的影响机制--基于自我验证理论的视角 认领 被引量:41
15
作者 刘小禹 刘军 +1 位作者 许浚 吴蓉蓉 《心理学报》 CSSCI CSCD 北大核心 2015年第6期826-836,共11页
从被排斥个体的角度出发,以自我验证理论视角,研究了职场排斥对员工主动性行为的影响机制,考察在以上关系中员工的组织自尊的中介作用和员工的个性特征神经质的调节作用。针对3次追踪调查所得的403名员工和主管配对数据的层级回归分... 从被排斥个体的角度出发,以自我验证理论视角,研究了职场排斥对员工主动性行为的影响机制,考察在以上关系中员工的组织自尊的中介作用和员工的个性特征神经质的调节作用。针对3次追踪调查所得的403名员工和主管配对数据的层级回归分析发现:职场排斥对员工的组织自尊和主动性行为具有显著的负向影响;组织自尊对主动性行为有显著的正向影响;组织自尊中介了职场排斥与员工主动性行为之间的关系;神经质增强了职场排斥与组织自尊之间的关系,员工神经质程度越高,职场排斥与组织自尊之间的负向关系就越强。 展开更多
关键词 职场排斥 主动性行为 自我验证 组织自尊 神经质
在线阅读 免费下载
基于生成图的体系结构动态行为语义一致性验证方法 认领
16
作者 李志淮 谭贤四 +1 位作者 王红 陈岩 《系统工程理论与实践》 EI CSSCI CSCD 北大核心 2014年第2期471-477,共7页
针对体系结构动态行为的语义一致性验证问题,提出了基于生成图的验证方法.首先根据体系结构的动态行为模型构建生成图,然后对生成图的逻辑结构和时间信息进行分析,来完成动态行为模型的逻辑关系和时序关系一致性验证.该方法不但能... 针对体系结构动态行为的语义一致性验证问题,提出了基于生成图的验证方法.首先根据体系结构的动态行为模型构建生成图,然后对生成图的逻辑结构和时间信息进行分析,来完成动态行为模型的逻辑关系和时序关系一致性验证.该方法不但能够有效解决动态行为的语义一致性验证问题,而且还能准确定位模型中出现问题的地方,指导用户进行模型不一致处理和优化动态模型.同时,生成图可供多个模型间的动态行为一致性验证,实用性更强,且在可理解性、可分析性等方面上相比传统方法具有较大改善. 展开更多
关键词 体系结构 动态行为 一致性验证 生成图
一种验证软件演化过程行为的代数推导方法 认领
17
作者 代飞 王黎霞 +2 位作者 谢仲文 张璇 朱锐 《江苏大学学报:自然科学版》 CAS CSCD 北大核心 2013年第5期548-555,共8页
针对现有软件过程验证主要以结构验证和性质验证为主,缺乏行为验证的不足,提出了一种验证软件演化过程行为的代数方法.该方法使用通信进程代数ACP对软件演化过程元模型EPMM进行扩展,提出软件演化过程元模型代数EPMM—A.针对EPMM建... 针对现有软件过程验证主要以结构验证和性质验证为主,缺乏行为验证的不足,提出了一种验证软件演化过程行为的代数方法.该方法使用通信进程代数ACP对软件演化过程元模型EPMM进行扩展,提出软件演化过程元模型代数EPMM—A.针对EPMM建模产生的软件演化过程模型,一方面使用EPMM—A形式定义软件演化过程模型的行为规约,另一方面在其公理系统的支持下,基于等式推导验证软件演化过程模型的行为与行为规约是否一致,使行为验证方式从模型推导(非形式化)变为代数推导(形式化).为了说明代数推导的正确性,证明了软件演化过程元模型代数的公理系统具有可靠性. 展开更多
关键词 软件过程验证 行为验证 代数推导 PETRI网 ACP 公理系统
在线阅读 免费下载
基于澳大利亚标准的铁路货车动力学性能仿真分析 认领
18
作者 张文龙 吕可维 《机械工程师》 2013年第11期108-110,共3页
介绍了澳大利亚AS7509.2铁路货车动力学性能评价标准及基于该标准设计铁路货车的优化设计万法,建立了该车的动力学模型并进行了动力学性能的仿真分析,通过与试验结果对比,验证了动力学模型的准确性.
关键词 AS7509 2标准 优化设计 动力学性能 模型验证
在线阅读 下载PDF
面向软件行为的需求模型及特性检测 认领 被引量:8
19
作者 吴怀广 毋国庆 +1 位作者 陈曙 万黎 《计算机研究与发展》 EI CSCD 北大核心 2011年第5期 869-876,共8页
软件需求模型及其检测是软件需求工程中的重要工作.在分析现有需求建模方法和软件行为相关研究的基础上,对将软件行为概念引入需求模型进行了详细的阐述,提出一个面向软件行为的需求模型描述语言BDL(behavior description language),... 软件需求模型及其检测是软件需求工程中的重要工作.在分析现有需求建模方法和软件行为相关研究的基础上,对将软件行为概念引入需求模型进行了详细的阐述,提出一个面向软件行为的需求模型描述语言BDL(behavior description language),定义了它的语法、语义;讨论了CCS(calculus of communication system)与BDL的转换关系,构造了BDL到CCS的转换函数M〖-〗;给出了需求模型的系统一致性、系统安全性、行为可信性及行为非终止性等4种系统特性的时序逻辑描述;最后用模型验证工具CWB(Concurrency Work Bench)对BDL描述的具体实例进行验证分析. 展开更多
关键词 软件行为 需求模型 系统特性 逻辑刻画 特性检测
在线阅读 下载PDF
组合E-服务的活动链行为模式设计及验证 认领
20
作者 陈波 曾国荪 +1 位作者 李莉 鲍宇 《同济大学学报:自然科学版》 EI CAS CSCD 北大核心 2011年第3期 427-433,共7页
提出一种新颖的活动链的行为规范概念,该概念的粒度介于活动和场景概念之间,并根据基于活动链的行为刻画需求,设计"链存在、链缺失、链前提和链因果"四个行为模式,并给出这些模式到标记迁移系统LTS的映射规则,精确刻画了行为模式的操... 提出一种新颖的活动链的行为规范概念,该概念的粒度介于活动和场景概念之间,并根据基于活动链的行为刻画需求,设计"链存在、链缺失、链前提和链因果"四个行为模式,并给出这些模式到标记迁移系统LTS的映射规则,精确刻画了行为模式的操作语义,通过定义组合E-服务满足活动链模式的内涵,给出可满足性验证的充要条件和判定算法,最后给出实例分析. 展开更多
关键词 活动链 行为模式 组合E-服务 可满足性验证 标记迁移系统
在线阅读 下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部 意见反馈