首页 文章 精选 留言 我的

文章列表

共 221045 篇
医疗云上文档安全:依托腾讯云,通过复制 / 移动加解密阻断病历非法拷贝

医疗云上文档安全:依托腾讯云,通过复制 / 移动加解密阻断病历非法拷贝

医疗业务上云进程持续加快,电子病历、PACS 影像报告、诊疗方案、患者隐私资料等敏感文档,在云服务器、本地终端、共享目录、移动 U 盘之间频繁流转。医疗机构在享受云上资源弹性扩容、多科室协同访问便利的同时,也面临文档被私自拷贝、迁移外泄的安全风险。内部人员通过 U 盘导出、共享目录拖拽复制等方式,可将明文病历、影像资料带出安全域,一旦发生外泄,将违反《数据安...

机器可检查的证明:Lean 形式化验证入门,及其对智能体系统的启示

机器可检查的证明:Lean 形式化验证入门,及其对智能体系统的启示

近期,一批由 AI 生成的数学研究手稿被公开,数量超过 700 篇。其中约 42% 的顶层结果配有 Lean 形式化证明(公开材料自述),另有三篇因符号错误被撤回。这件事对工程师的价值不在数学内容,而在一个具体问题:当智能体批量产出结果时,“正确与否”由谁、用什么方式来判定。本文介绍 Lean 的基本用法、它能保证的和不能保证的,以及可迁移到智能体系统的做法...

二手电脑如何验机?一份按“先外后内、先静后动”的实操清单

二手电脑如何验机?一份按“先外后内、先静后动”的实操清单

买二手电脑,最怕的不是配置低,而是“看起来很美”:外观翻新、硬盘清零、电池虚标、显卡暗病。先给结论:二手电脑验机按“先外后内、先静后动”六步执行——①价格与序列号初筛→②外观与接口检查→③硬件身份核对→④温度与稳定性测试→⑤硬盘、电池、屏幕等易损耗...

资源下载

更多资源
腾讯云软件源

腾讯云软件源

为解决软件依赖安装时官方源访问速度慢的问题,腾讯云为一些软件搭建了缓存服务。您可以通过使用腾讯云软件源站来提升依赖包的安装速度。为了方便用户自由搭建服务架构,目前腾讯云软件源站支持公网访问和内网访问。

Spring

Spring

Spring框架(Spring Framework)是由Rod Johnson于2002年提出的开源Java企业级应用框架,旨在通过使用JavaBean替代传统EJB实现方式降低企业级编程开发的复杂性。该框架基于简单性、可测试性和松耦合性设计理念,提供核心容器、应用上下文、数据访问集成等模块,支持整合Hibernate、Struts等第三方框架,其适用范围不仅限于服务器端开发,绝大多数Java应用均可从中受益。

Rocky Linux

Rocky Linux

Rocky Linux(中文名:洛基)是由Gregory Kurtzer于2020年12月发起的企业级Linux发行版,作为CentOS稳定版停止维护后与RHEL(Red Hat Enterprise Linux)完全兼容的开源替代方案,由社区拥有并管理,支持x86_64、aarch64等架构。其通过重新编译RHEL源代码提供长期稳定性,采用模块化包装和SELinux安全架构,默认包含GNOME桌面环境及XFS文件系统,支持十年生命周期更新。

Sublime Text

Sublime Text

Sublime Text具有漂亮的用户界面和强大的功能,例如代码缩略图,Python的插件,代码段等。还可自定义键绑定,菜单和工具栏。Sublime Text 的主要功能包括:拼写检查,书签,完整的 Python API , Goto 功能,即时项目切换,多选择,多窗口等等。Sublime Text 是一个跨平台的编辑器,同时支持Windows、Linux、Mac OS X等操作系统。

用户登录
用户注册