Survey Propagation:一种求解SAT的高效算法

Survey propagation是一种新生的SAT(CSP)算法.它基于统计物理的spin glass模型,针对具体问题进行纵览(survey),从而极大地降低求解的复杂度.但sp算法在某些时候不收敛,或引导向错误的解.对此,G.Parisi提出一种复杂回溯(backtrack)算法,而作者在sp中加入简单回溯,也使一部分此类问题得到解决.

兰州重离子治癌研究装置的准直测量技术；Survey and alignment for the heavy ion therapy facility at IMP

介绍了中国科学院近代物理研究所重离子治癌装置的安装定位测量技术和方法。利用激光跟踪仪通过控制网的建立,和多重坐标系的转换,使最后的磁铁安装径向相对误差不超过±(0.05-0.1)mm,真空管道的横向及竖向精度也达到了±(0.1-0.2)mm。

Drift distance survey in direct plasma injection scheme for high current beam production

In a laser ion source, plasma drift distance is one of the most important design parameters. Ion current density and beam pulse width are defined by plasma drift distance between a laser target and beam extraction position. In direct plasma injection scheme, which uses a laser ion source and a radio frequency quadrupole linac, we can apply relatively higher electric field at beam extraction due to the unique shape of a positively biased electrode. However, when we aim at very high current acceleration such as several tens of milliamperes, we observed mismatched beam extraction conditions. We tested three different ion current at ion extraction region by changing plasma drift distance to study better extraction condition. In this experiment, C6+ beam was accelerated. We confirmed that matching condition can be improved by controlling plasma drift distance.

2-D and 3-D processing and interpretation of multi-fold ground penetrating radar data:a case history from an archaeological site

A 2.5-D and 3-D multi-fold GPR survey was carried out in the Archaeological Park of Aquileia (northern Italy). The primary objective of the study was the identification of targets of potential archaeological interest in an area designated by local archaeological authorities. The second geophysical objective was to test 2-D and 3-D multi-fold methods and to study localised targets of unknown shape and dimensions in hostile soil conditions. Several portions of the acquisition grid were processed in common offset (CO), common shot (CSG) and common mid point (CMP) geometry. An 8×8 m area was studied with orthogonal CMPs thus achieving a 3-D subsurface coverage with azimuthal range limited to two normal components. Coherent noise components were identified in the pre-stack domain and removed by means of FK filtering of CMP records. Stack velocities were obtained from conventional velocity analysis and azimuthal velocity analysis of 3-D pre-stack gathers. Two major discontinuities were identified in the area of study. The deeper one most probably coincides with the paleosol at the base of the layer associated with activities of man in the area in the last 2500 years. This interpretation is in agreement with the results obtained from nearby cores and excavations. The shallow discontinuity is observed in a part of the investigated area and it shows local interruptions with a linear distribution on the grid. Such interruptions may correspond to buried targets of archaeological interest. The prominent enhancement of the subsurface images obtained by means of multi-fold techniques, compared with the relatively poor quality of the conventional single-fold georadar sections, indicates that multi-fold methods are well suited for the application to high resolution studies in archaeology.

Analytical intercomparison results from the 1990 Intergovernmental Oceanographic Commission open-ocean baseline survey for trace metals: Atlantic Ocean

“Dissolved” (< 0.4 μm filtered) and “total dissolvable” (unfiltered) trace element samples were collected using “clean” sampling techniques from four vertical profiles in the eastern Atlantic Ocean on the first IOC Trace Metals Baseline expedition. The analytical results obtained by 9 participating laboratories for Mn, Fe, Co, Ni, Cu, Zn, Cd, Pb, and Se on samples from station 4 in the northeast Atlantic have been evaluated with respect to accuracy and precision (intercomparability). The data variability among the reporting laboratories was expressed as 2 × SD for a given element and depth, and was comparable to the 95% confidence interval reported for the NASS seawater reference standards (representing analytical variability only). The discrepancies between reporting laboratories appear to be due to inaccuracies in standardization (analytical calibration), blank correction, and/or extraction efficiency corrections.Several of the sampling bottles used at this station were not adequately pre-cleaned (anomalous Pb results). The sample filtration process did not appear to have been a source of contamination for either dissolved or particulate trace elements. The trace metal profiles agree in general with previously reported profiles from the Atlantic Ocean. We conclude that the sampling and analytical methods we have employed for this effort, while still in need of improvement, are sufficient for obtaining accurate concentration data on most trace metals in the major water masses of the oceans, and to enable some evaluation of the biogeochemical cycling of the metals.

Microspheres and microcapsules, a survey of manufacturing techniques: Part III: Solvent evaporation

A methodological survey of microsphere formation and microencapsulation techniques based on solvent extraction/evaporation techniques is presented. Thus, basic features of solvent extraction and solvent evaporation processes, including droplet formation, droplet/particle stabilization, and solvent removal, are outlined. Preparation of a wide range of microspherical and microcapsular products based on biodegradable polyesters, polysaccharides, and nonbiodegradable polymers are discussed. Dependence of microcapsule characteristics on manufacturing parameters, as well as performance evaluation of microspherical and microcapsular products, are also briefly covered.

Land-cover classification of China: integrated analysis of AVHRR imagery and geophysical data

Over last two decades, numerous studies have used remotely sensed data from the Advanced Very High Resolution Radiometer (AVHRR) sensors to map land use and land cover at large spatial scales, but achieved only limited success. In this paper, we employed an approach that combines both AVHRR images and geophysical datasets (e.g. climate, elevation). Three geophysical datasets are used in this study: annual mean temperature, annual precipitation, and elevation. We first divide China into nine bio-climatic regions, using the long-term mean climate data. For each of nine regions, the three geophysical data layers are stacked together with AVHRR data and AVHRR-derived vegetation index (Normalized Difference Vegetation Index) data, and the resultant multi-source datasets were then analysed to generate land-cover maps for individual regions, using supervised classification algorithms. The nine land-cover maps for individual regions were assembled together for China. The existing land-cover dataset derived from Landsat Thematic Mapper (TM) images was used to assess the accuracy of the classification that is based on AVHRR and geophysical data. Accuracy of individual regions varies from 73% to 89%, with an overall accuracy of 81% for China. The results showed that the methodology used in this study is, in general, feasible for large-scale land-cover mapping in China.

ASSIGNMENT OF C-13 NMR-SPECTRA OF POLYMER WITH SEMIEMPIRICAL METHOD - SURVEY OF SPECTRUM OF SECONDARY CARBON OF 1,2-PBD

In chain molecules of 1, 2-PBD, there are two kinds of gauche arrangements, which is the cause of making the spectrum of the secondary carbon in main chain of the polymer split. In such a complex system, the gauche arrangements of the secondary carbon and the tertiary carbon occupy an important position. Hence, the contribution of the tertiary carbon to the chemical shifts of the secondary carbon has a decisive effect on the sequence structure distribution. In comparison the contribution of vinyl groups is ...

Tectonic geomorphology of the Ryukyu Trench-Arc-Backarc System: geological-geophysical exploration and mapping

OKINAWA TROUGH; BASIN