THE LERAY-SCHAUDER CONDITION FOR 1-SET WEAKLY-CONTRACTIVE AND(ws)-COMPACT OPERATORS

Abstract The main purpose of this article is to prove a collection of new nxea point theorems for （ws）-compact and so-called 1-set weakly contractive operators under Leray- Schauder boundary condition. We also introduce the concept of semi-closed operator at the origin and obtain a series of new fixed point theorems for such class of operators. As consequences, we get new fixed point existence for （ws）-compact （in particular nonexpansive） self mappings unbounded closed convex subset of Banach spaces. The main condition in our results is formulated in terms of axiomatic measures of weak noncompactness. Later on, we give an application to generalized Hammerstein type integral equations.

面向WS-BPEL程序的变异测试优化技术

WS-BPEL(business process execution language for Web service)是一种基于XML的、面向过程的可执行服务组装语言.由于Web服务的动态性、松耦合特性、部署与运行于开放的网络环境,如何保证WS-BPEL程序的可靠性尤显重要.尽管变异测试具有较强的故障检测能力,但由于变异体数量大、执行时间长、计算开销大,不利于在实践中广泛应用.为了增强变异测试的实用性,针对如何降低面向WS-BPEL程序的变异测试开销问题,从二阶变异和变异算子优先级角度提出了2种面向WS-BPEL程序的变异测试优化技术,开发了相应的集成化支持工具μBPEL.使用6个WS-BPEL程序实例对提出的优化技术的有效性进行验证.实验结果表明:提出的优化技术可以有效地减少变异体数目而并不显著降低变异测试有效性,提高了变异测试的效率.

NEW FIXED POINT THEOREMS FOR P_1-COMPACT MAPPINGS IN BANACH SPACES

E E. Browder and W. V. Petryshyn defined the topological degree for A- proper mappings and then W. V. Petryshyn studied a class of A-proper mappings, namely, P1-compact mappings and obtained a number of important fixed point theorems by virtue of the topological degree theory. In this paper, following W. V. Petryshyn, we continue to study P1-compact mappings and investigate the boundary condition, under which many new fixed point theorems of P1-compact mappings are obtained. On the other hand, this class of A-proper mappings with the boundedness property includes completely continuous operators and so, certain interesting new fixed point theorems for completely continuous operators are obtained immediately. As a result of it, our results generalize several famous theorems such as Leray-Schauder＇s theorem, Rothe＇s theorem, Altman＇s theorem, Petryshyn＇s theorem, etc.

网络化防空作战C^2结构模型抗毁性

从网络动力学特征的角度,研究网络化防空作战C2结构模型抗毁性问题,针对以往的抗毁性测度指数不适用于C2网络抗毁性研究的现状,考虑C2网络信息融合的时延及战场感知覆盖率等因素,提出的抗毁性测度指标:最大连通片尺寸与网络规模比,最大连通片平均最短路径长度L,网络化效能系数。在指标的基础上对C2网络模型的抗毁性进行研究,并分析不同的空袭策略对防空作战C2网络抗毁性的影响。

喷雾器喷片孔径对胡麻田杂草的防效

使用不同孔径WS-16型背负式手动喷雾器喷片喷雾防除胡麻田一年生阔叶杂草和野燕麦的结果表明,药液在胡麻叶片上的附着率以0.7 mm喷片孔径最高。药后45 d 40%2甲.辛酰溴乳油1 500 mL/hm2对水675kg对一年生阔叶杂草的防效、8.8%精喹禾灵乳油750 mL/hm2对水675 kg对野燕麦的防效均以0.7 mm孔径喷雾最高,不同孔径之间差异极显著。

基于Web Service的作战模型共享体系的研究与实现

为保证联合作战训练系统开发过程中,充分利用现有模型资源,避免重复建设,提出了基于Web Service的作战模型共享体系。首先,介绍了模型服务的描述和获取机制,以及模型服务器的总体设计和实现方法。然后,设计了单模型服务器和多模型服务器的调用方法。最后,针对多模型服务器调用过程中存在的传输数据量大和时空一致性问题,提出了基于拟合的外推算法,实验证明,基于Web Service的作战模型共享体系是可行的,所设计的外推方法可较好解决问题。