摘要:安全性作为软件系统的重要属性, 越来越受到人们的重视. 在软件开发的早期对安全性进行评估, 对软件的质量控制和成本控制有着重要意义. 当前的软件安全性评估主要依靠专家评审, 结果的客观性及准确性常常受到专家主观意见的影响. 通过使用通用知识作为评估依据, 提出一种可以对UML顺序图形式的软件设计文档进行自动化分析的方法, 可以发现软件设计中潜在的安全性漏洞. 该方法可以减少结果中的主观性, 同时, 通过基于该方法的辅助工具的使用, 可以大大提高评估效率.

摘要:通过查阅大量相关文献资料, 概述大数据和普适云的基本概念, 提出基于普适云的大数据挖掘架构, 在理论方面论证其可行性、论述其运行模式并进行了性能分析, 分析总结了基于普适云的大数据挖掘所涉及的关键技术.

摘要:云计算的不同应用水平会在不同程度影响企业的IT决策, 相应的IT决策机制也会随之发生变化. 本文深入分析了云计算的三层服务模式对IT决策的影响, 由此提出了基于云计算背景的IT决策机制框架. 并通过国外成功实施云计算的企业案例分析并验证本文得出的IT决策机制框架. 本文不仅对以往的IT决策机制框架的基础上加入了IT服务模式维度, 同时也为云计算在企业中的应用提供了制度框架.

摘要:针对现今软件使用逻辑错误的问题越来越多的出现, 提出了对最流行最普遍的编程语言——C语言子集的模型检测方法的研究. 采用基于Verds工具的模型, 运用C语言子集转化成Verds模型的算法, 结合Verds工具和MAGIC工具实现模型检测. 引入反例引导的抽象精化方法使模型检测解决状态爆炸的问题.

摘要:做为现代企业的重要模式研究型企业因其独特的盈利模式更需要提升管理效率. 管理体系信息化是提升管理效率的重要手段, 但是管理信息系统开发的目的以及应用过程会影响到它在企业内部的应用效果, 系统开发完毕后在企业被空置、流于形式的现象大量存在. 如何使管理信息系统真正成为企业管理的有效辅助工具需要从系统建设目的和建设过程开始研究. 本单位立足企业自身管理体系, 以满足管理人员日常管理需要为目标, 采用敏捷开发方法将管理体系信息化, 取得了良好效果.

摘要:Crowdsourcing是作为一种新的商业模式发展起来的, 随着社交网络、移动互联网的发展, 已经发展成为一种新的信息交互方式, 推动了新的网络信息生产与交流模式的产生. 在近年来的全球灾害救援过程中, 公众发布的大量信息发挥了巨大作用. 将crowdsourcing模式吸纳入灾害救援应用中, 可以有效地利用现有信息化手段, 提高灾害信息采集效率与救援效果. 本文基于灾害救援现状与crowdsourcing模式, 对灾害信息的生产、传播和消费过程进行分析, 研究了crowdsourcing模式引入灾害信息管理与灾害救援应用的可行性和关键问题. 在此基础上, 分析研究了兼容crowdsourcing的灾害应急管理系统的内容与架构. 文章研究表明, 在与SNS平台进行充分对接的前提下, 将crowdsourcing模式引入灾害信息管理与救援应用具有技术可行性, 同时也提出了需要进一步研究的一些问题.

摘要:本文致力于开发一种适用于大型电力系统的静态电压稳定实时快速分析及预防调度软件, 结合目前电压稳定分析方法在实际系统中的应用, 考虑实时分析的速度与精度要求, 使用一种基于灵敏度约束与局部曲线拟合相结合来快速寻找崩溃点的方法与基于优化发电功率分配因子来提高系统负荷裕度的方法, 研制开发了一套基于B/S模式的“在线电压稳定快速分析及预防调度”软件. 使用该软件对湖南电网静态稳定性进行算例分析, 验证该软件能满足在线分析的速度与精度要求.

