检索结果-南通市图书馆

Journal of Software Engineering and Applications 2015年第9期8卷 499-519页

作者： Susanne Rosch Sebastian Ulewicz julien provost Birgit Vogel-Heuser Institute of Automation and Information Systems Technische Universitat MünchenMünchenGermany Assistant Professorship for Safe Embedded Systems Technische Universitat MünchenMünchenGermany

As production automation systems have been and are becoming more and more complex, the task of quality assurance is increasingly challenging. Model-based testing is a research field addressing this challenge and many approaches have been suggested for different applications. The goal of this paper is to review these approaches regarding their suitability for the domain of production automation in order to identify current trends and research gaps. The different approaches are classified and clustered according to their main focus which is either testing and test case generation from some form of model automatons, test case generation from models used within the development process of production automation systems, test case generation from fault models or test case selection and regression testing.

关键词： Model-Based Testing Automated Production Systems Conformance Testing Regression Testing Fault Injection Survey

Movement analysis in the diagnosis and management of Parkinson’s disease

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Neural Regeneration Research 2025年第2期20卷 485-486页

作者： Johannes Burtscher Nicolas Bourdillon Jules MJanssen Daalen Aurélien Patoz julien FBally Martin Kopp Davide Malatesta Bastiaan RBloem Institute of Sport Sciences University of LausanneLausanneSwitzerland Radboud University Medical Center Department of NeurologyDonders Institute for BrainCognition and BehaviorCenter of Expertise for Parkinson and Movement DisordersNijmegenThe Netherlands Radboud University Medical Center Department of Medical BioSciencesNijmegenThe Netherlands Research and Development Department Volodalen Swiss Sport LabAigleSwitzerland Service of Neurology Department of Clinical NeurosciencesLausanne University Hospital(CHUV)and University of Lausanne(UNIL)LausanneSwitzerland Department of Sport Science University of InnsbruckInnsbruckAustria

Challenges in the diagnosis and treatment of Parkinson’s disease:Parkinson’s disease(PD)is an increasingly prevalent neurodegenerative disease,at first sight primarily characterized by motor symptoms,although non-motor symptoms also constitute a major part of the overall ***,this disease cannot be diagnosed reliably until a large part of the vulnerable dopaminergic neurons has been irretrievably lost,and the disease progresses *** biological criteria for PD have been proposed recently and might eventually improve early diagnosis,but they require further validation,and their use will initially be restricted to a research environment(Darweesh et al.,2024).

关键词： diagnosis Clinical eventually

Additive neurorestorative effects of exercise and docosahexaenoic acid intake in a mouse model of Parkinson’s disease

在线全文

学校读者我要写书评

暂无评论

Neural Regeneration Research 2025年第2期20卷 574-586页

作者： Olivier Kerdiles Méryl-Farelle Oye Mintsa Mi-mba Katherine Coulombe Cyntia Tremblay VincentÉmond Martine Saint-Pierre Clémence Rouxel Line Berthiaume Pierre julien Francesca Cicchetti Frédéric Calon Facultéde pharmacie UniversitéLaval1050 Avenue de la MédecineQuebecQCCanada Axe Neuroscience Centre de recherche du CHU de Québec-UniversitéLaval(Pavillon CHUL)2705 Boulevard LaurierQuebecQCCanada Institute of Nutrition and Functional Foods QuebecQCCanada Optinutribrain International Associated Laboratory(NutriNeuro FranceINAFCanada)QuebecQCCanada Axe Endocrinologie et Néphrologie Centre de recherche du CHU de Québec-UniversitéLavalQuebecQCCanada Département de Médecine Facultéde MédecineUniversitéLavalQuebecQCCanada Département de Psychiatrie et Neurosciences Facultéde MédecineQuebecQCCanada

There is a need to develop interventions to slow or reverse the degeneration of dopamine neurons in Parkinson’s disease after *** that preclinical and clinical studies suggest benefits of dietary n-3 polyunsaturated fatty acids,such as docosahexaenoic acid,and exercise in Parkinson’s disease,we investigated whether both could synergistically interact to induce recovery of the dopaminergic ***,mice received a unilateral stereotactic injection of 6-hydroxydopamine into the striatum to establish an animal model of nigrostriatal *** weeks after lesion,animals were fed a docosahexaenoic acid-enriched or a control diet for the next 8 *** this period,the animals had access to a running wheel,which they could use or *** acid treatment,voluntary exercise,or the combination of both had no effect on(i)distance traveled in the open field test,(ii)the percentage of contraversive rotations in the apomorphine-induction test or(iii)the number of tyrosine-hydroxylase-positive cells in the substantia nigra pars ***,the docosahexaenoic acid diet increased the number of tyrosine-hydroxylase-positive terminals and induced a rise in dopamine concentrations in the lesioned *** to docosahexaenoic acid treatment or exercise alone,the combination of docosahexaenoic acid and exercise(i)improved forelimb balance in the stepping test,(ii)decreased the striatal DOPAC/dopamine ratio and(iii)led to increased dopamine transporter levels in the lesioned *** present results suggest that the combination of exercise and docosahexaenoic acid may act synergistically in the striatum of mice with a unilateral lesion of the dopaminergic system and provide support for clinical trials combining nutrition and physical exercise in the treatment of Parkinson’s disease.

