软件体系结构演化模型

软件演化包括静态演化和动态演化两个方面.作为软件的蓝图的SA(软件体系结构),为人们宏观把握软件的整体结构和软件演化提供了一条有效的途径.在描述SA的构件-连接件模型的基础上,首先针对SA的静态演化,建立了SA邻接矩阵和可达矩阵,凭借矩阵变换与运算对SA静态演化中的波及效应进行了深入地分析和量化界定,同时给出了构件在SA中贡献大小相对量的计算方法.其次,针对SA的动态演化,给出了SA动态语义网络模型,分析了SA动态语义网络中基于不动点的浸润过程收敛的判定,提出了邻接矩阵原子过滤的概念,进而指出,SA动态演化过程可用一系列邻接矩阵原子过滤在时刻上的逻辑衔接来描述.最后给出了两个层面上对SA演化波及效应的分析框架.为SA演化的管理、控制、利用、评价和量化描述奠定了基础.     

基于应用框架的C4ISR仿真软件开发

基于应用框架的软件开发是一种面向特定领域的软件重用技术。介绍了框架定义和相关概念,说明了C~4ISR仿真软件体系结构,提出了一种C~4ISR仿真软件通用开发框架。     

软件定义无线环境:技术、机遇与挑战

无线环境通常表示能够显著改变电磁波在通信设备之间传播的物体集合.软件定义无线环境允许针对不同通信设备以最适宜的方式进行电磁传播规律的编程定制,为无线通信的发展提供了一种新的视角.相比被动抑制无线信道影响的传统通信技术,软件定义无线环境有着更高维度的调控自由度,在新一代移动通信特别是毫米波及太赫兹通信领域具有很大的应用潜力.本文首先介绍了软件定义无线环境的概念、历史沿革及其研究现状.然后给出了其基础模型及相对传统手段展现出来的性能优势.接着总结了软件定义无线环境的系统设计、网络服务支持、网络通信协议等关键技术,并指出软件定义无线环境未来发展所面临的挑战.最后凝练了几个面向新一代移动通信技术的软件定义无线环境研究方向.     

DVB系统软件升级规范

软件在线升级是数字机顶盒特别是有线数字电视机顶盒的基本功能.介绍DVB定义的系统软件升级规范,包括相关的SI和PSI信令、用于软件升级的两层数据轮播结构、升级通告表UNT和一些有关互操作的建议.     

面向数字孪生城市的软件定义物联网架构

<正>泛在物联网感知是实现数字孪生城市的基础。本文从数字孪生城市物联网的泛在异构接入、弹性伸缩部署和灵活资源分配等需求出发,综合软件定义网络（SDN）控制层和数据层解耦的架构特点,提出一种面向数字孪生城市的软件定义物联网（SDIoT）架构,该架构分感知层、转发层、控制层、管理层和应用层,软件定义网络的三个平面与其技术优势得到保留,实现软件定义物联网和软件定义网络灵活共存,简化了物联网架构与管理方式,实现物联网资源的虚拟化和面向多业务服务需求的动态重构。数字孪生城市是智慧城市的一条新兴技术路径,     

信息系统三大能力与软件三层架构模式分析

阐述了信息系统三大能力和软件三层架构模式的总体思路和概念,旨在帮助设计人员更好地理解三层架构,建立良好的软件逻辑结构。面向心理测试系统,结合系统处理信息的流程,详细描述系统三层架构的每一层具备信息系统的相关能力,进而分析得出:软件三层架构中的每一层都具备不止一种能力,并且每一层都有各自的偏重,表现层主要实现与用户的信息通信能力,逻辑层主要实现信息处理能力,数据层主要实现信息存储能力,这三个模块层都分别拥有与其他特定模块层的通信能力。     

基于复杂网络的JDK代码结构演化研究

