Статті в журналах з теми "Vérification de modèles bornés"

RésuméCet article fournit une synthèse des principaux résultats contenus dans ma thèse de doctorat consacrée à l'efficience informationnelle du marché boursier. Il s'intéresse non seulement à la vérification empirique de l'hypothèse d'efficience informationnelle du marché, mais aborde également un nombre limité de questions se rapportant aux implications théoriques de cette hypothèse au niveau des modèles de comportement du prix des actions et de gestion professionnelle de portefeuilles.

Résumé Cet article propose une nouvelle approche dans l'analyse et l'interprétation des théories physiques. La théorie des modèles ou sémantique ensembliste est rejetée au profit d'une syntaxe ou théorie des démonstrations qui s'attache d'abord à la structure formelle (logique et mathématique) d'une théorie physique. On donne plusieurs exemples d'une théorie de la preuve (preuve, épreuve, appreuve), exemples qui relèvent surtout de la mécanique quantique et qui vont dans le sens de la thèse principale de l'auteur : la surdétermination de la théorie physique par sa structure mathématique.

La croissance de la population est intégrée dans un modèle de croissance endogène articulant la croissance démographique, la dynamique du capital humain et la technologie. Les restrictions et les conséquences impliquées par ce modèle sont ensuite testées sur la base d’une méthodologie à la fois cohérente avec celles qui ont été récemment utilisées dans les travaux de vérification empirique des modèles de croissance endogène, et nouvelle car elle utilise les équations simultanées afin de tenir compte des interactions stratégiques du modèle.

Dans ce travail, les propriétés élastoplastiques intrinsèques des films minces telles que le module d’Young E, la limite d’élasticité σy et le coefficient d’écrouissage n ont été identifiées à partir des méthodes numériques qui se basent sur des analyses dimensionnelles, des calculs par éléments finis et la résolution des algorithmes d’analyse inverse. Quatre méthodes de la littérature ont été sélectionnées pour identifier les propriétés des films minces en considérant les effets liés au substrat. De plus, l’efficacité de ces modèles numériques a été discutée à l’aide d’une vérification numérique en comparant les résultats d’identification aux propriétés introduites dans les simulations. Les propriétés mécaniques des films minces de CrN ont été enfin identifiées à l’aide de ces modèles. Les résultats d’identification ont été comparés aux propriétés mécaniques des films CrN reportées de la littérature et le bon accord montre que trois de ces quatre méthodes numériques peuvent être appliquées dans le cas des films minces.

Le modèle transactionnel du stress est l'un des modèles explicatifs les mieux connus. Par un mécanisme de double évaluation, cette perspective cognitivo-phénoménologique propose que l'état de stress émane d'une inadéquation entre les demandes contextuelles et les ressources personnelles. Peu de validations intégrales de ce modèle ont été effectuées jusqu’à maintenant. Cette étude propose une vérification de l’ensemble de la dynamique transactionnelle du stress en contexte professionnel au moyen d’une étude transversale auprès de 420 enseignants. L'étude cherche à vérifier la séquence sous-jacente au modèle transactionnel ainsi que divers effets médiateurs/modérateurs issus de l'intervention de certaines caractéristiques individuelles. Les résultats des analyses statistiques permettent globalement de considérer que la perspective transactionnelle est une façon efficace de conceptualiser le stress au travail en milieu scolaire.

Résumé La qualité des eaux de surface est sujette à de nombreuses fluctuations et par conséquence les gestionnaires sont souvent confrontés à des pics de pollution problématiques. À cet effet, nous présentons dans cette étude les résultats d’une exploration des séries d’analyses de la qualité des eaux de surface dans le bassin de la Tafna (Algérie). Nous avons retenu trois descripteurs de la qualité des eaux; la matière en suspension (MES), la conductivité et la demande chimique en oxygène (DCO). On dispose pour cette étude de séries de prélèvements instantanés d’une fréquence au moins mensuelle, couvrant une période de sept ans (avril 1995-mars 2002). Les stations de prélèvements choisies se situent sur les principaux cours d’eau du bassin de la Tafna (Mouillah, Isser et Tafna) de manière à couvrir l’ensemble du bassin versant. Afin d’aboutir à des conclusions exploitables, nous avons commencé, dans une première étape, par une vérification de la cohérence des résultats d’analyse, suivie d’une analyse conjointe de tous les paramètres pour explorer la structure globale des données et appréhender les principaux facteurs qui contrôlent l’évolution de la qualité physico-chimique des eaux. Nous proposons dans cette étude deux modèles mathématiques prévisionnels : le premier est un modèle de simulation du comportement de la qualité des eaux basé sur les relations concentration-débit. Le second est une approche prédictive qui permet de mettre en évidence les saisonnalités et les tendances d’évolution des paramètres étudiés.

