检索结果-南通市图书馆

TRAP:trace runtime analysis of properties

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

frontiers of Computer Science 2020年第3期14卷 15-29页

作者： daian YUE Vania JOLOBOFF frederic mallet MOE Trustworthy Software International Joint Lab East China Normal UniversityShanghai 200062China INRIA Rennes 35042France Universite Cote d'Azur CNRSINRIAI3SSophia Antipolis 06900France

We present a method and a tool for the verification of causal and temporal properties for embedded *** analyze trace streams resulting from the execution of virtual prototypes that combine simulated hardware and embedded *** main originality lies in the use of logical clocks to abstract away irrelevant information from the *** propose a model-based approach that relies on domain specific languages(dSL).A first dSL,called TISL(trace item specification language),captures the relevant data structures.A second dSL,called STML(simulation trace mapping language),abstracts the simulation raw data into logical clocks,abstracting simulation data into relevant observation probes and thus reducing the trace streams *** third dSL,called TPSL,defines a set of behavioral patterns that include widely used temporal *** is meant for users who are not familiar with temporal *** pattern is transformed into an *** the automata are executed concurrently and each one raises an error if and when the related TPSL property is *** contribution is the integration of this pattern-based property specification language into the SimSoC virtual prototyping framework without requiring to recompile all the simulation models when the properties *** illustrate our approach with experiments that show the possibility to use multi-core platforms to parallelize the simulation and verification processes,thus reducing the verification time.

关键词： runtime verification trace analysis property specification logical clocks simulation virtual prototyping

Linguistic feature template integration for Chinese-Vietnamese neural machine translation

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

frontiers of Computer Science 2022年第4期16卷 223-225页

作者： Zhiqiang YU Yantuan XIAN Zhengtao YU Yuxin HUANG Junjun GUO Faculty of Information Engineering and Automation Kunming University of Science and TechnologyKunming 650500China School of Mathematics and Computer Science Yunnan Minzu UniversityKunming 650500China Yunnan Key Laboratory of Artificial Intelligence Kunming University of Science and TechnologyKunming 650500China

1 Introduction and main contributions Template-based approaches have achieved significant progress in low-resource neural machine translation(NMT)recently[1],such as the efficient works,NMT-GTM[2],SoftPrototype[3],***,most previous works only retrieve target sentence as template to generate translation,neglecting the utilization of linguistic feature that contained in the source sentence and template.

关键词： translation template such

同方期刊数据库

Alternative views of biological species: reproductively isolated units or genotypic clusters?

在线全文

学校读者我要写书评

暂无评论

National Science Review 2020年第8期7卷 1401-1407页

作者： James mallet department of Organismic and Evolutionary Biology Harvard University

Wang et al. in this journal argue that it may be time to abandon a classic idea about species, the biological species concept(BSC), given recent findings with genomic data on closely related taxa [1]. Furthermore, they propose a set of tests on genetic or genomic data that might lead to acceptance or rejection of the biological species concept.

关键词：

Scenario-based verification in presence of variability using a synchronous approach

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

frontiers of Computer Science 2013年第5期7卷 650-672页

作者： Jean-Vivien MILLO frederic mallet Anthony COAdOU S RAMESH INRIA Sophia-Antipolis Aoste team (INRIA/I3S/CNRS/UNS) Sophia-Antipolis 06560 France University of Nice Sophia Antipolis Sophia-Antipolis 06900 France Global General Motors R&d India Science Lab GM Technical Center India Bangalore 560066 India

This paper presents a new model of scenarios, dedicated to the specification and verification of system be- haviours in the context of software product lines （SPL）. We draw our inspiration from some techniques that are mostly used in the hardware community, and we show how they could be applied to the verification of software components. We point out the benefits of synchronous languages and mod- els to bridge the gap between both worlds.

关键词： Esterel UML MARTE scenario verification,feature interaction variability

An Entropic Scheme for an Angular Moment Model for the Classical Fokker-Planck-Landau Equation of Electrons

在线全文

学校读者我要写书评

暂无评论

Communications in Computational Physics 2014年第2期15卷 422-450页

作者： Jessy mallet Stephane Brull Bruno dubroca Univ.Bordeaux CELIAUMR 5107F-33400 TalenceFrance. Univ.Bordeaux IMBUMR 5251F-33400 TalenceFrance.

In plasma physics domain,the electron transport is described with the FokkerPlanck-Landau *** direct numerical solution of the kinetic equation is usually intractable due to the large number of independent *** is why we propose in this paper a new model whose derivation is based on an angular closure in the phase space and retains only the energy of particles as kinetic *** find a solution compatible with physics conditions,the closure of the moment system is obtained under a minimum entropy *** model is proved to satisfy the fundamental properties like a H *** an entropic discretization in the velocity variable is proposed on the semi-discrete ***,we validate on numerical test cases the fundamental properties of the full discrete model.

关键词： Entropy minimization Landau-Fokker-Planck equation moment systems entropic scheme.

Variceal bleeding in cirrhotic patients

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Gastroenterology Report 2017年第3期5卷 185-192,I0001页

作者： Maxime mallet Marika Rudler dominique Thabut Unitede Soins Intensifs d’Hepatologie Service d’Hepato-GastroenterologieGroupe Hospitalier Pitie-Salpetriere Charles FoixAssistance Publique-Hopitaux de ParisParisFrance

