信息活动视角模型一致性检查方法

体系结构建模在大型信息系统架构设计中起到至关重要的作用,而模型一致性检查是保证建模质量的关键。针对网络信息体系架构(Net-Info centric System,NICSs)中的信息活动视角,文中提出一种面向对应关系规则与对应关系的模型一致性检查方法。首先,对系统与软件工程-架构说明(ISO/IEC/IEEE 42010)进行扩展,构建了用于表达一致性规则的概念模型。然后,对信息活动视角(Information Activity Viewpoint,IAV)进行分析,给出一致性规则的形式化描述。最后,通过实验验证了该模型一致性检查方法对于信息活动视角的有效性。该方法针对其他视角模型具有较强的普适性,为模型一致性检查提供了新的思路。     

一种分布式防火墙规则有效性检测算法

给出了结构化查询语句的定义,将查询的过程形式化描述,提出了一种基于SFDDs间逻辑运算实现分布式防火墙规则有效性检测算法。该算法在保持原始规则完整性、一致性、紧凑性的基础上,消除独立防火墙规则间异常,保持原始规则语义上的一致。仿真结果表明,基于SFDDs间逻辑运算实现分布式防火墙规则有效性检测算法可以快速有效对规则进行检测.     

面向任务的作战系统模型一致性研究

为检测作战系统中任务模型的一致性,文中基于图文法提出一种形式化的检测方法:把作战系统模型转换成属性图文法,并检测功能需求间冲突和依赖。循环依赖将导致模型无法执行,错误依赖则表示功能需求与动态模型的执行流程不一致。文中对此提出相应的依赖检测算法,循环依赖检测算法通过深度优先搜索找到依赖关系中的环,错误依赖检测算法通过遍历活动图检测依赖关系与动态模型的执行流程是否一致。最后基于该方法实现了作战系统模型一致性检测系统并结合实例进行验证。     

企业信息系统中基于场景的协同式需求获取方法

 本文提出了一种企业信息系统(Enterprise Information System,缩写为EIS)环境下基于场景的协同需求诱导方法,以场景为核心组织不同的利益相关者,使其能够主动且有效地参与需求获取的过程;并给出了具体的步骤指导需求专家如何逐步从现状场景到期望场景再到用况诱导出用户的需求;展示了如何从场景的结构化描述中抽取活动图、场景-角色-数据关系图,以及如何使用这两类视图来对场景描述和需求的完整性、一致性等进行验证.     

高速光纤通信中的CRC-32算法的研究与实现

循环冗余校验CRC广泛用于各种数字通信中用以提高传输数据的可靠性,是通信领域最为常用的一种校验算法。针对高速的光纤通信,给出了一种参数模型可设置的32位CRC用于其数据校验,采用VHDL语言对算法完成建模与实现,并以ALTERA公司开发的EDA工具QuartusII9.1作为编译、仿真平台进行了仿真验证。电路的综合仿真结果表明,该设计完全满足高速,大容量的光纤通信数据校验要求。     

共享模式下会计信息化的云数据完整性验证算法

针对财务共享模式下会计信息安全问题,提出一种以云计算为信息化平台的数据完整性验证算法。首先对基于云计算的会计数据信息化系统进行分析,给出系统总体架构和云存储数据的网络拓扑结构;然后对现有的单用户数据验证算法进行改进,将多用户并行验证算法应用于会计信息化,以便减少验证的数量。实验结果表明多用户并行验证算法能够确保数据文件的完整性和一致性。     

基于混合粒子群优化的编队防空目标分配

针对防空作战中的多批次目标分配问题进行了研究。首先,建立了目标分配的约束优化模型;其次,提出了一种混合式粒子群优化算法用于问题的求解;然后,给出了问题求解的详细步骤和粒子群算法的应用规则;最后,基于仿真算法验证了模型的正确性和算法的有效性及计算实时性。     

消去短环的LDPC码校验矩阵的构造

在基于Tanner图的基础上分析了短环对LDPC迭代译码准确性和有效性的影响，论述了短环的检测方法，并且给出了一种有效消去周长为4的短环的校验矩阵H的生成算法，并且对该算法构造的校验矩阵进行了仿真分析。     

一种π-旋转LDPC码的Min-Sum译码算法

