离散事件系统的非确定性状态反馈控制(Ⅱ)

讨论了具有强迫事件的非确定性离散事件系统的非确定性状态反馈控制;在给定闭环系统行为规范的条件下得到并证明了非确定性状态反馈控制器存在的充分必要条件。     

集合识别问题的D序列和UIO序列的一种推导方法

集合识别方法是非确定性分布式系统相容性测试的一种新方法，是经典的状态识别方法的一种扩展，提出了在集合识别问题中使用的推导Ｄ序列和ＵＩＯ序列的方法。     

智能生命随意性行为模型

将人工生命与人工智能相结合,并应用于计算机动画的研究.在用人工生命方法生成的计算机动画中,智能生命在虚拟环境中的行为有程序员事先设定好的预定义行为,同时也有随机出现的随意性行为.以人工鱼为例,建立了智能生命随意性行为的认知模型,并利用子集搜索等技术提高搜索效率.仿真结果表明,利用认知模型,智能生命可以较好地处理某些随机事件.     

基于自组装算法破译RSA公钥密码系统

研究了如何利用自组装技术对公钥密码系统RSA进行密码分析,提出了破译RSA公钥密码系统的自组装算法.创建3个子系统,包括非确定性指派子系统、乘法子系统和比较子系统,在此基础上建立自组装模型,提出自组装非确定性算法将整数分解为2个素因子的乘积,该方法用常量种类的Tile类型在多项式时间内能成功分解整数,且通过其并行计算的特点破译RSA密码系统.     

二维二方向有限自动机的识别能力研究

研究了3种有限自动机,即二维二方向的确定型、非确定型以及Las Vegas有限自动机.证明存在语言能被二维二方向的Las Vegas有限自动机识别,但不能被相应的确定型有限自动机识别;存在语言能被二维二方向的非确定型有限自动机识别,但不能被相应的Las Vegas有限自动机识别.研究结果表明,二维二方向的Las Vegas有限自动机所识别的语言真包含确定型有限自动机所识别的语言;二维二方向的非确定型有限自动机所识别的语言真包含Las Vegas有限自动机所识别的语言.     

非确定部分有限状态机的一种新的一致性关系及其测试

在系统实际测试过程中,发现非确定部分有限状态机的模型可以方便地描述和刻画许多系统的逻辑行为.但在这种模型下,状态机并非完全接受所有的输入序列,且在某些输入序列上会产生不确定的输出序列,所以,经典的完全确定有限状态机的一致性定义,即被测实现和协议规范等价,不适用于非确定部分有限状态机.本文引入了一种新的一致性定义,并在非确定部分有限状态机下,给出了该一致性定义下完备的测试序列生成方法.     

边坡稳定性分析的扰动函数法

引入扰动力的概念，提出了边坡稳定性分析的扰动函数法．该方法不受分条模式的限制，采用同一数学模型对边坡稳定进行确定性和非确定性分析，克服了计算模型不同而引起分析结果的差异．扰动函数曲线可以全面描述边坡的稳定状态，并为边坡加固设计提供理论依据．     

离散事件系统的非确定性状态反馈控制(Ⅰ)

在离散事件系统（ＤＥＳ）中引入了强迫事件,讨论了确定性ＤＥＳ的非确定性状态反馈控制,其中对闭环系统的行为规范得到并证明了非确定性状态反馈控制器存在的充分必要条件。     

复杂机械产品设计知识推理方法及软件系统

复杂机械产品设计涉及的领域知识广泛,类型复杂．基于实例的推理方法是知识推理中的一种重要方法。特别适用于复杂机械产品的设计知识推理．本文采用基于实例的推理方法,设计了复杂机械产品设计知识推理流程．在此基础上,提出一个快速实例检索流程,并给出了快速实例推理相似度计算方法．根据上述理论和方法,开发实现了一个复杂机械产品设计知识推理系统．