关键词： 6-hydroxydopamine dopamine dopamine transporter exercise neurorestoration Parkinson’s disease polyunsaturated fatty acids omega-3

Origin of superconductivity in hole doped SrBiO_(3) bismuth oxide perovskite from parameter-free first-principles simulations

在线全文

学校读者我要写书评

暂无评论

npj Computational Materials 2023年第1期9卷 2044-2052页

作者： julien Varignon Laboratoire CRISMAT CNRS UMR 6508ENSICAENNormandie Université6 boulevard Maréchal JuinF-14050Caen Cedex 4France

The recent discovery of nickel oxide superconductors have highlighted the importance of first-principles simulations forunderstanding the formation of the bound electrons at the core of superconductivity. Nevertheless, superconductivity in oxides isoften ascribed to strong electronic correlation effects that density functional theory (DFT) cannot properly take into account,thereby disqualifying this technique. Being isostructural to nickel oxides, Sr_(1-x)K_(x)BiO_(3) superconductors form an ideal testbed forunveiling the lowest theory level needed to model complex superconductors and the underlying pairing mechanism yieldingsuperconductivity. Here I show that parameter-free DFT simulations capture all the experimental features and related quantities of Sr_(1-x)K_(x)BiO_(3) superconductors, encompassing the prediction of an insulating to metal phase transition upon increasing the K dopingcontent and of an electron-phonon coupling constant of 1.22 in sharp agreement with the experimental value of 1.3 ± 0.2. Theproximity of a disproportionated phase is further demonstrated to be a prerequisite for superconductivity in bismuthates.

关键词： superconductivity bismuth parameter

Necessary Optimality Conditions for Semi-vectorial Bi-level Optimization with Convex Lower Level:Theoretical Results and Applications to the Quadratic Case

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of the Operations Research Society of China 2021年第3期9卷 691-712页

作者： julien Collonge University of New Caledonia New Caledonia 98800France

This paper explores related aspects to post-Pareto analysis arising from the multicriteria optimization *** consists of two main *** the first one,we give first-order necessary optimality conditions for a semi-vectorial bi-level optimization problem:the upper level is a scalar optimization problem to be solved by the leader,and the lower level is a multi-objective optimization problem to be solved by several followers acting in a cooperative way(greatest coalition multi-players game).For the lower level,we deal with weakly or properly Pareto(efficient)solutions and we consider the so-called optimistic problem,*** followers choose amongst Pareto solutions one which is the most favourable for the *** order to handle reallife applications,in the second part of the paper,we consider the case where each follower objective is expressed in a quadratic *** this setting,we give explicit first-order necessary optimality ***,some computational results are given to illustrate the paper.

关键词： Bi-level optimization Multi-objective optimization Post-Pareto optimization Multi-objective convex optimization Quadratic optimization

A NEW SIMPLE 2-D PIECEWISE LINEAR MAP

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Systems Science & Complexity 2010年第2期23卷 379-389页

作者： Zeraoulia ELHADJ julien Clinton SPROTT Department of Mathematics University of Tébessa Department of Physics University of Wisconsin

A new simple piecewise linear map of the plane is presented and analyzed, then a detailed study of its dynamical behaviour is described, along with some other dynamical phenomena, especially fixed points and their stability, observation of a new chaotic attractors obtained via border collision bifurcation. An important resuk about coexisting chaotic attractors is also numerically studied and discussed.

关键词： Border collision bifurcation new chaotic attractor piecewise linear map.

Large shear rate behavior for the Hebraud-Lequeux model Dedicated to the NSFC-CNRS Chinese-French summer institute on fluid mechanics in 2010

在线全文

学校读者我要写书评

暂无评论

Science China Mathematics 2012年第2期55卷 435-452页

作者： OLIVIER julien Archimedes Center for Modeling Analysis and Computation University of Crete Iraklio 71003 Greece

The H@braud-Lequeux model is a model describing the flow of soft glassy material in a simple shear flow configuration. It is given by a kinetic/Fokker-Planck-type equation whose coefficients depend on the shear rate of the experiment. In this paper we want to study what happens to the stationary solutions of this model when the shear rate is asymptotically large. In order to do that, we expand the solution of the equation using singular perturbation tools. In the end, we rigorously prove the estimate of Hebraud and Lequeux that the material asymptotically behaves as a Newtonian fluid.

