序号 |
设备名称 |
简要技术参数 |
数量 （台、套） |
价格 （万元） |
1 |
计算机集群系统 |
（1）管理：2个8物理处理器核心管理单元，单核心主频≥2.8GHz； （2）计算：288物理处理器核心计算单元，每单元配置48个物理处理器核心，单核心主频≥2.8GHz； （3）存储：本次高性能存储模块共计配置≥24TB裸容量，采用统一文件系统命名工作模式； （4）网络：（cluster）一体化体系结构，多外节点间通过56Gb IB网络连接组成集群结构 |
1 |
318.5 |
2 |
计算机服务器 |
至强Xeon-E7/4CPU/双电源/4*16G内存/4*1TG硬盘 |
10 |
120.8 |
3 |
便携式工作站 |
I74940MX/32G/SSD512G+2TB/15寸显示器/8G显存显卡/9芯电池/win7 |
20 |
110.4 |
4 |
微型电子计算机 |
HP/i7CPU/8G内存/1TB硬盘/24寸显示器/Win7操作系统 |
80 |
80 |
5 |
笔记本电脑 |
DELL/i5CPU/8G内存/1TB硬盘/2G独显/ 22寸显示器/Win7操作系统 |
30 |
45.8 |
6 |
不间断电源 |
山特C6KS在线式6KVA/5400W/断电延时4小时 |
6 |
18 |
7 |
防火墙 |
思科ASA5515-K9/6个GE接口/2个USB2.0接口 |
1 |
3.6 |
8 |
服务器防病毒硬件设备 |
支持window各型系统/防垃圾邮件/反钓鱼技术/存储介质控制/防盗功能 |
1 |
5.4 |
9 |
C程序语言形式化系统 |
支持C89、C99、C11标准/windows与Linux跨平台支持/并行多处理/一键式工程文件导入 |
1 |
45.2 |
10 |
PLC程序语言形式化系统 |
支持IEC 61131-3标准/ windows与Linux跨平台支持/一键式项目导入/形式化文件自查找/单文件与多文件功能 |
1 |
65.4 |
11 |
轨道交通控制模块可信性自动验证平台 |
Windows、Linux平台/支持PLC、C程序/EN50126、50128、50129行业标准 |
1 |
330.4 |
12 |
嵌入式软件可信性自动验证平台 |
Windows与Linux跨平台支持/支持IAR、C166、C51、CCS等嵌入式平台源码验证。 |
1 |
373.8 |
13 |
软件检测平台 |
LDRA Testbed/静态多功能分析/动态多功能分析/图形化显示，1个License含10个终端 |
1 |
86.6 |
14 |
Goanna 2012 |
Goanna2012C / C ++代码静态分析工具，支持多种行业标准规范。保符合如DO-178B、ISO 26262和MISRA的安全标准,1个License,3年免费升级 |
1 |
42 |
15 |
Polyspace |
含Polyspace Code ProverPolyspace Bug Finder™ 可发现C/C++常见运行时错误,也可证明不存在数组、内存等错误，三年免费升级。 |
2 |
82 |
16 |
Windows7旗舰版 |
Windows7 x64原装旗舰版 |
50 |
13 |
17 |
KlockWork Insight 10 |
C/C++/Java/C#源码分析工具10 License，一年内一次免费上门技术支持服务 |
1 |
132 |
18 |
软件建模系统 |
Rational Rose/ PowerDesigner Studio Enterprise/ Enterprise Architect |
1 |
327.3 |
19 |
智能控制系统 |
微型电子计算机/L2接入交换机/网络机柜/多媒体语音系统/服务器/笔记本电脑/固态硬盘/大数据存储器/基于C的虚拟仪器开发平台/模型车套件/通用数据采集板卡/采集板卡/测距传感器模块/模型车套件/ARM系列开发板/机器人/示波表/Maple TA 10 |
1 |
185.6 |
20 |
云计算智能信息处理系统 |
云核心交换机H3CS12500/云接入交换机H3CS5820V2/云刀片服务器H3C FlexServer C8000/云机架服务器H3C FlexServer R390/云存储HP P4500/虚拟化平台H3C CVM/云管理平台H3C CIC/网络管理平台H3C IMC |
1 |
260.8 |
21 |
车辆控制台软件系统 |
配时计算模块/绿信比调节模块/交叉口控制模块/仿真回放模块/统计数据等 |
1 |
14.6 |
22 |
城市交通信号与控制实验系统 |
信号机系统半实物/功能仿真SCOOT系统/服务器/教师端操作台/客户端操作台 |
1 |
86.7 |
23 |
列车运行信号与控制系统 |
车载仿真器/轨旁仿真器/线路仿真器/继电器架/车载、轨旁、线路仿真器专用软件/列车自动监控设备（双核CPU，大容量内存，高速硬盘）/列车自动监控设备专用软件 |
1 |
91.5 |
24 |
计算机逻辑分析仪 |
suin SA8320/32数据通道/双时钟/5.7英才彩屏/10ns分辨率 |
3 |
6.3 |
25 |
原型控制实时仿真器 |
cPCI/PXI 总线/支持QNX 及VxWorks 实时操作系统/HiGaleRTD 实时驱动软件/实现Simulink 模型与硬件平台间的无缝衔接 |
1 |
54.3 |
26 |
GEB验证软件 |
GEB automation IDE compiles/支持IEC 61131-3标准/文本与图形编程/windows版 |
2 |
3.8 |
27 |
SQL Server 2012系统软件 |
微软SQL Server 2012/针对 SSD 的缓冲池扩展/含资源调控器 |
1 |
5.6 |
28 |
轨道交通列车牵引计算软件网络版 |
BS模式/Windows NT/牵引计算/能耗优化/多目标协同 |
1 |
28.6 |
29 |
加密软件 |
锐绿盾数据防泄密系统软件/文档加密/内网管理/文档管理/内网监控 |
4 |
3.2 |
30 |
远程视频会议系统 |
宝利通polycom/高清视频远程会议系统/HDX9000-720视频终端/720P |
1 |
15.8 |
31 |
服务器操作系统软件 |
微软Windows server 2012 标准版 |
1 |
14.4 |
32 |
建模软件 |
MathWorks MATLAB/Windows®/2012版 |
1 |
18.6 |
33 |
编辑软件 |
微软Office 2013 professional套件 |
50 |
20 |
合 计（万元） |
3010 |
