取值于局部凸空间中抽象集函数的积分

本文讨论定义于紧Hausdorff空间而取值于局部凸空间中抽象函数的几种积分及其它们之间的相互关系,这些积分是抽象函数Riemann积分的一般化,作为应用,给出了几类重要局部凸空间的新特征。

抽象集的一组结论

以集论与空间为基点 。

EPA协议抽象测试集的设计

根据IEC9646对协议测试的原理和说明,基于工业以太网(EPA)协议的通信特点及其要求,设计了EPA一致性测试中抽象测试集的层次结构模型,参照树表结合表示法(TTCN)的结构框架和思路定义了一种类形式化语言来描述EPA的抽象测试集,介绍了EPA抽象测试集的生成过程和实现步骤。通过EPA一致性测试系统的实际应用,证明EPA抽象测试集能够完整的包括EPA协议一致性测试的所有内容,根据此测试集设计的测试系统能够准确测试出被测协议实现是否与EPA标准一致。

完备素理想和抽象完备集环

推广分配格的 Stone引理到抽象完备集环并得到 :1 )完备格 L上完备同余关系能够由完备素理想表示 L是抽象完备集环 ;2 )完备格 L上的完备同余关系格 conc( L)同构到 Pc( L)的对偶幂集格 P( Pc( L) )

协议一致性抽象测试集:功能和规范

随着计算机网络的发展，协议一致性测试变得越来越重要了。抽象测试集是协议一致性测试中的重要概念，本文将围绕国际标准ＩＳＯ９６４６来讨论抽象测试集的功能和规范。

自然集合论导引

自然集合是由宇宙万物抽象出的一个涵盖非常广泛的概念。自然集合论突破单纯依靠形式逻辑研究事物的空间形式和数量关系的框框,而将哲理与数理、定性与定量、形式与内容、表面联系与内在联系的研究融为一体,揭示出人类社会及自然界诸种关系,且使按照传统数学方法无法量化的许多问题可以进行定量研究,小自研究一般问题,大至研究军国大事,也许都与之不无关系。

基于区间集的Cppcheck数组边界缺陷检测

针对开源软件Cppcheck误报率和漏报率过高,且不能检测出运行时程序缺陷等问题,基于Cppcheck程序,提出了抽象区间集算法,并将其应用于数组边界缺陷检测。在Cppcheck框架内,通过引入区间集概念,建立每个程序点变量和表达式的整型区间集和数组区间集,并由此定位出程序中的矛盾点,最终检测出程序缺陷。与Cppcheck相比较,所提算法的查准率提高18.5%,漏报率降低22.5%,误报率提高3.5%。实验结果表明,该方法能有效地检测出运行程序缺陷,并提高Cppcheck缺陷检测性能。

抽象凸空间的KKM定理及其应用

首先改进了文献[1]中的KKM定理并应用这一定理证明了择一不等式,变分不等式存在性的结果和不动点存在性定理。

基于特征融合的6D目标位姿估计算法

为提高弱纹理目标和遮挡目标位姿估计的准确性,提出一种基于特征融合的6D目标位姿估计算法。从RGB-D图像中提取目标的颜色特征与点云特征;通过点集抽象在小区域内提取精细的局部几何特征,并扩展到更大局部区域,获得不同层次的局部几何特征以及目标的全局几何特征;将目标的颜色特征与几何特征进行融合,训练神经网络输出初始位姿。实验结果表明,与其它经典算法相比,该方法对于LineMOD数据集及YCB-Video数据集目标的平均位姿估计精度均有提升,对于弱纹理目标和遮挡目标均有较优表现。

EPA协议一致性测试方法

EPA是我国第一个拥有自主知识产权并被国际电工委员会(IEC)认可的工业自动化领域国际标准。本文在研究EPA协议一致性测试原理、静态测试与动态测试方法与实现技术的基础上,参照TTCN的结构框架对EPA抽象测试集进行形式化描述,提出了一种EPA协议一致性测试的方法,阐述了EPA协议实现一致性说明和协议实施附加信息的生成方法,并以变量写服务的测试为例,说明了EPA协议一致性测试流程。国家863/CIMS验收专家组委托的专家测试表明这种测试方法能够准确测试出被测协议实现与标准的一致程度。

EPA协议一致性测试方法研究

