检索结果-南通市图书馆

Basic deep eutectic solvents as reactant, template and solvents for ultra-fast preparation of transition metal oxide nanomaterials

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Chinese Chemical Letters 2020年第6期31卷 1584-1587页

作者： Jia Chen Mohammad Chand Ali Ruirui Liu jean claude Munyemana Zhan Li Honglin Zhai Hongdeng Qiu CAS Key Laboratory of Chemistry of Northwestern Plant Resources and Key Laboratory for Natural Medicine of Gansu Province Lanzhou Institute of Chemical PhysicsChinese Academy of SciencesLanzhou 730000.China University of Chinese Academy of Sciences Chinese Academy of SciencesBeijing 100039China Department of Chemistry Lanzhou UniversityLanzhou 730000.China

Developing a new type of deep eutectic solvents(DESs)is indispensable for expanding their application in various ***,we report a series of new highly basic ***-IR,quantitative 1 H NMR,MD simulation and physical properties show that these basic liquids are made up of hydroxide acceptor of alkali metal hydroxides in which the hydrogen bonding interactions coordinate the *** DESs can be played three roles as new solvents,template and reactant for facile and ultra-fast preparation of transition metal oxide nanomaterials such as NiCo2 O4,MnCo2 O4,NiMn2 O4,CoCu2 O4 and Co3 O4 under mild *** work shows one of the low energy-intensive methods for nanomaterial *** initial findings of basic deep eutectic solvents provide a potential applicability around the systematic development of transition metal oxide nanosheets.

关键词： Basic deep eutectic solvents Hydrogen-bonding acceptors Hydrogen-bonding donors Transition metal oxide Nanomaterials

Adding body load modifies the vibratory sensation of the foot sole and affects the postural control

在线全文

学校读者我要写书评

暂无评论

Military Medical Research 2019年第1期6卷 60-66页

作者： Yves Jammes Eva Ferrand Corentin Fraud Alain Boussuges jean paul Weber School of Podiatry C2VN Inra Inserm Faculty of Medicine Aix Marseille University

Background: Heavy backpacks are often used by soldiers and firefighters. Weight carrying could reduce the speed and efficiency in task completion by altering the foot sole sensitivity and postural ***: In fifteen healthy subjects, we measured the changes in sensitivity to vibrations applied to the foot sole when standing upright or walking after load carrying(30% body weight). The participants were asked to judge different vibration amplitudes applied on the 2 nd or 5 th metatarsal head and the heel at two frequencies(25 and 150 Hz) to determine the vibration threshold and the global perceptual representation(Ψ)of the vibration amplitude(Φ)given by the Stevens power function(Ψ=k×Φ~n). Any increase in negative k value indicated a reduction in sensitivity to the lowest loads. Pedobarographic measurements, with computation of the center of pressure(COP) and its deviations, were performed during weight ***: The 25-Hz vibration threshold significantly increased after weight carrying when standing upright or *** standing with the added loads, the absolute negative k value increased for the 25 Hz frequency. After walking with the added loads, the k coefficient increased for the two vibration frequencies. Weight carrying significantly increased both the CoP surface and CoP lateral ***: Our data show that weight carrying reduces the sensory pathways from the foot sole and accentuates the center of pressure deviations.

关键词： Foot sole sensitivity Vibration Weight carrying Postural control

在线全文

学校读者我要写书评

暂无评论

金属注射成形烧结工艺的试验与数值模拟

机械工程学报 2008年第8期44卷 157-163页

作者：宋久鹏 BARRIERE Thierry 柳葆生 GELIN jean-claude 西南交通大学应用力学与工程系成都610031 法国Femto-ST研究所应用力学实验室

采用粘塑性理论建立烧结过程的本构模型,以316L不锈钢粉末注射成形产品为例,设计出烧结过程中重力作用下弯曲梁试验和膨胀计中的自由烧结试验,分别用于标定本构模型中的粘度模量和烧结应力。通过用户子程序,在有限元求解器Abaqus^(?)上... 详细信息

采用粘塑性理论建立烧结过程的本构模型,以316L不锈钢粉末注射成形产品为例,设计出烧结过程中重力作用下弯曲梁试验和膨胀计中的自由烧结试验,分别用于标定本构模型中的粘度模量和烧结应力。通过用户子程序,在有限元求解器Abaqus^(?)上实现数值模拟,预测产品在烧结过程中的收缩和变形。考虑了重力、摩擦以及注射阶段粉末与粘结剂的偏析效应对于烧结工艺的影响,数值模拟结果与试验结果一致。

