QtUCP-A program for determining unit-cell parameters in electron diffraction experiments using double-tilt and rotation-tilt holders

A computer program, QtUCP, has been developed based on several well-established algorithms using GCC 4.0 and Qt (R) 4.0 (Open Source Edition) under Debian GNU/Linux 4.0r0. it can determine the unit-cell parameters from an electron diffraction tilt series obtained from both double-tilt and rotation-tilt holders. In this approach, two or more primitive cells of the reciprocal lattice are determined from experimental data, in the meantime, the measurement errors of the tilt angles are checked and minimized. Subsequently, the derived primitive cells are converted into the reduced form and then transformed into the reduced direct primitive cell. Finally all the patterns are indexed and the least-squares refinement is employed to obtain the optimized results of the lattice parameters. Finally, two examples are given to show the application of the program, one is based on the experiment, the other is from the simulation. (C) 2008 Elsevier B.V. All rights reserved.

大熊猫“盛林1号”放归监测

大熊猫(Ailuropoda melanoleuca)是我国特有的珍稀濒危物种，国家Ⅰ级重点保护野生动物，被称为“国宝”。目前，大熊猫被局限在我国中西部的岷山、邛崃、大相岭、小相岭、凉山和秦岭6大山系中。对大熊猫的保护和研究，我国政府、保护生物学科研人员、社会各界及国际保护组织都做了大量的工作。根据全国三次大熊猫调查结果显示，大熊猫栖息地片段化现象依然存在，形成多个隔离的大熊猫小种群。尤其在小相岭、大相岭、岷山B和岷山C种群，大熊猫数量较少，且栖息地破碎，面临较大威胁。有的山系大熊猫种群数量些已低于最小可存活大熊猫种群的数量，如果不采取人工措施，这些种群的大熊猫存在灭绝的危险。 将圈养大熊猫放归野外，以补充野外大熊猫种群数量，增加其遗传多样性，复壮和扩大野生大熊猫种群，是大熊猫人工繁育的最终目标。为降低放归的风险性，在放归人工繁育大熊猫前，将救护存活的野生大熊猫先有计划放归野外，并对其进行跟踪监测，对积累大熊猫放归经验，进一步研究大熊猫野外生物学习性，丰富放归地大熊猫种群遗传多样性，为人工繁育大熊猫放归野外夯实基础，具有十分重要的意义。2005年8月8日，国家林业局和四川省人民政府联合将救护野生大熊猫“盛林1号”放归于龙溪－虹口国家级自然保护区内岷山B大熊猫种群栖息地，并进行系统监测研究。成功的积累了一些放归经验和放归大熊猫的生物学资料，为人工繁育大熊猫的放归奠定了一定基础。 2005年8月至2007年6月期间，我们采用GPS无线电项圈、粪便DNA检测和红外线自动触发相机陷阱的方法，对大熊猫“盛林１号”进行了追踪监测，获得了以下成果： 1.通过分析“盛林1号”放归后了活动趋势和采用两种贝叶斯方法，利用目前五大山系的已有微卫星遗传数据，检测“盛林１号”与五大山系的遗传关系的远近，推测其来源于邛崃山系的可能性较大。 2.收集了大量“盛林1号”野外生境选择数据。我们认为“盛林1号”放归后经历了应急期、初步稳定期、长途迁徙期三个阶段（这可能是今后放归大熊猫都必经的三个时期），并与当地大熊猫种群已发生交流。目前“盛林１号”仍在寻找适合的巢域。 3.结合过去监测数据分析，在放归区域大熊猫和羚牛尽管同域分布，但由于食性不同，对微生境选择还是有着很大差异，因此保护管理对策要有针对性。 4.“盛林1号”的放归是成功的。救护大熊猫异地放归工作应继续开展，但要改进放归后的监测技术。要改进现有对人工饲养大熊猫野化培训方法和放归方式，才能真正将人工繁殖个体放归野外。 Giant Panda (Ailuropoda melanoleuca) is an endangered species endemic to China. It was listed as National Protected I Class Species and is crowned as “National treasure” of China. The populations of Giant Panda are limited in 6 mountain system in Center-West of China, i.e. Mingshan, Mt. Qionglai, Mt. Daxiangling，Mt. Xiaoxiangling, Mt. Liangshan and Mt. Qinling. The results of the Third National Survey on Giant Panda showed that the habitats of Giant Panda is still fracted and Giant Panda population is divided into several isolated small populations. Population B from Mt. Daxiangling, Mt. Xiaoxiangling and Mt. Mingshan and Population C from Mt. Mingshan are very small with very fracted habitat and are more endangered. Several populations in those mountain systems are smaller than Minimum Viable Population of Giant Panda. It is very possible that those populations will be extinct without artificial help. The ultimate Goal of Reintroduction caged Giant Panda to wild is to increase wild population size and genetics diversity and rebuild and expand wild Giant Panda population. It is of significant to return rescued wild Giant Panda to wild and monitor their behavior before reintroduction artificial reproduced Giant Panda. It will increase our knowledge on reintroduction of Giant Panda. Aug 8th, 2005, “Shenglin 1”, a rescued wild Giant Panda was returned to Longxi-Hongkou National Nature Reservoir, which is habitat of Giant Panda Population B of Mt. Mingshan. A systematic monitor was carried out on “Shenglin 1”, and the successful return enriched our biological knowledge on Giant Panda reintroduction. It will be very help for future conservation work on reintroduce artificial reproduced Giant Panda. “Shenglin 1” was tracked with GPS collar, DNA in feces and infrared-trigged camera from Aug 2005 to Jun 2007. 1. Locomotion behavior and microsatellites comparison with Giant Panda from the 5 mountain systems indicated that “Shenglin 1” is possibly from Mt. Qionglai. 2. Habitat usage of “Shenglin 1” was studied. It was suggested that there were 3 phases after return, i.e. emergency response, preliminary stable phase and long distance locomotion, which could be a general process for other returned Giant Panda. It was indicated that there was some interaction between “Shenglin 1” and local population. “Shenglin 1” is seeking for suitable home range now. 3. Monitor data also indicated that microhabitat preference of Giant Panda and takin (Budorcas taxicolor) are different because of different diet, though they are sympatric. It was suggested that conservation management for the two species should be plan in particular. 4. The reintroduction of “Shenglin 1” is a successful case. The program of return rescued Giant Panda to other habitats is of value and should be continued. However, more improvement is needed for the monitor technique. More improvement is need for feralization and returning before we return artificial reproduced Giant Panda to wild.

