利用对象Petri网验证场景

序列图表示的场景常被用于系统开发早期的需求获取与描述,但因其弱语义性而难以被验证.将序列图表示的场景转换为语义精细的对象Petri网模型OPDL,并通过其仿真环境OPMSE对其进行仿真,将场景描述的系统行为"展示"给需求开发者和用户,以此进行行为需求的验证.     

谈公安边防部队信息网络建设

公安边防信息网络建设的水平是公安边防部队科技强警工作的一个重要方面。目前 ,公安边防信息网络建设和管理中还存在重建设轻管理 ,信息安全管理控制不够严密及信息网站建设和管理不规范等问题 ,必须按照公安部的有关要求 ,认真落实全国边防信息化工作会议精神 ,全面加强信息网络的规范化建设和管理 ,提高和推进公安边防部队科技强警工作的质量和水平。