Algorithmic derivation and automatic generation from specification on PAR platform;

The Research of PAR Platform-Oriented test case generation

Meanwhile, PAR platform, the CASE tool of PAR method, was also developed.

Research and Application of On-line Network Teaching System Using PAR Method Based on Streaming Media Technology;

PAR method and loop invariants'category theory semantic

Based on partition and recurrence, rules of quantifier transformation, new strategies for developing loop invariants, and software transforming tools, a unified formal approach called PAR method gives a new way to develop complicated algorithmic programs.

Methods Based on PC12 cell apoptosis induced by H_2O_2, cell survival rate was determined by MTr colorimetric analysis,prostate apoptosis response-4(Par-4)mRNA ex- pression and nuclear factor-kappa B(NF-κB)mRNA expression determined by reverse transcription-polymerase chain reaction(RT-PCR),Par-4 and NF-κB protein expression determined by Western blot method.

A double-wavelength spectrophotometry was used to determine the Co~(2+) and Ni~(2+) content in nickel-cobalt alloy electrolyte simultaneously,using PAR-ethanol solution as developer.