期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
采用经典一阶逻辑的混合系统仿真逻辑验证法
1
作者 卢中宁 付金华 张志锋 《湖南师范大学自然科学学报》 CAS 北大核心 2015年第2期84-89,共6页
针对混合系统难以分析和验证的问题,提出了一种采用经典一阶逻辑的混合系统仿真逻辑验证法.首先给出了混合程序、混合系统仿真逻辑公式、仿真逻辑的命题形式和含义、混合仿真、混合程序仿真语义、仿真逻辑公式的值等定义,然后在经典一... 针对混合系统难以分析和验证的问题,提出了一种采用经典一阶逻辑的混合系统仿真逻辑验证法.首先给出了混合程序、混合系统仿真逻辑公式、仿真逻辑的命题形式和含义、混合仿真、混合程序仿真语义、仿真逻辑公式的值等定义,然后在经典一阶逻辑、混合程序仿真语义和仿真逻辑公式的值的基础上给出仿真逻辑形式推演规则.最后通过煮鸡蛋的例子验证了混合系统的活性. 展开更多
关键词 混合程序 仿真逻辑公式 仿真语义 形式推演规则
下载PDF
GPRS中QoS管理机制研究
2
作者 刘衍珩 王爱民 +1 位作者 时景荣 苑森淼 《小型微型计算机系统》 CSCD 北大核心 2002年第6期658-662,共5页
通用无线分组业务 (GPRS)中服务质量 (Qo S)管理机制是当前 GPRS研究的热点 ,它包含四大部分 :业务源特性描述、整形与监管 (Shaping/Policing)、调度 (Scheduling)和接纳控制 (CAC) ,其中 CAC是核心 .本文对每一部分的机理和实现算法... 通用无线分组业务 (GPRS)中服务质量 (Qo S)管理机制是当前 GPRS研究的热点 ,它包含四大部分 :业务源特性描述、整形与监管 (Shaping/Policing)、调度 (Scheduling)和接纳控制 (CAC) ,其中 CAC是核心 .本文对每一部分的机理和实现算法进行了描述 ,且给出了相应的试验方案 ,包括业务源选择和仿真语义、分组类型和比率的定义 . 展开更多
关键词 GPRS QOS 管理机制 接纳控制 仿真语义 服务质量 GSM网络
下载PDF
SERVICE COMMUNITY CONSTRUCTION METHOD OF INTERNET OF THINGS BASED ON SEMANTIC SIMILARITY 被引量:1
3
作者 Wang Yang Zhang Linjing +2 位作者 Huang Yakun Zhao Baohua Zhao Chuanxin 《Journal of Electronics(China)》 2013年第1期49-56,共8页
Internet of Things (IoT) as an important and ubiquitous service paradigm is one of the most important issues in IoT applications to provide terminal users with effective and efficient services based on service communi... Internet of Things (IoT) as an important and ubiquitous service paradigm is one of the most important issues in IoT applications to provide terminal users with effective and efficient services based on service community. This paper presents a semantic-based similarity algorithm to build the IoT service community. Firstly, the algorithm reflects that the nodes of IoT contain a wealth of semantic information and makes them to build into the concept tree. Then tap the similarity of the semantic information based on the concept tree. Finally, we achieve the optimization of the service community through greedy algorithm and control the size of the service community by adjusting the threshold. Simulation results show the effectiveness and feasibility of this algorithm. 展开更多
关键词 Internet of Things (IoT) Service community Semantic similarity Concept tree
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部