“船舶总体设计CAD软件系统”，它是融合现代造船技术、应用数学技术和计算机技术于一体的，面向多种类型船舶的报价设计、合同设计和部分详细设计的、基于微机和MS Windows 98/NT平台的、有充分自主版权的、符合中国国情的专业实用集成CAD软件系统。 软件由BSRA/Todd60系列船型库、船体型线变换光顺设计和绘图子系统、Holtrop’92阻力预报子系统、MAU/B系列螺旋桨设计和绘图子系统、性能计算子系统、总布置设计绘图子系统、基本结构设计绘图子系统、舾装设计绘图子系统、电气设计绘图子系统和动力装置设计绘图子系统等组成。它支持CCS/ABS/DNV/LR/BV/GL等船级社规范和IMO/SOLAS/MARPOL规则。它具有友好的图形用户界面和集成的数据库管理，并提供以DXF数据格式与AutoCAD等第三方软件的接口。它可以与基于Windows的其它应用软件进行动态连接与嵌入，提供计算、报表和图形为一体的文档输出。

针对电器电磁元件问题，如接触器、脱扣器、各种导电回路、触头系统等，开发了专用的电器电磁元件设计分析软件。

项目概况 SoundAlarm能为应用于各行业的计算机监控系统（DCS、PLC等控制系统）扩展真人发声的语音报警信息管理和报警功能。SoundAlarm通过计算机监控系统的公用数据接口获取实时信息，根据组态结果对报警信息进行报警状态、报警级别管理，结合操作人员的操作结果进行语音报警。 主要特点 1、不影响数据源系统的安全运行：以只读方式获取数据源系统（如DCS、PLC、MIS等系统）的实时数据；对数据源系统不存在任何操作。 2、对硬件要求低：只需一台低档通用多媒体计算机就可实现语音报警；当SoundAlarm与信息源运行在同一站点时，则只需对原站点计算机加一块普通声卡和多媒体音箱即可。 3、可实现分布式语音报警：SoundAlarm可以利用企业原有的局域网，利用网络上的信息资源实现分布式报警。 4、配置灵活：报警点和控制界面可灵活配置和修改；语音报警的级别分紧急、正常、一次三种优先级；监控的报警点分模拟量（分>、>=、一、>、=>五种方式）、开关量（分正向、反向两种方式）。 5、后台运行：正常运行时处于后台运行；只有在调试和修改配置时才调出其控制界面，进行育关配置和控制操作。 6、无需专门的维护：正常运行时其维护工作量近似为零。 技术指标 报警迟延：<ls。 CPU占用率：没有报警，平均低于0.5%，瞬态低于1%;有报警，平均低于1%，瞬态低于5%。 内存管理：占用2～2. 5M的内存，进行独立的内存管理。市场前景 成功应用于多台300MW机组DCS系统、热电厂全厂DCS系统、输煤程控系统、化学水处理车间控制系统等控制系统。可以为对语音报警有较高要求的DCS、PLC、FCS、MIS、SIS等计算机测控和信息系统实现语言报警功能扩展。

面向产品设计，主要研究产品设计中的几何计算与设计、性能计算与分析、材料集成计算与设计基础算法，实现产品设计CAD与CAE无缝集成设计。几何计算与设计，主要进行柔性产品设计、几何拓扑特性计算、体参数化建模等方面的研究。具体实例见（a）（b）（c）（d）图。性能计算与分析，主要研发基于新的产品描述的性能分析方法。材料计算与设计，主要进行非均质产品设计、材料集成计算工程方面的研究，具体实例参加（e）图。 面向工业领域，基于虚拟样机技术和知识工程，开发产品快速设计系统。主要开发基于Web3D技术的网络虚拟交互展示技术及系统，基于虚拟数字样机的产品快速智能设计系统，行业信息化管理软件等系统，具体实例参加（f）图。

软件可信性自动验证是新一代信息技术领域的新技术。我们基于原创性且国际先进水平的理论成果，自主研发了高效的自动推理工具；借鉴目前世界上最先进的程序形式化技术，形成了C程序自动验证系统和PLC程序自动验证系统，对指针安全、数组越界、溢出等常见复杂问题可实现自动验证或根据用户需要验证特殊性质，具有验证速度快、发现缺陷能力强、成本低的特点，从技术上突破了程序分析、程序测试的一些瓶颈，对提高软件质量具有不可替代的作用。目前，本自动验证系统已验证了涉及航空航天、武器装备、铁路、通讯等多种系统，显现出了明显效果，得到了认可。 该成果具有国际先进水平，自主可控，填补了国内程序可信性自动验证的空白，获得省部级和学会级三等以上奖励，有着有广阔的应用领域。。