研究了EPA协议一致性测试原理、静态测试与动态测试方法及其实现技术;参照TTCN的结构框架定义了一种描述EPA抽象测试集的类形式化语言,提出了EPA协议实现一致性说明和协议实施附加信息的生成方法;研发了一种EPA协议一致性测试的方法,并以变量写服务的测试为例,说明了EPA协议一致性测试系统的测试过程。通过EPA一致性测试系统的实际应用,证明这种测试方法能够准确测试出被测协议实现与标准的一致程度。

IPv6过渡机制协议测试的方法与实现

IPv6协议是因特网的新一代通信协议 ,如何实现从IPv4到IPv6的过渡是IPv6发展急需解决的关键问题。IPv6过渡机制协议定义了一系列从IPv4到IPv6的过渡机制 ,为了保证各种IPv6过渡机制协议实现版本与IPv6过渡机制协议标准的一致性以及不同IPv6过渡机制协议实现之间的互操作性 ,以确保IPv4到IPv6的顺利过渡 ,需要对各IPv6过渡机制协议实现进行协议的一致性测试。本文给出了对IPv6过渡机制协议实现进行协议一致性测试的方法 。

TD-SCDMA移动终端协议一致性测试技术的研究

根据我国基于 TD- SCDMA技术的第三代移动通信系统的发展战略 ,提出 TD- SCDMA移动终端协议一致性测试技术的研究。着重介绍了一致性测试的原理 ,TD- SCDMA移动终端协议一致性测试的方法 ,测试系统的设计和实现 ,抽象测试集的生成。通过对该项技术的研究 ,可为 TD- SCDMA移动终端设备提供标准的、实用的协议一致性测试方法和工具 。

WIA-PA协议一致性测试方法研究

针对WIA-PA协议的特点构建了WIA-PA协议一致性测试的系统结构和网络拓扑,给出了WIA-PA协议一致性测试的方法和原则,重点论述了测试代理软件的功能与软件实现,设计出了WIA-PA协议的一致性测试抽象测试集。最后以数据链路层的网络时间同步测试为例说明了WIA-PA协议一致性测试的一般流程。

以太网工厂自动化协议中的服务测试方法及其实现

提出了以太网工厂自动化协议一致性测试的原理和方法,介绍了该协议一致性测试系统的体系结构。根据该协议中的应用层服务的定义及协议的要求,研究了该协议中的服务测试的原理及测试方法,并以域上载服务的测试为例,展示了以太网工厂自动化服务测试的测试过程。通过以太网工厂自动化一致性测试系统的实际应用,证明这种测试方法能够准确测试出被测协议实现与标准的一致程度。

面向LR-WSN的多方协议一致性测试系统设计与实现

针对由国家传感器网络标准工作组PG3项目组提出的低速无线传感器网络(Low-rate Wireless Sensor Networks,LRWSN)网络层和应用支持子层规范,搭建LR-WSN多方协议一致性测试平台,对测试系统部分功能与性能进行验证与分析,验证LR-WSN多方测试系统的优越性。

基于WIA-PA协议的网关一致性测试

首先介绍了WIA-PA网关,然后抽象出了WIA-PA网关测试集,根据抽象测试集设计出一种通用的WIA-PA网关测试系统,最后介绍了WIA-PA网关的测试流程。

TD-SCDMA移动终端协议一致性测试技术的研究

根据我国基于TD-SCDMA技术的第三代移动通信系统的发展战略,提出TD-SCDMA移动终端协议一致性测试技术的研究。着重介绍了一致性测试的原理,TD-SCDMA移动终端协议一致性测试的方法,测试系统的设计和实现,抽象测试集的生成。通过对该项技术的研究,可为TD-SCDMA移动终端设备提供标准的、实用的协议一致性测试方法和工具,以解决接入网络时产生的协议非一致性问题。

航空搜潜布阵航路优化研究

为了更好地研究航空搜潜阵型布阵航路算法,提出将浮标搜潜阵型抽象成平面上点集的思想,并针对目前搜潜航路优化算法中常用的贪心算法进行分析,指出了其在点集扩大时将会远离全局最优解的问题。给出一种利用蚁群算法来进行航路优化的方法,能够取得比传统贪心算法更优的布阵航路,并通过仿真证明了该方法的有效性。