张磊 作品数:6 被引量:17 H指数:2 供职机构: 复旦大学软件学院 更多>> 发文基金: 国家自然科学基金 上海市卫生局科研基金 上海市浦江人才计划项目 更多>> 相关领域: 自动化与计算机技术 医药卫生 经济管理 电子电信 更多>>
采用广义可加模型分析预测上海市流感样病例发病情况 被引量:7 2013年 探讨广义可加模型(GAM)在上海市流感样病例发病趋势分析和预测中应用,并通过已知的气象条件预测可能的流感样病例数量。研究中利用2006-2010年上海市每周气象数据以及流感样病例监测数据,按照GAM理论,建立气象数据与流感样病例问基于非线性回归的数学模型。通过初步的数据分析,构造多个候选模型,并通过AIC(Akaike information criterion)指标选取合适的模型进行数据分析及预测。基于周平均气温及周平均日温差(周相对湿度)的模型较好拟合了原始数据,且模型简洁、明确。对于原始数据的拟合残差及部分拟合残差基本符合上海市流感样病例发病的实际情况,并具有一定的预测能力。结果表明GAM能够较好拟合上海市流感样病例发病与气象因素的变化趋势,准确预测流感样病例的发病情况,适合应用于气象因素依赖的疾病发病预测和分析。 陈健 张磊 陆帅 姜晨彦 胡家瑜 姜庆五 吴凡关键词:流感样病例 面向LCD多投影显示的三阶段光学校正方法 2010年 光学校正对多投影无缝显示非常重要。用照相机作为测量工具,提出三阶段法构建三个显示模型解决多投影显示中遇到色度不一致和亮度不均匀的问题。三个模型分别被命名为单投影机模型、标准投影机模型和显示墙模型。单投影机模型描述投影机光学成像过程,标准投影机模型对每个投影机做规一化操作,显示墙模型中重新定义多投影显示的光学模型以达到无缝显示。给出不同品牌投影机协同工作的实验结果,表明方法对于多投影显示光学校正的有效性。 张磊考虑交易费的融资与分红最优控制模型(英文) 被引量:2 2004年 在实际金融市场中股份公司在红利分配和再融资过程中都需要支付固定交易费和比例交易费 ,而如何确定交易费对公司财务决策的影响还没有进行过讨论 .本文利用随机脉冲控制理论研究了在收取固定和比例交易费的市场环境下 ,公司如何制定其最优的财务策略 .首先给出了最优控制问题对应的Hamilton_Jacobi_Bellman方程 ,接着构造出了它的连续可微解 .利用解的性质和推广的It^o公式 ,构造出了最优的再融资及分红策略 .最后对模型的应用做了经济学上的解释 。 张磊关键词:交易费 HJB方程 拟变分不等式 值函数 基于蓝牙智能手机的口令管理技术研究 2009年 介绍一种利用蓝牙手机实现口令管理的方法。该方法既具有一般口令管理给用户带来的方便高效的优点,又避免了一般传统口令管理工具由于安装在易受攻击的个人电脑上而产生的不安全因素。同时该方法提供了登录界面的验证方法,可以确保在登录时将口令准确地输入到合法的界面中,从而可以有效地抵御常见的钓鱼攻击。 王毅 王力行 张磊 韩伟力关键词:口令管理 白名单 智能手机 面向智能路由器远程管理应用的漏洞检测工具 被引量:1 2020年 智能路由器为了方便用户对其进行管理,通常都提供了具有远程管理功能的移动应用软件。这类应用软件在提供便捷强大功能的同时,也引入了未授权发送控制指令和控制指令可重放等多种安全漏洞。为了检测这类应用软件中的安全漏洞,设计并实现面向智能路由器远程管理应用软件的安全漏洞检测工具。通过权限校验分析和参数一致性分析,检测应用软件中存在的缺失对使用者的权限校验以及在发送控制指令时缺失保护字段的两类安全漏洞。利用该检测工具对TP-Link、华为、D-Link和NETGEAR智能路由器的远程管理应用软件进行检测,发现其中存在的多处安全漏洞,包括泄露路由器本地管理的用户名和密码以及未授权使用插件功能等。 李明琪 张磊 杨哲慜关键词:远程管理 安全检测 TipTracer:基于安全提示的安卓应用通用漏洞检测框架 被引量:7 2019年 为了使开发者能安全准确地使用第三库接口,库设计者提供了各种类型的安全提示(安全规约),进而保护应用程序免受因库函数的误用而造成的安全攻击.然而,研究表明:开发者经常性不遵守这些安全规约,导致应用程序中引入了各种各样的安全漏洞.为了评估该问题的影响与规模,进行了系统性的、大规模的对安全规约在安卓应用程序中违反情况的研究.结果表明:已有的安全规约由于不精确的描述、误导性的代码示例、错误的默认设置、碎片化以及缺少强制性检查等原因而大大影响了其在实际运用中的有效性.为了使开发者能更好地遵守安全规约,提出了TipTracer,一个自动化的通用漏洞分析框架.TipTracer主要包含2个部分:1)TipTracer定义了一个能形式化描述安全规约的安全性语言,并利用该语言对已知的安全规约进行形式化表述;2)TipTracer实现了一个静态代码分析器,用于检查应用程序是否满足安全规约.最后,通过大规模的实验分析,证明了TipTracer能有效且准确地对大规模的真实应用程序进行安全性分析. 张磊 杨哲慜 李明琪 杨珉关键词:静态代码分析 漏洞检测