为提升拍摄的视频图像分辨率，增强图像对比度和清晰度，改善图像的画面质量，本项目综合考虑在设备进行拍摄过程中所遇到的器件性能、拍摄抖动、复杂天气影响等各种因素，以多帧超分辨率重建技术为核心，研发一种智能模糊图像处理软件系统。该系统针对不同的因素，自适应地实现相对应的图像优化处理，主要包括图像去雾、去噪、去模糊等图像增强处理，并结合多帧图像超分辨率重建和单帧图像超分辨率重建技术、稳定化等提升分辨率处理，以便获取更多细节信息。本软件所包含的主要功能详细介绍如下： 1、图像去雾功能

基于复杂流动网络计算理论，将电站锅炉蒸发受热面抽象为以节点、受热回路和连接管等元件组成的流动网络系统，根据遵循的质量守恒方程、动量守恒方程、能量守恒方程及流动传热试验关联式，建立流量分配的非线性计算数学模型，采用Fortran和Visual Basic混合编程技术，开发出具有自主知识产权的通用电站锅炉水动力计算软件HYDROSYS。 软件根据系统部件以及实际功能划分为不同的设备和功能模块，各个模块间相互结合，可以对各种容量等级、各种蒸汽参数、各种炉型（П型、塔式、T型）、各种管圈型式（螺旋管圈水冷壁、垂直水冷壁）和燃烧技术（切向燃烧方式、墙式燃烧方式、W火焰方式、循环流化床燃烧方式）的亚临界汽包锅炉、超（超）临界直流锅炉水动力和壁温特性进行计算分析。

产品详细介绍请登录 中国科学软件网 了解更多SPSS软件的信息和报价。SPSS Statistics 统计分析软件是一款在调查统计行业、市场研究行业、医学统计、政府和企业的数据分析应用中久享盛名的统计分析工具，是世界上最早的统计分析软件，由美国斯坦福大学的三位研究生于1968年研制，1984年SPSS首先推出了世界上第一个统计分析软件微机版本。SPSS/PC+，极大地扩充了它的应用范围，并使其能很快地应用于自然科学、技术科学、社会科学的各个领域，世界上许多有影响的报刊杂志纷纷就SPSS的自动统计绘图、数据的深入分析、使用方便、功能齐全等方面给予了高度的评价与称赞。在国际学术界有条不成文的规定，即在国际学术交流中，凡是用SPSS软件完成的计算和统计分析，可以不必说明算法，由此可见其影响之大和信誉之高。 迄今SPSS Statistics软件已有40余年的成长历史。全球约有28万家产品用户，它们分布于通讯、医疗、银行、证券、保险、制造、商业、市场研究、科研教育等多个领域和行业，是世界上应用最广泛的专业统计软件。在2009年IBM收购SPSS公司后，现在在中国国内市场上推出的最新产品，是IBM SPSS Statistics 23.0多国语言版。 即时切换多国语言界面的统计分析软件，中文界面清晰友好 SPSS软件界面操作语言齐备，使用者可以自行设置英文或简体中文操作界面。 在国内统计应用中，很多使用者在学习时会遇到英文统计专业名词的困难，因此很希望软件有中文版。SPSS可以自行切换软件语言界面，很好地满足了很多人希望使用中文版的要求。SPSS软件的中文界面具有清新、友好的中文界面；全新的中文帮助文档，使使用者的学习更轻松；具有简洁、清晰的中文输出，结果一目了然，共享和发表结果更方便。 