软件系统日趋大型化和复杂化使得软件系统的结构可以用复杂网络来表示,研究表明,大规模软件系统结构表现出复杂网络的各项特征如小世界效应和无标度特性等,复杂网络成为理解软件系统结构和演化的重要方法之一.本文定义了一种针对Java程序的网络拓扑图,为JDK构造复杂网络,并统计其度分布标度指数、平均距离、平均簇系数等网络特征.同时研究这些特征随JDK版本的变化,提出了一个基于模块的演化模型,并对JDK的版本演化进行模拟.实验结果表明JDK具有复杂网络的各项特征,是一个复杂网络,并且与一般复杂网络的演化模型不同,其演化模型具有软件系统的特征--模块化,能与软件系统演化的实际相符合.     

软件定义存储技术及其应用研究

从当前存储技术所面临的挑战开始分析,研究软件定义存储技术出现的时代背景和必然趋势,然后从概念、特点、技术架构等多个方面对软件定义存储技术进行剖析,并对当前主流的软件定义存储技术进行研究,从各类不同技术的共性和特点中分析技术发展演进的方向。     

数据库规模估算数学模型研究

数据库规模估算是软件规模估算的基础.定义了数据库规模是综合指标的概念,运用文字叙述、表格及图形等方法分析了表类型、表结构、表元组、存储过程等因素对数据库规模的影响,设计了数据库规模估算的数学模型,并对模型中的各个参数进行了详细解释,指出了在软件生命周期前、后阶段进行估算的方法.     

软件可移植性的度量

本文简要介绍和分析了软件可移植性的概念,并对可移植性软件和软件可移植性进行了定义,给出了一种实用的软件可移植性度量方法.     

软件定义网络中的DDoS安全

随着现代化信息技术的广泛应用,近年来,我国信息环境呈现了明显的复杂化演变趋势.基于网络信息安全,文章主要介绍了软件定义网络中的DDoS安全保证价值,并简要概述了软件定义网络中的DDoS攻击检测路径,探究基于SDSNM逻辑架构的防御体系、基于OpenFlow攻击缓解方法、基于强化学习的攻击防御系统和基于DPDK的攻击防御...     

光学系统杂散光的消除方法

从杂散光的定义出发,介绍了杂散光的来源,依据来源对杂散光进行了分类,并指出了杂散光对光学系统的一些危害;通过引入PST和BRDF的定义,实现对杂散光进行定量化描述.杂散光的软件模拟分析是目前应用中的热点,介绍了软件分析的理论基础M-C方法,并列举了国内外常用的分析软件.光路分析之后,在系统中设置遮光罩和挡光环、采用适当的涂层成为阻挡杂散光的有力手段,因而被广泛采用.最后介绍了通过软件方法对光机设计无法完全消除的杂散光进行校正的一些进展.     

基于统计信道信息的智能反射面辅助物理层广播算法设计

智能反射面(Intelligent Reflective Surface,IRS)作为一种非常有前景的新型无线中继技术,可以改变无线传输环境,有效提升无线系统的频谱和能量效率.提出了一种基于统计信道的IRS辅助物理层广播系统的传输方案,在仅已知统计信道时,联合设计基站波束成形和IRS反射相位,最大化最小用户的各态历经容量.目标函数非连续,IRS的模一约束导致对应的优化问题非凸,对此首先得到了近似问题目标函数的闭式表达式,随后将其解耦为两个子问题:子问题1对应基站波束成形设计,可直接求得闭式解;子问题2对应IRS反射相位设计,该问题依然非凸,采用基于软件无线电的方法获得了该问题的近似最优解.仿真结果表明,基于统计信道信息的传输方案在降低系统开销和算法复杂度的同时能够有效提升IRS辅助的物理层广播系统性能.     

基于社会学信任理论的软件可信性概念模型

可信性作为软件的一种复杂的高复合概念，几十年间都未能取得实质性进展和突破.本文在对可信性权威定义分析的基础上，论证了这些定义所涉范围彼此矛盾且不相容，进一步说明从本质出发研究软件可信性概念模型的重要性和必然性."可信"一词源于社会学，所以应该从社会学的信任理论出发来探讨软件可信性的本质.本文在上百篇经典社会学信任理论文献上构建出信任体系模型STM，并与软件的信任体系进行了对比和映射，提出基于社会学信任理论的软件可信性概念模型STCM.在STM和STCM的基础上给出软件可信性概念模型的定义系统.最后通过度量评估实验验证了模型是可行的、有效的，为软件可信性的发展提供了新的研究方向.     

