计算机应用与软件杂志是由上海科学院主管，上海市计算技术研究所;上海计算机软件技术开发中心主办的一本北大期刊。
计算机应用与软件杂志创刊于1984，发行周期为月刊，杂志类别为计算机类。
杂志介绍
计算机应用与软件杂志
-
主管单位：上海科学院
-
主办单位：上海市计算技术研究所;上海计算机软件技术开发中心
-
国际刊号：1000-386X
-
国内刊号：31-1260/TP
-
发行周期：月刊
-
全年订价：￥700.00
杂志介绍
计算机应用与软件杂志是由上海科学院主管，上海市计算技术研究所;上海计算机软件技术开发中心主办的一本北大期刊。
计算机应用与软件杂志创刊于1984，发行周期为月刊，杂志类别为计算机类。
主管单位：上海科学院
主办单位：上海市计算技术研究所;上海计算机软件技术开发中心
国际刊号：1000-386X
国内刊号：31-1260/TP
发行周期：月刊
全年订价：￥700.00
关键词: 文本检索 统计语言模型 查询似然
文本检索就是从文本集中发现与用户查询相关的文本的过程。传统的基于查询似然检索模型没有考虑词项之间内在关系和外在共现关系。针对这些缺点,分别提出新关联方法分别予以解决。最后,通过实验对比证明新方法在查询精度上有了明显的提高,验证了新方法的有效性。
关键词: 网络舆情 突发事件 公共安全 文本分类 tfidf
根据公共安全网络舆情研究的需求,将文本分类技术应用于突发事件应急管理中,提出了基于TFIDF分类方法的突发事件引发的网络舆情信息分类方法,设计类别样本并读入新闻文本,对文本进行中文分词,通过计算新闻文本和类别样本的相似度将新闻文本分到相似度最大的类别之中。通过编程实现了按照事件类型和地理位置两种分类方式对新闻文本进行分类,程序...
关键词: 运行时间 程序验证 高可信软件
运行时间是计算机程序的重要性质之一。对于运行时间而言,常用的时间复杂度分析技术基于的是抽象的算法,并非实际程序。而对于实际程序,大多数程序验证技术则不适合验证运行时间。提出一个运行时间的验证框架以解决这个问题,该框架适用于实际代码,而同时和复杂度分析一样,具有编程语言无关性。在对运行时间的性质要求较高的场合下,可以用于提高...
关键词: deep web 安全模式 爬虫 信息抽取
Deep Web信息大约是Surface Web信息的400到500倍,这些信息对传统搜索引擎不可见。Deep Web爬虫的研究,是搜索引擎获得Deep Web信息的重要步骤,仍处于研究的早期阶段。目前对于爬虫的研究,主要成果集中在Surface Web,而很少有对Deep Web爬虫的研究。分析Deep Web的访问模式,并在此基础上提出一种安全验证模式下Deep Web爬虫的算法。试验表明：该...
关键词: som 并行 infiniband 集群系统
人工神经网络在集群上的并行化设计和实现能够充分发挥ANN并行处理的特点,缩短训练时间,降低算法复杂度。随着并行技术的日益成熟,在并行集群上以软硬件相结合的方式设计神经网络的重要性也不断提高。从软硬件平台的多方面讨论了并行集群技术对人工神经网络设计的支持,提出了一种SOM神经网络在并行集群上的设计方法和基础框架,并就并行集群上神...
关键词: 平均队列 线性稳定 混沌
随机早期检测RED（Random early detection）用于解决网络拥塞问题,然而由于TCP-RED本身具有非线性特性,导致了系统的不稳定和服务质量性能下降。基于离散的TCP-RED动力模型,从平均队列长度的角度分析了RED算法线性稳定的条件,提出了一种自适应地调整控制参数的改进算法。模拟结果表明,所提出的改进算法在稳定性方面优于Adaptive RED和gentle RE...
关键词: 软件过程 活动 任务 逻辑关联 规范任务 活动范式
为了开发高质量的软件过程,有必要对任务和活动进行规范。基于EPMM对活动和任务的形式化定义,通过对任务间的逻辑关联、消息关联的分析,提出了规范任务的概念,给出了活动第一范式、活动第二范式和活动第三范式的定义,并给出将低级别的活动范式转化为高级别的活动范式的算法。
关键词: 基因芯片 测序 算法
对DNA芯片测序所得到的匹配探针,设计算法进行拼接。采用堆栈的结构很好地处理了拼接过程中出现的分支问题,根据靶基因的长度范围和探针长度等数据提出了一系列较完整的拼接正确性判定方法,讨论了假阳性和假阴性的影响及处理方法。该算法能很好地根据DNA芯片杂交出的匹配探针拼接还原出DNA靶序列。
关键词: 雷达数据处理软件系统 模块化 混合编程 com 接口
雷达数据处理软件系统是一个复杂的软件系统,应用软件工程方法,采用.NET和VC 6混合编程实现。提出模块化的软件系统设计框架,并应用COM技术无缝集成不同编程语言开发的模块。简要介绍COM原理,给出雷达数据处理软件系统的设计框架,讨论了.NET开放COM接口和VC 6中对COM接口调用的方法,给出了COM技术在软件编码中的应用实例。结果表明,采用基于COM...
关键词: opc labview rslinx 共享变量 data socket技术
为了实现风电实验台监控系统的实时通信,提出了一种基于LabVIEW和OPC（OLE For Process Control）技术的通信方法。在分析了OPC原理和LabVIEW的DataSocket技术原理后,设计了基于风电监控的通信系统,由LabVIEW和Rockwell公司的AB-PLC、Rslinx组成。通过对AB-PLC的硬件配置、Rslinx OPC服务器的配置以及LabVIEW共享变量的应用和框图编程,实现了Lab...
关键词: 证明责任 形式验证
定理证明是一种形式化验证技术,也是形式化方法的重要组成部分,它能从形式规格说明中推理出应具备的性质与属性,从而可以对规格说明进行形式验证。Object-Z是形式规格说明语言Z的面向对象扩充,基于集合论与数理逻辑,具有严密的逻辑性,适合于精确地描述大型软件系统,并且可以对其形式规格说明进行推理。设计一个证明责任产生器,从Object-Z形式规...
关键词: 门限签名 合谋攻击 基于身份 可追查性
基于Paterson签名方案和分布式密钥生成协议,提出了一个新的基于身份的门限签名方案。该方案能有效抵抗合谋攻击和伪造签名攻击,并能实现签名成员的可追查性。无需可信中心参与,群签名成员共同生成群公钥和秘密分发群签名密钥。在标准模型下,该方案是健壮的和对适应性选择消息攻击是不可伪造的。
关键词: 特征区域提取 相关系数 相关模板 分级编码
基于彩色人头图像RGB色彩模型色彩分量之间的相关性,提出一种针对彩色人头图像压缩编码的方法。该方法将彩色人头图像的面部特征区域用一种快速且较精确的方法提取出来,对色彩分量G面部特征区域进行细致编码,而对面部特征以外的区域进行粗犷编码,结合在色彩分量R、B与G之间建立的相关模板,实现对彩色人头图像的分级编码。实验结果表明该方法既能...
关键词: 特征抽取 直接线性鉴别分析 矩阵分解 小样本问题 人脸识别
提出两种基于矩阵分解的DLDA特征抽取算法。通过引入QR分解和谱分解（SF）两种矩阵分析方法,在DLDA鉴别准则下,对散布矩阵实现降维,从而得到描述人脸图像样本更有效和稳定的分类信息。该方法通过对两种矩阵分解过程的分析,证明在传统Fisher鉴别分析方法中,矩阵分解同样可以模拟PCA过程对样本进行降维,从而克服了小样本问题。在ORL人脸数据库上的...
关键词: 面向服务 搭建式开发 搭建平台 工作流 webgis 电子政务系统
为适应软件开发对业务敏捷性和即时构造性的新要求,采用面向服务的思想,对搭建式软件开发理论和技术进行了研究和实现。与已有的开发模式相比,搭建式开发技术的优势在于它能将工作流、W ebG IS集成到一个面向服务的可视化的搭建平台中。通过电子政务系统的搭建过程表明,搭建式开发技术具有按需、即时、实用的特点,增强了企业的竞争优势。
关键词: 设计模式 三层架构 系统重构 系统包图
针对原有学位管理系统运行中存在的问题,按照面向对象设计原则,综合运用工厂方法模式、单件模式、外观模式,对学位系统进行了重构。通过系统重构,得到了改进的学位管理系统软件体系结构与系统包图。实现的新系统减低了层与层之间的依赖,减少了代码的冗余,提高了系统的可扩充性和可维护性。
关键词: 草图 程序流程图 自动翻译 识别
手绘草图是人类一种自然而直接的思路外化和交互方式。介绍一个基于草图的程序流程图自动识别翻译原型系统——SketchFlow。基于对现有可利用的识别技术及流程图领域知识的综合分析,设计并实现了这个系统。该系统可以完成程序流程草图的识别及到相应C语言代码的自动翻译。
关键词: 人脸识别 isomap 人脸流形 主成分分析
针对等距映射（Isometric Projection）算法计算量大且易受噪声影响的缺点,根据主成分分析（PCA）兼具降维和除噪的特性,提出一种基于ISOMAP算法的P-ISOMAP特征脸谱（PCA-ISOMAP）人脸识别技术。该算法首先通过主成分分析把人脸图映射到一个人脸图像子空间,然后在人脸图像子空间中进行等距映射降维。P-ISOMAP特征脸谱算法在保持人脸图像的全局几...
关键词: 场景文字 边缘提取 分层块过滤 笔划特征
场景文字包含了重要的场景图像的语义信息。因此将场景图像中出现的文字抽取出来,将会对场景图像的内容分析、检索和浏览提供有益的帮助。提出的场景文字提取方法,是在边缘检测的基础上,使用分层块过滤的方法在不同尺度上过滤背景,产生场景文字区域,然后对聚合出来的文字区域根据笔划颜色和笔划宽度方面的特征进行二值化分割得到二值化文字图像,...
关键词: 被动测量 netflow 往返时延
时延对于网络管理有着重要的意义,测量时延主要采用主动测量和被动测量这两种方法。主动测量需要主动发送报文,而被动测量需要在测量点通过捕获在网络信道中传输的报文信息来实现。采用单点被动测量的方法,首次根据NetFlow中特定的TCP交互数据流记录,并结合统计中区间估计理论,估计出主机之间在某一时间段内的平均往返时延。通过实验表明,该方法...
关键词: 解码器 复杂度分析
为了满足视频解码器设计的需要,对AVS-P2视频解码器进行了复杂度分析[1]。首先根据AVS解码器的内存使用情况进行空间复杂度分析;其次通过计算解码器主要子功能模块的基本操作数从理论上估算解码器的时间复杂度;最后,对AVS解码器在一系列测试序列上的实际计算复杂度进行了统计分析。证明了AVS-P2视频解码器复杂度比H.264视频解码器复杂度更低,更...
关键词: 事务 事务处理模型 普适环境 服务 服务组合
普适环境具有高移动、极端异构、高自治和开放性的特点,普适环境下的服务组合因其突出的动态性问题,为保证对整个服务运行结果的可靠性和一致性,引入事务处理的机制来进行管理。提出一种在普适环境下面向服务的事务处理模型,在服务的发现、组合及运行中引入事务机制来协调管理,保证了服务组合的可靠一致性,并讨论了模型的系统架构和各模块组成,...
关键词: 层次遗传算法 rbf神经网络 均衡器 适应度函数
层次遗传算法的性能与评价个体进化优劣的适应度函数密切相关,对适应度函数的参数进行了研究,提出了依据信道零点和单位圆之间距离设定参数值的新方法,降低了函数复杂度,减少了人为因素影响,提高了算法确定RBF神经网络均衡器结构的效率及性能。仿真结果验证了算法的有效性和稳定性。
关键词: xsb逻辑编程系统 策略层次 策略验证
高级安全策略又称为安全需求,低级策略配置是高级策略的实现,正确的低级策略配置必须能够满足安全需求。网络安全取决于低级策略配置的正确性,由于策略配置异常复杂,并且缺乏准确描述安全需求的方法,这为策略的正确性分析提出了巨大的挑战。采用逻辑编程方法来分析网络安全策略,通过将低级策略配置、高级策略、漏洞信息等元素转化为逻辑程序,将...
关键词: 调色板 编码 ihs 颜色空间 matlab
提出两种基于IHS颜色空间的调色板编码方案：互补色调色板编码方案和连续色调色板编码方案。将色调和亮度综合考虑使得互补色调色板编码方案在凸现图像细节的同时可以消除图像的不连续感。设计IHS颜色空间的一个锥体,使得连续色调色板编码方案实现简单方便。这两种调色板编码方案都具备色彩系选择方便的优点。并在MATLAB中实现了一个IHS空间调色...
关键词: pxa300 硬件图形加速 性能测试
简要介绍了嵌入式图形领域中2D图形加速器的基本情况,并结合Monahans的应用平台的开发,实现了基于Bootloader上的M arvell PXA300集成2D图形加速器的驱动,通过随机生成参数,测试了该图形加速器的绘图速度,并与软件加速的渲染速度进行了比较。
关键词: 无线传感器网络 高可测性 网络运行状态 实测分析
无线传感器网络运行稳定性问题是个重要问题,网络运行状态的收集、分析和预警至关重要。从节点活跃度,节点感知数据以及节点能量三个角度对无线传感器网络运行状态进行分类和定义,构建高可测模块对网络状态变化进行日志生成和分析,对异常进行预警,提高了网络的可测性。最后,以节点电压监测为例,在上海市计算技术研究所自组织网络实测平台上做了...
关键词: 零知识证明 椭圆曲线 密码学 智能卡
零知识证明已成为密码学研究者非常感兴趣的一个领域,该证明能使验证者无法得到一点知识而相信证明者确实拥有该知识。这里提出一种基于改进的椭圆曲线零知识证明的智能卡系统,该系统能够大大地提高智能卡的安全性,可以被广泛地用于金融领域。这个新方案不仅能够保证安全性,而且还减少了交互次数。同时基于椭圆曲线上的零知识证明可以用比RSA短...
关键词: elearning 知识管理 隐性知识 显性知识
知识管理与eLearning技术能有效提升企业竞争力。首先改进了SECI知识管理模型;然后提出了基于eLearning的企业知识管理模型;最后给出了基于该模型的应用案例。通过对该案例的分析,可以更好地理解eLearning与知识管理在企业中的实际关系。
关键词: 单载波 频率偏移 定时偏移 估计算法
针对受到传播时延、信道噪声干扰以及发送端与接受端振荡器的不匹配等因素影响的单载波无线系统载频与定时偏移问题,提出一种基于周期稳态性的载频与定时偏移估计算法CSFTE。CSFTE算法通过对接收信号的周期稳态性及相关性估计出频率偏移与时隙偏移,进而有效地提高无线系统抗频率与定时偏移的能力。详细的仿真实验以及与现有FOSTR算法性能比较表...
关键词: 数字水印算法 dwt dct hilbert曲线变换
提出一种基于DWT（Discrete Wavelet Transformation）与DCT（Discrete Cosine Transformation）相结合的彩色图像自适应灰度级数字水印算法。算法首先将载体图像转入YIQ空间,取Y分量经2级DWT变换后的低频子带进一步作8×8分块DCT变换,根据各子块的AC能量自适应地确定水印嵌入强度。将作为水印的灰度图像在置乱后作4×4分块DCT变换,根据获取的各子...
关键词: ikev2 pki ocsp ipse cvpn
IKE（Internet Key Exchange）协议是IPsec协议簇的重要组成部分,用来动态地建立和维护安全关联SA,是IPsec VPN安全传输的先决条件和保证。在研究IKEv2协议的基础上,将公钥基础设施PKI体系引入其中,对在IKEv2中使用PKI身份认证进行研究。并针对IKEv2中数据通信的特点,将在线证书状态协议OCSP（Online Certificate Status Protocol）与IKEv2协议...
关键词: 配置优化 模块 离散二进制粒子群优化
以台式PC机组装为典型案例,从客户和生产商两个角度出发,将性能和成本两个因素作为考察对象,研究一般性商品的模块化优化配置。建立了基于单位成本的客户需求与模块实例相关度最大优化配置模型。通过改进的离散二进制粒子群优化（BPSO）算法,进行优化求解。最后通过实例证明BPSO算法的优化配置模型具有实用可行性。
关键词: arm uclinux can总线 电梯跑层算法 电梯群控算法 sqlite数据库
针对高速电梯控制系统不断增加的功能需求以及电梯智能化、安全性、可靠性等方面不断提高的要求,用ARM构建电梯主控制器硬件平台并完成了BootLoader及uCLinux操作系统的移植;编写了CAN总线等相关驱动程序;设计了高速电梯的跑层逻辑控制算法以及基于多目标规划和支持向量机的电梯群控算法;采用SQLite实时数据库快速实现电梯运行参数的存储与读取;...
关键词: 文本聚类 相似度 向量空间模型 人工免疫网络 自组织神经网络
文本聚类的核心问题是找到一种优化的聚类算法对文本向量进行聚类,是典型的高维数据聚类,提出一种基于自组织神经网络SOM和人工免疫网络aiNet的两阶段文本聚类算法TCBSA。新算法先用SOM神经网络进行聚类,把高维的文本数据映射到二维的平面上,然后再用aiNet对文本聚类。该方法利用SOM神经网络对高维数据降维的优点,克服了人工免疫网络对高维数据...
关键词: 分布式结构 启发式扫描 仿真 主动防御 归一化
对变形特征码进行归一化处理,改进WM算法,运用启发式扫描、仿真、虚拟化、主动防御等前沿的恶意代码分析技术,采用分布式的设计结构,设计了具有完备恶意代码特征码数据库、高效特征码匹配、自动捕获和控制恶意行为、平衡的资源消耗、较低误报率的网络恶意代码智能分析系统。
关键词: 模式识别 特征选择 禁忌搜索 小麦种子
特征选择问题是机器学习和模式识别中的一个重要问题,特征的优劣直接影响分类器的设计和性能。首先介绍了禁忌搜索的基本原理,然后将禁忌搜索方法用于特征选择,并给出了新算法的实现方法及步骤。仿真实验表明,该方法在求解的效率和解的质量方面都达到了令人满意的效果。
关键词: 多信道 位置路由协议 ad hoc 网络
在Ad Hoc网络中,利用位置信息可以提高路由协议的性能,但目前的基于位置的路由协议主要是在单信道模型下设计的。为了利用多信道的优势,给出了一个综合利用位置信息和多信道模型的路由协议。该路由协议主要思想是用一个信道接收数据,另外一个信道发送数据,减少包传递时延迟。仿真结果表明,给出的路由协议在平均传包率、平均端到端时延以及汇聚吞...
关键词: 虚拟现实 虚拟实验室 多人协作虚拟实验室 计算机支持协同工作
从多人协作虚拟实验室的需求、特征、模型和结构以及系统关键技术这几个方面对多人协作虚拟实验室的研究情况进行综述,分析比较了CVL（Collaborative Virtual Laboratory）典型系统的特征,讨论了CVL系统的关键技术,最后提出了CVL系统存在的问题和进一步的发展方向,这对多人协作虚拟实验室系统的开发与研究具有一定的参考价值。
关键词: 边缘检测 小波变换 多尺度分析 robert算法
在Roberts交叉梯度算子边缘检测框架基础上,提出一种小波增强的多尺度边缘检测方法,对不同尺度下的小波变换子图像,通过Roberts梯度算子对各子图像进行空间一次微分,得到对应尺度上的边缘图像,各尺度下边缘图像通过小波重构、融合及差影运算得到最终的边缘图像。实验结果表明,该算法实现简单,能有效地抑制噪声,补偿弱边缘,可以有效获取多个尺度...
若用户需要出版服务，请联系出版商，地址：上海市愚园路546号，邮编：200040。