基于可编程门阵列的低密度奇偶校验编解码硬件仿真系统

技术简介： 本发明公开了一种基于FPGA的LDPC编解码硬件仿真系统，该系统包括PC端控制软件和基于FPGA的硬件部分，硬件部分包括了PCI接口控制模块，随机数发生器，高斯噪声发生器，LDPC编/解码等主要模块。本…… 查看详细 >

基于蓄水容量曲线和TOPMODEL的流域水文模型的设计方法

技术简介： 本发明提供了一种基于蓄水容量曲线和TOPMODEL的流域水文模型的设计方法，其步骤为：地表产流的计算；地下产流的计算；蒸散发计算；水量平衡方程的应用；汇流机制；等流时线的生成；土壤湿度的动…… 查看详细 >

污染物定量结构活性相关模型结构描述符筛选终止的方法

技术简介： 本发明公开了污染物定量结构活性相关模型结构描述符筛选终止的方法。本发明将交叉验证相关系数q2和模型修正相关系数R2adj进行整合；对某一变量子集建立统计模型，获得观测值与模型估计值之间的…… 查看详细 >

一种基于模型驱动工程进行SysML状态机图分析验证的方法

技术简介： 基于模型驱动工程进行SysML状态机图分析验证的方法，包括步骤：步骤10：根据编辑器设计一个SysML状态机图；步骤11：设计状态机图的时钟；步骤12：新建一个ATL工程；步骤13：将用户设计的状态机…… 查看详细 >

基于模型驱动工程的将AADL组件转换到接口自动机模型方法

技术简介： 一种基于模型驱动工程的将AADL组件转换到接口自动机模型方法，包括步骤：步骤10：使用OSATE建立AADL模型；步骤11：使用EMF建立AADL元模型；步骤12：使用EMF建立IA元模型；步骤13：新建一个ATL工…… 查看详细 >

一种带并发的状态机图转换到自动机的方法

技术简介： 一种带并发的状态机图转换到自动机的方法，包括步骤如下：步骤10：输入一个UML状态机图；步骤11：生成一个名字为go的自动机（自动机的名字可根据自己习惯定义），该自动机可以产生一个go信号量…… 查看详细 >

基于增量线性规划的动态系统在线增量式快速验证系统及方法

技术简介： 本发明提供一种基于增量线性规划的动态系统在线增量式快速验证系统及方法。所述方法是首先加载动态系统的问题模型，然后将其与原问题模型进行对比，根据对比结果修改原问题模型；然后使用新的问…… 查看详细 >

基于抽象解释的线性混成系统不变式的生成方法

技术简介： 本发明提供一种线性混成系统不变式的生成系统，输入为线性混成系统模型——线性混成自动机，输出该线性混成系统的节点不变式；线性混成系统不变式生成系统包括转换模块和不变式生成部分两个组成…… 查看详细 >

一种基于活动图模型的系统行为仿真方法

技术简介： 本发明是一种基于活动图模型的系统行为仿真方法，首先读取并解析待仿真的统一建模语言活动图模型，从中抽取出重要的模型元素信息并在内存中构建一个完整的模型映射；然后对读入的统一建模语言活…… 查看详细 >

一种采用遗传算法的计算机辅助乱针绣制作方法

技术简介： 本发明公开了一种采用遗传算法的计算机辅助乱针绣制作方法，包括以下步骤：步骤1，以输入的彩色图像作为参考图片，采用图像分割、区域矢量场提取和图像一致性线条提取方法提取输入彩色图不同的…… 查看详细 >

设计模式制导的爪哇代码评审方法

技术简介： 本发明提供了一种设计模式制导的爪哇代码评审方法，用户首先要提供待评审的爪哇（Java）程序的源代码及其设计时信息，对设计时信息中的类图进行分析，提取出设计模式信息，生成设计模式的各个参…… 查看详细 >

一种基于反应扩散过程的计算机辅助乱针绣制作方法

技术简介： 本发明公开了一种基于反应扩散过程的计算机辅助乱针绣制作方法，包括以下步骤：步骤1，以彩色图像作为输入，采用图像分割、区域矢量场提取和图像显著性计算方法提取输入的彩色图像不同的对象区…… 查看详细 >