The exterminators [software bugs]

This paper describes a sound methodology developed at Praxis High Integrity Systems for detecting and exterminating bugs during all stages of a software project. To develop software, the London-based software house uses mathematically based techniques, known as formal methods, which require that programmers begin their work not by writing code but rather by stringing together special symbols that represent the program's logic. Like a mathematical theorem, these symbol strings can be checked to verify that they form logically correct statements. Once the programmer has checked that the program doesn't have logical flaws, it's a relatively simple matter to convert those symbols into programming code. With an average of less than one error in every 10,000 lines of delivered code, Praxis claims a bug rate that is at least 50 times better than the industry standard.     

一种基于线程关系的软件水印算法

针对目前基于线程顺序的软件水印算法存在的隐藏信息量小效率不高的不足,提出了一种新的基于线程间关系的软件水印算法.其主要思想是通过修改程序的源代码控制程序运行中线程间的相互关系,从而在线程关系中隐藏软件水印.文中给出了关系和关系矩阵等概念的形式化定义,描述了软件水印的嵌入和提取过程.文章对该算法的不易觉察性和数据率进行分析比较,总结了有针对性的攻击方式,并对攻击下软件水印的安全性进行实验验证.     

需求演化过程建模

对需求任务、需求活动、需求工程过程以及需求工程过程系统进行形式化定义.用信息熵对需求任务演化进行度量,用联合熵对需求活动、需求工程过程以及需求工程过程系统演化进行度量.从需求工程过程的角度,用条件-事件网对需求工程过程的迭代、反馈进行微观演化建模.从系统工程的角度,用耗散结构理论对整个软件需求工程过程系统进行宏观演化建模.     

空间近似关键字反远邻查询

空间数据集中的点普遍由空间信息及描述文本信息组成.空间近似关键字反远邻查询(Approximate String Reverse Furthest Neighbors Search,ASRFNS)问题是在一个空间数据集中搜索所有以给定查询点为最远邻,且满足文本相似度条件的目标.基于现有的空间反远邻查询算法以及近似关键字查询算法,我们提出了两个基本的解决算法:凸包最远单元交集(CHFCsJoin)算法和凸包最远单元近似字符串串行查询(CHFCASSS)算法;我们又设计了一种包含空间和关键字信息的外存索引结构Filter-Rtree,并给出了相应的凸包最远单元过滤R树(CHFilterRtree)高效算法.通过真实数据集的实验测试,验证这三种算法的有效性,并分析比较了其性能与效率.     

CAD of Millimeter Wave Y-Junction Circulators with a Ferrite Sphere

A gradient optimization technique along with a definition of cost function is applied to the CAD of the circulator with a magnetized ferrite sphere for millimeter wave communications. A three-dimensional Finite-Difference Time-Domain (FDTD) approach for the analysis of this ferrite sphere based microstrip circulator is presented. The topology of the structure is enforced at each step of optimization and its physical dimensions are used as optimization variables. The cost function is defined using location of zeros and poles of the circulator's transmission, isolation, and reflection functions. Numerical tests show that the optimization process converges from an arbitrarily selected starting point with the new definition of the cost function.     

现代层次化可编程逻辑器件软件系统FDE2009

本文提出并实现了适用于现代层次化结构的FPGA芯片的CAD软件系统:FDE2009(FPGA Development Environment).该软件系统不但由工艺映射,布局布线,位流生成,编程下载等功能模块构成了一套完整的FPGA CAD流程,并且根据现代FPGA芯片层次化的结构特点,提出了逻辑分层的布局思想及由底至上逐层构建布线资源图的算法,提高了硬件资源的利用率及程序的运行效率.此外,本软件自定义了一套使用扩展性标志语言的文件系统,从而使其具有一定的通用性及良好的扩展性.软硬件协同测试结果表明该软件系统各模块功能正确,并能配合硬件高效的实现各类功能电路,是一套实用的FPGA软件系统.