摘要:在Qrobot机器人已有的软件系统基础上, 开发出了独立的彩票服务程序. 在标准化的Windows操作环境下, 以对象类别扩充组件的方式提供独立的, 便捷的人机交互界面. 通过触控和声控技术和与机器人互动, 使Qrobot机器人获知所需查询的彩票类别. 利用Web信息提取技术从指定网页中提取出彩票的中奖号码等相关信息, 利用云端语音识别使机器人读出网页提取出的彩票信息, 并能将中奖号码信息显示在操作界面上. 所开发的软件操作系统具有良好的扩展性, 基于同样的思想, 还可以进一步为机器人添加其它网络功能.

摘要:根据敏捷开发原理, 引入持续集成, 设计和开发了基于敏捷模式的学生满意度调查系统, 提供了完善的学生满意度研究数据收集机制及移动分析工具, 设计了多种数据分析模式, 包括统计分析、交叉分析、对比分析、模型分析等. 基于敏捷模式开发网站系统具有良好的可移动性、可扩展性、可持续性和可维护性, 不仅能满足调查数据迅速便捷的收集与分析, 而且能够应对不断变化的学生满意度研究调查维度灵活、模型复杂多变、调查对象聚集的特性, 是一个非常有价值的学生研究网络辅助平台.

摘要:模型检测是用来验证系统模型是否满足所期望性质的一种形式化方法, 模型检测相对于其它的模型检验方法有两个显著的特点, 一个是它对模型进行检测的过程是自动化的, 另一个是当系统不满足所验证的性质时, 它会给出一条反例路径, 这条反例路径可以为系统修正提供帮助. 本文研究的重点就是如何使这条反例路径的生成在高效的同时其反例信息又直观易懂, 为系统修正带来更方便快捷的帮助. 本文中实现了具体反例生成与图形化显示系统(简称CCGS), 它能快速生成离散语义下具体反例并图形化显示时间自动机沿着该具体反例的运行过程. 实验结果表明CCGS能够快速生成具体反例路径信息, 并且能够图形化显示具体反例信息, 为系统修正提供更直观的信息, 提高系统的正确性和安全性.

摘要:输电线路智能视频监控系统是由嵌入式视频装置、通信通道、后台存储服务器等部分组成, 嵌入式视频装置在现场拍摄视频和图像后, 现场通过色度提取、基于小波的Canny边缘检测、轨迹追踪、向量机分类等图像识别和模式识别方法, 自动识别出架空输电线路本体及周边环境变化产生的风险因素, 如导线弧垂变化、大型机械入侵施工、鸟巢活动、飘挂物等, 然后产生报警信息后发回服务器, 节约了通信费用. 经过3年的实际运行经验表明, 此系统为佛山地区输电线路防外力破坏发挥了巨大作用, 具备广阔的推广应用情景.

摘要:本文研究了国内外Web漏洞库及建设的现状, 设计并实现了一个专注于Web漏洞发布的Web漏洞数据库. 文中兼顾了Web漏洞的固有特点及其与传统漏洞的属性差别, 设计了Web漏洞库描述模型, 丰富了Web漏洞的收集方法, 定义了Web漏洞的漏洞评价属性标准, 并在Web漏洞库中添加了Web漏洞重现模块. 我们所设计的Web漏洞库确保了全面的Web漏洞信息收集和Web漏洞信息发布的标准化, 可更好地对Web漏洞信息和数据进行分析研究, 也为Web安全提供了有力的技术支撑.

摘要:利用LabVIEW构建虚拟电子实验系统, 包括模拟电路与数字电路基础性和综合性实验项目, 主要采用LabVIEW与Multisim联合仿真的方法来实现模拟电路实验仿真过程, 充分发挥LabVIEW数字控制与Multisim模拟仿真的优势. 同时, 利用LabVIEW设计数字电路实验, 实现了虚拟仪器开发平台的开放性、可扩展性和资源共享性. 实例说明模拟电路实验和数字电路实验各模块的设计过程, 证明其有效性. 基于LabVIEW和Multisim的虚拟电子实验系统不仅有效的缓解实验设备条件的紧缺, 大大节省了实验室的投入, 还为深化教学改革提供了新思路.