π-旋转LDPC码结构规则,存储量少,易于硬件实现。给出一种新的π-旋转LDPC码编码、解码方法。根据校验矩阵的半规则化结构,给出校验矩阵行索引和列索引矩阵的构造方法。基于这种索引矩阵,给出一种运算量较少的编码、Min-Sum译码算法。这种编译码方法甚至不需要构造真正的H矩阵。     

基于MBSE的辅助动力装置进气风门控制需求分析

基于模型的利益相关方需求分析是一种MBSE的需求分析方法。本文以某型辅助动力装置进气风门控制为例,应用该方法进行需求分析。选择基于SysML语言的开发工具Rhapsody建立用例图、活动图、顺序图和状态机图等模型;并结合测控工具LabWindows/CVI开发了一套进气风门控制需求仿真验证系统,保证需求的正确性和完整性。     

基于CMMI的PDM设计

为了提供目前产品数据管理(Product Dato Management,PDM)系统对产品开发过程管理的控制能力,实现产品开发过程中的实时测量与监控,提高管理质量,结合能力成熟度模型(Capability Maturity Model Integration,CMMI)在软件领域的成功经验,适应硬件产品开发领域的需要,在介绍了CMMI的主要思想之后,重点论述了以CMMI为基础定制企业PDM系统的可能性。对产品开发框架进行了分析,提出了基于CMMI的PDM系统概要设计模型。     

服务器分区技术浅述

简要介绍了分区技术的定义，分区的组成、最低配置和用途，最后阐述了分区技术在工程中的应用。     

基于OC_SVM的Steghide检测算法

通过对使用隐写软件Steghide隐藏信息前后图像T、A、P点数目变化规律的分析,对每幅图像构造一个特征 向量,并且结合支持向量机提出一种基于OC_SVM的Stegthide检测算法,同时,实验结果给出了该算法在不同信息嵌 入量情况下的检测性能。     

通信与计算机领域伪代码一致性审查研究

通信、计算机领域的发明专利审查过程中,针对权利要求书中涉及伪代码的情形存在不同的审查观点.在对伪代码与自然语言、标记性程序语言进行辨析,以及对现行发明专利审查规范进行分析溯源的基础上,提出应站在技术人员的角度,按专利审查的一般标准,判断其是否符合专利申请的撰写规定和授权条件,权利要求是否清晰,再进行一致性审查的建议,对其他领域类似情形的发明专利审查具有借鉴意义.     

基于CAS的单点登录系统应用研究

随着信息系统的迅速发展,各类信息化应用系统逐步建立,但是各应用系统之间自成体系,从而导致了每使用一个系统就要重新登录一次,给用户的使用和管理员的管理带来了很多不便.本文研究基于CAS的单点登录系统应用,很好地解决了使用和管理困难问题,介绍了基于CAS的单点登录系统应用设计研究,系统采用用户管理LDAP轻量级目录服务、CAS中央认证服务,设计了一个统一管理界面,通过Web服务传递用户参数,实现了多应用系统的整合.     

基于片上可编程系统的视频车辆跟踪技术研究

针对目前具体产品中算法实现复杂且基于计算机(PC)平台的纯软件环境等问题.提出了一种视频车辆跟踪的嵌入式实现方法.利用可编程片上技术,使得视频检测摆脱PC平台的依赖.以Nios Ⅱ软核处理器和外设知识产权(IP)核为硬件平台,结合模拟/数字信号转换(A/D)和数字/模拟信号转换(D/A)的视频接口,以μC/OS为操作系...     

基于IMS的固定移动融合的探讨

分析了国内运营商当前所面临的困境与挑战,阐述了通过引入IMS进行固定移动融合解决当前面临的问题,重点对基于IMS的固定移动融合网络构架和实现固定移动融合的网络演进策略进行了相关的研究和探讨。     

基于混沌的保密通信研究

由于混沌系统对初始条件和混沌参数非常敏感以及生成的混沌系统具有非周期性和伪随机性的特性,近年来混沌系统在密码学领域中得到了较多的研究。提出了有关混沌系统在保密通信系统的实现方法。研究表明,该方法明显加强了混沌保密通信系统的安全特性。研究证明了它的有效性,正确性,可行性。     

基于MDA的电子商务平台的研究

平台迁移和软件适应需求变化能力的提高一直是电子商务应用中的难点,而MDA是解决该问题的一个有效的途径.该文主要对MDA的核心技术及框架模型作了剖析,最后以企业中的订购系统为例对此方法进行了阐述.