VTK-js v33.0.0-beta.3版本发布:3D可视化与数据处理能力再升级
VTK-js是一个基于WebGL的JavaScript库,专门用于在浏览器中实现高性能的科学数据可视化。作为VTK(Visualization Toolkit)的JavaScript版本,它继承了VTK强大的数据处理和可视化能力,同时针对Web环境进行了优化。最新发布的v33.0.0-beta.3版本带来了多项重要改进和新功能,进一步提升了3D模型处理和医学影像可视化的能力。
核心功能增强
3D模型导入与处理
新版本重点增强了3D模型的处理能力。GLTFImporter模块现在支持多图元(multiple primitives)导入,解决了Draco压缩格式下的法线数据问题,并优化了环境纹理路径处理。IFCImporter也修复了法线计算问题,这些改进使得建筑信息模型(BIM)的展示更加准确。
STLReader新增了removeDuplicateVertices方法,虽然默认关闭,但开发者可以根据需要启用这一功能来优化模型顶点数据,减少冗余顶点带来的性能开销。
图像处理与可视化
在医学影像领域,ImageMapper模块进行了多项重要修复:
- 改进了切片模式(SlicingMode)的处理逻辑
- 优化了标签轮廓在I/J切片方向上的显示效果
- 修复了资源引用不稳定的问题
- 调整了混合效果,现在会与黑色背景而非青色背景混合
新增的TIFFReader和TGAReader支持为项目带来了更丰富的图像格式兼容性,特别是TIFF格式在医学影像领域应用广泛。
交互与用户体验改进
PointPicker模块修复了在多actor场景下pointId被覆盖的问题,提升了点选交互的准确性。ShapeWidget示例得到改进,现在能更好地支持非轴对齐切片,使3D标注工具更加灵活实用。
AngleWidget增加了边界限制功能,使得角度测量工具在实际应用中更加稳定可靠。CanvasView现在允许直接设置canvas元素,为开发者提供了更大的灵活性。
数据处理能力扩展
新增的vtkThresholdPoints过滤器为点云数据处理提供了新的工具。DataArray模块现在会在使用默认数据类型时发出警告,帮助开发者避免潜在的数据精度问题。
vtkXMLPolyDataWriter现在支持保存FieldData,完善了数据导出功能。vtkClipClosedSurface修复了二维数组初始化问题,提升了曲面裁剪的稳定性。
性能优化与稳定性
底层渲染性能得到优化,避免了对带有线性过滤的纹理使用norm16格式,提高了渲染效率。ImageProperty增加了标签轮廓函数的类型定义,增强了代码的健壮性。
URLExtract模块现在使用内置解析器,减少了对浏览器API的依赖。RenderWindowInteractor导出了IPosition接口,改善了类型支持。
这个beta版本虽然仍处于预发布状态,但已经展现出VTK-js在3D可视化和科学计算领域的持续进步。特别是对医疗影像和建筑模型的支持更加完善,为开发者构建专业级可视化应用提供了更强大的工具集。
kernelopenEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。C085
baihu-dataset异构数据集“白虎”正式开源——首批开放10w+条真实机器人动作数据,构建具身智能标准化训练基座。00
mindquantumMindQuantum is a general software library supporting the development of applications for quantum computation.Python057
PaddleOCR-VLPaddleOCR-VL 是一款顶尖且资源高效的文档解析专用模型。其核心组件为 PaddleOCR-VL-0.9B,这是一款精简却功能强大的视觉语言模型(VLM)。该模型融合了 NaViT 风格的动态分辨率视觉编码器与 ERNIE-4.5-0.3B 语言模型,可实现精准的元素识别。Python00
GLM-4.7GLM-4.7上线并开源。新版本面向Coding场景强化了编码能力、长程任务规划与工具协同,并在多项主流公开基准测试中取得开源模型中的领先表现。 目前,GLM-4.7已通过BigModel.cn提供API,并在z.ai全栈开发模式中上线Skills模块,支持多模态任务的统一规划与协作。Jinja00
agent-studioopenJiuwen agent-studio提供零码、低码可视化开发和工作流编排,模型、知识库、插件等各资源管理能力TSX0136
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00