摘要:根据商业银行对容灾中心的定位描述, 容灾系统不仅具有基本的容灾功能, 而且是连接生产核心系统与辅助系统的桥梁. 因此, 建设容灾系统具有十分重要的现实意义. 鉴于容灾系统建设是一个涉及面广、专业性强的系统工程, 本文对容灾系统建设的总体原则和思路进行了研究, 探讨各种容灾可用技术, 并进行分析对比, 提出了系统构架, 对商业银行容灾系统的建设具有参考价值.

摘要:为了适应小区物业业务管理扩展及服务的需求, 本文利用B/S 体系架构和LINQ to SQL 技术, 设计并实现了小区物业管理系统. 该系统为高效的物业管理提供了信息化平台, 减轻了物业管理人员的工作. 文中简要概括了该系统的系统结构、开发模式及核心功能. 开发实践证明, 基于LINQ 的数据库访问编程模型简单快捷, 降低了编程难度, 提高了编程效率.

摘要:介绍了一种基于ZigBee 技术的物联网系统数据采集与控制系统. 利用STM32单片机作为主控制器结合SN260无线射频ZigBee网络处理器设计物联网系统的硬件节点, 实现远程环境数据的采集与控制功能; 并详细描述了该物联网系统的工作原理和系统设计.

摘要:阀门在许多企业中应用广泛, 其工况好坏直接关系到系统安全和经济效益. 因为工业现场的阀门安装分散、不便于布线的特点, 采用无线传输阀门状态参数的监控器前景广阔. 微型控制器采用的Si1000是一款集微处理器和无线收发模块于一体的射频芯片, 和现有大多数工作在2.45GHz的收发模块相比, 它具有功耗低、传输距离远的优点. 本文介绍了一个基于Si1000的无线阀门状态监控器的硬件设计, 并开发了MCU的初始化程序、监控器从站与主站之间的通讯程序. 实测表明, 以Si1000为微控器的状态监控器从站, 能够较好满足与主站远距离无线通信的需要.

摘要:为解决化工企业传统的人工设备巡检模式中存在的数据遗漏和效率低下等问题, 在分析了业务流程的基础上, 采用RFID技术为主要的数据采集技术, 设计并实现了一个化工设备巡检系统. 该系统采用J2EE四层体系框架, 实现业务逻辑和数据分离. 使用该系统可以高效、方便地完成对化工企业设备的巡检和维护管理.

摘要:服务调度问题是卫星信息应用链功能结构设计完成之后必须解决的问题. 在卫星信息应用链服务调度问题的相关概念进行描述之后, 提出了卫星信息应用链的服务质量参数体系, 为链的性能评价和服务选择提供了依据, 并在此基础上建立了卫星信息应用链的服务调度问题的数学模型, 提出了一种基于GA的服务调度算法. 实验结果表明, 本文所提出的服务质量参数体系能有效解决应用链性能评估问题, 基于QoS的卫星信息应用链服务调度方法可行性较强.

摘要:通过分析已有的元胞自动机理论基础, 改进了从众吸引力算法, 简化了复杂空间欧氏距离算法, 真实反映了人员惊慌状态下的从众心理, 并且提高了危险排斥力和出口吸引力的量化效率. 本文重点研究了疏散人群密度、出口宽度、从众心理对疏散时间的影响. 研究结果表明, 行人疏散时间随行人数量呈线性增加;随安全出口宽度呈负指数性减少; 盲目从众导致人群疏散效率降低形成局部拥堵.

