形式化方法B和UML的结合研究

可视化语言文法形式化描述.pdf

测试工作细致繁杂，如何保证测试工作的全面性、完整性并建立统一的测试理论，指导测试工作自动、高效地展开，继而提高测试的复用性，是人们长久以来追求的目标。设计了通用的测试框架，依托基于模型的测试理论，支持

解非线性约束规划的困难在于如何处理问题的约束，从问题的约束条件出发构造了一个新的极大熵函数，利用此函数将原非线性约束规划问题转化成了两个目标的多目标优化问题。通过对搜索操作和参数的合理设计给出了一种新

软件形式化方法视频教程，非常好，付费购买某视频网站。软件形式化方法是指建立在严格数学基础上的软件开发方法。形式化方法模型的主要活动是生成计算机软件形式化的数学规格说明。形式化方法使软件开发人员可以应用

安全协议形式化分析理论与方法研究综述，学术论文

移动Agent系统的Z语言形式化描述，形式化语言的简介，Z语言的介绍以及多ANGENT系统的描述

针对贷款组合优化决策模型的求解问题，提出了用于求解该问题的知识进化算法，阐明了算法的具体实现过程，采用VB语言编写了相应的仿真实验程序。通过多次的仿真实验结果比较，表明了算法在计算时间、稳定性和寻优能

形式化语言 Z语言 博士生课程中收集的一些关于Z语言的资料

一种基于描述逻辑和要素投影的事件本体形式化方法

针对自动导引车系统中的协调控制问题,提出一种基于有向图的控制程序自动化设计方法.首先,根据自动导引车系统的结构建立基于区域控制的有向图模型;其次,在部分可观的条件下,定义扩充危险域的概念,给出一种估计