38 resultados para formal verification


Relevância:

20.00% 20.00%

Publicador:

Resumo:

The passive beam delivery system in the superficially-placed tumor therapy terminal at Heavy Ion Researc h Facility in Lanzhou (HIRFL), which includes two orthogonal dipole magnets as scanning system, a motor-driven energy degrader as range-shifter, series of ridge filters as range modulator and a multileaf collimator, is introduced in detail. The capacities of its important components and the whole system have been verified experimentally. The tests of the ridge filter for extending Bragg peak and the range shifter for energy adjustment show both work well. To examine the passive beam delivery system, a beam shaping experiment were carried out, simulating a three-dimensional (3D) conformal irradiation to a tumor. The encouraging experimental result confirms that 3D layer-stacking conformal irradiation can be performed by means of the passive system. The validation of the beam delivery system establishes a substantial basis for upcoming clinical trial for superficially-placed tumors with heavy ions in the therapy terminal at HIRFL.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

在总结前人工作的基础上,结合安全操作系统对测试的特殊需求,提出了简并测试集(degenerate test set,简称DTS)的概念,设计了一种使用模型检测的基于安全状态转移的高效测试集生成方法.该方法以状态转移为化简对象,在利用模型检测技术生成测试用例的同时,归并相同的状态转移并化简需求集中的冗余属性,从而最终达到化简测试集的目的.在此基础上,探讨了单个用例失败时用例集的有效性问题,并对DTS生成算法进行了改进.实验结果表明,该方法可以有效地对测试集中的冗余进行化简.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The molecular structural parameters of indophenol and its derivatives were calculated by semi-empirical molecular orbital quantum chemical method,The relation between molecular structural parameters and formal potentials was analyzed by principal factor analysis and multiple Linear regression method. It was found that the formal potential of indophenols has a good relation with two-center electron exchange energy, E-ex (2), resonance energy of O-C bond, E-ex (C-1-O), and molecular ionization potential, I-p, among 19 moleclular structural parameters. The regression equation is E-0' = 1. 47 x 10 (-3) E-ex (two) - 5. 74 x 10 (-2) E-ex (C-1 - O) - 1. 41 x 10 (-2) I-p with RC = 0. 9999 and SD = 0. 00424. It was confirmed by the relation between structure parameters and formal potentials, and the thermodynamic stability of its intermediate products that the H (+) ionization is prior to the electron transfer step in the oxidation mechanism.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The glass transition temperatures (T-g) of PS/PPO blends with different compositions were studied under various pressures by means of a PVT-100 analyzer. A general relation of T-g and pressure of the PS/PPO system was deduced by fitting the experimental T-g's. Couchman volume-based equation was testified with the aid of those data. It was found that the experimental T-g's do not obey the Couchman equation of glass transition temperature based on thermodynamic theory. According to our studies, the major reason of the deviation is caused by the neglect of DeltaV(mix). (C) 2001 Published by Elsevier Science Ltd.