该文把图论中的有关工程应用问题用图示语言的观点进行解释和分类;定义了一种描述图论中某些工程问题求解的算法语言(称之为图论问题算法语言或者ALG);设计了自动地把ALG程序转化为PASCAL程序的软件工具——STATP(Software Tool to Tran...该文把图论中的有关工程应用问题用图示语言的观点进行解释和分类;定义了一种描述图论中某些工程问题求解的算法语言(称之为图论问题算法语言或者ALG);设计了自动地把ALG程序转化为PASCAL程序的软件工具——STATP(Software Tool to Translate the ALG Porgram to Pascal Program)。生成的PASCAL程序在运行时,只需用户输入应用问题的图形(即图形模型),就能在计算机上直接给出问题的解答。因此它是一种直观求解的软件。展开更多
本文提出了一种接近数学描述的面向分组密码算法的程序设计语言(Programming Language for the BlockCipher Algorithm,PLBCA).PLBCA能够以形式化方式方便地描述分组密码算法的结构.本文介绍了PLBCA的语法规范,以分组密码算法DES为例说...本文提出了一种接近数学描述的面向分组密码算法的程序设计语言(Programming Language for the BlockCipher Algorithm,PLBCA).PLBCA能够以形式化方式方便地描述分组密码算法的结构.本文介绍了PLBCA的语法规范,以分组密码算法DES为例说明PLBCA应用方法,并借助ANTLR工具实现了PLBCA的解析器.利用PLBCA,密码学专家可以方便快捷地对密码算法进行算法正确性和安全性分析,以检验算法的设计.PLBCA有助于提高密码算法检验的效率,为密码算法的设计和自动检测分析提供了一种辅助工具.展开更多
文摘该文把图论中的有关工程应用问题用图示语言的观点进行解释和分类;定义了一种描述图论中某些工程问题求解的算法语言(称之为图论问题算法语言或者ALG);设计了自动地把ALG程序转化为PASCAL程序的软件工具——STATP(Software Tool to Translate the ALG Porgram to Pascal Program)。生成的PASCAL程序在运行时,只需用户输入应用问题的图形(即图形模型),就能在计算机上直接给出问题的解答。因此它是一种直观求解的软件。
文摘本文提出了一种接近数学描述的面向分组密码算法的程序设计语言(Programming Language for the BlockCipher Algorithm,PLBCA).PLBCA能够以形式化方式方便地描述分组密码算法的结构.本文介绍了PLBCA的语法规范,以分组密码算法DES为例说明PLBCA应用方法,并借助ANTLR工具实现了PLBCA的解析器.利用PLBCA,密码学专家可以方便快捷地对密码算法进行算法正确性和安全性分析,以检验算法的设计.PLBCA有助于提高密码算法检验的效率,为密码算法的设计和自动检测分析提供了一种辅助工具.