高等教育领域数字化综合服务平台
云上高博会服务平台 高校科技成果转化对接服务平台 大学生创新创业服务平台 登录 | 注册
|
搜索
搜 索
  • 综合
  • 项目
  • 产品
日期筛选: 一周内 一月内 一年内 不限
通用软件测试平台QETEST
通用软件测试平台QETEST旨在帮助软件开发组织建立软件质量保证和软件测试体系,实现对软件测试过程的规范和量化的管理,并为面向软件源代码的分析、理解、审查和测试提供有力支持,从而显著地提升软件开发组织的软件产品质量控制能力,提高产品开发效率,增强其市场竞争力。本成果具有如下特点: 1.支持面向软件开发全过程的、支持团队协同工作和量化追踪与监控的软件测试过程管理; 2.支持面向测试过程、测试产品和测试项目的软件测试质量管理; 3.支持软件开发组织按照自身要求定制文档模板,并依据所定义模板自动生成测试文档; 4.支持C++和Java等面向对象软件的分析和测试,并实现对C++和Java软件复杂文法的识别、信息获取,以及统一的可视化模型图的逆向生成和显示。 其包括如下拥有自主知识产权、实用的工具: 1.软件测试管理平台QESuite系列; 2.面向对象软件分析和测试工具QESat/Java & C++。
北京航空航天大学 2021-04-13
软件分析,测试与演化技术
本成果所属项目获得教育部自然科学二等奖和商业部科技进步奖三等奖。 (1)基于主题模型的软件工程数据建模和分析技术。 (2)基于形式概念分析的修改分析和测试技术。(3)基于自然语言处理的软件数据预处理技术。 (4)个性化的软件开发和维护管理。 (5)自动化的软件数据概要化技术。 (6)基于动态主题模型的软件演化建模技术。 (7)针对具体软件历史代码库的词库自动构建技术。
扬州大学 2021-04-14
焊接工艺仿真软件InteWeld
【技术背景】 焊接工艺仿真软件,主要针对焊接温度场、流场、应力场、变形等问题,利用数值模拟方法找到优化的焊接工艺参数,如焊接电流、焊接电压、焊接速度、层间温度、夹具条件、焊接顺序等,旨在改善产品制造质量,提高产品服役性能。焊接工艺仿真软件是结构设计与生产制造的桥梁,通过焊前模拟计算,优化结构设计与工艺参数,形成“仿真-验证-优化-制造”的生产模式,减少对人工经验的依赖和大量非必要的试错试验,节省材料,缩短研发周期,提升生产效率,降低成本。 【痛点问题】 目前在焊接工艺仿真软件研发方面存在三大痛点: 一、国外专用焊接仿真软件,已渗透到我国国民经济和国防军事的多个领域,存在较大 “卡脖子”风险; 二、焊接模拟仿真技术一直面临精度与效率难以兼顾的难题,尤其是面对大型复杂构件的焊接模拟中,网格数量高达百万级甚至数千万级,即使是国外焊接工艺仿真软件其计算效率亦难以接受,失去了仿真的价值和意义; 三、面对集成电路制造对钎焊和固相焊数字化技术迫切需求,国内外并无相关焊接模拟软件。 【解决方案】 本技术开发的具有完全自主知识产权的国产InteWeld焊接软件,能够高精高效的计算焊接温度场、流场、应力场以及焊接变形,解决了国际上大型焊接结构模拟仿真长期存在的精度与效率难以兼顾的难题,快速优化焊接工艺参数、焊接顺序、工装夹具等工艺参数;还可对近年来新发展的电弧-激光-磁场多场复合焊接技术、真空激光焊接技术以及集成电路发展迫切需求的固相焊、钎焊等技术等实现初步的工艺仿真模拟。可为企业提供一种“结构设计-仿真模拟-验证试验-优化设计-生产制造”的研发生产新模式。
华中科技大学 2021-11-12
基因表达数据分析软件
基因芯片实验产生出大量基因表达数据,为了从这些数据中提取有用的生物学信息,需要对数据进行各种分析处理。本项目提供的基因表达数据分析软件采用了先进的数学模型,充分考虑了实验中各种误差的影响,可以从数据中分析出更为准确的生物学信息,并且具有较快的处理速度,可以满足大规模芯片实验数据分析的需要。技术特点:(1)直接从对GeneChip基因芯片原始实验数据进行处理开始,提供对基因表达数据一系列多层次的分析软件。(2)能够考虑重复实验误差,特别对重复实验数据进
南京航空航天大学 2021-04-14
建筑机电抗震设计软件
2015 年8 月1 日起,我国开始实施《建筑机电工程抗震设计规范》(GB50981-2014)。规范明确规定:6 度及6度以上抗震设防地区必须进行建筑机电抗震设计。然而,由于建筑机电抗震行业起步时间较短,行业尚未规范。目前,行业的设计现状是:抗震支吊架的设计均有支吊架生产企业负责完成,设计院仅对其设计成果进行校核。由此带来如下问题:设计院校核困难、工量大、缺乏审核材料,厂商技术薄弱,人工成本高
东南大学 2021-04-13
自由锻工艺设计软件
自由锻工艺计算机辅助设计系统是结合全国几十家大型锻造企业实际生产经验 开发的智能化通用系统。该系统可进行光轴、台阶轴、盘环套、柱、连杆、斜楔、 方块、螺栓螺母、座类、杆、钩环、铆钉销子、法兰、扳手、曲轴、车轴、弹簧等 自由锻工艺的自动编制;对法兰锻件快速的进行胎模设计,并根据法兰锻件快速选 择胎模库中最合适的胎模。 软件发展历程: 1989-1996:基于 DOS 操作系统的设计软件; 1996 至今:基于 Windows 操作系统的设计及管理软件。 软件特点: 1. 方便快捷:设计人员只需输入图号、材料、锻件尺寸等基本信息,软件自 动设计锻造工艺;对工艺卡可进行快速提取; 2. 强大的专家系统:系统根据基本信息自动进行余量公差处理、重量计算(锻 件重量、下料重量、火耗、工艺损耗)、坯料规格选择、锻造设备选择、锻 造温度、加热规范、装炉方式、变形工歨说明、制坯图、锻后冷却方式、 锻后热处理等相关工艺计算;多级台阶轴的优化功能可以提供高效工艺方 案;胎模设计和管理模块可以快速选用和设计胎模。 17 3. 工艺合理实用:专家系统中吸收了全国几十家大中型自由锻造企业的生产 经验,工艺参数合理、优化; 4. 强大的技术支持:拥有技术力量雄厚的技术团队进行开发及服务。
南京工程学院 2021-04-13
圆筒拉深工艺分析软件
圆筒拉深是拉深工艺中应用最多的一种。最佳拉深工艺要求以最少的拉深次数在不起皱 和不破裂的前提下成形合格零件。目前国内各种冲压手册沿用前苏联罗氏手册中给出的低碳 钢板材在圆角凹模拉深时无压边圈和有压边圈情况下的多次拉深极限数据,不仅材料少,而 且没有考虑工件和模具几何参数、压边力以及润滑条件等因素,参考价值有限。而圆锥凹模 拉深极限数据尚无可参考资料。 本软件是 2008 年度江苏省机械工业科技进步一等奖项目《板料成形压缩失稳预测与控 制》的主要成果。该软件依据项目提出的拉深危险断面最大承载通式和新的塑性弯曲能量方20 程以及变形区应力应变分析,编制了如下程序: (1)无压边圆角凹模拉深皱曲极限预测程序 (2)无压边锥模拉深皱曲极限预测程序 (3)有压边圆角凹模拉深最小防皱压边力预测程序 (4)有压边圆角凹模拉深破裂极限预测程序 (5)有压边圆角凹模再次拉深破裂极限预测程序 (6)有压边锥模再次拉深破裂极限预测程序 该软件适用于所有拉深板材,不受工件和模具几何参数以及工艺条件限制,只要输入工 件材料及几何参数、模具参数、工艺条件,即可准确地预测各种拉深条件下的起皱与破裂极 限和最小防皱压边力。是模具工程师的得力分析软件。 软件采用 FORTAN77 语言编制,在普通微机上即可运行。 
南京工程学院 2021-04-13
通用边坡稳定分析软件
常规边坡稳定分析软件主要是在原有程序的基础上进行二次开发,完善前后处理功能,以实用为主。在程序界面、数据输入方式、输入量和结果输出等方面要超过现有软件。 有限元边坡稳定分析软件的工程技术内核具有国内领先和国际先进水平。
大连理工大学 2021-04-13
EViews经济计量预测分析软件
产品详细介绍请登录 中国科学软件网 了解更多Eviews软件信息和报价。EViews 9.5新功能:MIDAS估计:一种新的估计方法支持解一个更高频率的页面。Step, Almon, Beta 和指数阿尔蒙加权方案也是允许的FIML与协方差估计的限制。允许系统估计方程用FIML残协方差矩阵的限制。模型打印视图。一个模型的一个新的视图,允许您显示断裂形式的方程(和数值显示选项)而没有真正破坏原本的链接模型场景描述。添加到模型场景的描述,然后导出那些解决方案系列的描述。模型场景视图。一个简单的模型的场景列表(和他们的设置)。方程发现。视图的模型方程有一个新发现按钮,可以让你找到一个方程,通过内生变量名或外生变量的名字。模型保护。你可以通过密码的形式来加密保护你的模型这样别的用户只能使用模型而不能改变模型的结构。保存/检索程序变量。新功能允许您保存和加载程序变量进入磁盘上的text-ini文件。以下是EViews 9 的更新功能介绍更新用户界面EViews 9一直以无与伦比的易用性知名,但是依然有改进的余地。我们提高了ante在Eviews 9中的界面的改进,以下是其中几个亮点:命令捕获EViews 9为大多数对象视图,过程以及大量的其他互动操作提供了命令捕获。当你使用用户界面来执行一个操作时,EViews将为显示和导出节省相应的文本命令。一旦打开,你可以根据需要来移动和改变窗口的大小。在捕获窗口中右击会出现一个菜单清除窗口,从而可以将内容保存到磁盘上的文件夹,或打开一个新的包含窗口内容的未命名程序。此外,你可以选择echo命令来捕获任何命令窗口。可停靠的命令和捕获窗口EViews 9的命令和捕获窗口是可停靠,可漂浮以及可隐藏的。停靠和隐藏的窗口允许你将经常使用的窗口保持在随时可以调动的距离。可漂浮的窗口允许你将它们移出你的工作区域。甚至有可能你还能调用到EViews界面外的浮动窗口。数据库和工作文件预览EViews 9提供了一个新对象预览模式,允许您快速浏览通过工作文件和数据库中的对象。选中并右键单击一个或多个数据库或工作文件窗口中的对象或按F9来打开预览窗口。使用箭头来浏览选中的对象或整个对象容器的内容,查看元数据(名称、类型、描述、频率、最新更新、来源、单位,等等)和特定类型对象的信息。一旦你已经检查对象,你可以使用预览窗口从数据库到工作文件页面来输出一个或多个对象。处理新数据的功能加强数据的导入和连接通过EViews 9, 系列对象现在可以链接到另一个工作文件的一个物体和其他有效的外部数据源,并且可以导入到EViews(如Excel文件、TXT文件、ODBC数据库,等)。此外, 使用EViews 9所有系列对象导入或获取现在将存储和记忆无链接状态的数据源。这就允许断开系列对象的连接或者再连接。管理链接和方程式对话框已被重新设计来帮助使用者理解和管理中目前工作文件中已有的链接。对话框现在可以通过它们的来源来显示所有外部链接的对象和公式。强大的New Fred数据库界面EViews 9提供了一个由圣路易斯联邦储备银行提供的用于更新接口的数据服务。新接口包括一个定制的浏览器浏览可用的弗雷德数据并添加支持检索的历史版本。新的浏览器界面提供了大量有用的工具来处理弗雷德数据库所有系列搜索——支持按关键字搜索。排序-感觉序列的命令来改变添加过滤器-缩小显示列表As of-限定特定年份的数据分类跳转-直接导航到文件夹内包含选定的类别树系列。发布跳转-直接导航到包含所选系列的统计发布。根据标签过滤-给现有的特定系列添加一个标签列表显示发布日期-显示所选系列的发布更新时间列表Copy As Of –允许你一次性检测多个历史版本。
北京天演融智软件有限公司 2021-08-23
LinGo 16.0运筹学软件
产品详细介绍请登录 中国科学软件网 了解更多Lingo软件信息和报价。Lingo和 Lindo 是美国 Lindo 系统公司开发的一套专门用于求解最优化问题的软件包。Lindo 用于求解线性规划和二次规划问题,Lingo 除了具有 Lindo 的全部功能外,还可以用于求解非线性规划问题,也可以用于一些线性和非线性方程(组)的求解,等等。Lingo 实际上还是最优化问题的一种建模语言,包括许多常用的函数可供使用者建立优化模型时调用,并提供与其他数据文件(如文本文件、Excel电子表格文件、数据库文件等)的接口,易于方便地输入、求解和分析大规模最优化问题。 由于这些特点,Lindo系统公司的线性、非线性和整数规划求解程序已经被全世界数千万的公司用来做最大化利润和最小化成本的分析。应用的范围包含生产线规划、运输、财务金融、投资分配、资本预算、混合排程、库存管理、资源配置等等... Lingo/Lindo 软件作为著名的专业优化软件,其功能比较强、计算效果比较好,与那些包含部分优化功能的非专业软件相比,通常具有明显的优势。Lingo和 Lindo 软件的最大特色在于可以允许优化模型中的决策变量是整数(即整数规划),而且执行速度很快。此外,Lindo/Lingo 软件使用起来非常简便,很容易学会,在优化软件(尤其是运行于个人电脑上的优化软件)市场占有很大份额,在国外运筹学类的教科书中也被广泛用做教学软件。 Lingo Lingo 是使建立和求解线性、非线性和整数最佳化模型更快更简单更有效率的综合工具。Lingo 提供强大的语言和快速的求解引擎来阐述和求解最佳化模型。 简单的模型表示 Lingo 可以将线性、非线性和整数问题迅速得予以公式表示,并且容易阅读、了解和修改。 方便的数据输入和输出选择 Lingo 建立的模型可以直接从数据库或工作表获取资料。同样地,Lingo 可以将求解结果直接输出到数据库或工作表。 强大的求解引擎 Lingo 内建的求解引擎有线性、非线性(convex and nonconvex)、二次、二次限制和整数最佳化。 Model Interactively or Create Turn-key Applications Lingo 提供完全互动的环境供您建立、求解和分析模型。Lingo 也提供 DLL 和 OLE 界面可供使用者由撰写的程序中呼叫。 广泛的文件和 HELP 功能 Lingo 提供的所有工具和文件可使你迅速入门和上手。Lingo 使用者手册有详细的功能定义。 LINGO版本及说明 名词解释 1. Barrier:内生法优化的选项,主要用于线性优化中,解决大规模运算的问题。比常用的单纯形算法的运算速度要快得多。同时也可用于求解二次规划约束的优化。 2.Non-linear:基于广义既约梯度算法的非线性优化的选项。主要用于非线性优化,比常用的顺序逼近线性规划算法的速度要快得多。 3.Global:提供全局最优解的选项。主要用于非线性优化的求解。一般的算法只能获得局部最优解。这个选项可以通过多起始点的方式,通过划分凸规划,调用分支定界管理程序,从多个局部最优解中确定全局最优解。 (不能单独使用,必须与Non-linear 选项同时使用。) LINGO 单机版 说明:单机版仅限单机使用。以约束数、总变量数、整数变量数的不同分为Hyper、Industrial、Extended 3个版本。可应用于小型科学研究和数学建模,版本不同,计算变量数限制不同。如需计算非线性规划运算,提高运算速度(提高300%以上),我们建议配备Barrier(解决大规模运算)、Nonlinear(解决非线性规划运算)、Global(解决非线性全局优化运算)三个选项。Global选项需要与Nonlinear选项同时安装。 LINGO 单机版 (单机版产品只被允许安装在1台电脑上使用) 版本 Constraints Variables Integers Nonlinear Global 约束数 总变量数 整数变量数 变量 变量 Hyper 4000 8000 800 800 20 Industrial 16000 32000 3200 3200 50 Extended unlimited unlimited unlimited unlimited unlimited LINGO 网络版 (网络版产品无用户端口数限制。) 版本 Constraints Variables Integers Nonlinear Global 约束数 总变量数 整数变量数 变量 变量 Super 1000 2000 200 200 10 Hyper 4000 8000 800 800 20 Industrial 16000 32000 3200 3200 50 Extended unlimited unlimited unlimited unlimited unlimited 说明:需安装在网络环境下,对用户数无限制。以约束数、总变量数、整数变量数的不同分为Super、Hyper、Industrial、Extended 4个版本。
北京天演融智软件有限公司 2021-08-23
首页 上一页 1 2
  • ...
  • 20 21 22
  • ...
  • 569 570 下一页 尾页
    热搜推荐:
    1
    云上高博会企业会员招募
    2
    64届高博会于2026年5月在南昌举办
    3
    征集科技创新成果
    中国高等教育学会版权所有
    北京市海淀区学院路35号世宁大厦二层 京ICP备20026207号-1