搜索页_+safety+property

常用资源

电子图书

期刊论文

学位会议

外文资源

特色专题

内部出版物

中国地质文献-英文(40)	SpringerLink电子期刊(610)	NATURE电子期刊(10)	Elsevier电子期刊(839)
Wiley电子期刊(17)	ProQuest学位论文(99)	GSW全文库(2)	ACS电子期刊(35)

在“Elsevier电子期刊”中，命中：839条，耗时：0.0349808 秒

在所有数据库中总计命中：1,652条

1.Safety is an emergent property: Illustrating functional resonance in Air Traffic Management with formal verification

作者：Qibo Yang ; Jin Tian ; ^{tianjin@buaa.edu.cn} ; Tingdi Zhao

关键词：Functional Resonance Analysis Method (FRAM) ; System safety ; Air Traffic Management ; Formal verification ; Socio-technical system

刊名：Safety Science

出版年：2017

2.A new approach to understand metro operation safety by exploring metro operation hazard network (MOHN)

作者：Qiming Li^a ; Liangliang Song^a ; ^{liang.liang.song@hotmail.com} ; George F. List^b ; Yongliang Deng^c ; Zhipeng Zhou^d ; Ping Liu^e

关键词：Safety analysis ; Accident analysis ; Metro operation hazard network (MOHN) ; Complex network theory ; Structural characteristics

刊名：Safety Science

出版年：2017

3.Road safety effects of roundabouts: A meta-analysis

作者：Rune Elvik ^re@toi.no

关键词：Roundabouts ; Safety effects ; Meta-analysis ; Meta-regression

刊名：Accident Analysis & Prevention

出版年：2017

4.Model checking of linear-time properties in multi-valued systems

作者：Yongming Li ; ^a ; ^{liyongm@snnu.edu.cn" class="auth_mail" title="E-mail the corresponding author} ; Manfred Droste^b ; ^{droste@informatik.uni-leipzig.de" class="auth_mail" title="E-mail the corresponding author} ; Lihui Lei^a ; ^{leilihui@snnu.edu.cn" class="auth_mail" title="E-mail the corresponding author}

关键词：Model checking ; Multi-valued transition system ; Invariant ; Safety ; Liveness ; Lattice-valued finite automaton

刊名：Information Sciences

出版年：2017

5.Development and evaluation of predictive model for bovine serum albumin-water partition coefficients of neutral organic chemicals

作者：Guangcai Ma ; Quan Yuan ; Haiying Yu ; ^yhy@zjnu.cn ; Hongjun Lin ; Jianrong Chen ; Huachang Hong

关键词：Bovine serum albumin &ndash ; water partition coefficients ; Quantitative structure &ndash ; property relationship ; QSAR ; PM6 ; Quantum chemical descriptors

刊名：Ecotoxicology and Environmental Safety

出版年：2017

6.Exploring MIA-QSPR's for the modeling of biomagnification factors of aromatic organochlorine pollutants

作者：Estella G. da Mota ; Mariene H. Duarte ; Stephen J. Barigye ; Teodorico C. Ramalho ; Matheus P. Freitas ; ^{matheus@dqi.ufla.br" class="auth_mail" title="E-mail the corresponding author}

关键词：aug ; augmented ; MIA ; Multivariate image analysis ; QSPR ; Quantitative Structure-Property Relationships ; BMF ; biomagnification ; PCB ; polychlorinated biphenyls

刊名：Ecotoxicology and Environmental Safety

出版年：2017

7.Medicinal properties of Terminalia arjuna (Roxb.) Wight & Arn.: A review

作者：Augustine Amalraj ; Sreeraj Gopi ; ^{sreeraj.gopi@plantlipids.com}

关键词：Terminalia arjuna ; Medicinal property ; Phytochemistry ; Coronary artery disease ; Triterpenoids

刊名：Journal of Traditional and Complementary Medicine

出版年：2017

8.Barrier certificates revisited

作者：Liyun Dai^a ; ^{dailiyun@pku.edu.cn} ; Ting Gan^a ; ^{gant@pku.edu.cn} ; Bican Xia^a ; ^{xbc@math.pku.edu.cn} ; Naijun Zhan^b ; ^{znj@ios.ac.cn}

关键词：Hybrid system ; Barrier certificate ; Formal verification ; Invariant ; Nonlinear system ; Semi-definite programming ; Sum of squares

刊名：Journal of Symbolic Computation

出版年：2017

9.Fabrication of Zn-Ti layered double hydroxide by varying cationic ratio of Ti⁴⁺ and its application as UV absorbent

作者：Xin-Rui Wang^a ; ^{wangxinrui@th.btbu.edu.cn} ; Yong Li^a ; Li-Ping Tang^a ; Wen Gan^a ; Wei Zhou^a ; Yu-Fei Zhao^b ; Dong-Sheng Bai^a

关键词：Layered double hydroxide ; UV absorbent ; Density functional theory calculations ; Photoactivity ; Band gap

刊名：Chinese Chemical Letters

出版年：2017

10.The variability of standard artificial soils: cadmium and phenanthrene sorption measured by a batch equilibrium method

作者：Lucie Bielská ; Ivana Hovorková ; Jan Kuta ; Jiří ; Machát ; Jakub Hofman ; ^{hofman@recetox.muni.cz" class="auth_mail" title="E-mail the corresponding author}

关键词：Artificial soil ; Sorption ; Cadmium ; Phenanthrene ; Soil variability ; Batch equilibrium method

刊名：Ecotoxicology and Environmental Safety

出版年：2017

查看站内搜索结果(1)

按检索点细分(839)

题名(7)

关键词(24)

文摘(609)

按出版年细分(839)

2027年及以后(50)

2017年(18)

2016年(68)

2015年(16)

2014年(5)

2013年(73)

2012年(70)

2011年(81)

2010年(46)

2009年(49)

2008年(45)

2007年(40)

2006年(39)

2005年(30)

2004年(22)

2003年(27)

2002年(25)

2001年(21)

2000年(14)

2000年及以前(100)

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700