La frontière est un fait social qu'on a cherché à analyser à partir d'une problématique qui met l'accent sur trois facteurs en interaction : les relations, l'espace et le temps. Ces facteurs constituent les éléments fondamentaux du champ relationnel en rapport avec lequel la frontière et ses fonctions ont été redéfinies. De cette problématique élémentaire ont été tirés quatre modèles d'hypothèses qui ont ensuite été testés. Une modification de la frontière ou de ses fonctions peut affecter soit les relations, soit l'espace, soit enfin le temps. Les relations structurent l'espace et le temps qui se font et se défont ensemble et forment, en raison même de cela, ce qu'on peut appeler une enveloppe spatio-temporelle susceptible d'être aliénée par rapport aux membres d'une société. L'esquisse d'une vérification a été amorcée à partir de quatre exemples. La délimitation d'une frontière de type européen dans le Sud-tunisien et le remaniement de la frontière belgo-allemande dans la région d'Eupen ont montré comment l'apparition ou le déplacement d'une frontière pouvait affecter les relations et par suite le temps opératoire structuré par elles. La prise en considération d'un changement de la fonction fiscale par lé gouvernement belge a permis d'illustrer la modification des relations, de l'espace et du temps. Le cas de la région franco-genevoise illustre la même hypothèse mais avec modification d'abord du temps opératoire et ensuite de l'espace opératoire. Enfin l'émigration tessinoise du milieu du siècle dernier a montré comment le temps opératoire pouvait d'abord être touché puis les relations et finalement l'espace.

<p class="Abstract"><span lang="EN-US"><span style="vertical-align: inherit;"><span style="vertical-align: inherit;">Un système biométrique d'identification et d'authentification permet la reconnaissance automatique d'un individu en fonction de certaines caractéristiques ou caractéristiques uniques qu'il possède. </span><span style="vertical-align: inherit;">La reconnaissance de l'iris est une méthode d'identification biométrique qui applique la reconnaissance des formes aux images de l'iris. </span><span style="vertical-align: inherit;">En raison des motifs épigénétiques uniques de l'iris, la reconnaissance de l'iris est considérée comme l'une des méthodes les plus précises dans le domaine de l'identification biométrique. </span><span style="vertical-align: inherit;">L'algorithme de segmentation proposé dans cet article commence par déterminer les régions de l'œil à l'aide d'une approche neuronale non supervisée, après que le contour de l'œil a été trouvé à l'aide du bord de Canny, la transformation de Hough est utilisée pour déterminer le centre et le rayon de la pupille et de l'iris. . </span><span style="vertical-align: inherit;">Ensuite, la normalisation permet de transformer la région de l'iris circulaire segmenté en une forme rectangulaire de taille fixe en utilisant le modèle de feuille de caoutchouc de Daugman. </span><span style="vertical-align: inherit;">Une transformation en ondelettes discrètes (DWT) est appliquée à l'iris normalisé pour réduire la taille des modèles d'iris et améliorer la précision du classificateur. </span><span style="vertical-align: inherit;">Enfin, la base de données URIBIS iris est utilisée pour la vérification individuelle de l'utilisateur en utilisant le classificateur KNN ou la machine à vecteur de support (SVM) qui, sur la base de l'analyse du code de l'iris lors de l'extraction des caractéristiques, est discutée.</span></span></span></p>

International audience La description de l’activité humain-système par des modèles de tâches existe depuis plusieurs années. Après l’époque papier-crayon, les outils d’édition des modèles de tâches ont permis la conception et l’archivage des modèles selon une notation rigoureuse, et la vérification de leur cohérence. Mais la compréhension de la dynamique est restée affaire de spécialiste jusqu’à l’apparition des simulateurs de modèles. Une simulation permet d’appréhender les enchaînements réels de tâches - décrits implicitement par les opérateurs temporels - et de valider les scénarios ainsi réalisés. Cet article décrit et compare les simulateurs actuellement disponibles et maintenus, et explique leurs différents usages en fonction des buts et niveaux d’expertise des utilisateurs. De nouvelles perspectives d’évolutions de ces modèles et outils sont alors définies dans le but d’améliorer leur sémantique. Task modelling has enabled the building of models of human activity for a long time. In the early years, pencil and paper where the only means available to build task models from task model notations. Because of the lack of computed constraints, task models often did not conform to the notation. To solve this problem, some tools were designed by authors in order to help users create, modify and save correct models that conform to the notation syntactic rules. However, understanding the full semantics of task models appeared difficult for practitioners. The dynamic aspects of task models could only be understood "in the user's head". New tools, named simulators, emerged to solve this problem. They allow to "run" or to "simulate" task models and to record scenarios. This execution fulfils the semantics of task model operators, which define the task dynamic semantics. Simulators can be used in many ways such as understanding model semantics, verifying or validating models, building valid scenarios, etc. In this article, we describe and compare currently available and maintained task model simulators, and explain the different usages of these tools, according to user goals and qualifications. Then, we explore the different challenges for these tools to exploit the complete semantics of task models.

