形式概念分析在软件维护中的应用综述

形式概念分析是一种层次化的形式对象分析方法,能够从二元关系中挖掘出具有共同形式属性的一组形式对象的聚集.近十几年来,形式概念分析技术已在软件工程领域,特别是软件维护的各项活动中得到了广泛的应用,并取得成功.本文从软件维护的角度,如软件理解、修改影响分析、重构、调试与测试等方面总结了从2000~2013年形式概念分析在这些领域的研究进展.这些研究成果的分类方法是基于一种软件维护活动框架进行论述,最后文章给出了形式概念分析在软件维护领域的研究趋势与展望.     

计算机应用软件的开发和维护策略分析

文章分析了计算机应用软件开发的重要性,从加强软件开发的周期性技术研究、合理选择软件开发的最初设计技术、加强自动生成软件开发技术的应用和加强软件开发过程的系统测试工作4个方面分析了应用软件开发策略,并从加强应用软件管理规划设计、合理选择应用软件程序支持平台等方面探究了软件维护的策略,促进了软件功能的有效发挥。     

软件可维护性探讨

高质量的软件是软件工程的目的 ,软件维护在其中具有重要作用。以更快的速度、更低的费用维护和升级软件产品是计算机工业急需解决的问题。为此 ,必须设计更好、更易于维护的软件。文中讨论了可维护软件的设计技术与方法 ,介绍了软件维护性度量方法 ,指出了今后研究的发展方向。     

从司法案例看如何修改专利申请文件

在专利申请过程中,修改是经常需要的情况,修改中如果删除技术特征,需要注意是否超范围,同时,对于权利要求是否得到说明书的支持,也是申请人需要重点考虑的问题.针对修改是否超范围和支持问题,从一个实际案例出发,通过对复审和法院的观点与意见进行对比和分析,对发明专利申请文件的撰写和修改带来一些启示和借鉴.     

软件可靠性模型研究

本文分析了软件生存期各个阶段的特征，软件故障机理、软件错误分类及影响软件可靠性的多个因素。从模型假设、特征、分类、能力、适用性、简明性、模型背景、应用效果等方面，对多种软件可靠模型进行了评价，论述了模型之间的关系及模型的科学选择。     

MD5碰撞攻击的多重消息修改技术的研究

通过对王小云等提出的消息修改技术以及Yu Sasaki等提出改进的消息修改技术进行研究,指出他们提出的多重消息修改技术并不总能使一个链接变量同时满足多个充分条件,并给出了确保一个链接变量同时满足多个充分条件的方法.此外还指出了在Liang Jie和Lai Xuejia的新的充分条件集中Yu Sasaki等的改进的多重消息修改技术对其中2个条件不能再实施,并提出了对其中一个新的消息修改技术,给出了对另外3个充分条件的新的多重消息修改技术,并通过实验对上述结果进行了验证且产生了新的MD5碰撞对.     

基于CMM的软件开发和维护过程的研究

软件开发组织可以通过建立一致的、标准的软件开发过程，提高对软件项目开发的控制性和预见性，提高其开发效率。实践证明，CMM可以有效提高软件开发组织的生产能力和产品质量，它强调角色的划分，按角色分配任务。本文针对软件维护组织维护能力成熟度展开研究，引入软件过程的概念和CMM分级在软件开发中的应用。围绕软件维护过程的计划、度量和层次方面展开描述，循序渐进地提出软件维护过程改进模型。     

测试系统软件的复用性研究

文章通过分析当前自动测试系统软件开发中存在的一些不足 ,指出采用软件复用技术是解决目前测试软件设计过程中效率低、重复劳动多、软件维护性差的一条途径 ,并提出采用组件技术可作为提高测试软件复用性的一种解决方案     

基于迁移策略的动态工作流的研究与设计

为了使工作流系统能够在运行过程中支持过程定义的动态可变,探讨工作流在过程方面发生动态修改的分类,分析重启、继续执行、迁移等多种动态修改策略的优缺点,重点研究了迁移策略的实现,提出了一种基于迁移策略的动态工作流的设计方法。该方法首先加载数据表中的过程定义信息,并根据反射机制动态创建相应的工作流对象及其方法。然后设计了一种迁移策略执行算法,根据迁移规则XML配置文件,动态完成运行时的旧工作流到新工作流的转换,从而提高了工作流系统的动态性。     

软件维护管理研究现状的缺陷分析

软件维护是软件生命周期活动中最为昂贵的费用之一。对于软件维护管理的研究不仅是理论研究的需要，更是实际运营中的急需。目前无论是软件开发过程、维护过程，还是软件可维护性方面的研究都存在不同程度的缺陷，缺陷折射出来了许多研究领域，如结构性的软件可维护性研究、系统性的软件过程或者软件结构的可维护性研究等，将成为我们新的研究领域和研究方向。     

互联网+时代的思考

"互联网+"是创新2.0下的互联网发展的新业态,是知识社会创新2.0推动下的互联网形态演进及其催生的经济社会发展新形态."互联网+"是互联网思维的进一步实践成果,它代表一种先进的生产力,推动经济形态不断的发生演变.从而带动社会经济实体的生命力,为改革、创新、发展提供广阔的网络平台.     

