A fault injection model-oriented testing strategy for component security

A fault injection model-oriented testing strategy was proposed for detecting component vulnerabilities.A fault injection model was defined,and the faults were injected into the tested component based on the fault injection model to trigger security exceptions.The testing process could be recorded by the monitoring mechanism of the strategy,and the monitoring information was written into the security log.The component vulnerabilities could be detected by the detecting algorithm through analyzing the security log.Lastly,some experiments were done in an integration testing platform to verify the applicability of the strategy.The experimental results show that the strategy is effective and operable.The detecting rate is more than 90%for vulnerability components.

Pit Chains Belonging to Radiating Graben-Fissure Systems on Venus: Model for Formation during Lateral Dyke Injection

Pits are circular to elliptical,steep-sided,flat-bottomed depressions interpreted to form from collapse into a cavity.They occur on Earth,Venus and Mars and range in diameter from;00 m to several kilometres(e.g.

Pial iontophoresis of ferric chloride versus cortical ferric chloride injection in establishing iron-induced posttraumatic epilepsy animal models

BACKGROUND： In order to study the pathogenesis of iron-induced posttraumatic epilepsy （PTE）, foreign scholars have established several kinds of PTE animal models, among which, the iron- induced PTE animal models proposed by Willmore is the most famous. The iron-induced PTE animal models can be established by two methods： one is cortical ferric chloride injection （CFCI） and the other one is pial iontophoresis of ferric chloride （PIFC）. Because Willmore did not give out the elaboration of the behaviors and electroencephalograms （EEGs） of the iron induced PTE animal models established by these two methods, so we have known little about these animal models. OBJECTIVE： To observe the behaviors and EEGs of the iron-induced PTE animal models established by PIFC and CFCI, in order to compare the differences and the study value of these two methods. DESIGN： Qualitative controlled observation tria SETTING： Department of Neurosurgery, Urumqi General Hospital, Lanzhou Military Area Command of Chinese PLA. MATERIALS： Forty healthy adult male SD rats, weighing 200 to 250 g, were involved in this experiment. Reagents and instruments： Ferric chloride （FeCl3·6H2O, Sigma USA）, rat stereotaxic apparatus （ASI company, USA）, the wireless blue tooth electroencephlograms recording system （Nuocheng electric Co.Ltd, Shanghai）, a set of air turbine dental drill unit, dental base acrylic resin powder, microinjector （50 μL）, amperemeter （1 mA）, a pair of batteries, electric resistance （200 kΩ） , variable resistance （100 kΩ）, tubule with endo-meridians of 2 mm （used as import tube）, several silver wire segments and several acupuncture needles were employed in this study. METHODS： This study was carried out in the Experimental Animal Center of the Urumqi General Hospital, Lanzhou Military Area Command of Chinese PLA between November 2004 and April 2005. Establishing the PET animal models by CFCI method： Twenty SD rats were taken, intraperitoneally anesthetized with 50 mg/kg barbanylum and fixed on stereotaxic apparatus. A cranial burr hole with the diameter of 2 mm was drilled 3 mm behind the coronal suture and 2 mm lateral to the sagittal line on the left cranium. Another 5 cranial burr holes with diameter of 2 mm were drilled to place electrodes. The positions of holes were set that taking bregma as original point, sagittal line as Y-axis, the line through the original point and vertical to the Y-axis as X-axis. The unit of the coordinate axis was mm. The coordinate value of the electrodes were （4, 0）, （4, -6）, （-4, 0）, （-4, -6）, at last, a hole with the diameter of 2 mm was drilled on the center of the coronale. 5 μL ferric chloride solution （FeCl3, 100 mmol/L, pH 1.5） was injected into the sensorimotor cortex of rats using microinjector within 5 minutes. The needling depth was 3 mm. The needle was retained for 5 minutes so as to prevent the outflow of liquid. Establishing the PTE animal models by PIFC method： Twenty SD rats were chosen and weighed, and the procedures after weighing were as above.A cranial burr hole with the diameter of 4 mm was drilled in the position where needle inserted in animal models established by CFCI method. Cerebral dura mater was cut. Another 5 holes were drilled to place electrodes in the same position as above. The tip of tubule cotton stuffed inside （to prevent the rapid flow of FeCl3 solution, 100 mmol/L, pH 1.5） was gently connected to cerebral pia mater. The positive and negative electrodes of the amperemeter whose output current was 100 μA were connected to acupuncture needles. The acupuncture needle, which was connected to positive electrode, was inserted into ferric chloride solution, and that which was connected to negative electrode was inserted into the right forelimb of rats subcutaneously. The rats were galvanized for 10 minutes. Record of EEG： The silver wire with blunt anterior extremity was placed on the cerebral dura mater. Then, silver wire and cranial bones were firmly fixed with dental base acrylic resin power. The other side was connected to the wireless blue tooth electroencephlograms recording system to monitor EEG changes. Assessment criteria of seizure degree： Grade Ⅰ ： ＂wet dog-like＂ shudder, facial muscle convulsion and chewing;Grade Ⅱ： rhythmical nodding：Grade Ⅲ： forelimb clonus：Grade Ⅳ： forelimb clonus while standing： Grade Ⅴ： lost the balance, vert, limb＇s convulsion and the whole body＇s tic. MAIN OUTCOME MEASURES： Behaviors and EEGs changes of iron-induced PTE animal models established by PTFC and CFCI. RESULTS： All the 40 rats were involved in the result analysis. （1） The changes of the behaviors： The two animal models both had the epileptic seizures. The epileptic seizure of the animal model established by PIFC mainly presented automatic behavior of chewing, and facial muscle convulsion accompanied with chewing. Epileptic seizure reached the peak within 2.5 to 7 hours after model establishing.It was gradually decreased within 24 hours and hardly seen 1 day after model establishing. The epileptic seizure of the rat model established by CFCI mainly presented turnover upspring and limbs＇ convulsion and urinary incontinence accompanied. The epileptic seizure reached the peak within 3 to 8 hours.It was relatively frequent within 1 week and gradually decreased within 2 weeks after model establishing. The PTE animal models established by CFCI were more closed to clinical PTE process. （2） The form of seizures： The epileptic seizures of the rat model established by PIFC mainly presented grade Ⅰ , seldom presented grades Ⅲ, Ⅳ and Ⅴ; The epileptic seizures of rat model established by CFCI mainly presented the head turning to the right, body＇s rotation, then appeared as grades Ⅳ and Ⅴ, and the whole procedure lasted 1 minute. At the interval of big seizures, grade Ⅰ was observed. From the respect of seizure manifestation, the PTE models established by CFCI were more similar to human PTE. （3） EEGs changes： The sharp waves with average frequency of 9.66 Hz and average amplitude of 183.90 μV were observed on the EEGs of the model established by PIFC when the rats were suffering seizures. The spike waves with average frequency of 16.01 Hz and average amplitude of 143.60 μV were observed on the EEGs of the model established by CFCI when the rats were suffering seizures. CONCLUSTON： （1）Iron-induced PTE rat model is stable and credible. （2）Compared with PTE animal model established by PIFC, PTE animal model established by CFCI is a chronic animal model, and its seizure manifestation is more similar to human PTE. so it is worth further studies.

Equation of Energy Injection to a Dielectric Barrier Discharge Reactor

The electric energy injection from a pulsed power supply to a planar type of dielectric barrier discharge（DBD） reactor at atmospheric pressure was studied. Relations of the energy injection with barrier materials, barrier thickness, peak voltage, gap distance, electrode area,and operation temperature were experimentally investigated. The energy injection is a function of relative permittivity, barrier thickness, peak voltage, gap distance, and electrode area. The influence of operation temperature on energy injection is slight in the range of 27-300℃ but becomes obvious in the range of 300-500℃. A model was established using which the energy injection can be easily predicted.

Feasibility of establishing model of Parkinson disease by injecting 6-hydroxydopamine at different parts of the nigrostriatal pathway in the brain of rats

BACKGROUND： Previous researches found that animal models with Parkinson disease （PD） could be established by injecting 6-hydroxydopamine （6-OHDA） into medial forebrain bundle （MFB）, substantia nigra compacta （SNC） and caudate-putamen complex （CPU） of the nigrostriatal pathway. OBJECTIVE ： To compare behavioral, biochemica 6-OHDA injections in the areas of MFB, SNC and DESIGN： Controlled observational study and histological properties of these rats undergoing the CPU respectively. SEI-IING： Department of Neurology, First Affiliated Hospital of Guangxi Medical University MATERIALS： A total of 64 adult female SD rats weighing 180-230 g were provided by the Animal Experimental Center of Guangxi Medical University. 6-OHDA （Sigma Company, USA）; Brain solid positioner （Standard model 51600, Stoelting Co., IL, USA）; rotational monitoring of little animal （type QL-1, USA）; high liquid chromatography （HLC, Waters Company）. METHOOS： The experiment was carried out in the Medical Experimental Center of Guangxi Medical University from February to December 2005. ① According to digital table, 64 SD rats were divided into MFB group, SNC group, CPU group and control group with 16 in each group. On the basis of the brain atlas of Paxinos, rats in the first three groups were injected with 5 μL 6-OHDA into right MFB （0 mm of line of incisor tooth, A/P 4.4 mm, L/R 1.2 mm, ON -7.8 mm）, SNC （line of incisor tooth just equal to horizon, A/P -4.8 mm, L/R 1.6 mm, ON -7.8 mm） and CPU （0 mm of line of incisor tooth, A/P 1.2 mm, L/R 2.7 mm, ON -5.4 mm）, respectively. The rats in control group were injected with 5 μL ascorbic acid solution （2 g/L）. One week after operation, 0.1 g/L apomorphine （Apo, 0.05 mg/kg） was subcutaneously injected into neck and then rotational behavior induced by Apo was recorded once a week for 8 weeks. The PD models were considered successful only when rotational times more than or equal to 7 times per minute. Eight weeks after operation, micro-perfusion was used to obtain micro-perfusate in bilateral CPU and contents of 3,4-dihydroxyphenylacetic acid （3,4-DOPAC） and homovanillic acid （HVA） were also measured. In addition, amount of tyrosine hydroxylase positive cells （TH＊） in SNC was counted with immuno- histochemical staining. MAIN OUTCOME MEASURES ： ① Successful rate of PD models; ② contents of dopamine and its metabolite in MFB, SNC and CPU groups and TH＊ amount. RESULTS： All 64 SD rats were involved in the final analysis. ③ Successful rate and rotational behavior： One week after operation, there were 6 successful models both in SNC and MFB groups; in the 2^nd week, there were 6 both in SNC and MFB groups and 1 in CPU group; in the 3^nd week, there were 1 in MFB group and 3 in CPU group; in the 4^nd week, there were 3 in CPU group. Otherwise, no successful case was found out in the next 3 weeks. Abnormal rotational behavior was not observed in control group. Four weeks after operation, successful rates were 81% （13/16） in MFB group, 75% （12/16） in SNC group and 44% （7/16） in CPU group.② Contents of 3, 4-DOPAC and HVA： Eight weeks after operation, contents in the SNC area of the injured side were lower than those on non-lesion side （P 〈 0.01）.③Changes of TH＋ amount： Eight weeks after operation, TH＋ amount in the SNC area of the lesion side was lower than that on non-lesion side （P 〈 0.01 ）. CONCLUSION： Injecting 6-OHDA into MFB, SNC and CPU can damage dopaminergic cells and establish successful PD models.

Optimal Scheduling of Distribution Network Incorporating Topology Reconfiguration,Battery Energy System and Load Response

Distributed generation(DG)is becoming increasingly important due to the serious environmental pollution caused by conventional fossil-energy-based generation and the depletion of non-renewable energy.As the flexible resources in the active distribution network(ADN),battery energy system(BES)and responsive load(RL)are all able to assist renewable DG integration in day-ahead dispatch.In addition,the security and economic level can be significantly improved by adjusting network topology.Therefore,in this paper,a coordinated day-ahead scheduling method incorporating topology reconfiguration,BES optimization and load response is presented to minimize the total day-ahead operational costs in the ADN.Linearized current injection models are presented for renewable DG,RL and BES based on the linear power flow model,and an extensible linear switching operations calculation(ELSOC)method is proposed to address the network reconfiguration.Thus,a mixed integer linear programming(MILP)model is proposed for optimal coordinated operation of an ADN.The correctness and effectiveness of the proposed method are demonstrated by simulations on a modified test system.In addition,the combined scenario and Monte-Carlo method is used to handle the uncertainties of loads and DGs,and the results of different uncertainties can further verify the feasibility of the proposed model.

Some Contributions to Nonmonotonic Consequence

This paper introduces a non-Horn rule WRM which is a weak form of rational monotony. We explore the effects of adding this non-Horn rule to the rules for the preferential inference. In this paper, a relation |~ is said to be P + WRM iff it is a preferential inference and satisfies the rule WRM. We establish the representation theorem for P + WRM, and compare the strength of WRM with some non-Horn rules appearing in literatures. Moreover, we explore the relation between P + WRM and conditional logic, and demonstrate that P + WRM is equivalent to 'flat' fragment of conditional logic CS4.2. Another contribution of this paper is to explore the relation between two special kinds of preferential models, i.e., PRC model and quasi-linear model. Main result reveals that the latter is a special form of the former.