一种基于Spring的轻量级面向服务组件框架

面向服务组件将面向服务的概念引入组件模型中,支持松耦合的面向服务应用软件的开发.本文提出一种基于Spring框架的轻量级面向服务组件框架SSCF(Spring-based Service Component Framework),利用Spring的依赖注入和远程服务访问技术,简化面向服务组件的编程模型、增加编程自由度、提高组件运行效率.给出了SSCF框架中服务组件模型的逻辑结构模型、描述方法和连接通信机制以及框架实现的关键技术.该框架简化了面向服务组件的开发,与SCA(Service Component Architecture)实现框架Apache Tuscany相比,性能上具有一定的优势.     

一种基于ebXML规范构建组件库的方法

针对软组件的管理要求，本文在扩充OASIS bXML注册信息模型的基础上，提出了一种基于ebXML注册库和存储库标准，管理软组件资源的方案，并给出了该软组件库的组件注册框架结构，该方案符合OASIS的ebXML注册信息模型规范和ebXML注册服务规范，具有通用性和推广应用价值并举例说明了组件注册框架的使用过程。     

一种动态实时的遥感专题应用系统定制框架

遥感专题应用系统广泛用于遥感影像的加载、分析、专题提取、出图等.为实现遥感专题应用系统动态、实时和可扩展的定制化开发,设计了一套基于组件的遥感专题应用系统定制框架：定义了组件划分方式,将专题系统划分为功能类组件和容器类组件,建立了组件属性和组件间的关系;采用XML文件描述遥感专题应用系统中的组件,并提供从XML到遥感专题应用系统的解析方法;设计了遥感专题应用系统定制平台,提出一种动态实时的软件设计方法,可以“所见即所得”地定制遥感专题应用系统,并将其保存为XML文件.采用该定制平台定制的多个专题系统已应用于相关部门.该框架为快速高效定制遥感专题应用系统提供了一种新的开发设计模式,降低了遥感数据在多行业应用的技术门槛,减少重复性开发工作.     

基于XML的组件搜索引擎技术

分析了目前通用搜索引擎用于组件搜索的局限性,提出一种专用于组件的搜索引擎技术.该技术通过组件分类方法对组件资源进行统一描述,并利用组件库技术能有效的针对组件进行搜索.     

代码组件重用支撑环境CCRSE的设计策略

介绍了基于代码组件库的代码组件动态组合重用的支撑环境CCRSE的设计策略,包括代码组件及其组合机制的设计、CCRSE体系结构及其功能的设计.通过集成支持各种重用活动的一系列工具,CCRSE能够为代码组件动态组合重用的全过程提供系统全面的技术支持.     

一种基于GIS的维汉双语新疆县域动态天气服务客户端研制

面向Android手机用户,特别是其中母语为维吾尔语的少数民族群众,提供一种对新疆县域天气情况可进行维汉双语查询的动态天气服务移动GIS系统客户端.解决方案：在移动终端设备安装自主研发获取的动态天气服务移动GIS系统客户端APK文件及维吾尔文MultiLing输入法,将服务端Google Maps API地图服务组件与实时Yahoo Weather RSS天气信息集成,在微软网页自定义字体技术的支持下,为移动用户提供维汉双语的动态天气信息查询系统.     

国际海洋环境资源信息采集(ARGO)及处理系统

21世纪是海洋世纪.海洋环境观测数据对海洋资源利用、海洋环境保护和海洋气候灾害预防十分重要,但国际ARGO组织目前还未有统一的数据分析和处理软件.本文介绍了覆盖全球的海洋环境实时观测和海洋现场测量ARGO数据的格式、记录方法及浮标工作方式,分析了ARGO数据的特征,空间三维、时空变化等特性,提出了一个实用的基于大型网络数据库Oracle的ARGO数据优化存储模型,着重讨论了海量ARGO数据的高效存储访问,多源多维时空数据处理,并利用当前GIS和遥感领域的前沿技术,采用全组件式模块化方式,开发出了我国自主版权的面向海洋资源利用、海洋环境和气象灾害服务及应用的ARGO数据处理系统--ARGOGIS系统.     

基于VMM的SATA控制器功能验证

针对专用集成电路(ASIC)设计中功能验证的效率和完备性问题,以验证方法学手册(VMM)为基础搭建了串行高级技术附件(SATA)控制器分层式验证平台.验证组件的实现大量重用验证知识产权核(VIP),在采用随机激励的基础上以覆盖率统计驱动验证的过程,根据SATA控制器的功能设计记分牌进行结果的自动化比对.实验结果表明,这些方法提高了功能验证的效率,保证了验证的完备性,最终功能覆盖率达到98.25%.     

电镀综合废水的纳滤膜深度处理研究

通过单根纳滤（NF）膜组件对经过超滤和反渗透膜处理后的综合电镀废水进行了NF膜深度回用处理.考察了进水压力、进水浓度、浓差极化现象对不同纳滤膜组件（NF90和NF270）分离性能的影响.结果表明,进水压力控制在1.6 MPa左右时分离截留效率最佳,而随着进水浓度的增加,NF90膜易受浓差极化影响,而当表面流速大于0.2 m·s^-1时NF270受浓差极化影响较小,适合工程应用. 并通过工程实例试运行,初步考察了其工程应用的可行性.     

代码组件的动态组合重用方法

阐述了代码组件及其动态组合重用方法的基本概念,详细地介绍了一种动态组合重用代码组件的方法——ＤＣＲＣＣ（Ｄｙｎａｍ ｉｃＣｏｍ ｐｏｓｉｔｉｏｎ Ｒｅｕｓｅ ｏｆＣｏｄｅＣｏｍ ｐｏｎｅｎｔ）方法． 实践表明,基于代码组件的封装技术、组合技术和库管理技术,ＤＣＲＣＣ方法能够通过动态组合重用代码组件的方式有效地进行软件开发．     

