一种以软件体系结构为中心的网构软件开发方法

作为Internet环境下的一种新型的软件形态，网构软件对传统的软件开发理论、方法与技术提出了一系列的挑战．作为一种以软件复用为核心思想、以软件构件为基本实体、以软件体系结构为中心、以软件中间件为运行支撑的软件开发方法学，ABC（architecture based component composition）方法能够有力支持网构软件的开发．其中，基于特征的领域建模以及特定应用的特征模型剪裁方法和技术，反映了网构软件在问题空间实现自底向上、从“无序”到“有序”的构造过程；基于自适应软件体系结构的分析与设计方法，支持自适应网构软件的开发；具有反射机制、支持自主构件的中间件平台则为网构软件的运行，尤其是网构软件结构的自适应和实体的自适应提供支撑机制．     

基于复用的软件生产技术

软件复用是提高软件产品质量与软件生产效率的关键技术,在此,重点论述与软件复用及软件构件技术相关的系列问题：描述构件本质特征的构件模型、以领域工程为主要途径的构件获取技术、以构件库为核心的构件管理技术、以应用工程为途径的系统集成组装技术,以及以软件再工程为途径的软件演化技术等.最后,介绍将上述各软件生产技术进行有效集成的软件开发环境:青鸟软件生产线系统.     

面向云-端融合的移动互联网应用运行平台

与传统的互联网应用相比,移动互联网应用尽管也运行于Web技术栈之上,但移动设备的便携性和多样性,带来了客户端设备计算能力相对有限、数据存储随需而变、显示屏幕大小不一、本地应用与Web应用和服务难以交互等技术挑战．为此,本文设计实现了一种面向云一端融合的移动互联网应用运行平台．首先,提出一种符合移动互联网应用体系结构的构件模型,将客户端应用划分为数据、计算、界面和服务四个部分;其次,设计了一种实现云一端资源融合的构件运行框架,支持应用数据的按需存储、计算任务的云端迁移、以及用户界面的动态切分;再次,设计了一种实现云一端服务融合的组装框架,支持客户端本地应用和传统Web应用的服务封装、和基于总线的服务即时组装;最后,基于Chrome浏览器实现了平台原型,支持基于HTML5和JavaScript的移动互联网应用,通过多个Web应用基准测试集和热点应用的实验,验证了平台的有效性和可行性．     

光纤Bragg光栅的复合孤子

基于耦合模式方程，描述了单个孤子和复合孤子的特性。结合仿真指出3个主要参数无因次群速度、归一化频率和光栅强度对形成的孤子特性的影响。提出新型的光栅复用的并联与串联设计，并联光栅可以产生线性叠加复合孤子，串联光栅产生非线性叠加复合孤子，并得到两个通用表达式。从理论上证明复合光栅孤子作为光通信信号具有优越性和灵活性。     

面向服务架构中服务实现的策略

构造了层次化的SOA模型，并提出了将服务使用层与服务实现层分层处理的策略．建立了基于服务的构件模型来实现SOA中的服务，使用接口来描述服务的语法，契约来描述服务的语义，并用卫式设计来模服务的行为．将接口作为结合构件技术与面向服务架构的关键．用实例说明了如何使用这种方法来实现面向服务的设计．此工作为利用构件技术解决面向服务架构中的服务实现问题奠定了基础．     

一种非结构化数据库的四面体数据模型

文中针对非结构化数据管理提出了一种四面体模型.该模型用4个刻面分别描述了一个非结构化数据的基本属性、语义特征、底层特征以及原始数据等组成元素,并描述了这些元素之间的内在联系.设计了四面体模型的实现结构以及数据操作语言.四面体模型能够实现各类非结构化数据的统一的、集成的以及关联的描述,并能够支持关联检索和数据挖掘等智能检索服务.最后给出了一个视频样例库中数据的描述与操作实例.     

基于层次消息总线的软件体系结构风格

随着软件系统规模和复杂性的增加, 系统总体结构设计的重要性已远远超过特定算法和数据结构的选择, 良好的体系结构是保证系统成功的关键. 以青鸟软件生产线的实践为背景, 提出了一种基于层次消息总线的软件体系结构风格JB/HMB. 在该风格中, 构件模型由外部接口、静态结构和动态行为等3部分组成, 从多个视角对构件进行刻画. 在消息总线的支持下, 构件通过消息相互通讯, 可以较好地刻画具有分布和并发特点的系统. 支持系统的逐层分解、细化, 以及运行时刻的系统演化. 对JB/HMB风格的特点进行了总结, 并指出进一步的研究方向.     

