检索结果-南通市图书馆

Direct Model Checking Matrix Algorithm

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Journal of Computer Science & Technology 2006年第6期21卷 944-949页

作者：陶志红 hans Kleine Buening 王立福 Department of Computer Science and Technology Peking University Beijing 100871 P.R. China Department of Computer Science Paderborn University D-33095 Germany

During the last decade, Model Checking has proven its efficacy and power in circuit design, network protocol analysis and bug hunting. Recent research on automatic verification has shown that no single model-checking technique has the edge over all others in all application areas. So, it is very difficult to determine which technique is the most suitable for a given model. It is thus sensible to apply different techniques to the same model. However, this is a very tedious and time-consuming task, for each algorithm uses its own description language. Applying Model Checking in software design and verification has been proved very difficult. Software architectures （SA） are engineering artifacts that provide high-level and abstract descriptions of complex software systems. In this paper a Direct Model Checking （DMC） method based on Kripke Structure and Matrix Algorithm is provided. Combined and integrated with domain specific software architecture description languages （ADLs）, DMC can be used for computing consistency and other critical properties.

关键词： direct model checking (DMC) Kripke semantics structure CTL logic matrix algorithm

A novel role for mitochondrial fission in macrophages: trained innate immunity induced by beta-glucan

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Cellular & Molecular Immunology 2023年第8期20卷 864-866页

作者： Anna Brichkina hans-Uwe Simon Institute of Systems Immunology Center for Tumor Biology and ImmunologyPhilipps University of Marburg35043MarburgGermany Member of the German Center for Lung Research(DZL) Philipps University of Marburg35043MarburgGermany Laboratory of Molecular Immunology Institute of Fundamental Medicine and BiologyKazan Federal University420012KazanRussia Institute of Pharmacology University of Bern3010BernSwitzerland Institute of Biochemistry Brandenburg Medical School16816NeuruppinGermany

In a recent paper published in Nature Immunology,Ding et *** new insights into the mechanism of how trained innate immunity could eradicate *** authors demonstrated that yeast-derived whole beta-glucan particles(WGP)increased the responsiveness of lung interstitial macrophages to tumor-derived factors associated with the subsequent inhibition of tumor metastasis through enhanced cytotoxicity to cancer *** authors identified the metabolic sphingolipid–mitochondrial fission axis in WGP-trained macrophages as the key pathway responsible for this phenomenon and categorized it as a mechanism of trained innate immunity[1].

关键词： subsequent insight immunity

Value of three-dimensional reconstructions in pancreatic carcinoma using multidetector CT:Initial results

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

World Journal of Gastroenterology 2009年第46期15卷 5827-5832页

作者： Miriam Klauβ Max Schbinger Ivo Wolf Jens Werner hans-Peter Meinzer hans-Ulrich Kauczor Lars Grenacher Department of Diagnostic and Interventional Radiology University of Heidelberg Department of Medical and Biological Informatics German Cancer Research Center(DKFZ) Surgical Clinic University of Heidelberg

AIM:To evaluate the use of three-dimensional imaging of pancreatic carcinoma using multidetector computed tomography(CT)in a prospective ***:Ten patients with suspected pancreatic tumors were examined prospectively using multidetec-tor CT(Somatom Sensation 16,Siemens,Erlangen,Germany).The images were evaluated for the pres-ence of a pancreatic carcinoma and invasion of the peripancreatic vessels and surrounding *** the isotropic CT data sets,a three-dimensional image was created with automatic vascular analysis and semi-automatic segmentation of the organs and pancreatic tumor by a *** CT examinations and the three-dimensional images were presented to the sur-geon directly before and during the patient's operation using the Medical Imaging Interaction Toolkit-based software "ReLiver".Immediately after surgery,the value of the two images was judged by the *** operation and the histological results served as the gold ***:Nine patients had a pancreatic carcinoma(all pT3),and one patient had a serous *** tumor inf iltrated the superior mesenteric *** inf iltration was correctly *** carcinomas were *** comparison to the CT image with axial and coronal reconstructions,the three-dimensional image was judged by the surgeons as better for operation planning and consistently described as ***:A 3D-image of the pancreas repre-sents an invaluable aid to the ***,the 3D-software must be further developed in order to be integrated into daily clinical routine.

关键词： Pancreatic carcinoma 3D-reconstruction Multidetector computed tomography Pancreatic carcinomainvasion Segmentation