摘要:由于非线性降维方法对高维数据中存在的噪声比较敏感, 导致最终的分类效果比较差. 为了弥补其不足, 在首先使用极大似然估计方法估测出样本数据本征维度的前提下, 提出一种结合等距特征映射与主成分分析的方法. 一方面能够使原始数据保持其在高维空间的几何结构, 另一方面可以消除噪声对降维结果的影响, 最终使得低维数据尽可能的保持原始样本数据集的内在特征. 通过实验论证表明, 该组合方法的效果比单独直接使用等距特征映射和主成分分析算法的效果都要好.

摘要:叠前逆时偏移(RTM)方法是目前地震勘探领域最为精确的一种地震数据成像方法, 其运用双程声波方程进行波场延拓, 可实现对复杂构造介质的准确成像. 文中采用互相关成像条件对震源波场与检波点波场在同时刻相关成像. 针对RTM方法计算量大的问题, 将图形处理器(GPU)引入到RTM计算中, 充分挖掘GPU的众核结构优势, 利用基于CUDA架构的并行加速算法取代传统CPU的串行运算, 对逆时偏移算法中较为耗时的波场延拓和相关成像过程进行加速. 复杂模型测试结果表明, 在确保RTM成像精度的前提下, 相比于传统CPU计算, GPU并行加速算法可大幅度地提高计算效率, 进而实现基于GPU加速的叠前逆时偏移算法对复杂介质的高效率、高精度成像.

摘要:Web舆情传播的动态性, 不确定性等特征给精确预测舆情传播带来困难. 在分析了灰色理论系统的基础上, 提出了灰色理论微分方程型模型(GM)和扩展BP神经网络的组合模型, 该组合模型综合考虑了网络的结构和传播特性, 首先建立灰色理论微分方程型模型, 然后映射到扩展的BP神经网络中, 通过训练数据来训练该神经网络, 使网络具有传播预测能力. 仿真实验表明, 该组合模型在Web社区主题舆情传播预测精确性方面高于单一的GM模型.

摘要:针对复杂环境中非线性运动目标跟踪, 单一特征无法满足对目标的准确描述,造成不能准确跟踪的问题, 提出了一种基于粒子滤波与多种特征自适应融合的跟踪方法. 该方法先对目标区域提取轮廓方向分布与颜色分布, 根据自适应规则融合后, 然后与粒子滤波理论相结合, 实现对各种复杂环境中视频运动目标的有效跟踪. 同时, 通过使用CUDA(Compute Unified Device Architecture)加速, 实现了目标跟踪的实时性. 实验结果表明, 该方法可对非线性、非高斯的运动目标进行有效的跟踪, 对目标的遮挡与暂时消失, 背景焦距的拉伸与背景颜色的变换, 有很强的鲁棒性和实时性.

摘要:协同过滤算法中, 相似性计算方法是整个推荐系统的关键, 决定着推荐系统的推荐质量, 为了提高相似性计算的精准性, 提出了一种基于时间衰减的相似性计算方法. 该方法在计算用户相似性时, 考虑目标物品与共同评分物品的相似性, 同时在计算用户与物品相似性时, 考虑时间信息(用户对物品产生行为的时间)对相似性的影响. 实验结果表明, 该方法能够有效地避免传统相似性计算方法的不足, 使推荐系统获得更好的推荐效果.

摘要:提出一种改进LOD的大规模三维漫游场景简化策略及分割算法, 首先应用基于最小二乘粗糙度的节点简化策略对复杂场景网格进行简化, 通过改进Lindstrom算法, 增加简化准则来解决误差模型精确度下降和粗糙度值变化的问题; 然后对简化后的模型采用多通道切割算法进化分割; 分割后的场景数据, 应用基于误差因子的评价系统来判断; 最后实验, 通过与传统算法分析比较, 证明本文提出的简化策略和分割算法对降低大规模三维场景绘制复杂度, 加快场景实时性显示等方面具有较明显的优势.

摘要:本文针对Efros等人提出的块缝合纹理合成与传输算法, 在搜索匹配块的过程中未考虑目标图块边缘信息这一不足之处, 提出了一种改进算法. 新算法在原有的搜索误差匹配公式中, 通过计算梯度的方式增加了边缘信息处理项, 同时整个传输过程还引入了亮度重映射的匹配预处理策略. 实验结果表明, 改进后算法的传递效果优于传统算法, 尤其是目标图的边缘轮廓部分传递效果有比较明显的改善.