一种形式化的实时协议互操作性测试方法

协议互操作性测试是一种保证网络通信协议实现质量的重要技术．下一代互联网协议需要提供对实时应用的有效支持，然而已有互操作性测试相关研究中并没有考虑协议中的时间约束，现有互操作性测试技术很难应用于实时协议互操作性测试中．文中提出了一种形式化的实时协议互操作性测试方法．首先提出了一个用于描述实时协议互操作性测试被测系统的形式化模型CMpTIOA（通信多端口时间输入输出自动机），基于该模型定义了时间互操作性关系；然后提出一种以时间互操作性关系为指导的测试生成方法，根据被测系统模型生成参数化测试行为树，在该方法中还集成了可执行性预判决机制，在一定程度上缓解了状态空间爆炸问题；最后将提出的理论和方法应用于IPv6邻居发现协议的互操作性测试中，验证了该方法的可行性．     

计算力学中的高精度数值分析新方法--复合单元法

提出一种用于获取工程结构静动力学特性的高精度数值分析新方法－－复合单元法，在对结构进行离散后，定义两组自由度坐标体系来描述离攻的位移场，基于节点坐标体系，应用常规插值多项式构造出位移场ＵＦＥＭ（ε），基于场坐标体系，应用经典力学解析解构造出位移场函数ＵＣＴ（ε），然后将其复合而形成复合位移场Ｕ（ε）和复合形状函数，并据此计算复合单元的刚度及质量矩阵，最后进行静动力分析，可较大提高了计算力学中数值分     

机构自由度、原动件和执行构件关系的一般问题研究

在工程实践和理论研究中经常会遇到机构自由度与原动件数目不相等的情况,这是经典机构自由度理论所无法解释的.针对这一问题,从对偶或二元性概念出发,提出了机构运行规律的对偶描述.以键合图理论为工具,建立了一般理想机构端口描述的结型结构方程,给出了机构自由度的功能描述.在能量传递分析和信号因果分析的基础上,提出并定义了“运动传递自由度”的对偶概念“力传递自由度”.利用自由度公式的结构描述、功能描述和对偶描述,进一步论述和分析了运动传递自由度与力传递自由度两者之间的关系,从而给出了机构自由度与原动件、执行构件关系更一般的描述.最后分析了几个典型理想机构的自由度、原动件和执行构件之间的关系.     

基于金融业务系统的功能测试基准库方法研究

软件自动化测试技术的出现，大大减轻了测试人员的压力，显著提高了测试的效率，但是回归测试中的用例复用是测试自动化所面临的又一难题。本文提出了一种基于金融业务系统的功能测试基准库方法，对回归测试进行有效的支持，力求解决大型业务系统分析资源的积累和测试用例的有效复用等问题。这种方法在一定程度上减轻了测试人员管理测试用例的压力，增强了用例的可复用性，从而有效地提高了自动化测试的效率。     

基于对象的协同计算模型

提出了一个支持ＣＳＣＷ系统构造的协同计算模型，它将一个协同系统分为若干层次，每一层由相关构件对象组成，通过对象链接机制，连接多用户的相关对象，实现了应用独立的多层次协同。模型使系统获得了细粒度的协同感知和结构化的协同关系，提高了协同效率，方便了协同系统的开发。     

基于GeoDatabase面向对象的地图注记库设计与研究

地图注记是描述地图属性信息最主要的手段之一,面向对象的方法开辟了观察、分析和显示数据的新形式.基于ArcGIS最新一代面向对象的GeoDatabase数据模型,文章提出了面向对象地图注记库的概念.通过创建地图注记库可以对地图注记尤其"海量"注记数据进行便捷高效的显示、编辑和管理.GeoDatabase地图注记库的统一性规范存储和面向对象操作增强了地图注记的复用性,并能大幅提高了数字地图的显示速度和地图编制的效率,在大规模地形图制图以及地图集编制工作中将节省大量物力和人力.     

智能车辆驾驶复合信息空间研究

在研究智能车辆信息支持技术和系统发展的基础上，对智能车辆驾驶的车内复合信息空间的定义，结构进行了理论抽象与界定，剖析了其系统要素的作用机理，提出了驾驶决策信息集是复合信息空间的支配要素，给出了严格定义。并总结论述了复合信息空间的主要特性及规律。     

基于体系结构的软件开发模式

