检索结果-南通市图书馆

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 systems.We analyze trace streams resulting from the execution of virtual prototypes that combine simulated hardware and embedded software.The main originality lies in the use of logical clocks to abstract away irrelevant information from the trace.We 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 size.The third DSL,called TPSL,defines a set of behavioral patterns that include widely used temporal properties.This is meant for users who are not familiar with temporal logics.Each pattern is transformed into an automata.All the automata are executed concurrently and each one raises an error if and when the related TPSL property is violated.The 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 evolve.We 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

Accuracy and analysis of long-radius measurement with long trace profiler

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Chinese Optics Letters 2011年第10期9卷 76-78页

作者：叶海仙杨李茗 Chengdu Fine Optical Engineering Research Center

The long trace profiler （LTP） is proposed to measure radius of curvature （R） and surface figure of a longradius spherical surface in an optical shop. Equipped with a motorized rotary stage and a two-dimensional tilt stage, the LTP scans the full aperture and calculates the absolute radius of curvature of each scanning line based on the least square method. Nonlinear error and manufacture error difference between center and the edge are obtained by comparing R results. The R-limit is validated and expressed as D/R, where D is the aperture of the mirror under test. A full-aperture three-dimensional figure is also reconstructed based on triangle interpolation.

关键词： Least squares approximations Optical testing Trace analysis

Advancement in “Direct Solid Sampling” Glow Discharge Mass Spectroscopy（GDMS） for Trace analysis of Advanced Alloys,Engineering Coatings,Thin Films and Coarse Surfaces

在线全文

学校读者我要写书评

暂无评论

Advancement in “Direct Solid Sampling” Glow Discharge Mass...

Self-assembly at Liquid-Liquid Interface: A New SERS Substrate for Analytical Sensing

“第十届中国钢铁年会”暨“第六届宝钢学术年会”

作者： Wang Xinwei Su Kenghsien Liu Yan PUTYERA Karol EAG Inc.

Glow discharge mass spectroscopy（GDMS） is a direct solid sampling technique with growing importance for high sensitivity trace elemental analysis of advanced materials used in aerospace, semiconductor, energy and medical device industries. In this article, several case studies were given, covering the applications in quality control, production support and failure analysis. GDMS is the technique of choice for full survey analysis, in particular monitoring the critical bulk trace impurity in advanced alloys such as S, Se, Pb, etc., due to its exceptional long-term reproducibility（yearly measurement variation RSD ＜ 10%）. The GDMS equipped with a fast flow GD source is also a highly sensitive technique for depth profiling of trace impurities in engineering coatings（up to 100 s mm thick） in the direct current mode, and in thin metal oxide film（100s nm thick） in the modulated GD mode. We also demonstrated that this GDMS configuration is also an effective tool for near surface chemical analysis of coarse surfaces.

关键词： glow discharge mass spectroscopy Trace analysis depth profile alloys engineering coatings

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

Chinese Journal of Chemistry 2023年第5期41卷 569-580页

作者： Yue Zhao Lu Shi Yang Tian Limin Zhang Shanghai Key Laboratory of Green Chemistry and Chemical Processes School of Chemistry and Molecular EngineeringEast China Normal UniversityDongchuan Road 500Shanghai 200241China

As a highly powerful and sensitive tool,surface enhanced Raman scattering(SERs)has attracted extensive attention in quantification analysis.However,the strong dependence of SERS signal on the detailed local nanostructure makes quantitative SERS analysis suffer from difficulties in controlling the uniformity of nanoscale hot spots and the inefficiency of placing the targeted molecules in prefabricated hot spots.

关键词： Raman spectroscopy Self-assembly Liquid-liquid interface Reproducibility Trace analysis

A simple fluorescent sensor for highly sensitive detection of UO_(2)2+

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Chinese Chemical Letters 2023年第4期34卷 420-423页

作者： Huanhuan Ding Chenguang Li Hailing Zhang Na Lin Wen-Sheng Ren Shicheng Li Weidong Liu Zhonghua Xiong Binyuan Xia Chong-Chen Wang Institute of Materials China Academy of Engineering PhysicsMianyang 621907China Beijing Key laboratory of Functional Materials for Building Structure and Environment Remediation/Beijing Energy Conservation&Sustainable Urban and Rural Development Provincial and Ministry Co-construction Collaboration Innovation Center Beijing University of Civil Engineering and ArchitectureBeijing 100044China

