| 1. |
- Hu, S., et al.
(författare)
-
Dynamic-measurement modeling of attitude motion for N-bodies spacecraft with applications
- 2011
-
Ingår i: Proceedings of the 30th Chinese Control Conference. - 9789881725592 ; , s. 1453-1458
-
Konferensbidrag (refereegranskat)abstract
- Modeling analysis technique is one of the most important means in processing spaceflight mission. In this paper, the graph based description is given, and a series of dynamic-measurement system models are built for the attitude motion of a N-bodies spacecraft, which include the states evolvement equation of the main body, the states evolvement equations of the accessories, the inertia based measurement equations and the celestial bodies based measurement equation and the GPS based measurement equations of attitudes of the N-bodies etc.. These models are educed with some typical methods of theoretical analysis and dynamic description and are simplified into linearized discrete equations. At the end of the paper some valuable applications are pointed out.
|
|
| 2. |
|
|
| 3. |
|
|
| 4. |
|
|
| 5. |
|
|
| 6. |
- Sarkar, Anjana, 1978-, et al.
(författare)
-
Photocatalytic activity of TiO2 nanoparticles : effect of thermal annealing under various gaseous atmospheres
- 2012
-
Ingår i: Nanotechnology. - : Institute of Physics Publishing (IOPP). - 0957-4484 .- 1361-6528. ; 23:47, s. 475711-475719
-
Tidskriftsartikel (refereegranskat)abstract
- The structure, composition and photocatalytic activity of TiO2 nanoparticles annealed in various gas atmospheres (N2, NH3 and H2) were studied in this work. The effect of treatment on crystal structure, particle size, chemical composition and optical absorbance were assessed by means of x-ray diffraction, transmission electron microscopy, x-ray photoelectron spectroscopy and diffuse optical reflectance/transmittance measurements, respectively. Photocatalytic properties of the materials were evaluated by three different methods: degradation of methyl orange in water, killing of Staphylococcus aureus bacteria and photogeneration of radicals in the presence of 3-carboxy-2,2,5,5-tetramethyl pyrrolidine-1-oxyl (PCA) marker molecules. The results indicate that the correlation between pretreatment and the photocatalytic performance depends on the photocatalytic processes and cannot be generalized.
|
|
| 7. |
|
|
| 8. |
- Teixeira, J., et al.
(författare)
-
Tropical and Subtropical Cloud Transitions in Weather and Climate Prediction Models : The GCSS/WGNE Pacific Cross-Section Intercomparison (GPCI)
- 2011
-
Ingår i: Journal of Climate. - 0894-8755 .- 1520-0442. ; 24:20, s. 5223-5256
-
Tidskriftsartikel (refereegranskat)abstract
- A model evaluation approach is proposed in which weather and climate prediction models are analyzed along a Pacific Ocean cross section, from the stratocumulus regions off the coast of California, across the shallow convection dominated trade winds, to the deep convection regions of the ITCZ-the Global Energy and Water Cycle Experiment Cloud System Study/Working Group on Numerical Experimentation (GCSS/WGNE) Pacific Cross-Section Intercomparison (GPCI). The main goal of GPCI is to evaluate and help understand and improve the representation of tropical and subtropical cloud processes in weather and climate prediction models. In this paper, a detailed analysis of cloud regime transitions along the cross section from the subtropics to the tropics for the season June-July-August of 1998 is presented. This GPCI study confirms many of the typical weather and climate prediction model problems in the representation of clouds: underestimation of clouds in the stratocumulus regime by most models with the corresponding consequences in terms of shortwave radiation biases; overestimation of clouds by the 40-yr ECMWF Re-Analysis (ERA-40) in the deep tropics (in particular) with the corresponding impact in the outgoing longwave radiation; large spread between the different models in terms of cloud cover, liquid water path and shortwave radiation; significant differences between the models in terms of vertical cross sections of cloud properties (in particular), vertical velocity, and relative humidity. An alternative analysis of cloud cover mean statistics is proposed where sharp gradients in cloud cover along the GPCI transect are taken into account. This analysis shows that the negative cloud bias of some models and ERA-40 in the stratocumulus regions [as compared to the first International Satellite Cloud Climatology Project (ISCCP)] is associated not only with lower values of cloud cover in these regimes, but also with a stratocumulus-to-cumulus transition that occurs too early along the trade wind Lagrangian trajectory. Histograms of cloud cover along the cross section differ significantly between models. Some models exhibit a quasi-bimodal structure with cloud cover being either very large (close to 100%) or very small, while other models show a more continuous transition. The ISCCP observations suggest that reality is in-between these two extreme examples. These different patterns reflect the diverse nature of the cloud, boundary layer, and convection parameterizations in the participating weather and climate prediction models.
|
|
| 9. |
- Wong, Peter Y. H., et al.
(författare)
-
Testing abstract behavioral specifications
- 2014
-
Ingår i: International Journal on Software Tools for Technology Transfer. - : Springer. - 1433-2779 .- 1433-2787. ; 17:1, s. 107-119
-
Tidskriftsartikel (refereegranskat)abstract
- We present a range of testing techniques for the Abstract Behavioral Specification (ABS) language and apply them to an industrial case study. ABS is a formal modeling language for highly variable, concurrent, component-based systems. The nature of these systems makes them susceptible to the introduction of subtle bugs that are hard to detect in the presence of steady adaptation. While static analysis techniques are available for an abstract language such as ABS, testing is still indispensable and complements analytic methods. We focus on fully automated testing techniques including black-box and glass-box test generation as well as runtime assertion checking, which are shown to be effective in an industrial setting.
|
|