关键词： singular limit non-Newtonian rheology kinetic equations

Comparing the terrain reversal effect in satellite images and in shaded relief maps:an examination of the effects of color and texture on 3D shape perception from shading

在线全文

学校读者我要写书评

暂无评论

International Journal of Digital Earth 2019年第4期12卷 442-459页

作者： Arzu Çöltekin julien Biland Department of Geography University of ZurichZurichSwitzerland Department of Geography University of BernBernSwitzerland

Terrain reversal effect(TRE)causes reversed 3D shape perception in satellite images and shaded relief maps(SRMs),and introduces difficulties in identifying landforms such as valleys and *** this paper,in a controlled laboratory experiment,we compare how well 27 participants could identify valleys and ridges over 33 locations using SRMs,color satellite images and grayscale satellite *** main depth cue is shadow both in vertical-view images and ***,the presence of texture and color in images also affect 3D shape *** our participants experience the illusion strongly:with the SRMs,it is very severe(2%accuracy),with grayscale images low but considerably better than SRMs(17.6%accuracy),and slightly worse with color imagery(15.3%accuracy).These differences between SRMs and imagery suggest that the participants who are able to bypass the illusion consciously or subconsciously interpret the photographic *** support this observation further with a cue-strength ***,we provide exploratory analyses of the effects of expertise,global convexity bias,and bistable *** original empirical observations serve towards a better understanding of this visual illusion,and contribute towards nuanced and appropriate solutions to correcting for TRE differently for satellite images and SRMs.

关键词： Terrain reversal relief inversion false topographic perception phenomenon photo interpretation visual illusion user study bistable perception global convexity bias

Barium isotope cosmochemistry and geochemistry

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Science Bulletin 2018年第6期63卷 385-394页

作者： Quentin Charbonnier Frederic Moynier julien Bouchez Institut de Physique du Globe de Paris Universite Paris Diderot Sorbonne Paris Cite CNRS UMR 71541rue Jussieu 75238 Paris France Institut Universitaire de France and Universite Paris Diderot 75231 Paris France

While the isotopic variations of barium were reported for the first time fourty years ago, the number of studies on barium isotopes significantly increased only after 2010. Barium isotope anomalies in meteorites have been successfully used to provide constraints about the origin of presolar Si C grains. In carbonaceous chondrites Ba isotope anomalies are indicative of the heterogeneity of the early solar system, possibly resulting from of a later injection of material after the cooling of solar system. Barium isotope fractionation in the same carbonaceous chondrites suggests that a strong magnetic field was present in the innermost part of the early solar system. Barium mass-dependent isotope fractionation has also been detected throughout Earth surface materials. While igneous rocks show limited Ba isotopic variations, relatively large isotopic variations are observed amongst and within soils, rivers, and biological materials. Indeed, plants seem to fractionate Ba isotopes during Ba uptake from soil ***, Ba isotope signatures have the potential to provide clues on the biological cycling of Ba at the Earth surface. In seawater, Ba isotopic variations have been mapped out, and are mainly related to barite precipitation, which is in turn related to organic matter remineralization in the water *** makes Ba isotopes a potentially powerful tool to reconstruct past ocean productivity, although constraints are still lacking regarding the inputs of dissolved Ba to the oceans by rivers or hydrothermalism.

关键词： Barium Meteorites Earth surface Critical zone

UAV navigation system using line-based sensor pose estimation

在线全文

学校读者我要写书评

暂无评论

Geo-Spatial Information Science 2018年第1期21卷 2-11页

作者： julien Li-Chee-Ming Costas Armenakis Department of Earth and Space Science and Engineering Geomatics EngineeringLassonde School of EngineeringYork UniversityTorontoCanada

This work presents a mapping and tracking system based on images to enable a small Unmanned Aerial Vehicle(UAV)to accurately navigate in indoor and GPS-denied outdoor environments.A method is proposed to estimate the UAV’s pose(i.e.,the 3D position and orientation of the camera sensor)in real-time using only the on-board RGB camera as the UAV travels through a known 3D environment(i.e.,a 3D CAD model).Linear features are extracted and automatically matched between images collected by the UAV’s onboard RGB camera and the 3D object *** matched lines from the 3D model serve as ground control to estimate the camera pose in real-time via line-based space *** results demonstrate that the proposed modelbased pose estimation algorithm provides sub-meter positioning accuracies in both indoor and outdoor *** is also that shown the proposed method can provide sparse updates to correct the drift from complementary simultaneous localization and mapping(SLAM)-derived pose estimates.

关键词： Pose estimation modelbased tracking navigation GPS-denied environment