论文研究The Formal Model of Realtime Service Components Composition Based on Duratio
基于时段演算的实时服务构件组装形式化模型,金仙力,马华东,本文提出一种基于时段演算(一种区间时序逻辑)的实时服务构件组装建模新方法.首先给出了服务构件的形式化定义.接着详细分析了采用��
用户评论
推荐下载
-
A Novel Multimodal Retrieval Model based on ELM
A Novel Multimodal Retrieval Model based on ELM
17 2021-02-27 -
A rumor spreading model based on information entropy
A rumor spreading model based on information entropy
12 2021-02-26 -
Model Based Smoothing of Linear and Nonlinear Processes
In statistics and image processing, to smooth a data set is to create an approximating function that
24 2021-04-18 -
Model Based Hysteresis Compensation for IPMC Sensors
Ionic Polymer-Metal Composite (IPMC) is a kind of smart material which can be used as sensors or act
25 2021-02-19 -
Text classification based on SMO and fuzzy model
Text classification based on SMO and fuzzy model
17 2021-02-21 -
Based on the bidding model of spectrum allocation algorithm
为解决认知无线网络中授权用户和认知用户的频谱共享问题,通过研究认知用户对主用户的影响和认知用户的竞价行为,引入干扰价格以及切换代价,设计了认知用户的效用函数,建立了相应的频谱竞价拍卖模型,并通过纳什均
12 2021-02-21 -
Software trust evaluation model based on Markov
Software trust evaluation model based on Markov
10 2021-02-19 -
Indoor Space Model Based on Knowledge Graph
Indoor Space Model Based on Knowledge Graph
24 2021-02-10 -
rmi_based distributed timer service
基于RMI的分布式时间服务器,这是一个Eclipse下的工程文件,由于加了安全策略文件,另外给出了运行程序的批处理文件,在\bin目录下。
34 2019-04-07 -
A formal analysis of Trusted Platform Module2.0hash based message authenticati
A formal analysis of Trusted Platform Module 2.0 hash-based message authentication code authorizatio
9 2021-03-27
暂无评论