计算机工程与设计杂志是由中国航天科工集团主管，中国航天科工集团第二研究院706所主办的一本北大期刊。
计算机工程与设计杂志创刊于1980，发行周期为月刊，杂志类别为计算机类。
杂志介绍
计算机工程与设计杂志
-
主管单位：中国航天科工集团
-
主办单位：中国航天科工集团第二研究院706所
-
国际刊号：1000-7024
-
国内刊号：11-1775/TP
-
发行周期：月刊
-
全年订价：￥556.00
杂志介绍
计算机工程与设计杂志是由中国航天科工集团主管，中国航天科工集团第二研究院706所主办的一本北大期刊。
计算机工程与设计杂志创刊于1980，发行周期为月刊，杂志类别为计算机类。
主管单位：中国航天科工集团
主办单位：中国航天科工集团第二研究院706所
国际刊号：1000-7024
国内刊号：11-1775/TP
发行周期：月刊
全年订价：￥556.00
关键词: 故障注入器 模拟信号 故障诊断 故障模式
利用故障注入方法对故障诊断系统进行检测是提高系统可靠性的重要途径。针对模拟信号的特点,设计开发了一个基于CPLD控制的故障注入器,详细阐述了该故障注入器的结构组成、功能模块以及软硬件的设计,并将此故障注入器用于故障诊断专家系统的有效性验证上,试验结果表明,此故障注入器在设计上具有通用性、有效性、无破坏性和易操作性等特点。
关键词: 光伏电池 输出特性 最大功率点跟踪 电导增量法 变步长
为了寻找更好的实现光伏发电系统最大功率点跟踪控制方法,基于单个光伏电池的物理特性建立了太阳能光伏电池阵列的Matlab仿真模型,分析了太阳能光伏电池阵列所具有的随着光照强度和温度不同而变化的P-U和I-U非线性特性。基于光伏电池的动态特性,在最大功率点跟踪算法的设计中增加一个电流监测回路,并结合自寻优技术对电导增量法进行改进,提出了...
关键词: 嵌入式实时操作系统 rtems 实时进程 内存管理 可靠性
以嵌入式实时操作系统RTEMS为原型设计实现了实时进程。将RTEMS操作系统内核与应用程序隔离,使二者运行在不同的特权级别下,应用程序的错误不会导致操作系统崩溃,从而提高了整个系统的可靠;同时对内核内存管理和地址映射机制进优化,保证原有系统的性能。从系统的可靠性、实时性以及设计实现的复杂性等方面进行试验和分析,试验结果表明,实时进程...
关键词: 光计算机 解码器 数据采集 异步
针对三值光计算机解码器数据采集问题,设计开发了一种基于USB2.0的数据采集控制系统,实现了对解码器数据采集设备的自动控制、数据传输、设备状态和数据显示。为了提高数据采集系统的效率和可靠性,在控制系统中采用了异步通信模式和事务处理机制。实验结果表明,系统使用方便、控制灵活、控制效果良好,保证了数据采集系统工作高效稳定。
关键词: avs dm642 编码器 移植 优化
针对当前基于DSP的AVS编码器的重要性以及其在进行实时编码方面不足的问题,提出了一种有效的移植优化方案。该方案结合DSP自身硬件的特点,并充分考虑到VC平台和CCS开发平台之间的差异,采用步步为营,采用层层深入的思路,从移植到初级优化,再到进一步优化对AVS编码器进行了移植和优化。在此过程中,还简单的介绍了AVS编码器的关键技术和DM642芯片。...
关键词: 易损性 机动指挥系统 电磁脉冲 损伤模式 故障树分析方法
分析了机动指挥系统在高功率电磁威胁环境,指出了机动指挥系统结构功能,建立了机动指挥系统的损伤等级,完成了损伤机理与损伤模式分析,利用故障树分析方法构建故障树模型,确定了机动指挥系统的易损部件,并结合某型号通信分系统实装,给出了实例分析,对进一步开展机动指挥系统易损性评估研究具有一定的参考应用价值。
关键词: 嵌入式 操作系统 网络 温度 以太网
给出了arm内核处理器与以太网控制芯片RTL8019AS及DS1820温度传感器接口电路,以及基于嵌入式Linux操作系统的软件设计过程,从而实现嵌入式系统利用Internet技术实现工业温度监控设备的低成本网络互联,信息的沟通,并且用户可通过网络实现远程监控和维护,这种方案在工业控制领域具有很好的前景。
关键词: 数据处理 加速度计 动态测试 抗野值 自适应kalman滤波
针对实际使用条件下的加速度计的动态测试,讨论了一种加速度计的动态数据处理方法。动态测试中,由于实际情况的时变性和随机性,噪声统计特性可能是未知的且时变的,先验的数据也因此失去意义;另外,动态测试中野值也会对测试精度产生严重的不利影响;运用抗野值自适应Kalman滤波算法对动态数据进行了处理,结果表明该方法能够有效的剔出测试过程中粗...
关键词: 嵌入式 可视电话 pjsip协议栈 移植 bf561 交叉编译
介绍了信令控制协议SIP。针对现有SIP协议栈在支持多种处理器方面灵活度不高及兼容性和移植性较差的问题,提出采用PJSIP协议栈作为嵌入式终端的信令实现基础,以BF561处理器为平台,进行协议栈的移植。着重分析了PJSIP协议栈的体系结构,并针对嵌入式系统软硬件的特点,对PJSIP进行配置和修改,最终移植到嵌入式系统中。通过程序测试,协议栈移植成功,...
关键词: 嵌入式 linux mp3播放器 qt audiere
设计了一种应用于嵌入式系统的MP3播放器。该播放器基于QT技术和开源的音频解码器libmad与audiere编程实现,可运行在嵌入式Linux操作系统和ARM9硬件平台。在分析MP3编解码原理的基础上,详细介绍了该播放器的需求分析、设计及实现过程,并就播放器开发过程中所遇到的一些问题的解决方案进行了探讨。
关键词: 空间角色 继承 规则 冲突 层次关系
由于现有RBAC模型对继承规则的定义比较笼统,尤其是角色、权限间的冲突关系没有给出具体的解决方法,所以将原有的RBAC扩充到带有空间特性的RBAC模型,并在此基础上通过对利益冲突和角色层次图中互斥问题的分析,给出了6个规则、两个定义及两个引理,并提出用矩阵表来解决角色冲突问题,为带空间特性的RBAC模型中角色继承问题提供了通用方法。
关键词: 遗传 免疫 信息安全 可信计算 仿基因
将生物学中的基因遗传和免疫理论,同计算机信息安全理论相结合,在可信计算的基础上,研究能够提供自我保护、自主免疫、动态进化等特性的新一代计算机系统--仿基因计算机系统。结合公钥加密算法、单向散列算法和自然语言文本水印技术,对仿基因计算机的基因算法和免疫模型进行详细的阐述,并说明了该模型的可行性、安全性和有效性。
关键词: 流密码 周期序列 线性复杂度 k错线性复杂度 k位置错误谱
K错线性复杂度描述了k个位置发生变化后序列的线性复杂度的最小值,反映了序列的稳定性。但k错线性复杂度不能全面反映序列的稳定性,所以对k位置错误谱进行了研究,加深对k错线性复杂度的理解,更好得反映序列的稳定性。一般认为k错线性复杂度低的序列是不稳定的,不适合作为密钥序列,但是有的序列只有在改变某些位置才会引起线性复杂度的下降,k位置...
关键词: 入侵检测 聚类 模式匹配 数据挖掘 信息安全
现有方法在对数据属性进行分析处理时,容易造成属性中关键信息的丢失,导致了较高的误报率和漏报率。基于这种现象,提出了一种特殊的两阶段聚类方法和基于模糊轮廓树的模式匹配方法。由描述属性建立模糊轮廓树,在此基础上,再对行为属性实施聚类。最后,得到一系列的“某一类型下的若干行为模式”。同时,这棵模糊轮廓树又具有判定树的功能。在检测...
关键词: 数字版权管理 开放移动联盟 版权对象
针对DRM系统中的版权者在高峰期面临的服务压力,基于OMADRM2.0规范,提出了实时与预相结合的RO模式,创新地提出版权数据采集子系统和版权策略管理子系统,从而在预模式中重用了版权实时子系统,实现版权预功能;与实时相结合,既不过多影响实时申请的效率,又通过预机制合理利用系统时间。
关键词: 入侵容忍 rsa 秘密共享 密钥生成 密钥分发
鉴于RSA密码体制具有结构的简洁性和安全性的可证明性,提出了一种基于RSA的入侵容忍密钥分发方案。该方案具有设计原理简单,可靠性强等特点。采用可验证秘密共享方法,既防止了各种主动和被动的假冒攻击,又起到了容忍入侵的作用。由于所使用证明方法的非交互性,该方案需要的计算、通信等开销都较少,效率较高。传统的集中式密钥分发中所存在的单一...
关键词: 生存性 共享保护 共享风险链路组 负载平衡 路由和波长分配问题
将链路波长使用数均衡的负载平衡思想应用到光网络的共享保护算法中,提出了WDM网络中基于负载平衡的共享保护算法LB-SPP。针对优化目标,建立了整数线型规划模型。在算法实现方面,对于工作路径的选择,算法充分考虑了链路负载平衡;对保护路径的选择,考虑其共享风险链路组无关性和保护资源的共享性。仿真结果表明,将负载平衡和共享通道保护引入网络...
关键词: 正交频分复用 多输入多输出 自适应噪声抵消 奇异值分解 最小均方误差方法
对多输入多输出正交频分复用系统的信道估计进行了研究,利用自适应噪声抵消的思想,提出了一种基于自适应噪声抵消和奇异值分解的信道估计方法。该方法首先利用自适应噪声抵消对最小二乘（LS）估计进行去噪处理,然后将其结果用于奇异值分解（SVD）的MMSE低阶近似方法中。仿真结果表明,利用此方法有效地抑制了噪声的影响,其系统性能优于利用最小二...
关键词: 情境应用 信息资源汇聚 信息集成 mashup 即时资源汇聚
针对企业与大众用户需求的日益多样化和复杂化问题,从情境应用的背景出发,重点分析了情境应用的主要特点及其典型应用,然后从情境应用的软件架构、开发工具及支撑平台等方面介绍了研究现状,分析了在资源获取、组织、选取与推荐等方面的关键问题,然后讨论了Mashup与信息资源汇聚的联系,并从信息集成的视角给出Mashup的一个定义。从相应的研究得知...
关键词: 形式概念分析 fsm模型 web应用测试 测试覆盖准则 状态组合爆炸
为了避免基于模型的Web应用测试中存在的状态组合爆炸问题,分析了经典的每个一次和基本选择的状态组合爆炸避免方法,指出了这两种方法的不足,提出了应用形式概念分析,根据给定的测试覆盖准则,精简测试用例集,避免状态组合爆炸的方法,并改进了Sampath的测试用例选取规则。最后根据形式概念分析的原理,开发了测试用例集精简工具,提高了测试过程的...
关键词: hl7 医学图像信息 异构医疗信息系统 消息 电子病历
HL7v3消息标准的出现为解决异构医疗信息系统之间的信息交换的难题提供了基础条件,通过研究HL7数据交换实现原理和HL7v3消息标准的结构,分析了使用HL7v3消息交换医学图像信息的可行性,探讨了两种情况下使用HL7v3消息进行医学图像信息交换的解决方案,提出了基于该方案的电子病历信息交换的框架,为实现异构医疗信息系统间的电子病历信息共享提供了...
关键词: web service 盈利模式 窄告 优化机制
对作为Web3.0时代主导产品的Web Service的盈利现状进行了分析,针对Web Service并未实现真正意义的盈利这一问题提出了基于窄告技术的Web3.0互联网盈利模式。Web3.0互联网盈利模式横向利用优化的窄告技术实现广告投放、纵向利用Web Service接口实现广告传输,通过设计使用窄告与用户网站的关键词匹配度算法实现窄告投放的最优化配置,从而使得利益...
关键词: 资源定位 非结构p2p网络 兴趣子网 引导节点 反向植入
从资源定位的准确性、有效性出发,分析了当前一些有关Gnutella网络的主要的资源搜索算法,提出了一种基于兴趣子网的非结构P2P网络资源定位的新算法。该算法借助带权值的路由信息反向植入策略以及引入的引导节点查询策略,有效地避免了网络中出现单点失效的现象,并在保持高速查询、高命中率的同时大大减少了查询信息量和延时,从而提高资源搜索效率...
关键词: 并行开发 多配置文件 多模块 控制器 模块选择
报告了基于Struts的Web应用开发中并行开发的现状,给出了在开发应用时出现因多人共享资源而产生冲突问题的解决方法。借助于Struts控制器的机制,可以使用多配置文件和多模块两种方案来解决并行开发的问题。介绍了多配置文件的使用,结合范例详细地研究了多模块的机理及应用,分析了多子应用与多应用的异同。使用Struts的多模块功能是解决此问题更...
关键词: 服务组合 web服务 业务流程 组合编程语言 执行引擎 服务质量
详细介绍了基于BPEL语言的可视化Web服务组合流程建模工具的体系结构;引入节点和弧的概念实现可视化流程编辑器;采用图形化方法和流程图到WS-BPEL元素的映射技术,实现了Web服务组合流程模型的建立、编辑和配置等功能,简化了抽象流程到可执行流程的转化;提出了基于Web服务QOS约束的服务查询、QOS本体表示和QOS筛选方案,使得符合用户需求的Web服务...
关键词: 电子商务系统 信息安全评估 模糊集 模糊综合评判 权数分配
针对电子商务系统安全评估问题,提出了基于模糊综合评判的电子商务系统安全评估的模型和方法。构建了电子商务系统安全评判的指标体系,描述了模糊综合评判方法,并根据电子商务系统的特点合理确定了模糊评判矩阵和权重系数集,最后通过算例阐明了应用模糊综合评判进行电子商务系统安全评估的具体实现步骤。实例分析和结果表明,提出的安全评估模型...
关键词: 门户 门户件 数字化校园 信息集成 数据整合
数字化校园信息门户的建设仍存在很多策略和技术问题需要解决。从Portal技术的建设目标出发,探讨了Portal的体系结构、描述技术规范及工作流程。根据校园门户建设的需要,提出了一套基于Portlet技术的校园信息门户建设方案,从而使得在构建数字化校园的过程中系统融合、信息集成和用户服务个性化的问题得到解决。通过Portlet技术构建的校园信息门...
关键词: 轻量级框架 对象关系映射 依赖注入 设计模式
针对移动公司业务量大、营销网点多且分散的现状,设计了一套基于B/S结构的移动卡类渠道销售管理系统。该系统设计模式采用“模版方法”,技术框架选择以Spring框架为核心,集成Struts和Hibernate框架的组合进行开发。其表现层的设计采用Struts框架完成,数据层的设计采用Hibernate框架完成,业务层采用Spring框架完成。结果表明,SSH框架的使用不仅简...
关键词: 客户关系管理系统 pi演算 移动工作平台 模型验证 业务流程
解决了应用PI演算对CRM（客户关系管理）进行业务流程建模的问题。对业务流程建模的常用方法UML（标准的图形化建模语言）和Petri网进行比较,得出PI演算是最适合业务流程建模的工具;应用PI演算对CRM系统的一个例子进行业务流程建模并解决了CRM系统建模中的数据冲突问题;应用PI演算验证工具MWB（移动工作平台）进行所建模型的验证,在模型检验过程...
关键词: 多表达式编程 函数发现 适应度函数 杂交策略 变异策略
为了提高多表达式编程算法的效率,研究了MEP基本算法的适应度函数、杂交策略和变异策略,对其进行了优化,提出了一种改进的MEP算法。改进的MEP算法采用归一化的均方根差作为适应度函数,采用概率区间来选择杂交算子,并使变异概率在进化过程中随着进化代数和适应值的变化进行动态调整。最后将改进的MEP算法应用于函数发现问题中,对算法的效率进行了...
关键词: 可靠性 正确性验证 最弱前置谓词 公理化方法 前置条件
为了使开发出的程序更具有可靠性,研究了两种正确性验证的演算方法,Dijkstra的最弱前置谓词变换法和Hoare的公理化方法。针对于Hoare公理化方法证明中的前置条件难以寻找的问题,提出了将这两种演算方法结合使用的方法。对最弱前置谓词变换法的过程进行分析,确定了最弱前置谓词算法的准确性。将最弱前置谓词应用到公理化方法中,即把最弱前置谓词...
关键词: uml类图 描述逻辑 owl dl本体 知识库 一致性检测
为解决UML类图一致性检测问题,分析了UML类图、DLs和OWL DL的特点,给出了UML类图的OWL DL本体表示形式,研究了UML类图转化为OWL DL本体知识库的方法,证明了转化方法的正确性,提出了一种基于描述逻辑的UML类图一致性检测方案。该方案通过将UML类图转换为OWL DL本体知识库,利用OWL DL强大的推理功能实现UML类图一致性检测。最后以实例证明了该方案...
关键词: 极线几何 极线校正 立体图像对 图像校正 投影校正
将Seitz方法和Francesco方法结合起来,给出了一种改进的极线校正方法。该方法利用改进的八点算法算出基本矩阵,根据基本矩阵采用Seitz方法计算投影变换矩阵,最后以算出的投影变换矩阵为初值采用Francesco方法对其进行最优化,从而有效地避免了最优化时陷入局部最优的可能,同时又不过分依赖基本矩阵的精度。通过对Francesco方法、Mallon方法和该方...
关键词: 图像融合 光谱保持 边缘增强 融合规则 log滤波算子
通过分析比较多光谱与高分辨率图像间融合几种常用算法的原理及其优缺点,提出了一种基于边缘增强算子的光谱保持型融合算法,算法首先利用LOG算子对高分辨率图像进行高提升滤波,然后将滤波后高分辨率图像与原高分辨率图像的亮度的比值作为融合图像各光谱值的调节系数。实验结果表明,此算法具有很好的空间分辨率,同时又能较好地保持原有多光谱图像...
关键词: 流媒体 动态分段 缓存效率 批处理补丁
在设计分布式流媒体缓存结构时,需要注意的两个主要方面是如何节省网络带宽和提高缓存命中率。基于此,提出了一种动态分段的流媒体缓存策略（SDD）,该策略结合用户访问的趋势,并考虑不同网络用户的带宽和各媒体之间的差异,真正实现了流媒体对象的动态分段缓存。分析表明该缓存策略能普遍地适用于不同网络的大多数用户,不仅能够提高用户的请求命...
关键词: 数字图书馆 图像压缩 扫描图像 图像分辨率 插值 阈值
“中美合作百万册书数字图书馆”已建设成具有100多万册图书的数字图书馆。为了长期保存的目的,图像页面扫描采用600dpi高分辨率,图像尺寸过大,不能直接用于网络访问。在详细分析不同图像压缩算法的优点和不同色彩图像编码方式的基础上,设计并实现了“图像缩减”软件,该软件以降低图像分辨率的方式缩减图像大小。在不明显影响图像的视觉主观质量...
关键词: 多尺度 曲面拟合 阴影恢复 不规则形状 表面分割
针对不规则多形变形状变化特征的红血球细胞分类识别问题,提出一种基于阴影形状恢复技术与多尺度曲面拟合相结合的复杂表面分割方案。利用Shape from Shading进行重建得到的细胞表面三维高度场可用于计算高斯曲率与平均曲率并得到表面类型图像标识的初始分割,然后通过多尺度二元多项式函数分别对不同类型表面进行曲面拟合,得到的分割结果可将不...
关键词: 图像过分割 单场景建模 超像素 场景构建 虚拟现实场景
在分析了以往所采用的改进图像过分割方法的基础上,提出了一种新的虚拟场景构建算法。利用单场景建模,把图像分割成超像素,接着为超像素增加类别标志从而形成集群,然后由集群确定几何类别,最后剪切和折叠不同标志的图像,输出三维场景。该算法利用VMRL对一张图片进行建模,在虚拟漫游系统中无需用户直接参与,可以高效地构建虚拟现实场景。
关键词: 空中交通流量管理 移动域控制 蚁群算法 到达航班排序和调度 位置交换
为有效解决动态环境中的到达航班排序和调度问题,提出了基于移动域控制的动态蚁群优化算法,该算法将总时间划分成多个时间窗口,并将蚁群算法优化控制在一个移动域内进行,有效避免了算法的早熟,降低了算法的计算复杂度。实例仿真计算表明,该算法比标准的蚁群算法具有更高的求解质量和求解效率,适合于对终端区到达航班进行实时排序和调度。
关键词: 元胞自动机 蚁群系统 贝叶斯决策 离散优化 路径规划
提出了基于贝叶斯决策的元胞自动机局部路径规划方法。以元胞蚁群系统能够求取离散化地图的全局最优路径,但是该方法缺乏对局部环境变化的适应性。将元胞蚁群系统得出的状态先验概率数据,以贝叶斯决策理论求取最小条件风险用于最优路径识别,在此基础上运用提出一个新概念--超级风险,可以处理一类环境改变后的局部路径规划。实验结果显示该方法可...
若用户需要出版服务，请联系出版商，地址：北京142信箱37分箱，邮编：100039。