随着软件规模和复杂性的不断增加,系统总体结构设计和说明的重要性远远超过了特定算法和数据结构的选择,软件体系结构作为描述系统高层设计的手段,已成为软件工程领域研究的一个热点,本文讨论了体系结构的研究背景,研究人们将同其他相关领域,包括面向对象和软件设计模式的关系,以及基于体系结构的软件开发模式所包括的主要活动。     

基于热流与强度复合目标的立式绝热壁构形优化

针对立式绝热壁，引入了热流与强度的幂权积函数作为兼顾隔热性能和机械性能的复合优化目标，在给定外形尺寸和安全性要求的全局约束下，以该复合函数最大化为目标进行了构形优化．研究表明通过允许绝热壁内部结构自由变化（进化），能够获得一定环境条件下的最大目标值及对应的最佳内部结构设计；结果验证了热流与强度复合目标函数的合理性、有效性和适用性，且幂权参数取值在0．4与4之间能更好地兼顾隔热和强度要求．详细讨论了热流与强度并重时的构形优化及结果，给出了不同使用环境下的最优结构设计及性能分析；当使用环境的变化较大且总Rayleigh数较高时，宜采用空腔较多的绝热壁；当总Rayleigh数较小时，合理选用空腔较少的绝热壁，能获得更好的性能．复合目标具有良好的自适应性，最近文献结果是本文研究的特例．     

SONOS自持半导体存储器:记忆时间可靠性与低编程电压

降低编程电压，同时仍保持十年的数据记忆时间，一直是多晶硅－氧化硅－硅（SONOS）研究人员面临的一个巨大挑战。本文介绍SONOS可自持存储器器件设计和降低编程电压方面的进展，硅－氧化硅界面态的退化损害SONOS自持半导体存储器记忆时间和长期可靠性。首次应用在SONOS器件制作工艺上的双步高温氘退火技术，与传统的氢退火相比，显著提高了器件的耐久性能和记忆时间可靠性。我们研制成功－9伏／＋10伏（1毫秒）可编程SONOS存储器，在摄氏85度，一千万个擦除／写入操作后，仍能确保十年的记忆时间，本文介绍编程电压降低方面的设计考虑，制作工艺的优化，描述实验过程和SONOS器件的测试，以及用于SONOS自持存储器动态性能测试的基于可编程门阵列的测量系统。     

污染物通过有缺陷膜复合衬垫的一维运移解析解

为了研究污染物通过有缺陷膜复合衬垫的运移特性及为复合衬垫的性能评价提供一个简便方法,建立了污染物通过复合衬垫中的一维渗漏扩散模型.在假设污染物通过土工膜为稳态运移的基础上,结合拉氏变换得到了模型的解析解.和数值方法的比较验证了该解析解的合理性和正确性.分析结果表明,对于重金属离子,土工膜的施工质量和渗滤液水头对复合衬垫的防污性能具有很大的影响,水头从0.3m增大到10m时,击穿时间从50a减少到19a;对于挥发性有机污染物,高水头及土工膜施工质量较差情形下,污染物通过土工膜缺陷的渗漏量亦不容忽视.仅考虑重金属离子通过土工膜缺陷的渗漏会导致不保守的结果.即使在低水头作用下,GCL复合衬垫对挥发性有机污染物的防污性能亦较差.该解相对简单,能用于复合衬垫的初步设计、拟合试验数据及验证较复杂数值模型等.     

双波段极化雷达遥感图像分类的新方法

充分有效地利用极化雷达遥感数据提取目标散射特征是极化雷达遥感应用研究中的一个重要问题，构造了三个目标概率形式描述：目标相似性参数构造目标平均散射特征描述、目标散射相关阵特征值构造目标散射随机性描述、目标接收总功率构造目标散射强度描述。在目标散射特性的概率形式描述基础上，引入鉴别信息作为目标间的差异量度；这时目标之间的差异可以按照各个波段的平均散射特征、散射随机性和散射强度分别进行量度，为去除冗余信息高效利用数据带来方便。采用最小鉴别信息准则构造了双波段极化雷达遥感图像分类算法及其简化算法；与基于Wishart分布假设的最大似然分类方法相比，无论监督分类还是非监督分类，提出的算法均可以获得更加精确的分类结果。     

模式的语义描述与识别

讨论了代数语义方法用于模式描述和识别的可行性，采用这种方法，模式结构被作为一种代数结构，其语义约束采用等式规范的形式给出，这样可以将识别问题变为一个等式断言采用等式项重写在规范中进行验证，并举例说明这种方法。