技术简介： 本发明提供一种线性混成系统不变式的生成系统，输入为线性混成系统模型——线性混成自动机，输出该线性混成系统的节点不变式；线性混成系统不变式生成系统包括转换模块和不变式生成部分两个组成…… 查看详细 >
技术简介： 本发明是一种基于活动图模型的系统行为仿真方法，首先读取并解析待仿真的统一建模语言活动图模型，从中抽取出重要的模型元素信息并在内存中构建一个完整的模型映射；然后对读入的统一建模语言活…… 查看详细 >
技术简介： 本发明公开了一种采用遗传算法的计算机辅助乱针绣制作方法，包括以下步骤：步骤1，以输入的彩色图像作为参考图片，采用图像分割、区域矢量场提取和图像一致性线条提取方法提取输入彩色图不同的…… 查看详细 >
技术简介： 本发明公开了一种基于反应扩散过程的计算机辅助乱针绣制作方法，包括以下步骤：步骤1，以彩色图像作为输入，采用图像分割、区域矢量场提取和图像显著性计算方法提取输入的彩色图像不同的对象区…… 查看详细 >
技术简介： 本发明提供了一种设计模式制导的爪哇代码评审方法，用户首先要提供待评审的爪哇（Java）程序的源代码及其设计时信息，对设计时信息中的类图进行分析，提取出设计模式信息，生成设计模式的各个参…… 查看详细 >
技术简介： 本发明公开了采用模糊聚类与随机游走的计算机辅助乱针绣制作方法，包括以下步骤：步骤1，定义了适合乱针绣针迹特点的参数化交叉针模型，并且通过枚举实验的方法确定了交叉针参数与图像特征的映…… 查看详细 >
技术简介： 本发明公开了一种改进的模拟多孔介质中二维水流运动的多尺度有限元方法。该方法首先将需要求解的问题转换成变分形式；确定边界条件，设定网格单元尺度h，剖分研究区域，得到粗网格单元；对每一…… 查看详细 >
技术简介： 发明公布了一种模拟反馈有源降噪耳机的设计方法，其特征为：基于H∞技术综合优化的控制器频率特性；先数字滤波器实现优化的控制器频率特性，再拟合数字滤波器的频率特性为低阶的连续域传递函数…… 查看详细 >
技术简介： 本发明公开了一种中观尺度下缓解热岛效应的优化城市形态设计方法，本方法由如下步骤和阶段组成：首先整理待设计区域矢量图，通过输入模块录入设计区域信息；启动优化模块1并关联SVF评测模块，进…… 查看详细 >
技术简介： 本发明公开了一种计算机中人体服装动态仿真实现方法，通过对物理模拟中的关键步骤进行设置，以实现不同材质的仿真效果。该方法的主要步骤包括人体建模、人体模型和服装模型预处理、应用力学知识…… 查看详细 >
技术简介： 本发明提供一种汉语口头作文计算机辅助评分方法，包括收集各个考生口语作文作答音频；对各个考生的作答音频进行解码，获取学生的口头作文文本信息；对获取的口头作文文本信息进行人工修正，获取…… 查看详细 >
技术简介： 本发明公开了一种模拟二维水流运动的三次样条多尺度有限元方法，该方法首先将需要求解的问题转换成变分形式；确定研究区边界条件，设定粗网格单元尺度h，剖分研究区域，得到粗网格单元，将粗网…… 查看详细 >