论文部分内容阅读
针对移动环境下订阅分发服务的需求,提出了基于位置的订阅分发协议（LBPSP）。应用高级Petri网对LBPSP协议的核心操作进行建模,并对协议的正确性与异常处理完备性进行了验证。
移动环境下订阅分发协议的随机Petri网模型
【摘 要】
：
针对移动环境下订阅分发服务的需求,提出了基于位置的订阅分发协议（LBPSP）。应用高级Petri网对LBPSP协议的核心操作进行建模,并对协议的正确性与异常处理完备性进行了验证。
【机 构】
：
中央财经大学信息学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2008年3期
【基金项目】
：
国家自然科学基金（the National Natural Science Foundation of Chlna under Grant No.60673162）,北京自然科学基金（the Natural ScienceFoundation of Beijing of China under Grant .No.4073041）.
其他文献
2型糖尿病微量白蛋白尿者（MAU）42例,正常白蛋白尿者118例。MAU组年龄较大,血压、臂踝脉搏波传播速度（baPWV）和颈动脉内中膜厚度（IMT）均较高（P均〈0.05）,MAU正相关于baPWV和IMT（r分别为
提出了基于蕴涵算子族L-λ-R0的模糊推理的思想，这将有助于提高推理结果的可靠性。针对蕴涵算子族L-λ-R0给出了模糊推理的FMP模型及FMT模型的三Ⅰ约束算法。
针对爬壁机器人工工作的复杂壁面工况，设计了一种可用于沟槽壁面的“自适应式多真空室吸盘”，理论上分析了控制开关的工作原理及其设计参数，通过实验证明了此吸盘的可行性。
童树根(中国书协会员)万传新与我是同乡,出生在凤台;都是喝着淮河水长大的。不过,与他相识、过从到了解,只是近十年的事。十年前,我刚脱下军装成为一名铁路员工,工作之余,常
阐述了实验室条件下修改理想负滤光片膜系的可行性，采用新膜系镀制的光学器件满足了单态氧二聚物非线性效应实验研究的需要，修改后的负滤光片膜系用到三种介质材料（ＴｉＯ２＋ＺｒＯ２）５：３混合料，ＺｒＯ２及ＳｉＯ２，比理
用石墨粉－环氧树脂混合物为阳极，以钛基ＲｕＯ２／ＴｉＯ２涂层作为阴极，采用浸渍涂膜法固定葡萄糖氧化酶，构造了一种全新的葡萄糖传感器，该传感器具有对葡萄糖的稳态响应时间短、线性检测范围宽、灵
分割与跟踪一直是视频图像处理的一个热门问题。针对篮球视频中激烈运动的球员队属和跟踪问题,实现了一个实时的球员分割与跟踪算法。首先,不同于一般的分割方法,采用基于两个级别(像素级和帧级)实时分割和背景更新的背景减除方法,实现了对球员的分割;接着,通过将球员与模板进行马式距离比较来辨识球员队属;然后,使用基于核的目标跟踪方法,实现了在激烈比赛中对球员的准确跟踪。实验结果表明,提出的算法能够很好地辨别各
在DNA算术运算的模型中普遍应用二进制，受制于进位的影响，难以实现并行运算但在剩余数制中，算术运算（加、减、乘）在剩余位之间不存在进位，故可降低运算过程的复杂度，可以充分利用DNA