【摘 要】
：
多数目标建模方法关注于不同层次的目标关系。针对同一层次上的目标之间的时序关系,给出与目标建模相关的若干形式定义和命题,帮助分析人员判断目标间时序关系、并发及死锁。
【机 构】
：
解放军理工大学指挥自动化学院指挥自动化系
【基金项目】
：
国家“十一五”国防预研基金(9140A06020206JB8101);国家“863”高技术计划(2007AA01Z126)资助课题
论文部分内容阅读
多数目标建模方法关注于不同层次的目标关系。针对同一层次上的目标之间的时序关系,给出与目标建模相关的若干形式定义和命题,帮助分析人员判断目标间时序关系、并发及死锁。基于时序关系的传递性,给出目标关系建模的传递闭包算法,帮助分析人员直观地判断目标间的时序关系及其存在问题,科学、合理地标记各个目标的时序等级属性,便于目标精化工作的完成。
其他文献
喷雾机器人代替人工实现田间喷雾作业具有改善劳动者工作环境，避免操作者中毒、提高工作效率等优点，然而由于喷雾机器人田间作业环境的复杂性，在现有技术条件下，喷雾机器人还不能
针对卫星、导弹等目标的自旋运动产生的多普勒频移会影响逆合成孔径雷达(inverse synthetic aper-ture radar,ISAR)成像的质量。考虑了自旋运动对ISAR成像的影响,建立了自旋
油价冲击对汇率体系稳定性的影响是国际金融领域研究的重要课题,本文系统梳理和评价了国际汇率制度中间化倾向发展对油价冲击传导的非对称性和传导强度差异化影响的文献,市场
<正>2015年初,分析师们期盼这一年稀土价格保持稳定。但遗憾的是,结果令人失望,稀土价格进一步下跌,并导致美国稀土生产商钼公司申请破产保护,其下属的芒廷帕斯矿置于维护和
基于值空间投影的合成孔径雷达目标识别技术要求不同目标的值空间的交集应尽可能小。然而,对具有相似形态及结构的目标进行识别时,相应目标的值空间存在较大的交集部分,影响
利用屏蔽的系统寿命数据,在多重定数截尾样本下研究串联系统中部件的可靠性估计问题。首先利用概率元分析方法,推导样本似然函数。然后基于样本似然函数,给出部件参数和可靠
获取C4ISR系统需求非常困难,为了准确获取系统需求,尤其是动态行为需求,需要对系统行为进行建模。为此借鉴面向目标的需求分析方法,在C4ISR系统需求描述语言MEISRDL的基础上,
现有的访问控制模型,如RBAC和TBAC,大多为单策略访问控制模型,这些模型制定的角度不同,适用范围也不同,只能在一定的范围内使用。实际应用中,需要综合利用已有的多个模型的策
充分利用水声信道的稀疏特征,提出一种基于压缩传感理论的多输入多输出-正交频分复用(multi-ple-input multiple-output orthogonal frequency division multiplexing,MIMO-O