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

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

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

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

产品详细介绍

产品详细介绍

产品详细介绍腾创网络多人视频会议系统主要功能 用户列表用户列表显示当前所有参加会议的人员。* 主持人可通过右击菜单来控制其他与会者是否可以发布视频、音频、文字等等；* 与会者可上传个人照片显示在与会者列表；* 显示所有与会者的基本信息，是否有视频、耳麦；* 与会者可以表达意愿，是否要上麦或者取消上麦。资料共享主持人和经过主持人允许的与会者能够与所有与会者共享资料。* 主持人可控制所有与会者是否可以上传资料共享；* 在讲解时，主持人和当前上麦的与会者可以添加注释，包括文字、划线等标记；* 所有与会者均可以放大缩小共享的文档；*主持人和当前上麦的与会者可共享多个文档，并可以在它们之间任意切换；* 对于共享的资料，上传该份资料的人可以选择是否供其他与会者下载；* 所有与会者均可以放大缩小共享的视频文档。白板共享会议主持人能够与所有与会者共享白板。主持人和经过主持人允许上麦的与会者可以在白板上写字和画图。共享资料下载主持人和经过主持人允许上麦的与会者可以上传共享资料的时候设置允许所有与会者下载该共享资料。桌面共享主持人和经过主持人允许上麦的与会者可以共享当前自己的桌面。音频主持人可以启动音频，与会者需要安装 Flash。 * 会议主持人可以选择是否允许与会者发布音频；* 与会者可以选择是否接收主持人的音频；* 系统提示‘谁正在发言’；* 有音频时，当前发言人能看到自己的音频网络状态。视频主持人可以启动视频，与会者需要安装 Flash。 * 视频启动之后有两种模式，分别是“讨论模式”、“培训模式”。讨论模式的时候，主持人可以选择与会者的视频出现在视频讨论区，最多允许25路视频；培训模式的时候，显示的是主持人的视频和当前主持人允许上麦的与会者的视频；* 每个与会者可以放大或缩小当前所显示的视频窗口；* 每个与会者可以暂停或恢复当前共享视频的播放；* 支持自动上麦功能，主持人选择自动上麦之后，所有与会者可以排队轮流上麦；* 与会者可以在设置面板选项中调节视频的分辨率、视频帧率、视频质量、视频采集率等等；* 如果用户的带宽足够，可通过设置选择更高清的视频窗口；* 如果用户的带宽较小，可选择减少视频质量，或关闭视频而只用音频。音视频硬件的支持支持flash可以获取到摄像头的设备。 * 与会者可以打开‘设置面板’来选择摄像头（若有多个摄像头），调节音量，视频等。会议信息所有与会者均可查看会议的信息，包括：会议公告、主持人姓名、会议网址、会议议程等，可向其他人发出会议邀请。即时聊天所有与会者可以通过文字相互公开聊天或者私聊。* 支持表情发送；* 与会者可以清除交流区的文字记录。会议录制可录制当前支持人的视频。单独房间每个企业帐户均有单独的房间和主持人帐号。网站管理员管理员可添加或删除主持人、分配账户、房间等管理功能。安排会议当安排一个会议的时候，主持人可确定房间公告、与会人员、会议时间等内容。会议网址每个会议都有一个会议网址（URL），与会者可以通过会议网址快速加入会议。更多咨询请联系电话：15875588052 QQ：1152136167  蔚蓝 

产品详细介绍腾创网络教育平台主要功能 ：一、前台页面功能1.用户登录：新用户注册，用户登录，进入个人管理平台可以对自己的基本资料等进行管理。2.网络课堂：显示当前系统里面所有老师已经发布的课程。3.课件点播：显示当前系统里面所有老师发布的课件，支持的格式包括图片，PPT文档，word文档，FLV格式的视频等。4.答 疑 区：提供老师和学生在网络上进行文字互动交流。5.名师风采：当前系统里面老师的资料库。6.学习心得：学生可以发布自己的心得体会等供大家学习。二、电子课堂功能1.课堂模式：包括讨论模式和培训模式两种。培训模式支持正常的一对多的教学，老师讲课，多名学生听课，同时支持学生举手发言或者老师点名要求某一个学生发言；讨论模式下，可以选定几个学生的视频发布出来，进行视频语音的互动。2.用户列表：显示当前在该电子教室里面上课的所有用户。3.发言申请列表：在培训模式下，申请发言的学生举手之后会显示在发言申请列表里面，老师可以点击让该学生进行发言的。4.资料共享：系统支持PPT、PDF、图片、视频等多种格式的资料共享，老师可以上传资料共享，老师也可以指定某个学生上传资料共享。5.资料下载：共享的资料在上传的时候，上传者可以设置是否允许用户从服务器上下载该资料下来使用。6.电子白板：可以在白板上面进行文字，画图等多种操作。7.文字交流：系统有文字交流区域，且支持文字私聊的功能。8.桌面共享：老师或者老师指定的某个学生可以共享自己的桌面给在当前课堂里面的用户进行观看。9.同步操作：老师的操作支持同步操作，同步操作下，用户的显示和老师的操作是同步变化的。10.视频全屏：支持老师的视频全屏操作。11.视频设置：可以根据自己的网络实际情况进行视频音频的调整。12.手写白板：直观展现实体教学的黑板操作，操作简便，丰富教学内容。更多咨询请联系电话：15875588052 QQ：1152136167  蔚蓝  

产品详细介绍请登录 中国科学软件网 了解更多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