À l’instar des autres villes algériennes, Bou-Saâda a connu une importante croissance démographique et un exode rural sous la pression des évènements politiques et socio-économiques marquant l’histoire de la ville et de la nation. Le rythme de construction des logements officiels n’a pu faire face à cette situation. Des quartiers d’habitat spontané ont donc vu le jour, tel que Maïtar. Ce dernier s’est implanté dans un site périphérique, enclavé entre parcs de production de matériaux de construction, montagne de Moubakhera, dunes de sable et Oued Maïtar, avec une grande pauvreté en termes d’équipements publics et d’espaces de convivialité. Ce présent article aborde la vérification de l’intégration du quartier d’habitat spontané de Maïtar dans le système urbain de la ville de Bou-Saâda par le biais de la méthode de la syntaxe spatiale, théorie initiée par Bill Hillier et d'autres chercheurs à la Bartlett, University College of London, qui s’intéresse à l'analyse des configurations spatiales des objets architecturaux et systèmes urbains par la traduction spatiale des comportements sociaux à travers un ensemble d’outils et de techniques permettant l'aboutissement à plusieurs modèles interprétatifs de différents phénomènes sociaux et spatiaux. Cette théorie donne accès à certaines caractéristiques et propriétés des graphes, en permettant notamment une analyse plus poussée, au niveau local comme au niveau global [1]. L’application de cette analyse à travers les outils de la carte axiale et de la carte de « all line analysis » sur la ville de Bou-Saada a démontré la ségrégation du quartier de Maïtar par rapport au système urbain. Ces résultats s’interprètent par le nombre très limité des voies qui relie le quartier avec le système et l’isolement spatial dû à l’enclavement. Le réseau interne du quartier n’est plus perméable, il s’appuie sur un seul axe de distribution et d’organisation de l’espace, ce qui reflète une ségrégation et une faible connectivité au sein du quartier et avec l’ensemble du système urbain de la ville. L’espace dans son ensemble est moins fréquenté, il est donc insécurisé et se caractérise par une grande introversion.