关键词：金属注射成形烧结粘塑性有限元法

Formal verification of synchronous data-flow program transformations toward certified compilers

在线全文

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2013年第5期7卷 598-616页

作者： Van Chan NGO jean-Pierre TALPIN Thierry GAUTIER paul Le GUERNIC Loic BESNARD INRIA Rennes-Bretagne Atlantique Rennes 35042 France IRISA/CNRS Rennes 35042 France

Translation validation was invented in the 90＇s by Pnueli et al. as a technique to formally verify the correctness of code generators. Rather than certifying the code generator or exhaustively qualifying it, translation validators attempt to verify that program transformations preserve semantics. In this work, we adopt this approach to formally verify that the clock semantics and data dependence are preserved during the compilation of the Signal compiler. Translation valida- tion is implemented for every compilation phase from the initial phase until the latest phase where the executable code is generated, by proving the transformation in each phase of the compiler preserves the semantics. We represent the clock semantics, the data dependence of a program and its trans- formed counterpart as first-order formulas which are called clock models and synchronous dependence graphs （SDGs）, respectively. We then introduce clock refinement and depen- dence refinement relations which express the preservations of clock semantics and dependence, as a relation on clock mod- els and SDGs, respectively. Our validator does not require any instrumentation or modification of the compiler, nor any rewriting of the source program.

关键词： formal verification translation validation certi-fied compiler multi-clocked synchronous programs embed-ded systems.

Towards a verified compiler prototype for the synchronous language SIGNAL

在线全文

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2016年第1期10卷 37-53页

作者： Zhibin YANG jean-paul BODEVEIX Mamoun FILALI Kai HU Yongwang ZHAO Dianfu MA College of Computer Science and Technology Nanjing University of Aeronautics and Astronautics Nanjing 210016 China IRIT-CNRS Universite de Toulouse Toulouse 31062 France State Key Laboratory of Software Development Environment Beihang University Beijing 100191 China

SIGNAL belongs to the synchronous languages family which are widely used in the design of safety-critical real-time systems such as avionics, space systems, and nu- clear power plants. This paper reports a compiler prototype for SIGNAL. Compared with the existing SIGNAL com- piler, we propose a new intermediate representation （named S-CGA, a variant of clocked guarded actions）, to integrate more synchronous programs into our compiler prototype in the future. The front-end of the compiler, i.e., the transla- tion from SIGNAL to S-CGA, is presented. As well, the proof of semantics preservation is mechanized in the theo- rem prover Coq. Moreover, we present the back-end of the compiler, including sequential code generation and multi- threaded code generation with time-predictable properties. With the rising importance of multi-core processors in safety- critical embedded systems or cyber-physical systems （CPS）, there is a growing need for model-driven generation of multi- threaded code and thus mapping on multi-core. We propose a time-predictable multi-core architecture model in archi- tecture analysis and design language （AADL）, and map the multi-threaded code to this model.

关键词： synchronous languages SIGNAL guarded ac-tions verified compiler Coq architecture analysis and designlanguage (AADL)

LA REVOLUTION FRANCAISE ET LA CONQUETE DE L'OPION PUBLIQUE

在线全文

学校读者我要写书评

暂无评论

法国研究 1989年第4期 90-96页

作者： jean-claude Bonnet

Plus que la prise de 1a Bastille, du 20 juin 1789 les du-rent se dans la salle d＇un jen de paume et y firent le serment de ne plusse , rut le coup de force contre tout l＇appareil de la monarchic. llengagea un pr... 详细信息

关键词： Pr LA REVOLUTION FRANCAISE ET LA CONQUETE DE L’OPION PUBLIQUE ET DE

Supervised Machine Learning Approach Based Adaptive Modulation Order Selection in Spatial Modulation

在线全文

学校读者我要写书评

暂无评论

Supervised Machine Learning Approach Based Adaptive Modulati...

作者： TWARAYISENZE jean paul 山东大学

学位级别：硕士