摘要:绿色云计算旨在保证服务质量的前提下, 最大限度地降低云服务成本. 针对这一问题, 提出一种兼顾云数据中心高性能和低成本的策略, 通过虚拟机动态迁移等技术进行云任务聚合, 关闭空闲的节点以最小化能量消耗, 同时考虑虚拟机迁移性能, 以此保证任务的服务质量. 实验结果表明, 代价感知的策略可以减少打开节点的个数, 兼顾迁移能耗和迁移延迟, 在节能的前提下使服务质量得到保证.

摘要:信号在传播过程中因障碍物阻挡产生的阴影衰落, 使某一事物同时受到多个节点共同的概率感知, 对网络的覆盖产生较大的影响. 无线传感器网络的最优地理密度控制算法, 采用基于协作的概率覆盖感知模型, 通过最优地理位置原则选取工作节点, 在达到所要求的覆盖质量的同时尽可能减少覆盖面积的重叠, 从而使完全覆盖监测区域所需的工作节点数目最少. 仿真结果表明, 该算法能最大限度地减少完全覆盖监测区域所需的工作节点数目.

摘要:为提高RFID系统中多标签读取的工作效率, 分析了二进制树型搜索防碰撞算法, 提出一种改进型的二进制树型折半搜索算法. 通过构建哈夫曼树, 使用自定义编码, 采用堆栈操作确定碰撞位, 用折半查找方式减少重复路径访问量, 并最终确定最短路径长度. 数据分析及实验结果表明, 二进制树型折半搜索防碰撞算法可以明显降低搜索深度, 显著提高RFID多标签读取的工作效率.

摘要:随着下一代测序技术的迅猛发展, 宏基因组学已经成为新的研究热点, 宏基因组学序列聚类问题使用无参考的方法, 对包含多个物种的宏基因组序列进行有效分离. 为此, 提出一种结合相似度信息和结构信息的宏基因组物种聚类算法, 并引入仿射聚类来进行序列物种聚类. 实验数据表明该方法聚类精度高、执行速度快. 我们也开发了基于该方法的宏基因组序列物种聚类软件.

摘要:当前大部分的Ad Hoc网络路由算法在选择路由的时候都没有很好地将节点的能量状态引入到评价系统中去. 针对这一问题, 本文对AntNet算法进行了适当改进, 使其能够记忆和衡量整个路由的能量状态变化. 文章详细描述了算法的数据结构, 以及节点选择规则和数据结构更新规则. 仿真实验和结果分析表明, 改进的AntNet算法能够找到平均能量较高且各节点能量较稳定的路径, 从而提高网络的生存时间和吞吐量

摘要:本文针对焊接行业复杂曲线焊缝的焊接件自动化程度低的现状, 设计了自动化焊接数控系统. 该系统采用PCL6045B运动控制芯片, 最多控制4轴联动, 能实现复杂曲线运动, 提高了焊接效率和焊接精度, 系统内置了软PLC, 可对焊机、夹具等外围机构进行自动化控制. 通过实际焊接设备上的应用, 取得了良好的效果.

摘要:针对计算资源受限设备在开放网络中指纹认证的隐私保护问题, 采用了基于双调排序网络的指纹细节点匹配方案, 该方案使用加密电路实现双方交集计算, 具有高的计算和通信效率; 在此基础上, 设计了流水线的实现方式避免设备存储整个加密电路, 使计算资源受限设备能够安全、有效地进行现场指纹细节点集合与注册模板集合的匹配程度进行比较. 分析表明, 该方案适合在低内存的移动、嵌入式设备上运行.