Effect of excitation wavelength(blue vs near UV)and dopant concentrations on afterglow and fast decay of persistent phosphor SrAl_(2)O_(4):Eu^(2+),Dy^(3+)

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Rare Earths 2022年第7期40卷 1022-1028页

作者： Bernhard Walfort Nando Gartmann Jafar Afshani Arnulf Rosspeintner hans Hagemann LumiNova AG SwitzerlandSpeicherstrasse 60aCH-9053TeufenSwitzerland Dépt.de Chimie Physique Universitéde Genève30Quai E.AnsermetCH 1211Geneva 4Switzerland

The persistent phosphor SrAl_(2)O_(4):Eu^(2+),Dy^(3+)is the subject of numerous *** often neglected aspect is that in this phosphor,as well as in Sr_(4)Al_(14)O_(25):Eu^(2+),Dy^(3+),there are two different Sr^(2)+sites which can be occupied by the dopant Eu^(2+)ions,We first introduce a general scheme of possible energy transfers in these persistent phosphor materials including explicitly both europium ions,This scheme is used as a generic starting point to study experimentally specific *** illustrate this application with the study of the effect of excitation wavelength(444 and 382 nm)on the afterglow of differently doped SrAl_(2)O_(4):Eu^(2+),Dy^(3+)samples,as well as on the emission decay *** the same excitation intensity under 444 nm excitation,the resulting afterglow intensity is stronger than under near UV *** 382 nm,Eu^(2+)ions on both Sr^(2)+s ites in SrAl_(2)O_(4)are excited,but at room temperature the blue emission is quenched,leading to a loss of *** observed effects can further be associated with the ratio of Eu^(2+)ions and trap states which are modulated by the concentrations of Eu^(2+)and Dy^(3+)in SrAl_(2)O_(4),as well as by temperature,Increasing the nominal Dy^(3+)content from 0.1 mol%to 0.5 mol%with respect to Sr results in the doubling of the integrated afterglow intensity and confirms thus that Dy^(3+)ions are indeed involved in the trapping process,The concentration of trap states is much lower than the concentration of Eu^(2+)ions,as even with low excitation densities,a plateau of integrated afterglow intensity(corresponding to the total number of accessible traps)is *** postulate that an important fraction of excited Eu^(2+)ions can potentially transfer their energy to trap *** that all traps are filled or in a dynamical filling-depletion process under illumination(with thermal and/or optical depletion processes),for the remaining Eu^(2+)a"normal"steady-state emission is observed

关键词： Persistent phosphor Strontium aluminate Europium Forster energy transfer Rare earths

Intrahepatic therapy for liver-dominant metastatic colorectal cancer

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

World Journal of Gastrointestinal Oncology 2015年第9期7卷 148-152页

作者： Kerlijne De Groote hans Prenen Department of Gastroenterology University Hospitals Leuven

In patients with metastatic colorectal cancer, the liver is the most common site of metastatic disease. In patients with liver-dominant disease, consideration needs to be given to locoregional treatments such as hepatic arterial infusion chemotherapy, transarterial chemoembolisation and selective internal radiation therapy because hepatic metastases are a major cause of liver failure especially in chemorefractory disease. In this review we provide insights on the published literature for locoregional treatment of liver metastases in metastatic colorectal cancer.

关键词： Colorectal cancer Liver metastases Intra-hepatic t

Molecular dynamics simulation of the Stribeck curve: Boundary lubrication, mixed lubrication, and hydrodynamic lubrication on the atomistic level

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Friction 2023年第12期11卷 2342-2366页

作者： Simon STEPHAN Sebastian SCHMITT hans HASSE Herbert M.URBASSEK Laboratory of Engineering Thermodynamics(LTD) Department of Mechanical and Process EngieeringTU KaiserslauternRheinland-Pfalz 67663Germany Physics Department and Research Center(OPTIMAS) TU KaiserslauternRheinland-Pfalz 67663Germany