区域法立体匹配的实时性问题研究

立体匹配的一个关键问题是计算量大，实时性难以保证，作者从两个方面着手对立体匹配算法进行优化，首先是在算法结构上，应用盒滤波技术消除了冗余计算；其次在实现上，针对Intel Pentium4处理器的特性，从存储器组织和高速缓存的利用，SSE2多媒体扩展指令的应用以及基于超线程技术的并行处理等三个方面进行优化实现。实验结果表明，所提出的算法在实时性上有了很大的提高。     

对称群S6中由3个元生成的子群

利用电子计算机，通过计算的方法，获得了对称群S6中3个元生成的子群内共85个，且每个子群给出了一组生成元素；85个子群共分为4个共轭类。     

基于Agent的分布计算环境模型研究

针对未来的计算环境的分布、开放、不断进化的演变和发展,本文首先对Ａｇｅｎｔ的基本特性、体系结构及行为模式进行了介绍．在此基础上提出了一个基于Ａｇｅｎｔ的分布计算环境模型．     

物理可计算理论

近年来,将物理过程本身看作计算、用物理过程代替Turing机算法的想法,伴随着量子计算和其他一些非传统计算模式（例如DNA计算）的研究得到了一定程度的发展.然而由于概念上的不明晰,使得关于这类计算理论的复杂性评估一直处于含糊不清、模棱两可的状态.本文对输入／输出进行了统一,对物理实验的三个关键步骤：制备、演化和测量作了数学上的刻画,并由此引出物理可计算的形式定义（包括确定性的和非确定性的）．在此基础上给出了资源复杂性的概念,本文的资源是指一个物理过程消耗的总资源,不但包括了时间和空间,还包括了质量和能量．对于某个物理计算方法,相应的复杂性则描述了资源关于输入长度的增长情况．在这套形式理论中,以往非形式的“物理可计算”的例子可以在其中得到形式化地表达、且可作严格的复杂度分析．作为例子,考察了均值的统计力学求法、DNA计算和量子计算．在经典Church-Turing论题方面,对于前人试图用物理方法超越经典Turing机计算能力的著名例子,本文也在上述的理论框架下对它们的能行性进行了考察．我们认定：现有的这些例子因不能在有穷资源的限制内得到计算结果,从而都是无效的．     

基于Hash算法的分布式状态检测技术

为了克服IP数据报独立选择路由带来的，在拥有多个接入点的分布式网络模式下传统的状态检测技术无法进行有效的安全检测的缺陷，提出了一种应用于网络层的分布式Hash算法，将源和目的地址相同的IP数据报定向到同一个接入点上进行处理，使得在该点上可以完整地重组会话，从而实现分布式状态检测．为增加该算法的鲁棒性，进一步提出了一种应用于传输层的、具有回迁策略的负载平衡算法，选择任务最少的邻居节点协同处理本地过多的负载，转为轻载状态后迁回迁移出去的任务．仿真实验证明该算法具有较好的可行性、稳定性．     

国家经济信息系统县级网络的投资及效益分析

本文讨论了国家经济信息系统县级网络的投资原则、效益分析方法及投资优化的数学模型,并给出了若干分析和计算的实例。     

Ba(Zr0.3Ti0.7)O3 铁电薄膜的制备

介绍了用溶胶-凝胶法(sol-gel)在Pt/Ti/SiO2/Si衬底和石英衬底上制备Ba(Zr0.3Ti0.7)O3铁电薄膜的基本原理、工艺过程及工艺特点;Sol-gel制备的Ba(Zr0.3Ti0.7)O3铁电薄膜表面平整、厚度均匀.     

IPv6中解决Anycast扩展局限性的一种安全通信模型

针对目前在IPv6环境下实现Anycast服务的通信模型存在的扩展局限性与安全性问题，提出了一种新的Anycast通信模型．该模型采用了全新的、以Anycast组成员的当前会话数以及综合处理能力等参数为度量单位的Anycast通讯方式，并且结合密钥管理技术，不仅解决了Anycast的扩展局限性与安全问题，同时也实现了Anycast组成员的动态加入与注销，以及Anycast组成员信息的分布式维护与处理，从而实现了均衡负载功能，最重要的是此模型可以支持大规模的Anycast组的建设．该模型在IPv6模拟环境下的实验数据充分论证了其可行性和有效性．     

基于语句查询扩展和高性能计算平台的分布式信息检索系统DQSSQE

提出了一种基于语句的查询扩展方法以及语句向量的融合策略,使得扩展后的查询语句的查询性能优于原始查询语句;基于微软高性能计算平台HPC Server和查询扩展策略,设计实现了一个分布式文本检索系统DQSSQE.实验结果表明,在检索性能方面,所提出的查询扩展策略能够有效的提高查准率,召回率上也有一定的提高;在分布式检索计算性能方面,DQSSQE系统具有较好的计算加速比,随着文本集规模的增加,其计算性能的优越性体现明显.     

基于几何代数的时空宗地meet计算研究

根据几何代数在地理空间对象建模和多维数据分析应用的特点,研究了共形几何代数交/并(meet/join)算子的含义、构建和应用.利用几何代数多维统一、高维计算适应的优势,设计了基于几何代数meet算子和有向半空间划分理论的时空宗地meet算法.从三维地籍和时空数据建模出发,在共形几何代数和时空代数范畴中,给出了三维、四维时空宗地的定义和表达.同时,以宗地数据的拓扑计算为例,将该算法运用于三维时空宗地拓扑计算场景——历史回溯中,取得了良好的效果.该算法的理念同样适用于四维时空宗地的历史回溯meet求解.