【摘 要】
：
为了对体系结构设计中的作战事件跟踪描述进行建模分析,提出了用扩展时序图模型对作战事件跟踪描述进行建模的方法。定义时序图的生命线为时间消息,研究了时序图模型与Petri
【机 构】
：
国防科学技术大学信息系统工程重点实验室
【基金项目】
：
国家自然科学基金项目复杂信息系统功能活动模型集成分析方法（71071160）资助
论文部分内容阅读
为了对体系结构设计中的作战事件跟踪描述进行建模分析,提出了用扩展时序图模型对作战事件跟踪描述进行建模的方法。定义时序图的生命线为时间消息,研究了时序图模型与Petri模型之间的同构关系,以此为依据给出了时序图转换为Petri网的算法。在此基础上,研究了扩展时序图和对象Petri网之间的转换算法,并处理了扩展时序图中的自环消息特例。最后,结合防空作战过程给出该方法的一个应用案例。
其他文献
研究了基于MCMC的多目标跟踪算法。针对MCMC迭代过程中抽样置信度低以及不能进行有效迭代的问题,提出一种新的基于RJMCMC的视觉多目标跟踪算法。给定观测量,将跟踪问题建模为状态量的最大后验估计(MAP)、关于MAP的先验与似然的估计。借助匹配阵给出了目标先验建议分布,设计了4种马氏链可逆运动方式;似然度量采用随空间加权的颜色直方图匹配衡量。MCMC抽样过程中的状态由MS迭代产生,而不是随机走生
二维最小误差(TME)阈值法是一种有效的图像分割方法,但该方法计算复杂度高,难以实时处理,且该算法受噪声影响较大。针对此问题,提出了一种改进的TME阈值分割方法。首先,将传统的3×3模板分成互补的两个模板:十字模板和4-角域模板,并用这两个模板分别对原图像进行中值滤波得到两幅图像;然后,用两幅图像创建二维直方图并对其进行分割,以获得更好的分割性能;最后,对TME阈值选取公式进行简化得到最简公式,并
许多物联网应用根据带有时空关系约束的事件决定其下一步的动作。为了支持物联网应用检测这些时空事件,构建了发布/订阅中间件OPS4ST。OPS4ST允许用户在订阅中表达事件之间的多种时序、空间和逻辑关系;同时实现了时空事件的分布式检测,其能高效地检测到用户在订阅中所关心的时空事件是否发生。通过模拟实验评估了系统的性能和开销,实验结果表明,OPS4ST具有令人满意的性能和可接受的开销。
论述了将激光雷达的距离图像信息用于道路检测和跟踪。首先将扫描点进行聚类分析对道路边缘进行检测和对所检测的边缘进行最小二乘直线拟合，在成功检测道路边缘后，利用Kalman滤
提出一种基于仿生原理的Sobel算子容错方法。通过对蛋白质标记与识别、同类细胞替换、干细胞分化和异类细胞转换4种生物机制的模仿,设计了电子组织的结构,该结构具有层次化自
在家电企业的生命周期管理实践中，产品设计方面存在着手工建档、查询与协同性困难的状况。将本体理念引入家电领域，研究顶层本体及其语义扩展方法，提出功能语义扩展方法is-a，构建