nondetermi相关论文
针对时间戳乱序的无线射频识别（RFID）复杂事件检测带来的诸如建立事件关联关系的方法失效、判定复杂事件的构成时机困难、判定事件未......
针对非确定性系统，提出一种新的相容性测试方法。即推展〔１〕中所提出的对确定的有限状态相进行动态测试的方法，使之可应用于非确定的......
