针对如何保证业务流程设计模型与业务需求的一致性问题,在研究有限自动机模型的基础上,提出了一种业务流程的自动机模型构建和验证方法.采用扩展的带约束条件的确定有限自动机对业务流程设计模型进行形式化描述,使用线性时序逻辑表示业务需求,分别给出业务流程设计模型到自动机模型和自动机模型到Promela描述的转换算法,并通 ...
/dl/210767.html
标签: 业务 流程 形式化 设计 验证限自动机 模型检测 线性时序逻辑
上传时间: 2022-09-08
上传用户:philis
随着各个行业物联网(IoT)应用越来越广泛,独立业务的物联网系统已无法满足物联网业务“大规模”快速发展的需要.为有效支撑物联网各类业务,提高软件开发效率,应该面向社会各行业提供统一的物联网应用解决方案.在调研各个行业常用物联网业务系统的基础上,梳理出各类系统共性功能,把各系统的共性功能看作服务,提出一种基于企业 ...
/dl/206357.html
上传时间: 2021-06-15
上传用户:weifenfangcheng
该文研究了采用漏桶机制对自相似业务实施整形后, 输出业务流自相似性质的变化半定量地分析和仿真实验表明对于具有长程相关特性的自相似输人业务流......
/dl/206607.html
标签: 漏桶算法
上传时间: 2021-07-01
上传用户:foxjeri
无锡联通综合业务光端机网管工程项目书
/dl/210041.html
标签: 光端机
上传时间: 2022-08-31
上传用户:poem
1) 集中型光端机FC-912:FC-912型以太网光端机是采用专用的8E1与100M以太网混合复用专用芯片为核心构成的光纤传输系统。它可以最多配置12块光盘,支持24个光方向的传输,在每一个光方向上复用了4个E1电路和一个100M线速的以太网数据。配合基于PC的网络管理系统,FC-912能够与远端多台台式光端机组成星型光纤传输网络,可以 ...
/dl/210752.html
标签: 光端机
上传时间: 2022-09-07
上传用户:Maggie0701
摘 要:IMS(IP Multimedia Subsystem)网络中,S-CSCF(Serving Call Session Control Function)逐次匹配过滤准则的业务触发机制使呼叫信令在S-CSCF 与AS(Application Server)之间多次转发,增加了S-CSCF 实体的负载压力和呼叫延迟时间。该文在现有IMS 业务提供框架的基础上,提出分布式SCIM(DSCIM)业务触发机制,完成了业务 ...
/dl/210990.html
标签: IMS网络
上传时间: 2022-09-10
上传用户:wwl
智能家居终端系统及增值业务平台设计与实现下载,需要的自行下载!
/dl/212722.html
上传时间: 2022-09-28
上传用户:过去太年轻
改善的顺序顺序 提 示1 选择待改善的工作• 从日常业务中找出待改善的线索 量质人员频率安全疲劳程度等• 职务分配表 作业表职务
/dl/201100.html
上传时间: 2021-01-01
上传用户:kangminle
网络业务具有自相似性。为了有效地对自相似数据业务流进行控制、管理与疏导,必须快速获得业务流的Hurst参数。该文通过分析自相似业务流的特性,在研究小波分解、经验模态分解和R/S估值过程的基础上,提出一
/dl/201113.html
上传时间: 2021-01-01
上传用户:gacima
随着信息产业和集成电路技术的进步,嵌入式应用领域得到了蓬勃和快速的发展。嵌入式应用开发的重要特点是满足应用门类的多样化需求,嵌入式应用的多样化主要体现在目标机硬件平台的多样化,而硬件平台的多样化则对嵌入式系统平台的底层构建提出了严格要求,因此不同硬件平台底层构建研究是嵌入式开发中的一个重要问题。 嵌 ...
/dl/201223.html
上传时间: 2021-01-01
上传用户:custhzb