移动设备上移动代理应用的安全性研究

移动代理的安全性问题一直制约着移动代理的广泛应用。以往的研究主要集中在解决移动代理安全的一般问题，但随着移动设备的大量普及，移动代理技术应用于这些受限设备，其适用场合和安全问题应区别对待。本文首先讨论了在这些移动设备上的移动代理典型应用，然后阐述了相关的安全问题及解决办法。最后给出了一个基于J2ME的实现范例，并提供了一些实验结果。     

无取向硅钢热轧板形控制与轧制特性的关系

无取向硅钢板形质量要求日趋严苛。热轧是控制无取向硅钢成品横截面厚差偏大、尤其是边部减薄显著的关键工序。通过测试并分析无取向硅钢板形控制与专有轧制特性的关系,提出可通过采用合理的ASR非对称自补偿工作辊和常规工作辊的辊形配置及相应的窜辊策略可有效控制带钢边部减薄和凸度,使板形质量达到用户要求。     

质子交换膜的交联改性研究进展

燃料电池的应用需要性能优越的质子交换膜,而目前广泛使用的全氟磺酸膜以及其他类型的质子交换膜普遍都存在着热稳定性较差、溶涨过大、阻醇性能不理想等问题,这些缺点可用交联的方法得到一定程度的改善.综述了近年来交联改性质子交换膜的研究进展,并对其交联方法、改性效果进行了详细的讨论.     

Influence diagnostics in regression with complex designs through conditional bias

One of the areas of Statistics in which the influence analysis has been widely studied is the multiple linear regression model. Nevertheless, the influence diagnostics proposed in this context cannot be applied to regression in complex survey, under randomized inference, since the i.i.d. case does not incorporate any probability weighting or population structure, such as clustering, stratification or measures of size into the analysis. In this paper we introduce some influence diagnostics in regression in complex survey. They are built on the conditional bias concept (Moreno-Rebollo et al., 1999). We emphasize the similarities and differences of the proposed measures with respect to the existing ones for the i.i.d. case. Research partly supported by the Spanish MCYT grant BFM2001-3844 and Spanish MEC grant MTM2004-0111433.     

Iterative ultrasonic signal and image deconvolution for estimation of the complex medium response

The ill‐conditioned inverse problem of estimating ultrasonic medium responses by deconvolution of RF signals is investigated. The primary difference between the proposed method and others is that the medium response function is assumed to be complex‐valued rather than restricted to being real‐valued. Derived from the complex medium model, complex Wiener filtering is presented, and a Hilbert transform related limitation to inverse filtering type methods is discussed. We introduce a nonparametric iterative algorithm, the least squares method with point count regularization (LSPC). The algorithm is successfully applied to simulated and experimental data and demonstrates the capability of recovering both the real and imaginary parts of the medium response. The simulation results indicate that the LSPC method can outperform Wiener filters and improve the resolution of the ultrasound system by factors as high as 3.7. Experimental results using a single element transducer and a conventional medical ultrasound system with a linear array transducer show that despite the errors in pulse estimation and the noise in the RF signals, excellent results can be obtained, demonstrating the stability and robustness of the algorithm. © 2006 Wiley Periodicals, Inc. Int J Imaging Syst Technol, 15, 266–277, 2005     

带式输送机可控启动系统的试验研究

软启动装置是改善带式输送机运行特性的重要设备。文章探讨了一种带式输送机可控启动系统的结构原理并进行了试验研究 ,介绍了利用微机PID控制算法进行控制的原理及实施情况     

Formal verification of conflict detection algorithms

Safety assessment of new air traffic management systems is a main issue for civil aviation authorities. Standard techniques such as testing and simulation have serious limitations in new systems that are significantly more autonomous than the older ones. In this paper, we present an innovative approach for establishing the correctness of conflict detection systems. Fundamental to our approach is the concept of trajectory, and how we represent a continuous physical trajectory by a continuous path in the x-y plane constrained by physical laws and operational requirements. From the model of trajectories, we extract, and formally prove, high-level properties that can serve as a framework to analyze conflict scenarios. We use the AILS (Airborne Information for Lateral Spacing) alerting algorithm as a case study of our approach. Published online: 19 November 2002     

科技项目统计信息系统的设计与实现

根据科技项目情况统计涉及的统计表类型繁多 ,要求统计数字准确、图表精美的特点 ,设计了一个由2 2个关联的表构成的科技项目统计关系数据库 ,对全省每年的科技项目进行各种统计、绘制统计图表 ,并介绍了VFP与 EXCEL间的通信 ,VFP生成图表等几个实现重点     

基于数学形态学的重叠昆虫图像分离的研究

在实际的昆虫图像处理中,经常会碰到重叠现象。即多个昆虫聚集在一起,这给后续昆虫自动计数的结果的准确性产生一定的影响。因此需要对其进行有效的分离。论文以白粉虱图像为例,对其二值化后的图像,利用数学形态学方法中的腐蚀操作,达到将重叠昆虫有效分离的目的。为下一步昆虫图像的自动计数打下了良好的基础。文中主要讨论了算法的基本思想,并给出了实验结果。     

采用PSPICE软件包仿真设计有源滤波器

利用PSPICE软件包对有源滤波器进行了仿真设计，给出了滤波器参数的设计原理，并介绍了该软件包的功能与使用方法。