Lubricated contact processes are studied using classical molecular dynamics simulations for determining the entire range of the Stribeck ***,the lateral movement of two solid bodies at different gap height are *** each simulation,a rigid asperity is moved at constant height above a flat iron surface in a lubricating *** methane and decane are considered as *** three main lubrication regimes of the Stribeck curve and their transition regions are covered by the study:Boundary lubrication(significant elastic and plastic deformation of the substrate),mixed lubrication(adsorbed fluid layer dominates the process),and hydrodynamic lubrication(shear flow is set up between the surface and the asperity).We find the formation of a tribofilm in which lubricant molecules are immersed into the metal surface—not only in the case of scratching,but also for boundary lubrication and mixed *** formation of a tribofilm is found to have important consequences for the contact ***,the two fluids are found to show distinctly different behavior in the three lubrication regimes:For hydrodynamic lubrication(large gap height),decane yields a better tribological performance;for boundary lubrication(small gap height),decane shows a larger friction coefficient than methane,which is due to the different mechanisms observed for the formation of the tribofilm;the mixed lubrication regime can be considered as a transition regime between the two other ***,it is found that the nature of the tribofilm depends on the lubricant:While methane particles substitute substrate atoms sustaining mostly the crystalline structure,the decane molecules distort the substrate surface and an amorphous tribofilm is formed.

关键词： boundary lubrication mixed lubrication hydrodynamic lubrication molecular dynamics simulation tribofilm

Computational Aspects of Multiscale Simulationwith the Lumped Particle Framework

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Communications in Computational Physics 2012年第9期12卷 1257-1274页

作者： Omar al-Khayat hans Petter Langtangen Computational Geosciences CBCSimula Research LaboratoryP.O.Box 134NO-1325 LysakerNorway Department of Informatics University of OsloP.O.Box 1080BlindernNO-0316 OsloNorway Center for Biomedical Computing Simula Research LaboratoryP.O.Box 134NO-1325 LysakerNorway

First introduced in[2],the lumped particle framework is a flexible and numerically efficient framework for the modelling of particle transport in fluid *** this paper,the framework is expanded to simulate multicomponent particle-laden fluid *** is accomplished by introducing simulation protocols tomodel particles over a wide range of length and time ***,we present a time ordering scheme and an approximate approach for accelerating the computation of evolution of different particle constituents with large differences in physical *** apply the extended framework on the temporal evolution of three particle constituents in sandladen flow,and horizontal release of spherical ***,we evaluate the numerical error of the lumped particle *** this context,we discuss the Velocity-Verlet numerical scheme,and show how to apply this to solving Newton’s equations within the *** show that the increased accuracy of the Velocity-Verlet scheme is not lost when applied to the lumped particle framework.

关键词： Multiscale modelling lumped particle model Velocity-Verlet scheme

Numerical Analysis of a System of Singularly Perturbed Convection-Diffusion Equations Related to Optimal Control

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Numerical Mathematics(Theory,Methods and Applications) 2011年第4期4卷 562-575页

作者： hans-Görg Roos Christian Reibiger Technische Universität Dresden Institut für Numerische Mathematik01062 DresdenGermany

We consider an optimal control problem with an 1D singularly perturbed differential state *** solving such problems one uses the enhanced system of the state equation and its adjoint ***,we obtain a system of two convectiondiffusion *** linear finite elements on adapted grids we treat the effects of two layers arising at different boundaries of the *** proof uniform error estimates for this method on meshes of Shishkin *** present numerical results supporting our analysis.

关键词： Convection-diffusion linear finite elements a priori analysis layer-adapted meshes singular perturbed optimal control

Ternary Diffusion Coefficients of 1-Hexanol-Hexane-Toluene and 1-Propanol-Water-Ethylene Glycol by Taylor Dispersion Method

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Tsinghua Science and Technology 2005年第5期10卷 523-528页

作者：任钟旗费维扬 hans-Joerg Bart State Key Laboratory of Solvent Extraction Department of Chemical Engineering Tsinghua University Beijing 100084 China Institute of Chemical Engineering University of Kaiserslautern Kaiserslautern 67653 Germany

The Taylor dispersion method was used to measure diffusion coefficients of three-component liquid systems. An improved constrained nonlinear least-square method was used to evaluate the ternary diffusion coefficients directly by fitting the mathematical solutions of the dispersion equation to eluted solute peaks detected using a differential refractometer. Diffusion coefficients of the three-component system of acetone-benzene-CCl4, determined at 25℃, were used to test the procedure. The measured diffusion coefficients were compared with values obtained by optical interferometry and the diaphragm cell method. Ternary diffusion coefficients are also determinated for solutions of 1-hexanol-hexane-toluene and 1-propanol- water-ethylene glycol at 25℃, with an accuracy of approximately 0.05 m^2·s^- 1.

关键词： Taylor dispersion method ternary diffusion coefficient constrained nonlinear least-squared method Fick law