181 research outputs found
Optimization of the Manufacturing Process Thin-walled Stainless Steel Sleeves
Bakalářská práce se zabývá návrhem a optimalizací výrobního postupu tenkostěnných pouzder z korozivzdorné oceli. Hlavním úkolem je dosáhnout požadované kvality obrobků. Práce teoreticky analyzuje vstupy ovlivňující proces výroby a optimalizaci řezných podmínek. Praktická část se věnuje volbě materiálu, strojů a nástrojů. Závěr práce obsahuje výrobní postupy a technicko-ekonomické zhodnocení navržených postupů.Bachelor thesis deals with proposal and optimization of manufacturing process of thin-walled sleeves made from stainless steel. Main objective is manage of required quality of workpieces. Thesis theoreticaly analyzes inputs which influence the process of manufacturing and optimization of cutting contidions. Practical part is dedicated to selecting of material, machines and tools. Conlusin of thesis contains manufacturing processes and technical-economic evaluation of proposed processes.346 - Katedra obrábění, montáže a strojírenské metrologievelmi dobř
Guess & Sketch: Language Model Guided Transpilation
Maintaining legacy software requires many software and systems engineering
hours. Assembly code programs, which demand low-level control over the computer
machine state and have no variable names, are particularly difficult for humans
to analyze. Existing conventional program translators guarantee correctness,
but are hand-engineered for the source and target programming languages in
question. Learned transpilation, i.e. automatic translation of code, offers an
alternative to manual re-writing and engineering efforts. Automated symbolic
program translation approaches guarantee correctness but struggle to scale to
longer programs due to the exponentially large search space. Their rigid
rule-based systems also limit their expressivity, so they can only reason about
a reduced space of programs. Probabilistic neural language models (LMs) produce
plausible outputs for every input, but do so at the cost of guaranteed
correctness. In this work, we leverage the strengths of LMs and symbolic
solvers in a neurosymbolic approach to learned transpilation for assembly code.
Assembly code is an appropriate setting for a neurosymbolic approach, since
assembly code can be divided into shorter non-branching basic blocks amenable
to the use of symbolic methods. Guess & Sketch extracts alignment and
confidence information from features of the LM then passes it to a symbolic
solver to resolve semantic equivalence of the transpilation input and output.
We test Guess & Sketch on three different test sets of assembly transpilation
tasks, varying in difficulty, and show that it successfully transpiles 57.6%
more examples than GPT-4 and 39.6% more examples than an engineered transpiler.
We also share a training and evaluation dataset for this task
Canonical Wnt signaling negatively modulates regulatory T cell function
Foxp3 is crucial for both the development and function of regulatory T (Treg) cells; however, the posttranslational mechanisms regulating Foxp3 transcriptional output remain poorly defined. Here, we demonstrate that Tcell factor 1 (TCF1) and Foxp3 associates in Treg cells and that active Wnt signaling disrupts Foxp3 transcriptional activity. A global chromatin immunoprecipitation sequencing comparison in Treg cells revealed considerable overlap between Foxp3 and Wnt target genes. The activation of Wnt signaling reduced Treg-mediated suppression both invitro and invivo, whereas disruption of Wnt signaling in Treg cells enhanced their suppressive capacity. The activation of effector Tcells increased Wnt3a production, and Wnt3a levels were found to be greatly increased in mononuclear cells isolated from synovial fluid versus peripheral blood of arthritis patients. We propose a model in which Wnt produced under inflammatory conditions represses Treg cell function, allowing a productive immune response, but, if uncontrolled, could lead to the development of autoimmunity
Les droits disciplinaires des fonctions publiques : « unification », « harmonisation » ou « distanciation ». A propos de la loi du 26 avril 2016 relative à la déontologie et aux droits et obligations des fonctionnaires
The production of tt‾ , W+bb‾ and W+cc‾ is studied in the forward region of proton–proton collisions collected at a centre-of-mass energy of 8 TeV by the LHCb experiment, corresponding to an integrated luminosity of 1.98±0.02 fb−1 . The W bosons are reconstructed in the decays W→ℓν , where ℓ denotes muon or electron, while the b and c quarks are reconstructed as jets. All measured cross-sections are in agreement with next-to-leading-order Standard Model predictions.The production of , and is studied in the forward region of proton-proton collisions collected at a centre-of-mass energy of 8 TeV by the LHCb experiment, corresponding to an integrated luminosity of 1.98 0.02 \mbox{fb}^{-1}. The bosons are reconstructed in the decays , where denotes muon or electron, while the and quarks are reconstructed as jets. All measured cross-sections are in agreement with next-to-leading-order Standard Model predictions
A study of CP violation in B-+/- -> DK +/- and B-+/- -> D pi(+/-) decays with D -> (KSK +/-)-K-0 pi(-/+) final states
A first study of CP violation in the decay modes and , where labels a or meson and labels a or meson, is performed. The analysis uses the LHCb data set collected in collisions, corresponding to an integrated luminosity of 3 fb. The analysis is sensitive to the CP-violating CKM phase through seven observables: one charge asymmetry in each of the four modes and three ratios of the charge-integrated yields. The results are consistent with measurements of using other decay modes
Study of the rare B-s(0) and B-0 decays into the pi(+) pi(-) mu(+) mu(-) final state
A search for the rare decays and is performed in a data set corresponding to an integrated luminosity of 3.0 fb collected by the LHCb detector in proton-proton collisions at centre-of-mass energies of 7 and 8 TeV. Decay candidates with pion pairs that have invariant mass in the range 0.5-1.3 GeV/ and with muon pairs that do not originate from a resonance are considered. The first observation of the decay and the first evidence of the decay are obtained and the branching fractions are measured to be and , where the third uncertainty is due to the branching fraction of the decay , used as a normalisation.A search for the rare decays Bs0→π+π−μ+μ− and B0→π+π−μ+μ− is performed in a data set corresponding to an integrated luminosity of 3.0 fb−1 collected by the LHCb detector in proton–proton collisions at centre-of-mass energies of 7 and 8 TeV . Decay candidates with pion pairs that have invariant mass in the range 0.5–1.3 GeV/c2 and with muon pairs that do not originate from a resonance are considered. The first observation of the decay Bs0→π+π−μ+μ− and the first evidence of the decay B0→π+π−μ+μ− are obtained and the branching fractions, restricted to the dipion-mass range considered, are measured to be B(Bs0→π+π−μ+μ−)=(8.6±1.5 (stat)±0.7 (syst)±0.7(norm))×10−8 and B(B0→π+π−μ+μ−)=(2.11±0.51(stat)±0.15(syst)±0.16(norm))×10−8 , where the third uncertainty is due to the branching fraction of the decay B0→J/ψ(→μ+μ−)K⁎(892)0(→K+π−) , used as a normalisation.A search for the rare decays Bs0→π+π−μ+μ− and B0→π+π−μ+μ− is performed in a data set corresponding to an integrated luminosity of 3.0 fb−1 collected by the LHCb detector in proton–proton collisions at centre-of-mass energies of 7 and 8 TeV . Decay candidates with pion pairs that have invariant mass in the range 0.5–1.3 GeV/c2 and with muon pairs that do not originate from a resonance are considered. The first observation of the decay Bs0→π+π−μ+μ− and the first evidence of the decay B0→π+π−μ+μ− are obtained and the branching fractions, restricted to the dipion-mass range considered, are measured to be B(Bs0→π+π−μ+μ−)=(8.6±1.5 (stat)±0.7 (syst)±0.7(norm))×10−8 and B(B0→π+π−μ+μ−)=(2.11±0.51(stat)±0.15(syst)±0.16(norm))×10−8 , where the third uncertainty is due to the branching fraction of the decay B0→J/ψ(→μ+μ−)K⁎(892)0(→K+π−) , used as a normalisation.A search for the rare decays and is performed in a data set corresponding to an integrated luminosity of 3.0 fb collected by the LHCb detector in proton-proton collisions at centre-of-mass energies of 7 and 8 TeV. Decay candidates with pion pairs that have invariant mass in the range 0.5-1.3 GeV/ and with muon pairs that do not originate from a resonance are considered. The first observation of the decay and the first evidence of the decay are obtained and the branching fractions, restricted to the dipion-mass range considered, are measured to be and , where the third uncertainty is due to the branching fraction of the decay , used as a normalisation
Angular analysis of the B-0 -> K*(0) e(+) e(-) decay in the low-q(2) region
An angular analysis of the decay is performed using a data sample, corresponding to an integrated luminosity of 3.0 {\mbox{fb}^{-1}}, collected by the LHCb experiment in collisions at centre-of-mass energies of 7 and 8 TeV during 2011 and 2012. For the first time several observables are measured in the dielectron mass squared () interval between 0.002 and 1.120. The angular observables and which are related to the polarisation and to the lepton forward-backward asymmetry, are measured to be and , where the first uncertainty is statistical and the second systematic. The angular observables and which are sensitive to the photon polarisation in this range, are found to be and . The results are consistent with Standard Model predictions.An angular analysis of the B → K^{*}^{0} e e decay is performed using a data sample, corresponding to an integrated luminosity of 3.0 fb, collected by the LHCb experiment in pp collisions at centre-of-mass energies of 7 and 8 TeV during 2011 and 2012. For the first time several observables are measured in the dielectron mass squared (q) interval between 0.002 and 1.120 GeV /c. The angular observables F and A which are related to the K^{*}^{0} polarisation and to the lepton forward-backward asymmetry, are measured to be F = 0.16 ± 0.06 ± 0.03 and A = 0.10 ± 0.18 ± 0.05, where the first uncertainty is statistical and the second systematic. The angular observables A and A which are sensitive to the photon polarisation in this q range, are found to be A = − 0.23 ± 0.23 ± 0.05 and A = 0.14 ± 0.22 ± 0.05. The results are consistent with Standard Model predictions.An angular analysis of the decay is performed using a data sample, corresponding to an integrated luminosity of 3.0 {\mbox{fb}^{-1}}, collected by the LHCb experiment in collisions at centre-of-mass energies of 7 and 8 TeV during 2011 and 2012. For the first time several observables are measured in the dielectron mass squared () interval between 0.002 and 1.120. The angular observables and which are related to the polarisation and to the lepton forward-backward asymmetry, are measured to be and , where the first uncertainty is statistical and the second systematic. The angular observables and which are sensitive to the photon polarisation in this range, are found to be and . The results are consistent with Standard Model predictions
Observation of the B0 → ρ0ρ0 decay from an amplitude analysis of B0 → (π+π−)(π+π−) decays
Proton–proton collision data recorded in 2011 and 2012 by the LHCb experiment, corresponding to an integrated luminosity of 3.0 fb−1 , are analysed to search for the charmless B0→ρ0ρ0 decay. More than 600 B0→(π+π−)(π+π−) signal decays are selected and used to perform an amplitude analysis, under the assumption of no CP violation in the decay, from which the B0→ρ0ρ0 decay is observed for the first time with 7.1 standard deviations significance. The fraction of B0→ρ0ρ0 decays yielding a longitudinally polarised final state is measured to be fL=0.745−0.058+0.048(stat)±0.034(syst) . The B0→ρ0ρ0 branching fraction, using the B0→ϕK⁎(892)0 decay as reference, is also reported as B(B0→ρ0ρ0)=(0.94±0.17(stat)±0.09(syst)±0.06(BF))×10−6
Measurement of the (eta c)(1S) production cross-section in proton-proton collisions via the decay (eta c)(1S) -> p(p)over-bar
The production of the state in proton-proton collisions is probed via its decay to the final state with the LHCb detector, in the rapidity range GeV/c. The cross-section for prompt production of mesons relative to the prompt cross-section is measured, for the first time, to be at a centre-of-mass energy TeV using data corresponding to an integrated luminosity of 0.7 fb, and at TeV using 2.0 fb. The uncertainties quoted are, in order, statistical, systematic, and that on the ratio of branching fractions of the and decays to the final state. In addition, the inclusive branching fraction of -hadron decays into mesons is measured, for the first time, to be , where the third uncertainty includes also the uncertainty on the inclusive branching fraction from -hadron decays. The difference between the and meson masses is determined to be MeV/c.The production of the state in proton-proton collisions is probed via its decay to the final state with the LHCb detector, in the rapidity range . The cross-section for prompt production of mesons relative to the prompt cross-section is measured, for the first time, to be at a centre-of-mass energy using data corresponding to an integrated luminosity of 0.7 fb , and at using 2.0 fb . The uncertainties quoted are, in order, statistical, systematic, and that on the ratio of branching fractions of the and decays to the final state. In addition, the inclusive branching fraction of -hadron decays into mesons is measured, for the first time, to be , where the third uncertainty includes also the uncertainty on the inclusive branching fraction from -hadron decays. The difference between the and meson masses is determined to be .The production of the state in proton-proton collisions is probed via its decay to the final state with the LHCb detector, in the rapidity range GeV/c. The cross-section for prompt production of mesons relative to the prompt cross-section is measured, for the first time, to be at a centre-of-mass energy TeV using data corresponding to an integrated luminosity of 0.7 fb, and at TeV using 2.0 fb. The uncertainties quoted are, in order, statistical, systematic, and that on the ratio of branching fractions of the and decays to the final state. In addition, the inclusive branching fraction of -hadron decays into mesons is measured, for the first time, to be , where the third uncertainty includes also the uncertainty on the inclusive branching fraction from -hadron decays. The difference between the and meson masses is determined to be MeV/c
- …