购物车(0)计算机应用与软件杂志是由上海科学院主管，上海市计算技术研究所;上海计算机软件技术开发中心主办的一本北大期刊。
计算机应用与软件杂志创刊于1984，发行周期为月刊，杂志类别为计算机类。
杂志介绍
计算机应用与软件杂志是由上海科学院主管，上海市计算技术研究所;上海计算机软件技术开发中心主办的一本北大期刊。
计算机应用与软件杂志创刊于1984，发行周期为月刊，杂志类别为计算机类。
主管单位：上海科学院
主办单位：上海市计算技术研究所;上海计算机软件技术开发中心
国际刊号：1000-386X
国内刊号：31-1260/TP
发行周期：月刊
全年订价：￥700.00
关键词: 模型驱动 网站开发 门户
门户网站的开发包括框架搭建、版面设计以及内容的创建、和维护等工作。传统开发方法存在组件可重用性差、开发及维护成本偏高、界面个性化需求难以满足等问题。针对上述问题,首先引入了一种门户网站模型,该模型专注于内容的抽象,并最终实现内容和表现的分离。基于该模型,随后提出了一种模型驱动的门户网站开发方法。应用案例表明,该方法较传统...
关键词: 虚拟计算环境 信任管理 贝叶斯分析
可信保证体系是虚拟计算环境的基础组件。虚拟计算环境下信任管理具有不确定性和动态性特点,因此,虚拟计算环境下的可信保证体系应具备主观性、基于证据以及上下文相关性的特性。针对虚拟计算环境下虚拟共同体的服务选取以及自主元素的可信度计算的安全问题,提出了基于贝叶斯分析的信任模型。
关键词: 信任管理系统 p2p系统 推荐机制
为解决P2P系统中的安全性和公平性问题,在总结已有信任管理系统的基础上,提出基于推荐的P2P系统信任管理模型RBTM（Recommendation Based Trustmanagement Model）,并给出了该模型的数学分析表示。
关键词: arm11 mpcore 多核间通信 linux 处理器间中断
嵌入式应用中采用SMP（对称多处理）系统所面临的主要难题是多处理器内核之间的通信。对ARM11 MPCore处理器的多核间通信机制进行研究,并结合Linux-2.6.19对这一通信机制的具体实现作深入分析,并在RealView Emulation Baseboard上面进行相应的验证。实验结果表明,多核间通信机制可以使多线程之间的交互时间减小为原来的16.7%,从而提升并行计算系...
关键词: cad 微机电系统 体素 工艺模拟
为了快速生成MEMS模型和实现加工的过程模拟,给出一种基于体素的快速MEMS工艺模拟方法。该方法利用MEMS材料属性和体素表示的特性,利用布尔运算快速生成所需要的模拟过程和最终结果。最后给出了具体实现,并给出了测试实例。
关键词: 面向服务的架构 契约先行 web服务描述语言 代码文档对象模型
基于契约先行的开发方式,设计并实现一种轻量级的服务契约自动生成工具。该工具可以充分降低基于WSDL服务契约开发的难度,得到内容详尽且符合标准的服务契约。解决契约先行开发方式中无法单独进行服务契约设计的问题,为整个SOA的进一步开发奠定了良好的基础。
关键词: 语义角色标注 特征工程 最大熵分类器
特征决定着语义角色标注的性能,但并非特征越多性能越高。因此,如何优化组合这些特征就显得非常重要。选取了当前语义角色标注系统中常用的56个特征,按其贡献进行了优化组合实验。在正确的句法分析上取得了91.22%的语义角色分类精确率,在自动句法分析上语义角色标注F1值达到了78.07%。实验表明提高性能并不需要很多特征,关键在于特征的优化组合;...
关键词: 使用控制 公文流转 连续性控制
通过对现代办公自动化系统的核心功能——公文流转的深入分析研究,将UCONABC模型引入工作流程中,解决了在工作流进程中主客体属性的适时变更及访问过程的连续性控制问题,实现了现代OA系统中公文流转的访问控制机制。最后,给出应用实例的形式化描述及安全性分析。
关键词: 在线增量学习 topicalrank 聚焦爬虫 农业领域
在原始分类器聚焦爬虫的基础上设计并实现在线增量学习的自适应聚焦爬虫。该聚焦爬虫包括一个基础网页分类器和一个在线增量学习自适应链接分类器。基础页面分类器根据领域知识对抓取到的页面内容主题相关性进行分类。在线增量学习自适应链接分类器能即时根据爬虫爬得网页和网页链接信息作出分类模型调整以更合理方式计算链接的主题相关度。系统...
关键词: 视频摘要 关键帧提取 仿射传播聚类
关键帧提取是基于内容的视频摘要生成中的一个重要技术。首次引入仿射传播聚类方法来提取视频关键帧。该方法结合两个连续图像帧的颜色直方图交,通过消息传递,实现数据点的自动聚类。并与k-means和SVC（support vector clustering）算法的关键帧提取方法进行了比较。实验结果表明,AP（Affinity Propagation）聚类的关键帧提取速度快,准确性高,生...
关键词: rapidio blue mpich2 sci 单边通信 点对点通信
随着MPI-2的,单边通信越来越受到广泛的关注。集群系统中单边通信将是一个重要的发展方向,由IBM研制的BlueGene/L系统就是一个典型例子。在PowerPC架构上实现了一种基于RapidIO的单边通信接口,为下一步与MPICH2的连接实现迈出了重要一步。基于RapidIO的单边通信接口,将使整个网络达到低开销、高带宽和低延时,集群系统的性能也必将得到极大的提高...
关键词: 对等网络 满意 信任
在诸如文件共享等无中心的Peer-to-peer环境中,资源共享是用户自愿的行为。在这类系统中,由于用户不为自身的行为担负责任,因而节点间的信任关系往往很难通过传统的信任机制建立。现有模型在计算信任度时往往采用迭代方法,计算复杂,同时缺乏对时间因素的考虑。针对上述问题,提出了一种新的基于P2P的信任模型,它结合自己的交易历史、熟悉节点的推...
关键词: 安全协议 串空间 理想
串空间模型是一种新兴的密码协议形式化分析工具,其理论中理想和诚实概念的提出大大减少了协议的证明步骤。首次利用串空间理论从机密性和认证性两个方面对Neuman-Stubblebine协议进行了分析。分析结果证明该协议是安全的,而且理想对公开密钥算法和对称密钥算法产生的协议的分析都是有效的。
关键词: 个性化服务 推送方式 rss技术 用户建模
由于绝大部分Web信息都是非结构化的,使得现有的个性化服务系统在用户建模时面临着大量的信息预处理工作,并且在个性化推送方式上缺乏动态性和时效性。将个性化技术与RSS技术相结合,首先提出基于RSS技术的个性化信息服务系统的架构,该架构在建立用户兴趣模型和信息推送中揉合了RSS技术;然后给出该架构中几个关键问题的解决方法;最后通过一个试验...
关键词: 文本过滤 用户本体模型 虚关系 文本结构分析
随着互联网信息的快速剧增,文本过滤技术成为互联网内容处理的关键技术,对海量信息处理具有很重要的意义。目前研究热点是基于语义的过滤方法,但是这些方法一般都需要大量规则和领域知识的支持,可用性不是很好。为了使机器更好地理解用户需求和文本内容,使过滤结果更能反映用户的真正需求,提高文本过滤的准确率和召回率,提出了基于用户本体模型U...
关键词: deep web 模式匹配 整体性方法 数据挖掘
模式匹配是DeepWeb异构信息集成中的关键问题.介绍了一种整体性匹配方法,即同时发现大量模式,并一次性进行匹配。主要通过分析和比较两种已经存在的大规模模式匹配原型系统：MGS和DCM,结合它们核心算法的优点,提出一种新的基于数据挖掘技术的算法（Correlated-clustering）。该算法先利用积极相关发现组匹配,再通过概念相似度的计算聚类同义属性...
关键词: 纳西象形文 拼音输入法 信息处理
纳西象形文是世界上唯一仍在使用的象形文字,对研究人类文字的进化历史有着积极的作用。通过对纳西象形文的特点及信息处理现状的分析,提出了纳西音标转化为拉丁拼音输入方案,并对输入方案进行了优化处理。在Windows XP平台下采用IMM-IME接口开发了纳西象形文拼音输入法,经过评测,优化后纳西拼音输入法的转换精度高于未经优化的纳西拼音输入法。
关键词: 数字签名 内部攻击
目前,门限多多签名凭借其具有多种特殊功能而受到广泛关注。迄今为止,人们已经提出了许多门限多多签名方案,但大部分方案都存在缺陷。Tzeng等提出了一个具有共享验证性质的门限多多签名方案。后来,Kang等指出Tzeng方案存在缺陷并提出了一个新的方案。但Kang方案仍然存在缺陷,即Kang方案不能抵抗恶意的内部人员实施的伪造攻击,由此攻击造成严重的...
关键词: 粗糙集 教育网站 综合评价
教育网站的综合评价对教育信息化资源建设与发展具有重要的意义。依据粗糙集理论的对象分类能力,通过属性约简,删除冗余属性,有效简化评价指标体系。以知识的信息量概念为基础对属性的重要性进行定义,得到了指标权重确定方法。在此基础上建立了教育网站的综合评价模型,由此对评价对象进行排序选优,从而得到教育网站综合评价的新方法。最后通过实...
关键词: 模糊加权指数 fcm 变权划分熵 模糊决策
研究模糊加权指数m对FCM（Fuzzy c-means）算法的聚类性能的影响,从划分熵入手提出了变权划分熵的概念,并基于模糊决策理论提出了一种最优加权指数m^＊的选取方法。该方法利用小的目标函数值和小的变权划分熵对应好的数据分类结果这一特性,将m的确定转化为一个带约束的非线性规划问题,从而确定最佳取值m^＊。实验结果表明该方法是非常有效和灵敏...
关键词: 否定授权 rbac 授权状态 合并规则
针对现有基于角色访问控制RBAC（Role_based Access Control）相关模型中对否定授权研究的不足,指出用户可以获得计划外权限的问题。通过引入授权状态的概念,对RBAC模型中权限与角色之间的分配关系进行扩展,定义许可授权、收回授权、否定授权及其优先级,给出授权状态合并运算的九个规则,提出RBAC模型实施否定授权的方法。分析实现否定授权的RBAC...
关键词: 自动文本分类 文本表示 关系权重
提出一种基于关系权重的文本表示方法。通过优化关系权重,在文本向量中体现了不同特征项在不同类别中重要程度的差异,使得在此权重下不同类别的文本得到更准确的区分。运用SVM分类实验表明,基于关系权重的文本表示方法,较之传统的TF-IDF文本表示法,有更高的准确率和召回率。
关键词: 图像区域分割 聚类 k均值算法
提出一种新的快速图像区域分割算法。这种方法首先抽取图像所有像素点的颜色、纹理与位置特征,并将图像划分成子块,以子块内像素点特征的平均值作为子块的特征向量,然后运用Mean-shift算法进行聚类,获得聚类簇数和初始蔟中心,最后再利用改进的K均值算法进行聚类,实现图像的快速分割。实验结果表明新方法不仅分割速度快,而且得到的分割结果稳定,...
关键词: 室外场景 实时渲染 三维地形 天空体
大规模三维室外场景包含大量的几何和纹理数据,给实时渲染带来了一定的难度。讨论基于四叉树结构的LOD地形和圆型天空体渲染方法,并在数据结构、可见性判定、算法实现等方面进行了优化,在此基础上,结合OpenGL和Visual Studio2005等工具进行开发和实验。实验结果表明,该方法能够根据不同的地形分辨率及视野范围,进行裁剪和剔除,有效地提高场景渲...
关键词: 距骨 图像分割 迭代阈值法 形态学操作
距骨的图像分割是对其进行三维可视化及运动学研究的基础。提出一种距骨的交互式图像分割算法,由三部分组成：（1）提出一种改进的迭代阈值法,从一组足部CT图像序列中分割出所有骨骼。（2）提出一种加速的live-wire分割算法,断开距骨与其他骨骼的连接线,该方法与原Live-wire算法相比,代价计算量大为减小且缩短了最优路径搜索时间。（3）用形态学...
关键词: set协议 形式化模型 电子支付
安全电子交易SET（Secure Electronic Transaction）协议通过制定标准和采用各种加密算法和身份认证来解决阻碍电子商务发展的许多安全问题。首先对SET协议注册阶段和购买阶段过程进行抽象,给出其形式化模型及模型描述。发现由于SET本身的缺陷可能导致的入侵者的攻击,以及该攻击对购买阶段中商家和持卡人造成的安全威胁,对协议的改进提供了有益...
关键词: j2ee连接器体系结构 资源适配器
为了有效利用基于COM组件的数据源,引入JACOB（Java-COM Bridge）技术,给出了基于COM组件的数据源的JCA资源适配器的设计与实现,并将其集成到应用服务器。JCA（J2EE Connector Architecture）用于解决集成过程中涉及的连接管理、分布式事务管理和安全管理问题;JACOB用于Java和基于COM组件的数据源之间的数据结构转换。
关键词: 虚拟现实 展览 数字化 三维模型 信息获取 信息集成
各类会展信息是整个会展业虚拟现实系统的基础。针对会展业各类对象数字化获取中的基本需求,利用高精度、无损、非接触的三维扫描技术,提出了针对会展业展品对象数字化获取与处理的解决方案,使展品采样达到一定的精度,并在此基础上,论述了各类会展信息的组织和集成技术的设计与实现。该系统在若干个数字博物馆中进行示范应用,达到了预期效果。
关键词: 细粒度 圆模板 像素分割 亚像素 高斯模板 图像旋转
旋转图像的质量和性能是需要权衡的一个问题,提出一种细粒度亚像素圆模板算法。通过像素网格状5x5分割选取圆模板的圆心。邻域像素被圆模板覆盖的面积与圆面积的比值Rs,相应像素的颜色值Cs,旋转后像素的颜色值等于Rs和Cs的卷积。实验表明该算法图像旋转质量好于最近邻点插值和高斯模板算法,清晰度和连续性接近双线性插值,计算性能明显优于双线性...
关键词: 网络化软件系统 软件工程 复杂网络
复杂网络理论是对复杂系统的高度抽象,实证研究发现网络化复杂软件系统的拓扑结构具有复杂网络的特征。复杂网络理论的最新研究成果,为网络化复杂软件系统的开发提供了新的数学基础。提出一种基于复杂网络的网络化软件工程,探讨了复杂网络理论在网络化复杂软件系统的建模、测试和度量中的应用。
关键词: 水稻 稻穗 数字化设计 抛物线方程 数学模型
利用一元二次方程曲线来描述弯曲型稻穗穗轴轴心线形态,连接以曲线弦线段为轴心的圆柱,构建了穗轴和枝梗轴的形态模型,通过两个共底面的圆锥体建立小穗谷粒的几何形态模型,实现了稻穗三维显示。模型具有较高的真实感效果,可控性强,可满足稻穗数字化设计的需要。
关键词: 可靠性 qos 组播 遗传算法
在通信网络中为应付链路失效而提供可靠性保证变得越来越重要。讨论含有可靠性约束的满足带宽和延迟约束的多QoS组播路由问题。提出一种基于改进遗传算法的满足多QoS组播路由算法,该算法具有快速收敛、自适应交叉变异和生成初始种群时不需要建立备选路径集的特点。通过大量仿真实验分析该算法的性能,并与传统遗传算法进行比较。结果表明该算法是...
关键词: 港政管理 ajax web services
介绍基于PDA（Personal Digital Assistant）的上海港港政监督管理信息系统的功能模块和关键技术。该系统包括作为后台支持的局域网子系统和PDA子系统,以PDA子系统为例介绍Web Services在智能设备中向服务器端数据库SQL Server2005传输和下载数据的方法和优势,以局域网子系统为例介绍ASP.NETAjax（Asynchronous JavaScript and XML）技术在实现W...
关键词: jbpm 工作流 管理系统
对当前流行的工作流引擎JBPM（Java Business Process Management）进行了研究分析,包括介绍、组件与开发流程,研究了工作流管理系统的通用体系结构,并利用工作流的设计方法进行系统功能分析,设计开发了一个工作流管理系统,同时结合功能实例进行了说明,使用该技术可有效提高基于流程定义的信息系统的开发效率。
关键词: hook机制 hook api 代码注入 函数重定向 windows编程
HOOK API是一种高级编程技术,在介绍Windows HOOK技术的基础上,阐述了HOOK API技术的概念,分析了HOOKAPI技术的实现原理,给出了三种实现HOOK API技术时的代码注入方法,即使用钩子注入DLL、使用注册表注入DLL及使用远程线程注入DLL。探讨两种实现HOOK API技术时的函数重定向技术,即利用PE文件中的导入表实现函数的重定向及通过嵌入汇编代码实现函...
关键词: autoit 高定制性 安装包 程序设计
描述利用简洁的AU3语言编程设计安装程序,实现定制安装包,以模拟TTPlayer的7个安装界面为例,详述了安装包的一种新型设计和实现方法。这种设计制作安装包的方法可定制性好,编程相对容易,使应用程序的重要组成部分——安装包的设计复杂性得以简化,并且在一定程度上可以通用于不同软件安装包的制作。该方法避免了专业安装制作软件可定制性差、用其...
关键词: 形式概念 面向对象语言 类体系
基于形式概念分析提出构建面向对象程序中类及类体系结构新方法。利用形式概念分析重要性质：给定对象和属性的二元关系,形式概念分析能把所有由相关的对象集合和属性集合组成的概念构成概念格;在概念格上,高层的概念表示共性而低层的概念表示个性。通过对现有面向对象应用程序的分析,可以得到新的类及类体系。这样做的好处是：所得到的类体系不...
关键词: 面向服务的体系结构 服务 企业服务总线
企业服务总线是面向服务的体系结构中实现服务间智能化集成与管理的中介。阐述面向服务的体系结构的基本结构和特点,深入研究企业服务总线的概念、功能和结构。在此基础上,设计实现基于IBMSIBus服务总线的网上药店电子商务系统,研究IBM SIBus服务总线的创建过程和工作原理。
关键词: 机器视觉 图像处理 位图 调色板 图形设备接口
在机器视觉系统软件开发中,很多情况下都涉及到调色板编程。对于用户而言,只能通过相关的句柄和API函数操作调色板,其内部实现细节完全被操作系统隐藏,给深入掌握和使用调色板技术带来很多困难。从调色板的GDI内部数据结构入手,深入探讨调色板内部的机制,详细说明调色板的特性,并给出不同情况下正确使用调色板的方法,为用户编写高质量的图像处理...
关键词: 构件技术 公共构件描述语言 本地构件资源库
从UCDL的思想出发,提出一种基于本地构件资源库开发的模型。按照公共构件描述语言规范,建立本地构件资源库。对构件进行多刻面分类;采用网状结构存储和组织,方便构件的获取;并基于本地构件资源库进行多刻面检索,完成构件的组装,实现软件复用。
若用户需要出版服务，请联系出版商，地址：上海市愚园路546号，邮编：200040。