吕嘉
- 作品数：12 被引量：14H指数：2
- 供职机构：浙江大学城市学院更多>>
- 发文基金：霍英东基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种基于云数据中心的用户信息处理方法及装置
- 本发明实施例公开了一种基于用户信息处理方法及装置。本发明实施例的方法包括以下步骤：为用户设置一个客户端，同时为每个用户设置唯一标识；通过数据采集模块收集用户的浏览数据；数据收发模块将浏览数据连同用户的唯一标识上传至云数据...
- 侯宏仑陈旻吴明晖吕嘉金苍宏应晶陈天洲郭鸣彭彬王硕苹
- 文献传递
- 一种轻量级JavaScript沙箱的实现方法
- 本发明公开了一种轻量级JavaScript沙箱的实现方法，包括如下步骤：S10：定义沙箱内部的访问控制；S11：根据所定义的访问控制自动生成沙箱监控代码；S12：根据所定义的访问控制自动生成禁止访问函数的监控代码；S13...
- 吴明晖吕嘉颜晖金苍宏薛莲
- 文献传递
- 基于关键字的数据库搜索研究综述被引量：10
- 2008年
- 介绍了基于关键字的关系数据库搜索技术的研究成果,从数据建模、体系结构、关键算法等几个方面详细分析和比较了各种技术的特点和优劣,并指出了现有技术中存在的一些问题,提出数据库关键字搜索技术未来的研究方向。
- 朱凡微吴明晖金苍宏吕嘉应晶
- 关键词：数据库模式TOP-K查询
- 横切侵入性和横切不变性被引量：2
- 2008年
- 由于面向方面语言的不知觉性和多量化特点,模块分析和模块推理比传统方法学更加困难.为了解决面向方面语言的横切安全和横切质量问题,使用前提条件和后验条件约束横切模块和被横切模块,然而在横切过程中寻找前提条件和后验条件的失败原因十分微妙和复杂.为了分析一个横切关注点的行为影响,程序员需要考虑方面本身和这个方面影响的系统其他部分.当几个方面编织在同一个切入点,危险干扰分析变得更加复杂.类似面向对象语言中的行为子类型概念,引入横切不变性概念.为了检查由于破坏横切不变性引起的行为错误和其他4种简单行为错误,基于软件行为契约提出一个横切不变性检测算法.为了形式化这个算法,提出Crosscutting Contract演算和一组契约求解规则,并通过定义和证明契约完备性来保证契约求解过程的正确性.还使用一个例子说明如何使用这些契约求解规则检测和分析行为错误.
- 吕嘉应晶吴明晖蒋涛
- 一种利用已注册网站用户信息进行全网登录认证的方法及系统
- 本发明公开了一种利用已注册网站用户信息进行全网登录认证的方法及系统。本发明实施例的方法包括以下步骤：第一方注册登录模块获取用户选择的第二方网站名称和用户输入的登录信息；将加密后的信息和第二方网站名称打包成数据流发送到第三...
- 吴明晖张红喜金苍宏吕嘉应晶陈天洲
- 文献传递
- 一种增强JavaScript函数封装性的方法
- 本发明公开了一种增强JavaScript函数封装性的方法，包括如下步骤：附加访问权限控制符到JavaScript函数，定义JavaScript函数的封装性；根据JavaScript函数访问权限控制符和函数封装性定义，设计...
- 吴明晖吕嘉
- 文献传递
- 一种增量组合JavaScript程序模块的方法
- 本发明公开了一种增量组合JavaScript程序模块的方法，本发明包括以下步骤：根据JavaScript程序模块是否包含动态语法特性，将程序模块划分为静态模块和动态模块；使用信赖-保证方法定义静态模块的模块契约，使用程序...
- 吴明晖吕嘉颜晖应晶陈天洲
- 文献传递
- 一种面向特征增量的软件产品线分析方法被引量：2
- 2009年
- 针对现有的面向特征的软件产品线分析方法大多着眼于细粒度的特征,对宏观特征考虑不多,导致对产品线体系结构支持不足的问题,基于逐步精化的思路,提出特征增量概念,试图捕捉和描述产品线中产品的宏观联系与差异,以增强从需求到产品线体系结构再到单个产品体系结构的可跟踪性和可维护性.分析了特征增量的依赖关系和组合原则,并给出了基于目标场景的面向特征增量分析过程.结合一个可视化建模工具产品线实例对特征增量和分析过程进行说明.实例表明,特征增量的引入提升了产品线分析的粒度,增强了分析过程的层次性,从而系统且有效的支持产品线的开发活动.
- 蒋涛应晶吴明晖吕嘉
- 关键词：软件产品线
- 一种混合验证JavaScript程序正确性的方法
- 本发明公开了一种混合验证JavaScript程序正确性的方法。本发明包括以下步骤：将JavaScript程序划分为静态部分和动态部分两大部分；使用开放时态逻辑规约JavaScript程序的正确性；使用程序证明方法验证静态...
- 吴明晖吕嘉颜晖应晶陈天洲
- 文献传递
- 一种利用已注册网站用户信息进行全网登录认证的方法及系统
- 本发明公开了一种利用已注册网站用户信息进行全网登录认证的方法及系统。本发明实施例的方法包括以下步骤：第一方注册登录模块获取用户选择的第二方网站名称和用户输入的登录信息；将加密后的信息和第二方网站名称打包成数据流发送到第三...
- 吴明晖张红喜金苍宏吕嘉应晶陈天洲
- 文献传递
