新型马尔可夫序列生成器和生成马尔可夫序列的新方法

摘要

新型马尔可夫序列生成器和生成马尔可夫序列的新方法生成有可控性质，尤其是满足至少一个控制准则的性质的马尔可夫序列，控制准则是保持在序列条目上的可计算要求。马尔可夫序列以块方式生成，每块包含序列中的多个条目。每个块的生成期间，在马尔可夫序列空间中执行搜索以找到能满足控制准则的块大小的一系列条目。搜索可利用生成和测试的方法执行：生成块大小的马尔可夫序列，然后测试对控制准则的要求的遵从度。或者，搜索可通过将序列生成任务公式化为约束满足问题来执行，一个或多个约束确保所生成的序列是马尔可夫的，一个或多个约束实施控制准则的要求。序列生成器可用于用户经由输入设备(20)指定控制准则的交互式系统中。