切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
[!--class.name--]论文
[!--title--]
[!--title--]
来源 :浙江师范大学 | 被引量 : [!--cite_num--]次 | 上传用户:[!--user--]
【摘 要】
:
随着软件需求的不断增加,软件规模不断扩大、功能日趋复杂,传统的软件开发难以满足用户的需求,目前,基于构件的开发方法已经成为一个研究热点。通过构件的复用和组合来构建软件系
【作 者】
:
赵硕
【机 构】
:
浙江师范大学
【出 处】
:
浙江师范大学
【发表日期】
:
2012年期
【关键词】
:
形式化语义
构件组合
软件系统
范畴函子
体系结构
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
[!--newstext--]
其他文献
面向中文微博的情感分类方法研究
近年来,微型博客(简称微博)越来越受到网络用户的青睐,成千上万的用户通过发布微博共享他们的观点和情感。其中,有大量带有情感倾向(认为某事物“好”或“坏”)的微博文本,这些微博文
学位
中文微博
情感分类方法
经济市场
投资者情绪
融入形态学分析的汉蒙统计机器翻译研究
统计技术是目前机器翻译研究的主流技术。统计机器翻译研究的先决条件是要有充足的双语平行语料库。翻译系统的性能与语料库规模是密不可分的。近年来,汉蒙机器翻译研究已取得
学位
词形切分
Morfessor
统计机器翻译
要素翻译模型
高校在线考试系统及组卷算法的研究与设计
随着信息技术的飞速发展,在线考试系统已经广泛地应用于各个领域,这种考试形式不仅节约了大量的人力、物力资源,更增强考试的灵活性、公正性和高效性。 高等院校作为考试最
学位
在线考试系统
考试测评
自动组卷
题库建设
遗传算法
高校教育
基于时空信息的轮廓编组算法研究
轮廓编组的目的是从输入中提取独立的目标轮廓,是一种以边缘片段为编组对象的知觉组织过程。由于轮廓能够很好地描述目标的几何特征和拓扑特征,并且表示具有很好的简洁性,因
学位
轮廓编组
时空信息
光流法
流形学习
聚类
适用于手机取证的中文短文本分类方法研究与实现
中文短文本分类近年来随着国内移动互联网的快速发展和智能手机的普及成为一个新的研究热点。在电子取证领域,如何快速准确的从手机等设备的大量短信文本中提取出有用信息成为
学位
中文短文本分类
权重计算
特征扩展
支持向量机
朴素贝叶斯
基于改进PAD情感模型的表情识别研究
随着科技的发展,计算机在人们的工作、生活中占据着越来越重要的作用。如果计算机能够拥有人类理解和表达情感的能力,并能够自主适应环境,将从根本上改变人机关系,提高人机交
学位
表情识别
PAD
模糊数学
主动形状模型
灰度共生矩阵
基于图模型表达和稀疏特征选择的图像语义理解
随着Web2.0和社会媒体的快速发展,海量的图像和视频数据在互联网上涌现,这就给多媒体存储、索引和检索的相关研究带来巨大挑战。传统基于内容的图像检索(CBIR)技术利用图像视觉
学位
图像检索技术
语义鸿沟
图像语义理解
图模型表达
稀疏特征选择机制
基于卷积神经网络的金融风控模型设计与实现
学位
面向深度数据包检测的正则表达式匹配算法研究
随着科技的发展,网络应用层出不穷,各种攻击也日益猖獗,给网络信息安全带来了严重威胁。深度数据包检测(Deep Packet Inspection,DPI)是网络入侵检测与防御系统(Network Intrusi
学位
深度数据包检测
正则表达式匹配
有限自动机
行程累加长度编码
跳跃计数自动机
云计算环境中的工作流技术研究
随着计算机技术的发展和网络的延伸,与计算机网络紧密相关的工作流技术,在新兴网络技术的强劲发展的推动下,也取得了快速的发展。云计算的出现让工作流技术发生了重大变革,如
学位
工作流
云计算
Aneka云
云工作流
与本文相关的学术论文