TENORM Regulation in the United States of America post-West Virginia vs.EPA Spenser Lynn,Charles Wilson,Emily Caffrey1(1.University of Alabama at Birmingham,School of Health Professions,Clinical and Diagnostic Science...TENORM Regulation in the United States of America post-West Virginia vs.EPA Spenser Lynn,Charles Wilson,Emily Caffrey1(1.University of Alabama at Birmingham,School of Health Professions,Clinical and Diagnostic Sciences,Health Physics Program,1720 University Blvd,Birmingham,AL 35294)Abstract:The regulation of technologically enhanced naturally occurring radioactive materials(TENORM)in the United States of America consists of fragmentary rules split between the federal and state governments.展开更多
Effects of High Temperature and High Humidity on the Degree of Ocular Damage Caused by 60 GHz Millimeter Wave Exposure Masami Kojima1,2,Takafumi Tasaki3,4,Toshio Kamijo5,Aki Hada5,Yukihisa Suzuki5,Masateru Ikehata6,Hi...Effects of High Temperature and High Humidity on the Degree of Ocular Damage Caused by 60 GHz Millimeter Wave Exposure Masami Kojima1,2,Takafumi Tasaki3,4,Toshio Kamijo5,Aki Hada5,Yukihisa Suzuki5,Masateru Ikehata6,Hiroshi Sasaki1,2(1.Division of Vision Research for Environmental Health,Medical Research Institute,Kanazawa Medical University,Kahoku,Japan;2.Department of Ophthalmology,Kanazawa Medical University,Kahoku,Japan;3.Division of Protein Regulation Research,Medical Research Institute;4.Department of Medical Zoology,Kanazawa Medical University,Kahoku,Japan;5.Department of Electrical Engineering and Computer Science,Graduate School of Systems Design,Tokyo Metropolitan University,Tokyo,Japan;6.Comfort Science and Engineering Laboratory,Human Science Division,Railway Technical Research Institute,Tokyo,Japan)Abstract:Millimeter waves(MMW)are pervasive in society;however,studies on the biological effects of MMWexposure are usually performed in laboratory settings not reflecting global environmental diversity.We investigated the effects of a 6 min exposure to 60 GHz MMW(wavelength,5.0 mm)at incident power densities of 200 and 300 mW cm-2 in eyes(exposed right eyes vs.unexposed left eyes)under various ambient temperature/relative humidity environments(24℃/50%,45℃/20%,and 45℃/80%)using an in vivo rabbit model.Correlations were examined with adverse ocular events,including corneal epithelial damage(assessed using fluorescein staining),corneal opacity(evaluated by slit-lamp microscopy)。展开更多
本文论述了Learning by Doing,Learning by Abstracting,Learning by Analogy,Learning byTeaching以及Learing by Simulating等教学模式。分析了其优点,并介绍了我们将其应用于嵌入式软件开发导论和系统结构等课程的效果。文中尤其强调...本文论述了Learning by Doing,Learning by Abstracting,Learning by Analogy,Learning byTeaching以及Learing by Simulating等教学模式。分析了其优点,并介绍了我们将其应用于嵌入式软件开发导论和系统结构等课程的效果。文中尤其强调了Learning by Abstracting的重要性。展开更多
提出了一种基于时间抽象状态机(timed abstract state machine,简称TASM)的AADL(architecture analysis and design language)模型验证方法.分别给出了AADL子集和TASM的抽象语法,并基于语义函数和类ML的元语言形式定义转换规则.在此基础...提出了一种基于时间抽象状态机(timed abstract state machine,简称TASM)的AADL(architecture analysis and design language)模型验证方法.分别给出了AADL子集和TASM的抽象语法,并基于语义函数和类ML的元语言形式定义转换规则.在此基础上,基于AADL开源建模环境OSATE(open source AADL tool environment)设计并实现了AADL模型验证与分析工具AADL2TASM,并基于航天器导航、制导与控制系统(guidance,navigation and control)进行了实例性验证.展开更多
Objective: This paper reviewed and examined the quality of all the qualitative evaluation studies indexed by two key search terms of “qualitative” and “evaluation” in the Social Work Abstracts database from 1990 t...Objective: This paper reviewed and examined the quality of all the qualitative evaluation studies indexed by two key search terms of “qualitative” and “evaluation” in the Social Work Abstracts database from 1990 to 2003 against a number of criteria typically adopted in the field of qualitative research. The review led to a dissatisfactory finding of the low quality of many qualitative evaluation studies due to their insensitivity to the following issues: philosophical basis of the study, auditability (detailed documentation of the participants and data collecting procedure), biases (acknowledgement of biases and preoccupation, and steps to deal with them), credibility or trustworthiness (triangulation, peer checking and participant verification of the findings), consistency (reliability consciousness and audit trails), and critical interpretation of the data (alternative explanations, disconfirming evidence, and limitations of the study). It was recommended that researchers be cautious when utilizing findings from the published qualitative evaluation studies; that social workers be sensitive to the issue of quality when conducting qualitative evaluation studies; that researchers be critical when judging the qualitative evaluation studies in social work; that researchers develop a clear set of guidelines for qualitative studies; that social work training institutes design qualified qualitative research courses; that a database of social work in China be established; that researchers be engaged in more qualitative studies that demonstrate high quality; that myths in qualitative research be debunked; and that adequate training for social workers on qualitative evaluation studies be provided.展开更多
The Chinese Optics and Applied Optics Abstracts , sponsored by the Documentation andInformation Center of the Chinese Academy of Sciences, the Optical Information Networkof the Chinese Academy of Sciences and the Chan...The Chinese Optics and Applied Optics Abstracts , sponsored by the Documentation andInformation Center of the Chinese Academy of Sciences, the Optical Information Networkof the Chinese Academy of Sciences and the Changchun Institute of Optics, Fine Mechanicsand Physics of the Chinese Academy of Sciences, is one of the series of science andtechnology indexing periodicals published by the Chinese Academy of Sciences.The Chinese Optics and Applied Optics Abstracts started a quarterly publication in 1985,with the name of Chinese Science and Technology Document Catalogues: Optics andApplied Optics. It changed into a bimonthly publication with the name of Chinese Opticsand Applied Optics Abstracts in 1987. In combination with the Chinese Optics Documen-展开更多
HEST is a practical integrated expert system tool. Its basis is a knowledge programming language FFLL, characterized by a combination of fuzzy logic and function paradigms. The tool integrates alot of important knowle...HEST is a practical integrated expert system tool. Its basis is a knowledge programming language FFLL, characterized by a combination of fuzzy logic and function paradigms. The tool integrates alot of important knowledge processing capabilities such as fuzzy reasoning, function computation, knowledge compilation and explanation, knowledge base maintenance, as well as practical programming functions, e.g., editing, filing, compiling, module imbedding, etc., constructing, a user--friendly knowledge application environment, HEST can enable expert system development in various domaills quickly and easily.This paper gives an outline of the design and implementation of HEST.展开更多
Earth Science Frontiers is a bi-monthly publication in Chinese with English abstracts for most papers; a few articles are published entirely in English. It is a medium for the publication of original and forefront res...Earth Science Frontiers is a bi-monthly publication in Chinese with English abstracts for most papers; a few articles are published entirely in English. It is a medium for the publication of original and forefront research and high quality reviews covering recent advances in all fields of Earth Sciences. Each issue is devoted to a single topic and edited by an authority in that field.展开更多
The 7th international conference on unsaturated soils（3rd–5th August 2018）is organised by the Hong Kong University of Science and Technology and supported by：TC106 Unsaturated Soils of ISSMGE;Hong Kong Geotechnica...The 7th international conference on unsaturated soils（3rd–5th August 2018）is organised by the Hong Kong University of Science and Technology and supported by：TC106 Unsaturated Soils of ISSMGE;Hong Kong Geotechnical Society;Geotechnical Division of Hong Kong Institution of Engineers;展开更多
About the Journal Medical Journal of Chinese People’s Liberation Army（Med J Chin PL A,ISSN 0577-7402,CN 11-1056/R,http：//www.plamj.org）is an Open Access monthly journal in Chinese and English,published by the Peo...About the Journal Medical Journal of Chinese People’s Liberation Army（Med J Chin PL A,ISSN 0577-7402,CN 11-1056/R,http：//www.plamj.org）is an Open Access monthly journal in Chinese and English,published by the People’s Military Medical Press,under the auspice of Department of Health,General Logistics Department of PLA,and it is issued domestically and abroad.Med J Chin PLA aims to publish the most exciting basic and clinical research especially those addressing the importance of military medicine,展开更多
This paper presents a formal verification method based on logic simulation. In our method, using symbolic values even circuits which include data paths can be verified without abstraction of data paths. Our verifier e...This paper presents a formal verification method based on logic simulation. In our method, using symbolic values even circuits which include data paths can be verified without abstraction of data paths. Our verifier extracts a transition relation from the state graph (given as a specification) which is expressed using symbolic values, and verifies based on simulation using those symbolic values if the circuit behaves correctly with respect to each transition of the specification. If the verifier terminates with "correct", then we can guarantee that for any applicable input vector sequences, the circuit and the specification behaves identically. We have implemented the proposed method on a Unix workstation and verified some FIFO and LIFO circuits by using it.展开更多
文摘TENORM Regulation in the United States of America post-West Virginia vs.EPA Spenser Lynn,Charles Wilson,Emily Caffrey1(1.University of Alabama at Birmingham,School of Health Professions,Clinical and Diagnostic Sciences,Health Physics Program,1720 University Blvd,Birmingham,AL 35294)Abstract:The regulation of technologically enhanced naturally occurring radioactive materials(TENORM)in the United States of America consists of fragmentary rules split between the federal and state governments.
文摘Effects of High Temperature and High Humidity on the Degree of Ocular Damage Caused by 60 GHz Millimeter Wave Exposure Masami Kojima1,2,Takafumi Tasaki3,4,Toshio Kamijo5,Aki Hada5,Yukihisa Suzuki5,Masateru Ikehata6,Hiroshi Sasaki1,2(1.Division of Vision Research for Environmental Health,Medical Research Institute,Kanazawa Medical University,Kahoku,Japan;2.Department of Ophthalmology,Kanazawa Medical University,Kahoku,Japan;3.Division of Protein Regulation Research,Medical Research Institute;4.Department of Medical Zoology,Kanazawa Medical University,Kahoku,Japan;5.Department of Electrical Engineering and Computer Science,Graduate School of Systems Design,Tokyo Metropolitan University,Tokyo,Japan;6.Comfort Science and Engineering Laboratory,Human Science Division,Railway Technical Research Institute,Tokyo,Japan)Abstract:Millimeter waves(MMW)are pervasive in society;however,studies on the biological effects of MMWexposure are usually performed in laboratory settings not reflecting global environmental diversity.We investigated the effects of a 6 min exposure to 60 GHz MMW(wavelength,5.0 mm)at incident power densities of 200 and 300 mW cm-2 in eyes(exposed right eyes vs.unexposed left eyes)under various ambient temperature/relative humidity environments(24℃/50%,45℃/20%,and 45℃/80%)using an in vivo rabbit model.Correlations were examined with adverse ocular events,including corneal epithelial damage(assessed using fluorescein staining),corneal opacity(evaluated by slit-lamp microscopy)。
文摘本文论述了Learning by Doing,Learning by Abstracting,Learning by Analogy,Learning byTeaching以及Learing by Simulating等教学模式。分析了其优点,并介绍了我们将其应用于嵌入式软件开发导论和系统结构等课程的效果。文中尤其强调了Learning by Abstracting的重要性。
文摘提出了一种基于时间抽象状态机(timed abstract state machine,简称TASM)的AADL(architecture analysis and design language)模型验证方法.分别给出了AADL子集和TASM的抽象语法,并基于语义函数和类ML的元语言形式定义转换规则.在此基础上,基于AADL开源建模环境OSATE(open source AADL tool environment)设计并实现了AADL模型验证与分析工具AADL2TASM,并基于航天器导航、制导与控制系统(guidance,navigation and control)进行了实例性验证.
文摘Objective: This paper reviewed and examined the quality of all the qualitative evaluation studies indexed by two key search terms of “qualitative” and “evaluation” in the Social Work Abstracts database from 1990 to 2003 against a number of criteria typically adopted in the field of qualitative research. The review led to a dissatisfactory finding of the low quality of many qualitative evaluation studies due to their insensitivity to the following issues: philosophical basis of the study, auditability (detailed documentation of the participants and data collecting procedure), biases (acknowledgement of biases and preoccupation, and steps to deal with them), credibility or trustworthiness (triangulation, peer checking and participant verification of the findings), consistency (reliability consciousness and audit trails), and critical interpretation of the data (alternative explanations, disconfirming evidence, and limitations of the study). It was recommended that researchers be cautious when utilizing findings from the published qualitative evaluation studies; that social workers be sensitive to the issue of quality when conducting qualitative evaluation studies; that researchers be critical when judging the qualitative evaluation studies in social work; that researchers develop a clear set of guidelines for qualitative studies; that social work training institutes design qualified qualitative research courses; that a database of social work in China be established; that researchers be engaged in more qualitative studies that demonstrate high quality; that myths in qualitative research be debunked; and that adequate training for social workers on qualitative evaluation studies be provided.
文摘The Chinese Optics and Applied Optics Abstracts , sponsored by the Documentation andInformation Center of the Chinese Academy of Sciences, the Optical Information Networkof the Chinese Academy of Sciences and the Changchun Institute of Optics, Fine Mechanicsand Physics of the Chinese Academy of Sciences, is one of the series of science andtechnology indexing periodicals published by the Chinese Academy of Sciences.The Chinese Optics and Applied Optics Abstracts started a quarterly publication in 1985,with the name of Chinese Science and Technology Document Catalogues: Optics andApplied Optics. It changed into a bimonthly publication with the name of Chinese Opticsand Applied Optics Abstracts in 1987. In combination with the Chinese Optics Documen-
文摘HEST is a practical integrated expert system tool. Its basis is a knowledge programming language FFLL, characterized by a combination of fuzzy logic and function paradigms. The tool integrates alot of important knowledge processing capabilities such as fuzzy reasoning, function computation, knowledge compilation and explanation, knowledge base maintenance, as well as practical programming functions, e.g., editing, filing, compiling, module imbedding, etc., constructing, a user--friendly knowledge application environment, HEST can enable expert system development in various domaills quickly and easily.This paper gives an outline of the design and implementation of HEST.
文摘Earth Science Frontiers is a bi-monthly publication in Chinese with English abstracts for most papers; a few articles are published entirely in English. It is a medium for the publication of original and forefront research and high quality reviews covering recent advances in all fields of Earth Sciences. Each issue is devoted to a single topic and edited by an authority in that field.
文摘The 7th international conference on unsaturated soils（3rd–5th August 2018）is organised by the Hong Kong University of Science and Technology and supported by：TC106 Unsaturated Soils of ISSMGE;Hong Kong Geotechnical Society;Geotechnical Division of Hong Kong Institution of Engineers;
文摘About the Journal Medical Journal of Chinese People’s Liberation Army（Med J Chin PL A,ISSN 0577-7402,CN 11-1056/R,http：//www.plamj.org）is an Open Access monthly journal in Chinese and English,published by the People’s Military Medical Press,under the auspice of Department of Health,General Logistics Department of PLA,and it is issued domestically and abroad.Med J Chin PLA aims to publish the most exciting basic and clinical research especially those addressing the importance of military medicine,
文摘This paper presents a formal verification method based on logic simulation. In our method, using symbolic values even circuits which include data paths can be verified without abstraction of data paths. Our verifier extracts a transition relation from the state graph (given as a specification) which is expressed using symbolic values, and verifies based on simulation using those symbolic values if the circuit behaves correctly with respect to each transition of the specification. If the verifier terminates with "correct", then we can guarantee that for any applicable input vector sequences, the circuit and the specification behaves identically. We have implemented the proposed method on a Unix workstation and verified some FIFO and LIFO circuits by using it.