L’objectif de cette présente étude était d’examiner si des facteurs tels que l’alexithymie, le sentiment d’auto-efficacité concernant la régulation de l’alimentation et l’acceptation de son image corporelle, la consultation de contenus fitspiration ainsi que des comportements de pratique problématique de l’activité physique pourraient constituer des prédicteurs significatifs de la dysmorphie musculaire, et de pouvoir identifier un profil de sportifs à risque de cette pathologie. Ainsi, 342 étudiants pratiquant la musculation à l’université (Mage = 20,9 ans, ET = 2,9) ont été recrutés pour répondre à un questionnaire sociodémographique (âge, sexe, façon de pratiquer la musculation, consultation réseaux sociaux, consommation de produits améliorant l’apparence et la performance (APEDs) puis à des auto-questionnaires visant à évaluer la symptomatologie de la dysmorphie musculaire (MDDI), le sentiment d’auto-efficacité concernant la régulation de l’alimentation et l’acceptation de son image corporelle (EDRSQ), ainsi que l’alexithymie (TAS-20). Dans la population investiguée, les résultats montrent une prévalence de 18,7 % (n = 64) pour la dysmorphie musculaire. L’identification des émotions, le sentiment d’acceptation de son image corporelle, la pratique des activités physiques avec la recherche d’une sensation de douleur et de congestion, la consommation de substances améliorant l’apparence et la performance (APEDs), l’objectif de recherche de construction musculaire et de maintien de sa forme, la comparaison aux modèles fitness et les comportements de vérification dans le miroir à la salle (gym-mirror checking) se sont montrés prédicteur pour la dysmorphie musculaire (R2 = 0,379, pour le modèle multivarié final). Cette étude met en évidence le réseau complexe de déterminants de la dysmorphie musculaire et les comportements de pratique des activités physiques qui peuvent se montrer à risque de cette pathologie, facilement repérables pour les professionnels concernés.

Background: The Canadian Society of Hospital Pharmacists’ Hospital Pharmacy in Canada Report presents data from pharmacy departments that service hospitals with at least 50 acute care beds. This report provides valuable data on pharmacy distribution, clinical, and management services in relation to hospital size, type, and geographic region. Pharmacy and hospital leadership use these extensive data in identifying baseline, benchmarking current, and planning enhanced pharmacy services. However, for most of Canada’s small hospitals, such data remain unknown, and leadership remains uninformed. Objective: To gather and analyze data about current pharmacy distribution, clinical, and management services in hospitals with fewer than 50 acute care beds receiving third-party remote pharmacy (telepharmacy) services. Methods: In April 2019, pharmacy administrators of hospitals in Ontario, Quebec, and Saskatchewan that had fewer than 50 acute care beds and were using third-party telepharmacy services were invited to complete a comprehensive survey addressing concepts similar to those in the Hospital Pharmacy in Canada Survey. The following data on clinical pharmacy practice were collected: models of care, assignments to patient care programs, pharmacists’ activities, performance indicators, and professional evaluation. The description of pharmacy distribution services comprised type of system, technology, location, hours of operation, method of medication order entry and verification, and medication administration records. Details on facilities’ parenteral admixture infrastructure, policy for and provision of sterile compounding, and pharmacy department human resources, including composition and staffing ratios, were also collected. Results: Of the 27 hospitals in Ontario, Quebec, and Saskatchewan that were invited to participate, 24 (89%) completed the survey. The median facility size was 19 acute care beds. Conclusions: Previously unavailable in Canada, these quantitative data from small hospitals supported by telepharmacy services provide facts about pharmacy distribution, clinical, and management services to inform hospital and pharmacy leaders. Creation of a survey unique to small hospitals, whether or not they use telepharmacy services, could provide a valuable resource to assist in the benchmarking, planning, and enhancement of pharmacy services in remote and rural communities. RÉSUMÉ Contexte : Le Rapport sur les pharmacies hospitalières canadiennes de la Société canadienne des pharmaciens d’hôpitaux expose les données provenant des services de pharmacie qui appuient les hôpitaux comptant au moins 50 lits de soins aigus. Il offre de précieuses données sur les services de distribution des médicaments, les services cliniques et de gestion en relation avec la taille, le type et la région géographique des hôpitaux. Les équipes de direction des pharmacies et des hôpitaux utilisent ces données exhaustives pour déterminer une base de référence, évaluer les services de pharmacie actuels et planifier l’amélioration des services. Cependant, la plupart des petits hôpitaux du Canada ne disposent pas de ce type de données, et les équipes de direction n’en sont pas informées. Objectif : Réunir et analyser des données sur la distribution de médicaments, les services cliniques et la gestion des services pharmaceutiques actuels dans les hôpitaux comptant moins de 50 lits de soins aigus, qui reçoivent des services de pharmacie à distance (services de télépharmacie) fournis par des tiers. Méthode : En avril 2019, les administrateurs de pharmacie d’hôpitaux en Ontario, au Québec et en Saskatchewan remplissant ces critères ont été invités à répondre à une enquête exhaustive abordant des concepts similaires à ceux de Sondage sur les pharmacies hospitalières canadiennes. Les données suivantes sur la pratique de la pharmacie clinique ont été recueillies : modèles de soins, affectation des pharmaciens à des programmes particuliers de soins des patients, activités des pharmaciens, indicateurs de performance et évaluation professionnelle. La description des systèmes de distribution des médicaments par les pharmacies comprenait : le type de système, la technologie, le lieu, les heures de service, le mode de saisie et de vérification des ordonnances de médicaments ainsi que les dossiers d’administration. Les détails concernant l’infrastructure pour l’administration de solutions parentérales, la politique relative aux composés stériles et à leur distribution ainsi que les ressources humaines des services de pharmacie, y compris la composition et les ratios en personnel, ont également été recueillis. Résultats : Sur les 27 hôpitaux en Ontario, au Québec et en Saskatchewan invités à participer à l’enquête, 24 (89 %) y ont répondu. La taille moyenne des installations était de 19 lits de soins aigus. Conclusions : Autrefois indisponibles au Canada, ces données quantitatives provenant de petits hôpitaux soutenus par des services de télépharmacie livrent des faits concernant le système de distribution des médicaments au sein des pharmacies, les services cliniques et de gestion, qui permettent de guider les cadres des hôpitaux et de la pharmacie. La création d’une enquête unique destinée aux petits hôpitaux, utilisant ou non des services de télépharmacie, pourrait constituer une précieuse ressource pour aider à évaluer, à planifier et à améliorer les services pharmaceutiques dans les communautés rurales et éloignées.