Simulation of micromegas detector by garfield program

In this paper, a batch file which describes the detailed structure and the corresponding physical process of Micro-Mesh Gaseous Structure (Micromegas) detector, the macro commands and the control structures based on the Garfield program has been developed. And using the Garfield program controlled by this batch file, the detector's gain and spatial resolution have been investigated under different conditions. These results obtained by the simulation program not only exhibit the influences of the mesh and drift voltage, the mixture gas proportion, the distance between the mesh cathode and the printed circuit board readout anode, and the Lines Per Inch of the mesh cathode on the gain and spatial resolution of the detector, but also are very important to optimize the design, shorten the experimental period, and save cost during the detector development. Additionally, they also indicate that the Garfield program is a powerful tool for the Micromegas detector design and optimization.

HIRFL-CSR PHYSICS PROGRAM

The research activities at HIRFL-CSR cover the fields of the radio-biology, material science, atomic physics, and nuclear physics. This talk will mainly concentrate on the program on nuclear physics with the existing and planned experimental setups at HIRFL-CSR.

Nuclear physics program at HIRFL

With the commissioning of HIRFL-CSR, HIRFL can provide heavy ion beams with energy covering the range of several MeV/u to 1 GeV/u. In this talk, the experiments on nuclear physics at different energies to be carried out with different experimental setups at HIRFL will be introduced.

Integration' in the US coastal zone management program

The purpose of this paper is to examine the extent to which the existing US Coastal Zone Management (CZM) program represents Integrated Coastal Management (ICM). The actions taken at Rio de Janeiro in June 1992 as part of the United Nations Conference on Environment and Development (UNCED) could eventually impact the policies of the US in such a way as to encourage better integration of US coastal and ocean management efforts.

message from the workshop chairs the first international workshop on program debugging in china (iwpdc 2010)

National Laboratory for Parallel and Distributed Processing; The University of Hong Kong

automated test program generation for an industrial optimizing compiler

Association for Computing Machinery, ACM; IEEE; IEEE Computer Society; SIGSOFT

Automated Program Recognition by Graph Parsing

Recognizing standard computational structures (cliches) in a program can help an experienced programmer understand the program. We develop a graph parsing approach to automating program recognition in which programs and cliches are represented in an attributed graph grammar formalism and recognition is achieved by graph parsing. In studying this approach, we evaluate our representation's ability to suppress many common forms of variation which hinder recognition. We investigate the expressiveness of our graph grammar formalism for capturing programming cliches. We empirically and analytically study the computational cost of our recognition approach with respect to two medium-sized, real-world simulator programs.

Program Improvement by Automatic Redistribution of Intermediate Results

Introducing function sharing into designs allows eliminating costly structure by adapting existing structure to perform its function. This can eliminate many inefficiencies of reusing general componentssin specific contexts. "Redistribution of intermediate results'' focuses on instances where adaptation requires only addition/deletion of data flow and unused code removal. I show that this approach unifies and extends several well-known optimization classes. The system performs search and screening by deriving, using a novel explanation-based generalization technique, operational filtering predicates from input teleological information. The key advantage is to focus the system's effort on optimizations that are easier to prove safe.

Automated Program Recognition

The key to understanding a program is recognizing familiar algorithmic fragments and data structures in it. Automating this recognition process will make it easier to perform many tasks which require program understanding, e.g., maintenance, modification, and debugging. This report describes a recognition system, called the Recognizer, which automatically identifies occurrences of stereotyped computational fragments and data structures in programs. The Recognizer is able to identify these familiar fragments and structures, even though they may be expressed in a wide range of syntactic forms. It does so systematically and efficiently by using a parsing technique. Two important advances have made this possible. The first is a language-independent graphical representation for programs and programming structures which canonicalizes many syntactic features of programs. The second is an efficient graph parsing algorithm.