本文提出的GPS(Global Position System)诱导系统,是一种以区域映射为手段、诱导为目的的转发式干扰系统.该系统通过对分布式转发器的干扰信号的时延控制,诱偏GPS制导的武器,如巡航导弹、精确制导炸弹等,使其偏离原有的目标而运动到一个特定的地域,从而实现对重要目标的保护.该方法的主要优点是可以控制被干扰目标的落点,防止其它干扰方法因落点不可控制而造成对重要设施和人员的毁伤.本文在给出GPS诱导系统的实现原理及其几何描述的基础上,分析了区域映射解的存在性和系统的可行性,并提出了今后需要进一步探讨的理论及工程问题.
目前的工作流过程验证方法多数侧重控制流特性验证,与数据或资源信息相结合的验证尚未得到很好发展.然而,业务过程的目标实现依赖于控制流、数据流和资源三维基本观点的协作.保证过程的目标实现需要验证这三维观点协作的正确性,称为语义验证.该文侧重讨论大型、灵活的过程语义验证问题.首先,形式化定义过程模型,综合体现三维基本观点,表达完整的过程语义,并使用基于组件的思想,具有一定可扩展性和灵活性.然后,通过探讨组件间的协作逻辑,提出基于组件的化简方法(Component Based Reduction,CBR)和化简规则,为过程语义验证提供有力支持.