期刊文献+
共找到128篇文章
< 1 2 7 >
每页显示 20 50 100
基于远程证明的数据服务完整性验证方法
1
作者 张溯 +1 位作者 黄罡 《软件学报》 EI CSCD 北大核心 2024年第11期4949-4972,共24页
数据作为一种新型生产要素,需要在不同主体间流通以发挥价值.在这一过程中,数据需要确保其完整性,避免受到未经授权的篡改,否则可能导致极为严重的后果.现有工作通过将分布式账本与数据加密、校验技术结合实现数据存证以证明待流通数据... 数据作为一种新型生产要素,需要在不同主体间流通以发挥价值.在这一过程中,数据需要确保其完整性,避免受到未经授权的篡改,否则可能导致极为严重的后果.现有工作通过将分布式账本与数据加密、校验技术结合实现数据存证以证明待流通数据在传输、存储等环节中未受篡改,保障数据的完整性.然而,此类工作难以确认数据供方所提供数据本身的完整性,一旦数据供方主动或被动提供了伪造数据,后续完整性保障工作将失去意义.为此,提出一种基于远程证明的数据服务完整性验证方法,所提方法以可信执行环境作为信任锚,对特定数据服务静态代码、执行过程和执行结果的完整性进行多维度量与验证,并通过程序切片优化对特定数据服务的完整性验证,从而将数据完整性保障的范围延伸至数据供方提供数据的环节.通过在3个真实Java信息系统中25个数据服务上的一系列实验验证了所提出方法的有效性. 展开更多
关键词 数据服务 数据完整性 远程证明 控制流证明 可信执行环境
下载PDF
家庭护理干预对急性心肌梗死患者康复及家属护理能力的影响 被引量:68
2
作者 张溯 邓雪莲 +1 位作者 文俊 刘颖 《安徽医药》 CAS 2018年第11期2216-2219,共4页
目的分析家庭护理干预对家属护理能力及生活质量的影响,为急性心肌梗死患者的临床护理和家庭治疗照护中的延续性护理提供依据。方法收集遂宁市中医院心内科2015年1月至2016年12月收治的183例急性心肌梗死患者为研究对象,按随机数字表法... 目的分析家庭护理干预对家属护理能力及生活质量的影响,为急性心肌梗死患者的临床护理和家庭治疗照护中的延续性护理提供依据。方法收集遂宁市中医院心内科2015年1月至2016年12月收治的183例急性心肌梗死患者为研究对象,按随机数字表法分为研究组(92例)和对照组(91例)。研究组采用家庭护理干预,对照组采用心内科常规护理干预,分析术后两组患者的并发症发生情况、家属护理能力和生活质量的差异。结果研究组患者干预后并发症发生率为17.39%,明显低于对照组的37.36%(χ~2=9.189,P<0.05),研究组干预后梗死后心绞痛发生率显著低于对照组(6.52%vs.18.68%,χ2=6.155,P<0.05),但干预后两组患者在心力衰竭、严重心律失常、死亡、再梗死等方面差异无统计学意义(P>0.05);研究组家属干预前家庭照顾者照顾能力量表(FCTI)评分(8.24±5.01)分明显高于干预后评分(3.97±2.68)分(t=5.368,P<0.05),对照组家属干预前后FCTI评分差异无统计学意义(P>0.05),再者研究组干预后FCTI评分(3.97±2.68)分明显低于对照组干预后评分(6.52±3.25)分(t=3.257,P<0.05),研究组干预前FCTI评分与对照组干预前评分差异无统计学意义(P>0.05);研究组干预前一般健康问卷-28量表(CHQ-28)评分为(6.01±2.33)分明显低于干预后评分(9.25±1.43)分(t=4.825,P<0.05),而对照组在干预前后CHQ-28评分差异无统计学意义(P>0.05),干预后研究组CHQ-28评分(9.25±1.43)分明显高于对照组评分(5.16±2.10)分(t=2.684,P<0.05),但干预前研究组CHQ-28评分与对照组评分差异无统计学意义(P>0.05)。结论采用家庭护理干预,能显著提高家属的护理技能和生活质量,并能有效降低急性心肌梗死患者的临床并发症。 展开更多
关键词 家庭护理 急性心肌梗死 家属 护理能力 生活质量
下载PDF
托梁拔柱施工中“顶升技术”的应用 被引量:10
3
作者 张溯 汤庆轩 田亚军 《工业建筑》 CSCD 北大核心 2008年第1期117-119,共3页
通过某工程实例,对"顶升技术"在托梁拔柱施工中的应用予以介绍,可为类似工程提供工程实践经验和理论分析方法。
关键词 托梁拔柱 顶升技术 理论分析 加固
下载PDF
状态机与多时钟体系结构的异同 被引量:4
4
作者 张溯 胡永华 高明伦 《微电子学与计算机》 CSCD 北大核心 2001年第3期1-5,共5页
在使用硬件描述语言设计数字逻辑系统时,控制信号的设计是整个系统设计的关键和难点所在。文章从时间性和状态空间两个角度深入讨论了控制流设计中状态机和多时钟两种常见的体系结构的异同。并就其各自的应用范围做了探讨。文章的思路... 在使用硬件描述语言设计数字逻辑系统时,控制信号的设计是整个系统设计的关键和难点所在。文章从时间性和状态空间两个角度深入讨论了控制流设计中状态机和多时钟两种常见的体系结构的异同。并就其各自的应用范围做了探讨。文章的思路对进行电路系统级设计有一定的借鉴意义。 展开更多
关键词 有限状态机 多时钟体系结构 微处理器
下载PDF
神阙穴隔盐灸治疗黄褐斑的机理初探 被引量:5
5
作者 张溯 段渠 李俊仪 《河南中医》 2012年第4期480-481,共2页
黄褐斑多为气血不能上荣于面所致,发病多与肝脾肾三脏关系密切,艾叶性味辛温,恰入肝脾肾三经,故用艾叶作为灸治材料;神阙穴为元气归藏之根,盐入肾,能起温阳补肾之功;隔盐灸神阙穴可温阳益气,使气血上荣于面,从而达到治疗黄褐斑的目的。
关键词 黄褐斑 神阙穴 隔盐灸 艾叶
下载PDF
可拆装钢-混凝土组合楼板承载力试验与模拟分析 被引量:3
6
作者 张溯 李济民 《建筑技术》 2014年第12期1097-1099,共3页
为掌握实际工程中预选用的组合楼板的承载性能,以钢框架-混凝土组合楼板为研究对象,进行静力加载试验,并利用通用有限元软件ANSYS对试验中组合楼板进行承载模拟计算,结果表明组合楼板的槽钢和压型钢板发生塑性变形前的模拟计算结果与试... 为掌握实际工程中预选用的组合楼板的承载性能,以钢框架-混凝土组合楼板为研究对象,进行静力加载试验,并利用通用有限元软件ANSYS对试验中组合楼板进行承载模拟计算,结果表明组合楼板的槽钢和压型钢板发生塑性变形前的模拟计算结果与试验得到的荷载-挠度曲线吻合很好,基于简化的材料应力-应变关系的有限元计算模型可用于钢框架-组合楼板弹性范围内的承载性能分析中。 展开更多
关键词 钢框架-混凝土组合楼板 承载力 有限元方法
下载PDF
SOC重用设计中的IP库技术 被引量:2
7
作者 张溯 高明伦 +1 位作者 李丽 林慧君 《电子产品世界》 2003年第02A期52-55,共4页
有效的基于IP重用的设计方法学需要一整套完整的设计环境支持,其中关键的部分是要开发一个包含种类丰富、质量优良的IP模块的IP库。本文阐述了系统芯片重用设计过程中IP库开发和管理的重要意义。尝试定义了IP库,并从其组成要素:IP库元件... 有效的基于IP重用的设计方法学需要一整套完整的设计环境支持,其中关键的部分是要开发一个包含种类丰富、质量优良的IP模块的IP库。本文阐述了系统芯片重用设计过程中IP库开发和管理的重要意义。尝试定义了IP库,并从其组成要素:IP库元件、IP的评估以及IP库的系统结构和数据管理等方面简述了这一过程中可能存在的若干技术问题。 展开更多
关键词 SOC 重用设计 系统芯片 IP库
下载PDF
可拆装钢-混凝土组合楼板承载力的试验研究
8
作者 张溯 李济民 《钢结构》 北大核心 2015年第1期17-20,共4页
以可拆装多层停车库示范工程的钢-混凝土组合楼板为研究对象,对可拆装钢-混凝土组合楼板承载力及连接性能进行试验研究,结果表明:通过砝码施加车库可变荷载的方案是可行的,在设计荷载下,组合楼板各构件安全可靠,组合楼板与钢梁的连接可... 以可拆装多层停车库示范工程的钢-混凝土组合楼板为研究对象,对可拆装钢-混凝土组合楼板承载力及连接性能进行试验研究,结果表明:通过砝码施加车库可变荷载的方案是可行的,在设计荷载下,组合楼板各构件安全可靠,组合楼板与钢梁的连接可靠,得到了组合楼板破坏失效模式为压型钢板与钢框架界面发生滑移。研究成果可为可拆装钢-混凝土组合楼板的设计、应用推广提供试验数据支持。 展开更多
关键词 可拆装 钢-混凝土组合楼板 滑移荷载 承载力
下载PDF
冷弯型钢厂房设计
9
作者 张溯 田亚军 陈云波 《钢结构》 1997年第3期13-16,共4页
本文介绍了上海钢铁工艺技术研究所冷弯型钢厂房的设计,通过构件采用冷弯型钢与其它材料的对比,论述了应用冷弯型钢的优势.该工程推进了冷弯型钢在建筑中的应用.
关键词 冷弯型钢 排架 网架 门式刚架
下载PDF
随机振动载荷下电子箱PCBA焊点疲劳寿命分析 被引量:2
10
作者 张溯 程昊 +1 位作者 郭秦 汪建成 《自动化与仪表》 2023年第1期11-14,19,共5页
电子箱在力学载荷环境下,振动引起的高周循环疲劳应力会造成箱体中电路焊点失效,影响电子箱整机可靠性;针对一种印制电路板组件焊点进行整机级振动试验,通过建立电子箱整机有限元模型,进行与试验状态一致的随机振动试验仿真分析,提取焊... 电子箱在力学载荷环境下,振动引起的高周循环疲劳应力会造成箱体中电路焊点失效,影响电子箱整机可靠性;针对一种印制电路板组件焊点进行整机级振动试验,通过建立电子箱整机有限元模型,进行与试验状态一致的随机振动试验仿真分析,提取焊点上的应力、加速度响应水平;基于Basquin模型,建立了PCBA疲劳寿命预测模型,将几种不同振动载荷下的焊点响应结果代入到预测模型,计算得到电子箱在不同振动载荷下的寿命分析结果,得到电子箱PCBA焊点的应力-寿命(S-N)曲线;结果表明,在工况随机振动条件下电子箱PCBA焊点具有足够可靠性,随着振动激励增大,焊点疲劳寿命显著缩短,该方法可用于电子箱整机级PCBA焊点随机振动疲劳寿命分析。 展开更多
关键词 随机振动 焊点寿命 有限元分析 印制板电路组件(PCBA)
下载PDF
喉罩保留自主呼吸全麻联合臂丛神经阻滞在小儿上肢手术中的应用效果 被引量:27
11
作者 陈伟 刘洋 +2 位作者 陈鹏 张溯 《解放军医药杂志》 CAS 2017年第7期108-111,共4页
目的探讨喉罩保留自主呼吸全麻联合臂丛神经阻滞在小儿上肢手术中的应用效果。方法选择2014年8月—2016年10月收治的行上肢手术的患儿90例,根据麻醉方法分为联合组、喉罩全麻组与气管插管全麻组,每组30例。联合组给予喉罩保留自主呼吸... 目的探讨喉罩保留自主呼吸全麻联合臂丛神经阻滞在小儿上肢手术中的应用效果。方法选择2014年8月—2016年10月收治的行上肢手术的患儿90例,根据麻醉方法分为联合组、喉罩全麻组与气管插管全麻组,每组30例。联合组给予喉罩保留自主呼吸全麻联合臂丛神经阻滞,喉罩全麻组和气管插管全麻组分别给予喉罩全麻和气管插管全麻。比较3组术前(T0)、插入气管导管或置入喉罩即刻(T1)、切皮时(T2)、手术开始后0.5 h(T3)、术毕时(T4)血流动力学指标、麻醉起效时间、麻醉用药量及并发症发生情况。结果联合组、喉罩全麻组T1、T2、T4心率及T1~4平均动脉压均明显低于气管插管全麻组(P<0.05)。联合组苏醒时间均短于气管插管全麻组和喉罩全麻组,联合组疼痛出现时间晚于气管插管全麻组与喉罩全麻组,丙泊酚、瑞芬太尼用量少于喉罩全麻组与气管插管全麻组(P<0.05)。联合组和喉罩全麻组并发症发生率低于气管插管全麻组(P<0.05)。结论喉罩保留自主呼吸全麻联合臂丛神经阻滞具有血流动力学稳定、苏醒快、麻醉药物用量少、并发症少等特点。 展开更多
关键词 外科手术 麻醉 全身 麻醉和镇痛 儿童
下载PDF
SoC设计的过程模型的研究 被引量:5
12
作者 高明伦 张溯 +1 位作者 李丽 胡永华 《微电子学与计算机》 CSCD 北大核心 2004年第2期105-107,112,共4页
为了有效缓解SoC设计中设计周期和设计规模之间的矛盾,需要引入一种科学的思维方法。使用完整的工程学原则指导SoC的设计是问题解决的根本途径。文章充分借鉴成熟的软件工程研究思想,在对基于IP重用设计方法学研究基础上,对基于重用的So... 为了有效缓解SoC设计中设计周期和设计规模之间的矛盾,需要引入一种科学的思维方法。使用完整的工程学原则指导SoC的设计是问题解决的根本途径。文章充分借鉴成熟的软件工程研究思想,在对基于IP重用设计方法学研究基础上,对基于重用的SoC设计过程进行了建模,提出了一个新的工程过程模型———CPD模型,该模型的提出为SoC设计领域内各种无序的活动有序化做了尝试和努力。 展开更多
关键词 集成电路 SOC 设计 过程模型 CPD模型 软件工程
下载PDF
使用脚本语言构建IP质量评估平台 被引量:6
13
作者 周萌 张溯 +1 位作者 胡永华 林慧君 《微电子学与计算机》 CSCD 北大核心 2004年第8期128-131,共4页
文章介绍了IP质量评估的基本概念和相关内容,在VSIA标准的基础上,给出了一种IP质量评估过程和相关的EDA工具。通过分析设计资料,提出了一个设计数据管理模型,将整个流程分为资料组织、资料搜索、资料分析、资料输出、资料封装五个阶段,... 文章介绍了IP质量评估的基本概念和相关内容,在VSIA标准的基础上,给出了一种IP质量评估过程和相关的EDA工具。通过分析设计资料,提出了一个设计数据管理模型,将整个流程分为资料组织、资料搜索、资料分析、资料输出、资料封装五个阶段,针对每个阶段讨论用脚本语言实现的方式,从而完成一个自动化的IP质量评估平台构建,最后给出了Perl脚本的参考实例。 展开更多
关键词 IP 质量评估 平台 脚本语言
下载PDF
浅析细节护理在对胃癌手术患者进行术前访视中的应用效果
14
作者 张溯 《当代医药论丛》 2018年第14期280-282,共3页
目的:探讨细节护理在对胃癌手术患者进行术前访视中的应用效果。方法:将2016年1月至6月期间遂宁市中医院收治的150例胃癌患者作为研究对象。将这150例患者随机平均分为对照组和观察组。在两组患者进行手术前护理人员均对其进行访视,并... 目的:探讨细节护理在对胃癌手术患者进行术前访视中的应用效果。方法:将2016年1月至6月期间遂宁市中医院收治的150例胃癌患者作为研究对象。将这150例患者随机平均分为对照组和观察组。在两组患者进行手术前护理人员均对其进行访视,并对其进行常规护理。在此基础上,对观察组患者在术前访视中实施细节护理。然后,比较两组患者的焦虑和抑郁自评量表的评分、其对护理满意度的评分和个人形象与职业素养的评分。结果:接受护理后,观察组患者的焦虑和抑郁自评量表的评分低于对照组患者,其对护理满意度的评分和个人形象与职业素养的评分高于对照组患者,差异具有统计学意义(P<0.05)。结论:在胃癌手术患者进行术前访视中实施细节护理的效果较好,可有效地缓解其焦虑和抑郁的情绪,提高其对护理服务的满意度。 展开更多
关键词 细节护理 术前访视 手术
下载PDF
验证重用中的监视器设计 被引量:3
15
作者 杨羽 张溯 +1 位作者 周萌 詹文法 《微电子学与计算机》 CSCD 北大核心 2004年第7期173-176,共4页
现代集成电路设计面临着一个困境,一方面是电路设计规模和复杂度的日益增加,另一方面则又面临着来自面市时间的巨大压力。在中等或大规模设计中验证工作往往占总开发工作量的70%以上,缩短验证时间可以有效提高设计的效率。采用基于事务... 现代集成电路设计面临着一个困境,一方面是电路设计规模和复杂度的日益增加,另一方面则又面临着来自面市时间的巨大压力。在中等或大规模设计中验证工作往往占总开发工作量的70%以上,缩短验证时间可以有效提高设计的效率。采用基于事务的监视器搭建模块化验证平台,是实现缩短验证时间的有效手段。文中讨论了基于事务的监视器的基本工作原理和设计方法,并介绍了一个具体实例———总线监视器的设计。 展开更多
关键词 监视器 事务 重用 验证 SOC
下载PDF
IP核评测流程的研究 被引量:5
16
作者 章伟 张溯 许海辉 《微电子学与计算机》 CSCD 北大核心 2007年第4期42-43,46,共3页
对于系统芯片设计,IP的质量是至关重要的。要对IP进行质量评估,首先要有一套相应的评测标准、评估方法学和评测流程。因此提出了一种基于第三方评测机构的IP核评测流程,从IP核工业界标准,IP核静态性能方面研究了IP性能测试技术、相关算... 对于系统芯片设计,IP的质量是至关重要的。要对IP进行质量评估,首先要有一套相应的评测标准、评估方法学和评测流程。因此提出了一种基于第三方评测机构的IP核评测流程,从IP核工业界标准,IP核静态性能方面研究了IP性能测试技术、相关算法和工具。 展开更多
关键词 IP核评测 第三方评测机构 OpenMORE
下载PDF
一种改进的微控制器FPGA原型芯片设计与验证 被引量:1
17
作者 杜高明 王锐 +1 位作者 胡永华 张溯 《仪器仪表学报》 EI CAS CSCD 北大核心 2006年第z3期2346-2349,共4页
HGD08R01是一款与PIC16C57兼容的八位微控制器。本文通过增加在线编程特点,对原有芯片加以改进。为了验证改进后芯片的功能,使用FPGA原型验证方法。首先用完备指令测试方式验证,然后用一个具体的应用——万年历系统来验证原型芯片的功... HGD08R01是一款与PIC16C57兼容的八位微控制器。本文通过增加在线编程特点,对原有芯片加以改进。为了验证改进后芯片的功能,使用FPGA原型验证方法。首先用完备指令测试方式验证,然后用一个具体的应用——万年历系统来验证原型芯片的功能。实验结果表明,完备指令测试方式的代码全局覆盖率达100%,分支覆盖率达99.51%,在线编程功能达到预期效果;应用系统测试中,万年历能正确稳定工作。 展开更多
关键词 微控制器 在线编程接口 FPGA原型验证
下载PDF
UIO序列的启发式算法 被引量:1
18
作者 孙海平 张溯 高明伦 《合肥工业大学学报(自然科学版)》 CAS CSCD 2001年第4期486-492,共7页
UIO序列是对有限状态机进行功能测试的有效手段 ,在 VLSI设计、通信协议等时序系统中有很强的实际应用背景。文章基于可区分状态组这一概念设计了一个搜索算法 ,进一步利用搜索信息建立了一个基于“小于”关系的启发策略 ,有效的剪枝策... UIO序列是对有限状态机进行功能测试的有效手段 ,在 VLSI设计、通信协议等时序系统中有很强的实际应用背景。文章基于可区分状态组这一概念设计了一个搜索算法 ,进一步利用搜索信息建立了一个基于“小于”关系的启发策略 ,有效的剪枝策略的设计将尽可能消除没有意义的搜索分枝 ,新设计出的多路 OPEN/CLOSED表存储机制也加快了相关的判别和处理过程。这些措施改进了搜索过程 ,减少了搜索信息的产生 ,提高了搜索速度。该算法与以往的算法相比 ,在时间和空间两方面都得到了很大改进。 展开更多
关键词 有限状态机 UIO序列 启发式搜索算法 优化策略 功能测试 搜索速率 剪枝策略
下载PDF
一种基于总线的可重用验证平台研究 被引量:1
19
作者 詹文法 李丽 +1 位作者 程作仁 张溯 《电子技术应用》 北大核心 2006年第5期92-96,共5页
提出了一种基于总线的可重用验证平台结构。该结构在传统的模块化和抽象技术的基础上,采用了层次化的片上总线结构,同时引入了参数化的设计方法,使可重用性进一步提高。实验结果表明,使用此方法构建的验证平台,可重用率至少可达60%,验... 提出了一种基于总线的可重用验证平台结构。该结构在传统的模块化和抽象技术的基础上,采用了层次化的片上总线结构,同时引入了参数化的设计方法,使可重用性进一步提高。实验结果表明,使用此方法构建的验证平台,可重用率至少可达60%,验证效率提高约35%。 展开更多
关键词 验证平台 可重用性 待验证模块 功能验证
下载PDF
喉罩保留自主呼吸全麻合骶管阻滞在小儿下肢手术中的应用 被引量:2
20
作者 陈伟 陈鹏 +2 位作者 张溯 谭敏 《现代诊断与治疗》 CAS 2017年第19期3681-3682,共2页
探究喉罩保留自主呼吸全麻合骶管阻滞在小儿下肢手术中的应用价值。将下肢手术患儿按随机数字法分为对照组和观察组各50例,观察组采用喉罩保留自主呼吸全麻合骶管阻滞麻醉患儿设为,对照组行喉罩保留自主呼吸全麻,比较麻醉效果。两组手... 探究喉罩保留自主呼吸全麻合骶管阻滞在小儿下肢手术中的应用价值。将下肢手术患儿按随机数字法分为对照组和观察组各50例,观察组采用喉罩保留自主呼吸全麻合骶管阻滞麻醉患儿设为,对照组行喉罩保留自主呼吸全麻,比较麻醉效果。两组手术时间及拔管时间差异不明显,术后24h疼痛(VAS)评分无显著差异(P>0.05),观察组术后4、8h VAS评分均显著低于对照组,同时拔管后5min OAAS评分、不良反应发生率、睁眼时间显著优于对照组,差异有统计学意义(P<0.05)。小儿下肢手术中两种麻醉方式联合麻醉对术后短期镇痛效果显著,同时患儿苏醒时情绪、镇静程度更为优良,值得临床推广应用。 展开更多
关键词 喉罩保留自主呼吸全麻 骶管阻滞 小儿 下肢手术
下载PDF
上一页 1 2 7 下一页 到第
使用帮助 返回顶部