Variceal bleeding is one of the major causes of death in cirrhotic *** management during the acute phase and the secondary prophylaxis is well *** recommendations(2015 Baveno VI expert consensus)are available and should be followed for an optimal management,which must be performed as an emergency in a liver or general intensive-care *** is based on the early administration of a vasoactive drug(before endoscopy),an antibiotic prophylaxis and a restrictive transfusion strategy(hemoglobin target of 7 g/dL).The endoscopic treatment is based on band *** should be *** the most severe patients(Child Pugh C or B with active bleeding during initial endoscopy),transjugular intrahepatic portosystemic shunt(TIPS)should be performed within 72 hours after admission to minimize the risk of *** prophylaxis is based on the association of non-selective beta-blockers(NSBBs)and repeated band *** should be considered when bleeding reoccurs in spite of a well-conducted secondary prophylaxis or when NSBBs are poorly *** should also be considered when bleeding is *** transplantation should be discussed when bleeding is not controlled after TIPS insertion and in all cases when liver function is deteriorated.

关键词： variceal bleeding cirrhosis endoscopic treatment non-selective beta-blockers transjugular intrahepatic portosystemic shunt liver transplantation

Hybrid MARTE statecharts

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

frontiers of Computer Science 2013年第1期7卷 95-108页

作者： Jing LIU Ziwei LIU Jifeng HE freederic mallet Zuohua dING Shanghai Key Laboratory of Trustworthy Computing East China Normal University Shanghai 200062 China INRIA Sophia Antipolis M6diterran6e Sophia Antipolis 06902 France Center of Math Computing and Software Engineering Zhejiang Sci-Tech University Hangzhou 310018 China

The specification of modeling and analysis of real-time and embedded systems （MARTE） is an extension of the unified modeling language （UML） in the domain of real-time and embedded systems. Even though MARTE time model offers a support to describe both discrete and dense clocks, the biggest effort has been put so far on the specifi- cation and analysis of discrete MARTE models. To address hybrid real-time and embedded systems, we propose to ex- tend statecharts using both MARTE and the theory of hybrid automata. We call this extension hybrid MARTE statecharts. It provides an improvement over the hybrid automata in that： the logical time variables and the chronometric time vari- ables are unified. The formal syntax and semantics of hybrid MARTE statecharts are given based on labeled transition sys- tems and live transition systems. As a case study, we model the behavior of a train control system with hybrid MARTE statecharts to demonstrate the benefit.

关键词： UML MARTE hybrid automata hybrid MARTE statechart train control system

One-pot Synthesis and X-ray Structure determination of 7-(diethylamino)-3-(4-aminophenyl)coumarin

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Chinese Journal of Structural Chemistry 2015年第12期34卷 1841-1844页

作者： KULAI Ihor mallet-LAdEIRA Sonia KOVTUNENKO Volodymyr VOITENKO Zoia IMRCP CNRS UMR 5623 University of Toulouse department of Chemistry Taras Shevchenko National University of Kyiv ICT FR CNRS 2599 University of Toulouse

7-（diethylamino）-3-（4-aminophenyl）coumarin has been synthesized in a new one-pot synthesis by a three-step process starting from 4-（diethylamino）salicylaldehyde and 4-nitrophenylacetonitrile. The product was obtained in a good yield with a high degree of purity and characterized by NMR, IR and HR-MS. The orange crystals of the title compound were grown from ethyl acetate solution. The solid state structure was established by X-ray crystallography analysis. The crystal belongs to the orthorombic system, space group Pccn with a = 11.1095（5）, b = 33.0187（15）, c = 17.2865（7） A, V= 6341.1（5） A3, C19H20N2O2, Mr = 308.37, ρcalc = 1.292 g·cm^-3, = 0.085 mm^-1, F（000） = 2624, the final R = 0.0480 and wR = 0.1265 （I〉 2σ（I））.

关键词： coumarin dye crystal structure fluorescence one-pot synthesis

Survey of recent advances of in the field of π-conjugated heterocyclic azomethines as materials with tuneable properties

在线全文

学校读者我要写书评

暂无评论

Science China Chemistry 2013年第1期56卷 3-23页

作者： BOLdUC Andréanne mallet Charlotte SKENE W. G. Laboratoire de Caractérisation Photophysique des Matériaux Conjugués Département de ChimieUniversité de MontréalCP 6128Centre-villeMontrealQC H3C 3J7Canada

This account gives an overview of our recent work in the area of conjugated azomethines derived from *** will be presented that mild reaction conditions can be used to selectively prepare symmetric and unsymmetric conjugated *** further will be demonstrated that azomethines consisting of various 5-membered aryl heterocycles lead to chemically,reductively,hydrolytically,and oxidatively robust *** optical and electrochemical properties of these materials can be tuned contingent on the degree of conjugation,type of aryl heterocycle,and by including various electronic *** end result is materials having colors spanning 250 nm across the visible *** colors further can be tuned via electrochemical or chemical *** resulting doped states have high color contrasts from their corresponding neutral *** collective opto-electronic properties and the means to readily tune them,make thiophenoazomethine derivatives interesting materials for potential use in a gamut of applications.

关键词： review azomethines electronic push-pull electrochromism polymers thiophene conjugated materials X-ray crystallography