胡静
- 作品数:53 被引量:40H指数:4
- 供职机构:天津大学更多>>
- 发文基金:国家自然科学基金天津市科技支撑计划天津市科技支撑计划重点项目更多>>
- 相关领域:自动化与计算机技术经济管理化学工程建筑科学更多>>
- 一种等级驱动的安全需求分析方法
- 本发明属于可信计算领域,涉及一种等级驱动的安全需求分析方法,包括等级知识库的建立和具体系统的安全需求分析两个方面;在针对某一个具体的系统开发中,根据用户对系统提出的安全需求等级要求,对根据威胁选择的安全功能组件进行筛选,...
- 李晓红许光全刘丰煦胡静冯志勇
- 基于Pi-演算的Web服务形式化描述模型*被引量:2
- 2011年
- 当前对Web服务进行形式化描述的方法多是基于对某个具体Web服务组合规范的抽象,无法兼顾基于全局和局部的设计方法,并且无法描述Web服务组合的体系结构的动态性。在对现有的Web服务形式化描述方法进行回顾和总结的基础上,基于Pi-演算建立了Web服务形式化描述模型,将BPEL4WS和WS-CDL规范的重要行为在模型中作了映射。最后通过例子说明,基于局部和全局的设计方法在提出的模型中的映射是一致的。提出的描述模型直接用来进行Web服务组合的设计时,可以更好地描述动态的体系结构。
- 胡静冯志勇
- 关键词:WEB服务WEB服务组合形式化描述模型PI-演算
- 威胁模型驱动的软件安全评估方法
- 本发明涉及属于安全、可靠性测试领域。为缓和软件威胁,增强软件系统的安全性,本发明采用的技术方案是,威胁模型驱动的软件安全评估方法,包括下列步骤:1.构建软件系统的概图;2.分解软件系统;3.识别软件系统的关键资产;4.识...
- 李晓红闫波波何可冯志勇许光全胡静
- 文献传递
- 一种基于深度学习的阶梯式语音增强方法
- 本发明涉及一种基于深度学习的阶梯式语音增强方法,其特征在于:所述方法的步骤为:a)一阶合适机器感知框架的建立;b)二阶适合人耳听觉感知框架建立。本发明设计科学合理,说提出的基于阶梯式方法的有效性,既能得到适合机器感知的语...
- 胡静万里王建荣刘李
- 巴豆霜推进肠运动物质基础和胃肠安丸抗内毒素作用研究
- 胃肠安丸是一种治疗腹泻疗效确切的中成药,其中的巴豆霜在方中起着非常重要的作用。巴豆霜既是胃肠安丸的活性成分又是其毒性成分。为了阐明其在胃肠安丸中的合理用药,本论文对巴豆霜推进肠运动的药效物质基础、作用机理和相关成分的分析...
- 胡静
- 关键词:胃肠安丸肠运动活性成分毒性成分抗内毒素作用
- 文献传递
- 基于权限的Android恶意软件混合检测方法
- 本发明公开了一种基于权限的Android恶意软件混合检测方法,步骤一、对Android应用程序进行反编译,得到应用程序申请权限;步骤二、结合系统设定权限对应用程序申请权限进行权限检测;根据应用程序申请权限情况的不同,所有...
- 李晓红赵仁焦浩峰胡静许光全
- 文献传递
- 一种应用于养老机器人的基于生理信号的情感识别方法
- 本发明公开了一种应用于养老机器人的基于生理信号的情感识别方法:机器人的头部装有全景摄像头,拍摄内容是用于测量和识别用户面部表情,当用户面部识别显示用户呈现出伤心难过、开心、恐惧、痛苦表情时,及时标记当前用户生理信号的数据...
- 徐超魏玉鹏孟昭鹏胡静
- 文献传递
- 安全交换协议模型检测方法
- 本发明公开了一种安全交换协议模型检测方法,该方法的步骤包括:1)构建安全交换协议模型;2)构建安全属性模型;3)构建攻击者模型;4)状态约简以及模型检测。与现有技术相比,本发明通过对安全交换协议以及其公平性和不可否认性进...
- 李晓红胥佳逸许光全胡静张蕾李笑如
- 文献传递
- 有机-无机缓释复混肥与生物有机复混肥的制备及其评价
- 现代农业生产中长期大量施用化肥会使土壤理化性质变劣,作物减产,农产品品质下降,而且化肥利用率低,流失后会严重污染环境.当前,生态农业和绿色食品的兴起与发展迫切需要绿色环保型肥料品种的开发,从而解决化肥所带来的一系列问题....
- 胡静
- 关键词:有机复混肥新型肥料
- 文献传递
- 针对安全协议的形式化建模及验证方法
- 本发明涉及信息交换安全技术领域,为尽快发现在协议建模过程中存在的错误或者协议本身存在的缺陷,从而尽快修复安全协议的缺陷并再次验证,直至安全协议的安全属性得以满足,为此,本发明采用的技术方案是,针对安全协议的形式化建模及验...
- 李晓红沈岗胡静韩卓兵谢肖飞张程伟
- 文献传递