应晶
- 作品数：96 被引量：550H指数：11
- 供职机构：浙江大学更多>>
- 发文基金：国家自然科学基金浙江省自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信建筑科学文化科学更多>>
- Ｄ－ＢＯＸ：内涵的知识表达系统
- 吴朝晖应晶
- 关键词：知识人工智能语义信息
- 一种新的扩展式Web方面搜索模型
- 在Web方面搜索(faceted search)系统中，传统的逐步精化的搜索模式不再适用。针对Web数据的异构性和大规模特征，提出一种新的方面搜索模型：扩展式方面搜索。这种扩展搜索模式采用实体图来表示Web中实体的关联，...
- Zhu Fanwei朱凡微Wu Minghui吴明晖Ying Jing应晶
- 关键词：WEB数据库信息采集
- 基于模板工程的软件开发自动化框架研究被引量：5
- 2007年
- 为了使得软件开发人员对于特定领域问题的成熟解决方案得以固化并复用,提出了一套完整的软件开发自动化框架Xauto.Xauto包含层语言、模板、框架和构件4项核心要素,在对软件开发自动化本质的深入分析基础上,基于软件系统无处不在的模式,引入模板工程的概念,通过模板工程和层语言的映射转化来支持和实现自动化开发流程.描述了Xauto框架在模型、视图和控制器3个方面的映射模式,并结合了具体模板实例加以说明.结果表明,Xauto框架的运用使得软件开发方式从个体作坊转变为模板工程,这个转变显著提升了软件开发的自动化程度,提高了软件生产率.
- 方敏应晶吴明晖蒋涛
- 关键词：软件开发自动化代码生成
- 一种面向按需集成服务的业务模型构造方法被引量：23
- 2006年
- 针对如何从初始需求出发构造业务模型的问题,提出了一种基于场景的设计方法．该方法强调将显性需求和专家知识有机融合．客户化的场景在设计模式、插件库和本体库的支持下被交互式地创建、求精,最终成为内容完备、结构良好的业务模型,为服务集成、任务协调提供支持．文章也给出了将质量需求分配到软件功能块的策略．最后,举例说明了该方法的应用．
- 李长云阳爱民满君丰应晶
- 关键词：WEB服务UCM
- 一种利用已注册网站用户信息进行全网登录认证的方法及系统
- 本发明公开了一种利用已注册网站用户信息进行全网登录认证的方法及系统。本发明实施例的方法包括以下步骤：第一方注册登录模块获取用户选择的第二方网站名称和用户输入的登录信息；将加密后的信息和第二方网站名称打包成数据流发送到第三...
- 吴明晖张红喜金苍宏吕嘉应晶陈天洲
- 文献传递
- 支持软件开发的变换方法被引量：1
- 1997年
- 一、变换的意义 变换方法是指一个较为抽象的定义被重复地变换和细化,通过更加具体形式,直至一个目标系统的生成。其基本目标是实现一个程序到另一个程序的等价转换。近几年来。
- 应晶吴朝晖何志均
- 关键词：软件开发变换方法计算机
- 新的软件开发方法论需求:软件定义的高层构造被引量：3
- 1994年
- 一、研究背景多年软件开发的实践,人们积累了丰富的经验,也熟悉了软件开发过程的一些实质性的关键环节。软件开发人员知道如何去协调各个阶段的开发任务。
- 应晶吴朝晖何志均
- 关键词：软件开发
- 一个两层马尔可夫链异常入侵检测模型(英文)被引量：15
- 2005年
- 在现有的单层马尔科夫链异常检测模型基础上,提出一种崭新的两层模型.将性质上有较大差异的两个过程,不同的请求和同一请求内的系统调用序列,分为两层,分别用不同的马尔可夫链来处理.两层结构可以更准确地刻画被保护服务进程的动态行为,因而能较大地提高异常的识别率,降低误警报率.而且异常检测出的异常将被限制在相应的异常真正发生的请求区内.检测模型适合于针对特权进程(特别是基于请求?反应型的特权进程)的异常入侵检测.
- 徐明陈纯应晶
- 关键词：马尔可夫链请求异常检测入侵检测
- 一种混合验证JavaScript程序正确性的方法
- 本发明公开了一种混合验证JavaScript程序正确性的方法。本发明包括以下步骤：将JavaScript程序划分为静态部分和动态部分两大部分；使用开放时态逻辑规约JavaScript程序的正确性；使用程序证明方法验证静态...
- 吴明晖吕嘉颜晖应晶陈天洲
- 文献传递
- 一种裁剪样板数字化的方法
- 本发明公开一种裁剪样板数字化的方法，包括：对测量系统的摄像装置进行参数标定得到其内部参数；利用摄像装置得到背景的原始图像，并对图像进行成像矫正和/或畸变矫正、灰度化处理，获得背景灰度图像；将面积已知平面基准物置于背景中，...
- 柯海丰张高燕彭彬朱勇罗荣良吴明晖应晶
- 文献传递