摘要:为了在保证隐藏信息不可见性的条件下, 尽可能地提高隐藏图像信息的安全性与抗干扰性, 提出一种基于混沌系统的图像隐藏技术. 先利用Arnold变换与混沌系统产生的混沌序列对待隐藏图像进行加密预处理; 然后利用Logistic混沌系统与图像分存技术把结果图像进一步隐藏起来; 最后应用评价指标对隐藏效果和安全性进行分析. 实验结果表明,该算法具有良好的安全性和隐藏效果.

摘要:多核处理器因其处理能力和功耗的潜在优势, 逐渐应用于嵌入式系统中. 而多核体系的并行程序调试难度将直接影响到产品的释放周期, 其调试过程的复杂度将随着片上核数的增加而呈指数上升. 本文针对多核平台中常见的异常问题, 通过分析MIPS架构的软硬件平台工作原理, 介绍了一种嵌入式多核系统的调试方法, 实现对简单程序的跟踪分析, 方便了多核系统的调试.

摘要:针对无线传感器网络能量受限和退避时采用固定竞争窗口的特点, 提出了一种基于节点剩余能量和信道冲突次数的MAC协议(EC-SMAC). 该协议改进了SMAC的竞争退避机制, 根据节点剩余能量和信道冲突次数来动态的调整竞争窗口, 减少传输节点之间的冲突, 从而使全网负载均衡, 同时延长网络生命周期. 仿真实验表明: 在保证网络吞吐量和时延稳定的前提下, 平均延长了7%的网络生命周期.

摘要:XML数据越来越广泛地被用于信息交换与集成中, 其数据质量问题引起了人们的关注. 解决由数据质量引发的问题, 实体识别技术非常关键. 为了克服现有方法的不足, 在海量XML数据上进行高效的重复对象检测, 以实体识别技术为基础提出了基于Hadoop平台的XML文档重复检测算法, 它将所有标签节点统称为属性, 用实体来描述属性, 通过属性的比较, 快速地找到在某些属性上相同的所有实体对象, 并利用Hadoop应用框架处理海量数据的优势实现并行处理. 经过试验验证该方法良好的扩展性, 伸缩性和高效性.

摘要:闸述了Oracle RAC的基本概念、分类和结构体系和基本原理. 结合业务需求提出了基于Oracle RAC的解决方案. 实施了基于Oracle RAC数据库的共享存储、文件存放和网络设置等规划与部署. 实现了无用户干预的自动故障切换, 极大提升了数据库的可靠性. 对企业数据库的应用构建具有一定指导意义.

摘要:本文设计与实现了一种专用于加解密流程控制的协处理器. 协处理器根据特定的应用需求, 自定义了一种精简的8位指令集, 同时采用与SoC系统一致的32位数据位宽设计. 协处理器采用三级流水线设计, 数据旁路的设计解决了流水线中的数据冒险. 通过与加解密算法IP联合测试仿真, 验证了协处理器能够灵活地完成加解密流程控制工作. 通过SM1加密实验, 证明了协处理器能够提供较主处理器更好的性能, 同时释放大量的主处理器资源, 显著提高了SoC的性能. 最后DC综合结果显示, 该协处理器只占用了很小面积.

摘要:针对现有复杂网络分析软件对企业研发团队表征程度的不足, 基于JGraph建立了一个具有属性描述、关系多样、可互操作的复杂网络模型和其描述方法, 给出以信息组织、节点分类、建立联系和网络展现几个步骤为核心的建模方案, 并采用J2EE技术, 集成JGraph和JFreeChart组件, 进行了系统实现, 为复杂网络理论与企业实际相结合提供了一种可视化思路, 为模型映射、指标分析、动态演化奠定了良好的基础.

摘要:分析了复杂产品制造业信息化的历程、面临的信息孤岛问题和企业信息集成规划需求的迫切性. 结合企业的实际, 提出了基于两化融合的复杂产品制造企业信息集成规划与实施的总体思路, 并重点论述了其中数据管理规划、基于BOM的业务信息数据关联模型、系统集成的数据关联定义和规范化“就源取数”管理关键技术内容和示例.