产品详细介绍请登录 中国科学软件网，了解GAMS软件报价和介绍信息。通用代数建模系统(GAMS)是特别为建模线性,非线性和混合整数最优化问题而设计的.本系统对于大型的,复杂的问题特别有帮助.GAMS可以运行在个人计算机、工作站、大型机和超级计算机上.GAMS允许使用者通过制定简单的设置来把精力放在建模问题上.至于特定机器和系统软件执行的费时的细节将由GAMS系统来处理.GAMS对于处理大型的,复杂的,需要多次修订才能最终确定精确模型的独一无二的问题特别有帮助.系统以高 度简洁和自然的方式来建模问题.使用者能够快速和方便的更改公式,能从一个求解器转到另一个,甚至稍加费心就能从线性转换到非线性.GAMS让使用者把精力集中到建模上.通过排除考虑纯技术上的机器特定的问题的需要,比如地址计算,存储分配,子程序链接,和输入输出和流程控制,GAMS增加了用于概念化和运行模型,和分析结果的时间.GAMS本身构建了良好的建模习惯,通过请求简明而精确的实体和关系的规范.GAMS语言形式上和通常使用的编程语言相似.因此对于那些有编程检验的使用者将非常熟悉.使用GAMS,数据仅仅需要一次就能在熟悉的列表和表格形式中输入.模型以简练的代数声明来描述,对于人和机器都很容易读懂.非常相关的约束的整个集合都被输入到一个声明中.GAMS自动生成每个约束等式,并让使用者处理例外情况,假使那里一般来说是不需要的.在模型中的声明能够被重用,而不需要更改代数式,当其它的实例是相同的或出现了相关问题.错误的位置和类型会在尝试解决方案前被查明.GAMS处理动态模型,包括时间序列,滞后,及暂时终点的提示和处理.GAMS是灵活而强大的.模型可以非常方便的从一个计算机平台移到另外一个,只要GAMS已经在每个平台被安装好.GAMS很容易进行敏感度分析.使用者能够方便的规划模型来求解一个成分的不同值,然后生成一个输出报告,列出了每种情况的解决方案特征.模型能够同时被开发和文档化,因为GAMS允许使用者包含解释性的文本来作为任意符号和等式的定义和解释.GAMS不断的在被增强和扩展.2.25版本包含了多个语言扩展,例如在一个循环中的SOLVE声明,INCLUDE声明,IF-ELSE声明,和使用PUT声明进行报告编写的功能.其它的加强包括增加的系统集成特征,性能改善,新的子系统,和另外的计算机平台支持.当前版本2.50包括一个基于Intel Windows平台(95/98/ME和NT/2K/XP)的集成开发环境(IDE).GAMS 2.50的新的分发包含新的语言特征和新发表的全新/更新的求解器,一年至少4次.请检查版本声明.示例： 从著名的1963书(由George Dantzig编写)中提取的一个运输问题,用来描述GAMS的有效性.这个模型只是模型库中的部分,模型库中还包含了大量的完整GAMS模型. 支持模型的类型： GAMS模型类型包括LP,MIP和NLPs的不同形式.这里列出了GAMS支持的所有的模型类型. GAMS 的发展背景 GAMS 是"General Algebraic Modeling System"（一般性代数仿真系统）的缩写，最早是由美国的世界银行(World Bank)的 Meeraus 和 Brooke [Brooke, Kendrickm and Meeraus, 1992]所发展。"GAMS"事实上并不代表任何最佳化数值算法，而只是一个高级语言的使用者接口，利用 GAMS 可以很容易建立、修改、除错你的最佳化模型输入文件，而输入档经过编译后，成为较低阶的最佳化数值算法程序所能接受的格式，再加以执行并写出输出档。 数值算法方面，对线性与非线性规划问题，GAMS 使用由新南韦尔斯大学的Murtagh、及史丹福大学的 Gill、Marray、Saunders、Wright 等人所发展的 MINOS  [Murtagh and Saunders, 1983] 算法。MINOS是 "Modular In-core Non-linear  Optimization System"的缩写，这个算法综合了缩减梯度法和准牛顿法，是专门为大型、复杂的线性与非线性问题设计的算法。对混合整数规划问题，则采用亚历桑那大学的 Marsten 及巴尔第摩大学的 Singhal[1987]共同发展的 ZOOM(Zero/One Optimization Method)算法。 GAMS 使用范例说明 如前所述，GAMS 本身有非常完整的英文版使用者手册，GAMS 的计算机软件中也附带了许多学习范例的档案。这里所作的 GAMS 使用范例说明，目的绝非在取代原版的使用者手册，而是要配合本课程说明的形式，重新编写使用范例输入文件，使读者能很快的进入情况，了解其使用程序。 GAMS 的操作大抵可分为三个步骤：建立 GAMS 输入文件，执行 GAMS 程序，检视 GAMS 输出档内容。 购买一套全模块的 Base licence 包括： 光盘 一片 The Solver Manuals  (574  pages) A User’s Guide  ( 259 pages) MPSGE Guide(175 pages + Appendix) 注：GAMS试用版对变量个数有限制 Without a valid GAMS license the system will operate as a free demo system with these limitations: Model limits: Number of constraints and variables: 300 Number of nonzero elements: 2000 (of which 1000 nonlinear) Number of discrete variables: 50 (including semi continuous, semi integer and member of SOS-Sets) Global solver limits: Number of constraints and variables: 10