计算机工程杂志是由中国电子科技集团公司主管,华东计算技术研究所;上海市计算机学会主办的一本北大期刊。
计算机工程杂志创刊于1975,发行周期为月刊,杂志类别为计算机类。
杂志介绍
计算机工程杂志是由中国电子科技集团公司主管,华东计算技术研究所;上海市计算机学会主办的一本北大期刊。
计算机工程杂志创刊于1975,发行周期为月刊,杂志类别为计算机类。
主管单位:中国电子科技集团公司
主办单位:华东计算技术研究所;上海市计算机学会
国际刊号:1000-3428
国内刊号:31-1289/TP
发行周期:月刊
全年订价:¥640.00
关键词: 隐蔽通道 安全操作系统设计 标识与处理
标识与处理隐蔽通道是美国橘皮书TCSEC对B2及以上级别安全产品的关键评估要求,也是国际标准CC评估EAL5及以上系统的关键指标。目前,隐蔽通道分析是阻碍我国开发高安全等级信息系统的主要瓶颈。该文介绍了迄今为止国际上标识与处理隐蔽通道的主流方法,探讨了使用这些方法对安全信息系统进行隐蔽通道分析的可行性。
关键词: 软件体系结构风格 面向服务的体系结构 形式化
用形式规格说明语言Z对面向服务这样一种新出现的分布式软件体系结构进行形式化,克服了原先面向服务体系结构的非形式化描述中的限制,为更好地进行面向服务的分布式软件开发提供了指导模型。
关键词: 分布式系统 网格 体系结构 xml web服务 soap
对虚拟天文台技术的研究,从单个数据库存取扩展到了基于网络的分布在世界范围的多个数据库交叉存取、网格计算,该文介绍了虚拟天文俞技术发展的各个方面内容。最后简要地叙述并概括了虚拟天文台技术的发展方向。从虚拟天文台技术的研究中,可以看到一个分布式系统的例子及在网格发展历程中一个数据网格例子,从中可看到新一代计算环境的发展趋...
关键词: 非线性编辑 视频特技 dct
在数字电视节目的制作过程中,非线性编辑中视频特技合成是一项很重要的工作。目前,这些特技大都是在宅间域中实现的,但是由于数字视频的压缩编码大都采用MPEG-2标准,因此直接在MPEG-2压缩域实现视频特技的合成,可以减少很多中间步骤,从阿加快电视台基于MPEG-2的数字电视节目的制作播出一体化进程。该文提出了一种在MPEG-2压缩域中不完全解...
关键词: legendre矩 曲线拟合 图像配准
提出了一种脑功能磁共振图像配准的方法。Legendre正交矩可以用来作为图像配准的策略,它的快速计算至关重要,边界的拟合精度和速度对Legendre矩的计算影响很大。根据推导出的Legendre矩的边界特点,提出了采用四连通链码法和改进的矢量斜率法进行边界拟台,从而解决了Legendre矩快速计算的问题。采用遗传算法进行多参数配准策略优化,避免了局...
关键词: 缓存管理 交换系统 pushout策略 分组丢失率
提出了一种用于共享缓存分组交换设备的最佳闽值Pushout的缓存管理策略(OTP)。在这个策略巾,缓存区采用共享的方式,而每个输出端口分组调度采用Pushout策略。OTP策略的主要思想是将输出端口按照其队列长度分为括跃和非活跃端口,根据队列长度与端口的话跃程度决定分组的接纳或丢弃。仿真结果表明,OTP策略在多个输出队列的情况下具有较好的...
关键词: turbo码 分组相关快衰落信道 平均信噪比 信噪比弥散度
研究了分组相关快衰落信道的特性,推导出该信道下Turbo码的译码算法,并从推导结果确定:平均信噪比和信噪比弥散度是影响系统性能的两个重要参数。仿真结果表明,在分组相关快衰落信道下,采用该文提出的Turbo码译码算法,可以提高整个系统性能,在误比特率为10^-3时,与信道编码采用卷积码的系统相比,信噪比改善2.9dB;在大平均信噪比和小...
关键词: 动态创建 truetype字体 capp
在CAPP系统的二次开发中,特殊符号(粗糙度及公差等)的输入输出问题一直是个难题,一般采用Windows自带的造字程序将所有特殊符号生成TrueType字体,然后用区位输入法输入处理。这种方法的弊端在于字体是静态生成的,字形及数量不可扩展,使用人员不能任意输入,而采用动态生成TrueType的方式可以生成任意字符且不受数量的限制,因而从根本上...
关键词: 模型检查 重写逻辑 代数规范 uml
在模型驱动开发的场景下,保证UML模型的一致性具有重要意义,但目前大多数UML/MDA工具仪提供了有限支持。该文提出了一种基于代数重写逻辑的UML模型一致性检查的方法。首先定义了基于两级代数规范的实施构架以分别检查UML模型的没讣时和运行时语义一致性,其次定义了检查包括类图、状态机图和顺序图在内的多图一致性的重写规则。该方法为保持...
关键词: 图像超分辨率小波内插 交错采样 二元树复小波变换
在Nyugen N等的图像超分辨率小波内插的算法框架下,用二元树复小波变换代替实离散小波变换,使图像超分辨率小波内插能得到更好的高分辨率图像的拟台部分和更多方向的细节。算法分析和实验结果表明了该方法是对N.Nyugen等的图像超分辨率小波内插框架的进一步改进。
关键词: 卫星网络 时变拓扑网络 最短路径算法
移动卫星网络的拓扑时变性对其最短路径求解带来新的问题。文章利用提出的移动卫星网络模型,证明了基于传统网络的最短路径算法在移动卫星网络中使用存在局限性,提出了一种适用于移动卫星网络的最短路径求解方法和优化算法,并进行了仿真验证。
关键词: 图像识别 特征抽取 线性鉴别分析 主分量分析 奇异值分解 人脸识别
传统的PCA方法和LDA方法扯处理图像识别问题时,一般先将图像矩阵转化为图像向量,然后以该图像向量作为原始特征进行特征抽取。近来一些研究人员提出利用图像矩阡瓿接构造敞布矩阵,并存此基础上进行特征抽取的方法。该文在该思想的基础上,提出了IMSVD方法。该方法没有采用PCA或LDA方法,而是利用奇肄值分解方法进行特征抽取。对ORL人脸阁像的...
关键词: 层次分析法 偏好agent 群体决策支持系统 模糊数
针对目前常用决策理论的不足,在计算机群体决策支持系统(GDSS)的偏好agent中用一种模糊数N^-模拟决策者的心理偏好,采用相关参数表达决策者的性格特征等个性因素。从决策人的角度出发,提出了一种偏好集结模型,使群体综合偏好照顾到个性因素,为群体决策提供了一个新的思路。
关键词: 二进制粒子群优化 支持向量机 异常检测 特征选择
采用改进的二进制粒子群优化进行入侵特征子集选择,粒予群中每个粒子代表。个选择的特征子集,结合支持向世机使用该特征子集所对应的数据集进行分类,正确分类结果作为该粒子的适应度,通过粒子群优化实现最优入侵特征选择。改进的BPSO方沾中通过引入粒于群依概率整体变异来避免陷入局部最优,同时采用粒子禁忌搜索列表来扩大粒子搜索范围和避...
关键词: 主元分析 特征子空间距离 滑动窗口 批过程 故障诊断
鉴于传统的多向主元分析(MPCA)难以保证在线状态监测和故障诊断的实时性,提出了一种基于特征子空间的滑动窗主元分析(CSMWPCA)故障监测与诊断方法。在实时故障监测与诊断时,该方法采用适当大小的滑动窗逐步更新当前子数据空间,对当前子数据空间故障的识别通过依次计算其与基底库中各故障的匹配度来进行,克服了传统的MPCA不能处理非线性...
关键词: 形式背景 概念格 粗糙集 等价类
形式概念分析与粗糙集理论为数据挖掘和知识获取提供了两种不同的方法。该文首先对于形式概念的外延及粗糙集的等价类进行了讨论。给出了它们之间的区别和联系;其次通过引入反链形式背景。对它们之间的关系进行了更进一步的研究;最后给出了形式背景约简和划分约简之间的关系。
关键词: 对等网络 词汇链 文本过滤 阱同过滤
共享信息的集中存储对存放这些信息的服务器提出了较高的要求,同时,服务器将成为整个系统的瓶颈。为此,提出了一种基于P2P的信息共享与推荐模型,解决了信息集中存放产生的问题。接着,对该模型中涉及到的基于内容的过滤,提出了一种基于词讲:链的方法,较好地解决了纯粹单一关键词无法准确描述文本的问题,并对信息推荐中使用最成功的协同...
关键词: 粗糙集 相容关系 不完备信息系统 模糊目标信息系统 知识约简
在不完备信息系统和模糊目标信息系统的基础上,将不完备近似空间和模糊目标信息系统有机地结台起来,提出了不完备模糊目标信息系统的概念;同时还给出了不完备模糊目标信息系统的粗糙集模型,该模型是完备模糊目标信息系统和经典目标信息系统粗糙集模型的推广。还给出了系统知识约简的一些相关概念及其辨识矩阵的知识约简方法。
关键词: 支持向量机 统计学习理论 神经网络 函数逼近
通过仿真分析比较支持向量机与前馈神经网络在非线性函数逼近的结果,得出在小样本下,SVM的样本依赖程度、抗噪声能力和泛化性能都优于前馈神经网络。
关键词: 同层多粒度 层选择方法 能景最小化 图像分割
提出了一种基于对象的同层多粒度图像树型描述法(ORMG—tree)。它结合改进的基于极性的纹理表达,以及灰度、方位特征,采用两类区域法与能量最小化思想,从图像中分割出对象区域。通过不同粒度分别处理关注对象区域与非关注区域,并在使片jORMG-tree分割的同时,直接构造一个树型结构。实验表明:该方法充分突出了关注的对象性区域的表达及其...
关键词: 连接件 建模 视图 交互模式
在已有研究工作的基础上,归纳总结了连接件的基本定义,提出了一个“4+1”视图模型来对连接件进行建模,并对该模型涉及的视图进行了讨论。其中,交互规则/协议视图的构建是整个建模过程的重点,借鉴交际行为学中的有关原理构造了一个抽象、可扩展的交互模式框架,为其实现提供了良好的设计蓝图。
关键词: 协议栈 网络包检查 零拷贝 缓冲区优化
针对应用层协议处理遇到的问题,提出了一种基于属性标识的缓冲区优化策略。该方法通过减少缓冲区操作的盲目性,可以基本消除各处理模块间缓冲区匹配所引起的数据复制,提高了系统性能;同时,该方法可以支持系统执行期间应用层协议处理通路的动态改变,提高了系统的灵活性。在基于内容的网络安全系统上实现了该方法,证实了方法的有效性。
关键词: b方法 形式化方法 uml状态机 嵌入式软件 高可信软件工程
提出了一套集成UML与B方法开发高可信嵌入式软件的实用方案:以软件的UML状态机模型为起点,将其转换为B抽象模型并在B工具中验证该模型的一致性,然后遵循B模型逐步精化的开发规则,利用B方法的精化正确性验证功能,得到系统的可靠的实现模型,最后借助B工具自动生成C代码。实例分析表明,这套方法可以提高尚可信嵌入式软件的开发验证效率。给...
关键词: 流量分析 数据包捕获 被动测量
通过分析Linux操作系统数据包处理流程,提出了一种基于Linux内核的流量分析方法,采用该方法实现了基于Linux内核的流量分析模块KTAM。分析显示KTAM降低了系统调用和内存拷贝等开销,提高了流量分析性能,比基于Libpcap的工具能力提高近50%。
关键词: 地理信息系统 标准模板库 地理算子 函数对象
使用STL算挂实现GIS算法,可以保证它的简洁和高效。该文结合C++代码实例,抽象出了地理算子的概念,应用在GIS算法当中。通过定制适配器来消除地理算子和STL算法之间的不匹配,同时拓展了STL算法满足GIS算法更高级的需求。
关键词: 网络软raid 并行文件子系统 数据一致性
随着计算机技术与网络技术的快速发展,基于网络的分布式存储逐渐成为研究的重点,通过网络提供方便、可靠与大容量的存储服务成为可能。该文设计并实现了双中心节点的网络软RAID系统,并对系统结构、工作原理和技术要点进行了详细介绍。
关键词: 多用途internet邮件扩充 可扩充标记语言
电子邮件通常按半结构化的MIME格式进行封装和传输,并以各个邮件用户专用的数据格式进行存储,无法同其它应用程序共享电子邮件,也无法充分利用电子邮件这一信息源。该文提出了一种面向邮件客户端的电子邮件的XML表示方法,将邮件的XML标记进一步地细化,目的是便于电子邮件的检索和重组,并给出了从邮件的MIME源码到邮件的XML文档的转换方法...
关键词: 性能测试 分布式系统 ocr
系统的性能测试需要进行全数据集合的回归测试,才能得到准确的性能指标。测试过程需萼大数据量、长时间,所以自动测试成为必然的选择。该文设计了网络环境下的分布式自动测试系统,应用于软件系统的性能测试。片以OCR软件的测试为例,介绍了该系统的县体功能供现。
关键词: activex控件 测试功能 封装 组件 接口
介绍了采用基于COM模型的ActiveX控件技术实现测试功能封装的方法;给出了其测试系统软件结构;详细介绍了在Visual C++中采用ActiveX控件技术封装测试功能的过程以及在LabWindows CVI开发环境中使用ActiveX控件的过程。
关键词: xml dtd 逻辑蕴涵 编码
XML函数依赖、逻辑蕴涵是进一步研究XML键和XML规范化理论的基础。为了有效地解决XML函数依赖的蕴涵问题,该文提出了一种DTD路径编码机制,对它的性质进行了分析。编码后的DTD能在线性时间内对XML函数依赖的逻辑蕴涵问陋进行判定。
关键词: 工作流模型 着色petri网 着色工作流网
为了提高工作流模型的适应性,通过建立统一的资源管理器模型,解决了工作流网的资源分配问题,得到了一致的资源请求和资源释放过程。在引入着色Petri网的基础上,得到更加容易控制和计算机化的着色工作流网模型。最后,定义并将适台于工作流的事件一条件一动作规则引入着色工作流网,提出了基于ECA原语的工作流模型描述机制。
关键词: 聚类分析 牢间数据挖掘 聚落考古 姜寨遗址
通过对窄间数据挖掘中聚类算法的总结与分析,以姜寨一期聚落中的居住区和墓葬区为研究实例,实现了对其房屋区中大、中房屋组,以及墓葬区的聚类分析,得出了姜寨一期聚落的空间聚类规则,为考古学聚落形态研究提供了一种新的技术手段。
关键词: 直方图 聚类 数据值域查询
随着现代科技和传感器的发展和应用,复杂多变的空间数据日益膨胀。为了有效地使用这些海量数据,不仅需要搜索元数据而且包括实际数据。要想通过扫描这些海量数据来回答值域查询显而易见是不现实的。该文研究了一种数据直方图聚类技术,用于栅格地球科学数据值域查询。实验表明,该方法不仅可以快速近似地回答统计范围查询,同时可以给出准确评...
关键词: 面向服务架构 互操作性测评 电子商务 ebxml
以ehXML电子商务标准规范为研究实例,基于面向服务架构的思想和方法,提出了分层的电子商务互操作性测评保证体系,并着重论述了电子商务消息服务层的互操作性保证方法,包括服务功能的划分、测评过程模型和测评检验标准,最后通过一个消息服务层的互操作性测评实例说明了该方法的应用。
关键词: 系统定义 角色 活动没计 路径设计 标准化
学习内容管理系统是解决教学资源库和课程整合问题的一个重要手段,文章重点探讨了学习内容管理系统的定义问题、角色问题、教学设计问题、系统架构问题和标准应用问题,希望能为更好地开发和应用学习内容管理系统提供有针对性的建议。
关键词: 信息共享 数据传输 数据采集和映射变换 数据复制分发
提出了“中国结”式的数据传输和信息共享构建方案,通过数据采集和映射变换、数据复制分发实现不同系统间的资源高度抟孛和信息流通。构建“中国结”式的数据传输与信息共享平台,可以满足行业间或行业内“渐进式”地实施信息一体化,有利干行业间或行业内的信息整合,消除“信息孤岛”。
关键词: cache提示 cache行为分析 编译优化
由于Cache拓染问题,传统的仅由硬件控制的Cache替换箫略不能得到令人满意的Cache利用率。为解决该问题,EPIC引入了Cache提示以辅助控制Cache替换。文章提出了一个由编译器辅助挖制的Cache替换策略:最优Cache划分(OCP)。OCP Cache替换策略简化了Cache行为和Cache失效分析方法。实验结果表明,OCP Cache替换箫略能有效地降低Cache失效率。
关键词: 函数族 可扩展函数族 聚类
提出了可扩展函数族概念,将无关联的或者有依赖关系的多个函数,按照参数和自变最的特征集成一个函数族,可以通过增加或删除函数对函数族进行扩展。利用此函数族概念,设计了两种聚类算法,对其聚类性能作了分析。实验结果表明,用函数族方法进行聚类,在可伸缩性、增量数据处理和复杂数据类型处理等方面都表现出很好的性能,而且具有线性的时...
关键词: 数据抽取 扩展正则表达式
介绍了VI—DE,数据抽取工具DE-Wrapper的可视化编辑调试环境。DE—Wrapper使用扩展正则表达式(ERE)描述数据源结构,根据陵ERE构造数据抽取树(DE-树),然后根据DE-树生成相应的关系数据库模式,最后抽取数据。VI-DE整合了DE-Wrapper的工作流程。该工具首先使用可视化界面支持ERE/DE-树可视化构建,然后自动检查该ERE/DE.树是否具有二义...
关键词: ldap 多agent 信息检索
随着Internet技术及应用的发展,基于分布式的异质信息资源的信息检索成为当前学术领域中的一个研究热点。文章在分析了目前解决该相关领域问题的几种典型技术的基础上,结合电子政务平台上的实际应用需求,提出了一种基于LDAP(Lightweight Directory Access Protocol)和多Agent的分布式网络信息检索模型,并对其中的关键技术进行了深入的探讨...
若用户需要出版服务,请联系出版商,地址:上海市嘉定区澄浏公路63号,邮编:201808。