|
钻瓜专利网为您找到相关结果 5571932个,建议您 升级VIP下载更多相关专利
- [发明专利]一种医疗临床信息管理系统及其管理方法-CN201610878709.0在审
-
黄永刚
-
黄永刚
-
2016-10-08
-
2017-04-19
-
G06F19/00
- 本发明公开了一种医疗临床信息管理系统及其管理方法,该医疗临床信息管理系统采集模块采集医疗信息并发送至管理系统,将电子病历图像信息进行拼接,生成经过变换的图像的数据矩阵,将变换矩阵乘以数据矩阵得到压缩后的图像;设置对应于指定病症的临床路径的多个节点,针对多个节点中的每个节点,从电子病历系统和远程诊疗系统中获取患有所述指定病症、且已治愈的多个患者中每个患者的诊疗活动。本发明通过设置临床路径的多个节点使得可以根据多个已治愈患者的临床路径中的诊疗活动自动分析生成标准的临床路径,无需医生花费大量的时间与精力制作针对指定病症的临床路径,降低了医生的工作量,并且提高了临床路径的生成效率
- 一种医疗临床信息管理系统及其管理方法
- [发明专利]软件函数形式语义及形式化证明脚本自动生成方法-CN202110114974.2有效
-
黄皓
-
南京大学
-
2021-01-27
-
2023-06-23
-
G06F8/41
- 本发明公开了一种软件函数形式语义及形式化证明脚本自动生成方法,包括:对汇编指令执行后的新系统状态进行构建,使经过指令执行后的新系统状态的每个状态分量均由初始系统状态的状态分量表示;构建所有汇编指令的形式语义函数库;记录在构建被改变状态分量值的表达式树用到的指令语义函数和子路径语义函数,以及表达式化简中用到的化简规则和子路径语义证明定理,自动生成指令执行后新状态的形式语义和相应的形式化证明脚本。本发明能够对输入的微内核操作系统中的一个函数生成汇编代码、生成该汇编代码对应的若干条执行路径信息、对每条执行路径生成相应的形式语义和形式化证明脚本,最终生成自动生成函数的形式语义和形式化证明脚本。
- 软件函数形式语义形式化证明脚本自动生成方法
- [发明专利]一种日志分析方法及装置-CN201610060944.7有效
-
黄骏宇;王子银
-
苏宁易购集团股份有限公司
-
2016-01-28
-
2021-01-29
-
G06F11/34
- 本发明实施例公开了一种日志分析方法及装置,涉及电子信息技术领域,能够极大地节省业务系统的运维成本。本发明包括:包括:采集业务系统的日志数据,业务系统用于运行包括至少两个业务环节的业务过程,日志数据包括用于表示每一个环节上业务的执行状态的信息;根据日志数据,生成业务路径,每一条业务路径由至少两个节点和节点之间的连线组成,每一个节点对应一个业务环节;对所生成的业务路径设置标识,一条业务路径的标识用于表示这一条业务路径对应的业务属性;对所生成的业务路径进行统计计算并得到统计结果,并根据统计结果得到异常的业务路径,统计结果包括具有相同标识的业务路径的数量
- 一种日志分析方法装置
|