Extensive application of nuclear energy has caused widespread environmental uranium contamination.New detection approaches without complicated sample pretreatment and precision instruments are in demand for on-site and in-time determination of uranyl ions in environmental monitoring, especially in an emergency situation. In this work, a simple and effective fluorescent sensor(Z)-N’-hydroxy-4-(1,2,2-triphenylvinyl)benzimidamide(TPE-A) with aggregation-induced emission(AIE) character was established and studied. It could realize to detect UO_(2)2+via quenching the fluorescence of its aggregation-induced emission, with good selectivity and sensitivity. Such strategy shows a wide linear range from 5.0 × 10^(-8)mol/L to 4.5 × 10^(-7)mol/L(R^(2)= 0.9988) with exceptional sensitivity reaching 4.7 × 10^(-9)mol/L, which is far below the limit for uranium in drinking water(30 μg/L, ca. 1.1 × 10-7mol/L) stipulated by the WHO.A response time less than four minutes make it rapid for uranyl ion measurement. It was applied for detection of uranyl ion in spiked river water samples with recoveries in the range of 98.7%-104.0%, comparable to those obtained by ICP-MS. With the advantages of portable apparatus, rapid detection process and high sensitivity, TPE-A can serve as a promising fluorescent sensor for the detection of UO_(2)2+in environmental water samples.

关键词： Uranyl ion Trace analysis Aggregation-induced emission Fluorescent sensor Intramolecular charge transfer

A Configurationally Tunable Perylene Bisimide Derivative-based Fluorescent Film Sensor for the Reliable Detection of Volatile Basic Nitrogen towards Fish Freshness Evaluation

在线全文

学校读者我要写书评

暂无评论

Chinese Journal of Chemistry 2022年第2期40卷 201-208页

作者： Qingwei Jiang Zhaolong Wang Gang Wang Ke Liu Wenjun Xu Congdi Shang Xinyu Gou Taihong Liu Yu Fang Key Laboratory of Applied Surface and Colloid Chemistry of Ministry of Education School of Chemistry and Chemical EngineeringShaanxi Normal UniversityXi'anShaanxi 710119China School of Materials Science and Engineering Shaanxi Normal UniversityXi'anShaanxi 710119China School of Food Science and Engineering Northwest A&F UniversityYanglingShaanxi 712100China

Rapid and real-time mon itoring of food quality plays critical roles in the food industry and for the gen era I public health.Herei n,we specially synthesized a new perylene bisimide(PBI)derivative(PCB-EpE)composed of two PBI units and a rigid o-carborane linker,which was further employed in constructi ng a con ceptual fluoresce nt film sen sor for evaluati ng fish fresh ness.Photophysical studies indicate that PCB-EpE displays an open"Z-type"molecular configuration in chloroform and a closed"△-type"configuration in methyl cyclohexa ne.Comparatively,"Z-type"molecular configurati on possesses higher fluoresce nee qua ntum yield and is more sen sitive toward volatile basic nitrogen(VBN).

关键词： Fluorescence Sensors Trace analysis Perylene bisimide Food freshness

痕量分析及其在冶金检测中的作用和展望(下)

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

冶金分析 1993年第5期 32-36页

作者：张月霞冶金部钢铁研究总院北京100081

五、评价痕量分析方法的指标对分析测定方法的质量评价一般有检测能力(Power of detection),可靠性(Re-liability of information)和经济性(Eeo-nomic aspect)三条标准,在评价痕量分析方法的质量时也不例外.

关键词： Trace analysis trace elements Ferrous metallurgical product Power of detection Reliability of informatics

A TEM method for accurate measurement of habit plane (interface ) : double edge-on Trace analysis

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Progress in Natural Science:Materials International 1997年第6期 104-110页

作者：罗承萍肖晓玲吴东晓 China Department of Mechano-Electronic Engineering Guangzhou 510641 South China University of Technology

A method of Trace analysis, the double edge-on one, is described and used to accurately determine the habit plane and interface of lath-shaped or plate-like transformation products including Widmansttaten precipitate, lath martensite and bainite plate. The results of measurements for four alloys and steels are presented; and the measured habit plane and interface were found in most cases in excellent agreement with the predictions from the relevant crystallographic theories of phase transformations.

关键词： habit plane TEM Trace analysis double edge-on method.

Effects of acid anions, major metallic elements, and chlorides on Li detection by DFWM in graphite furnace

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Chinese Optics Letters 2014年第12期12卷 121-125页

作者：费坤程雪梅尹逊莉陈浩伟白晋涛任兆玉 State Key Lab Incubation Base of Photoelectric Technology and Functional Materials National Photoelectric Technology and Functional Materials and Application of Science and Technology International Cooperation Center Northwest University

In trace Li analysis with degenerate four-wave mixing （DFWM） method, acid anions and major metallic elements are dominant interferences in Li-eontaining samples. To better use DFWM technique to analyze trace Li in actual samples, we study their effects on Li DFWM signal intensity. It is found that K, Cs, and Ni can enhance the Li DFWM signal, SO4^2, PO^34-, Cl-, and Ca can cause significant suppression, and NO3-, Mg, Ba, Sr, and Na almost have no effects. Finally, we use HaBOa to eliminate the depressive effects of chlorides on Li DFWM signal. The result is also of reference in other trace elements analysis with DFWM.

关键词： Boric acid Chlorine compounds Lithium Metallic compounds Trace analysis trace elements