综合多级别检测的林地变化检测方法

为了提高植被变化检测精度和获取植被变化类型信息,在综合利用像素级变化检测、特征级变化检测和分类后变化检测的基础上,提出了一种由粗到精并准确获取变化信息的植被变化检测方法。文中选取2002 年和2007 年的QuickBird多光谱图像作为试验对象,使用像素级变化检测处理多时相遥感数据,确定出包含植被变化的候选区域;然后,使用特征级变化检测确定出变化区域;最后,结合分类后变化检测获取变化信息的位置和类型。通过对两时相遥感数据进行变化检测试验,并与各单独检测方法对比,验证新方法的有效性。结果表明:该方法在提高了变化检测精度的同时能够提供变化地物信息,可以有效地应用于植被变化信息的检测。     

相变存储器单元疲劳特性研究

本文主要研究了相变存储器存储单元的疲劳特性。随着操作次数的增多,相变存储器单元在高阻态和低祖态下的阻值逐渐的向着相反的方向变化。同时,本文还讨论了在疲劳操作下,相变单元状态改变所需的操作条件也在逐渐的改变。在最初的一定次数的疲劳操作条件下,单元的阈值电压缓慢的减小,并且在之后的操作中,阈值电压急剧增大。这是由于器件单元的界面效应以及相变区域体积变化工作作用引起的。本文对于之一现象,给出了合理的解释以及数据加以证明。     

Phase change materials and their application to random access memory technology

Phase change materials can exist in two different phases, the amorphous and the crystalline phase, which exhibit distinctly different physical properties. It is possible to repeatedly switch the state of these materials, from the amorphous phase to the crystalline phase by heating the material above its crystallization temperature, and from the crystalline to the amorphous phase by melt-quenching. Phase change materials have been utilized very successfully in all modern optical re-writable storage media such as CDs, DVDs and Blu-ray disks. Recently, they have also been applied to solid-state memory devices where their large difference in electrical resistivity is used to store information. This paper reviews the unique properties of phase change materials in particular as they are important for their application to these devices.     

红外控温材料丙烯酸接枝石蜡的酰化研究

以丙烯酸(AA)极性单体与石蜡接枝得到的丙烯酸接枝石蜡与酰胺反应生成酰化的接枝石蜡.用红外光谱仪和差示扫描量热仪对酰化的丙烯酸接枝石蜡的结构和热性能进行了分析.与未改性石蜡相比,酰化的丙烯酸接枝石蜡相变温度提高了16.3％,相变潜热提高了59.07％,在三种改性石蜡中酰化的丙烯酸接枝石蜡相变温度最高,相变潜热最大.分析三种改性石蜡的分子结构与其相变温度相变潜热的关系.     

相变发热系统的设计与制作

沥青路面在冬季常因为雨雪结冰使路面摩察系数下降，使行车安全和交通运输能力大大降低，同时也带来巨大的经济损失。本文将将相变材料（PCM）和发热材料相结合，设计制作出用于智能融雪化冰的相变发热系统，通过PCM相变产生的能量缓释效应，可以改善发热场温度的温度场分布起到对沥青混凝土路面的过热保护作用。     

基于PDM的工程变更管理在生产中的应用

工程变更管理是制造企业产品数据管理的一个重要组成部分。首先讨论工程变更的起因,以及存在的主要问题,以此进行ECM的需求分析,提出基于PDM的工程变更模型和变更流程,并结合PDM中已有的工作流管理技术和生命周期管理技术。阐述基于PDM系统的具体实施方法,可以为企业实施ECM提供解决方案。     

舰载电子战系统中对运动辐射源的单站无源测距定位技术

将一种运用角度、角度变化率和多普勒频率变化率参数实现无源测距的定位技术引入舰载电子战系统使其具有对高速运动目标的单站定位能力,介绍了定位技术的原理以及参数高精度测量的实施办法。     

多路立体声光纤数字传输设备的研制

介绍一种新研制的多路立体声光纤数字传输设备 ,重点阐述方案设计的思路 ,简略介绍 PCM的基本技术原理 ,侧重讨论发送机和接收机的技术问题。     

Beyond von‐Neumann Computing with Nanoscale Phase‐Change Memory Devices

Historically, the application of phase‐change materials and devices has been limited to the provision of non‐volatile memories. Recently, however, the potential has been demonstrated for using phase‐change devices as the basis for new forms of brain‐like computing, by exploiting their multilevel resistance capability to provide electronic mimics of biological synapses. Here, a different and previously under‐explored property that is also intrinsic to phase‐change materials and devices, namely accumulation, is exploited to demonstrate that nanometer‐scale electronic phase‐change devices can also provide a powerful form of arithmetic computing. Complicated arithmetic operations are carried out, including parallel factorization and fractional division, using simple nanoscale phase‐change cells that process and store data simultaneously and at the same physical location, promising a most efficient and effective means for implementing beyond von‐Neumann computing. This same accumulation property can be used to provide a particularly simple form phase‐change integrate‐and‐fire “neuron”, which, by combining both phase‐change synapse and neuron electronic mimics, potentially opens up a route to the realization of all‐phase‐change neuromorphic processing.