In wireless communications,spatial modulation（SM）is a simple and promising multiple-input multiple-output（MIMO）technology to overcome the drawbacks existing in conventional MIMO systems for the inherent characteristics,e.g.,the activation of single transmit antenna per each symbol period to avoid inter-channel interference（ICI）and inter-antenna synchronization（IAS）.SM can also reduce the transmit power due to the activation of one transmit antenna and achieve high bit rate by additional bits conveyed by the activated antenna *** the other hand,SM is very sensitive to channel fading and *** deal with this issue,adaptive modulation order selection（MOS）is adopted in SM,where different modulation orders can be adjusted to the available channel conditions to enhance the system bit error rate（BER）***,the classical optimal adaptive MOS in SM is usually performed through conducting an exhaustive search（ES）over all the received symbols,which results in high system ***,machine learning（ML）technique has proved the efficient reduction of complexity in SM-MIMO *** this thesis,we employ supervised learning,which is a ML task of learning a function that maps an input to an output based on a labeled training ***,we utilize supervised ML technique to select the optimal modulation order in SM and provide an effective complexity-performance tradeoff under the given spectral efficiency（SE）.The main contributions of this thesis focus on the ***,two supervised machine learning classifiers（MLCs）,K-nearest neighbors（KNN）and support vector machine（SVM）are proposed to convert the classical adaptive MOS optimization problem into a multi-class classification problem and predict the modulation order candidate which provides the maximum minimum Euclidean distance（MED）by training the relevant *** a result,the system complexity is significantly reduced at the cost of marginal BER performance ***,to fu

关键词： multiple-input multiple-output Spatial modulation modulation order selection K-nearest neighbors support vector machine artificial neural network

The Njiki’s Fundamental Theorem-Definition on Fractions in the Mathematical Set ℚ and by Extension in ℝ and ℂ, for the Purpose of Leading to the Construction of Some Algebraic Structures as Its Theoretical Applications and for the Practical Ones

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

American Journal of Computational Mathematics 2024年第3期14卷 358-379页

作者： jean claude Njiki Independent Researcher Yaound Cameroon

The purpose of the research in the NJIKI’s fundamental THEOREM-DEFINITION on fractions in the mathematical set ℚand by extension in ℝand ℂand in order to construct some algebraic structures is about the proved EXISTENCE and the DEFINITION by NJIKI of two INNOVATIVE, IMPORTANT and TEACHABLE operations of addition or additive operations, in ℚ, marked ⊕and +α,β, and taken as VECTORIAL, TRIANGULAR, of THREE or PROPORTIONAL operations and in order to make THEM not be different from the RATIONAL ONE, +, but to bring much more and new information on fractions, and, by extension in ℝand ℂ. And the very NJIKI’s fundamental THEOREM-DEFINITION having many APPLICATIONS in the everyday life of the HUMAN BEINGS and without talking about computer sciences, henceforth being supplied with very interesting new ALGORITHMS. And as for the work done in the research, it will be waiting for its extension to be done after publication and along with the research results concerned.

关键词： Operations of Addition Additive Operations in ℚ Laws in ℚ THEOREM-DEFINITION External Multiplication

Automatic sub-pixel co-registration of Landsat-8 Operational Land Imager and Sentinel-2A Multi-Spectral Instrument images using phase correlation and machine learning based mapping

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

International Journal of Digital Earth 2017年第12期10卷 1253-1269页

作者： Sergii Skakun jean-claude Roger Eric F.Vermote Jeffrey G.Masek Christopher O.Justice Department of Geographical Sciences University of MarylandCollege ParkMDUSA NASA Goddard Space Flight Center Code 619 GreenbeltMDUSA NASA Goddard Space Flight Center Code 618 GreenbeltMDUSA

This study investigates misregistration issues between Landsat-8/Operational Land Imager and Sentinel-2A/Multi-Spectral Instrument at 30 m resolution,and between multi-temporal Sentinel-2A images at 10 m resolution using a phase-correlation approach and multiple transformation ***-registration of 45 Landsat-8 to Sentinel-2A pairs and 37 Sentinel-2A to Sentinel-2A pairs were *** correlation proved to be a robust approach that allowed us to identify hundreds and thousands of control points on images acquired more than 100 days ***,misregistration of up to 1.6 pixels at 30 m resolution between Landsat-8 and Sentinel-2A images,and 1.2 pixels and 2.8 pixels at 10 m resolution between multi-temporal Sentinel-2A images from the same and different orbits,respectively,were *** non-linear random forest regression used for constructing the mapping function showed best results in terms of root mean square error(RMSE),yielding an average RMSE error of 0.07±0.02 pixels at 30 m resolution,and 0.09±0.05 and 0.15±0.06 pixels at 10 m resolution for the same and adjacent Sentinel-2A orbits,respectively,for multiple tiles and multiple conditions.A simpler 1st order polynomial function(affine transformation)yielded RMSE of 0.08±0.02 pixels at 30 m resolution and 0.12±0.06(same Sentinel-2A orbits)and 0.20±0.09(adjacent orbits)pixels at 10 m resolution.

关键词： Sub-pixel co-registration phase correlation misregistration Landsat-8 Sentinel-2 machinelearning random forest