检索结果-内蒙古大学图书馆

2013 IEEE International Conference on Prognostics and Health Management, PHM 2013

作者： Hong, Sheng Zhou, Zheng Lv, Chuan Guo, Hongyi Science and Technology Laboratory Reliability and Environmental Engineering School of Reliability and System Engineering Beijing China System Engineering and Programming Department Jiangxi Electric Power Design Institute Jiangxi province China

ISBN: (纸本)9781467357227

The failure issues of power insulated gate bipolar transistor (IGBT) modules are mainly related to thermal and ther mo-mechanical aging mechanism. This aging causes degradation of the device performance and faults which can lead to the failure bringing huge loss and catastrophic influence. To avoid those failures, the monitoring of the device operation and the detection of an aging state remain as a priority. This paper, at first, describes the failure mechanism of power cycling by analyzing of the structure of lead-based solder and joint failure due to solder fatigue. Secondly, Gaussian Process Regression (GPR) model supporting uncertainty representation is used to realize the prognosis for the junction temperature of the IGBT. Furthermore, the comparison of GPR prediction with the Neural Network algorithm has been achieved, and the dynamic model is introduced to improve the prediction accuracy for the IGBT health assessment. Meantime, GPR owns more simple computational complexity and less time consuming. © 2013 IEEE.

关键词： Junction temperature

来源：评论

学校读者我要写书评

暂无评论

An alternative to Quiescence: Tranquility

An alternative to Quiescence: Tranquility

引用

International Conference on Software Maintenance (ICSM)

作者： Yves Vandewoude Peter Ebraert Yolande Berbers Theo D'Hondt Department of Computer Science Leuven Belgium Programming Technology Laboratory Brussels Belgium

This paper revisits a problem that was identified by Kramer and Magee: placing a system in a consistent state before and after runtime changes (1990). We show that their notion of quiescence as a necessary and sufficient condition for safe runtime changes is too strict and violates the black-box design principle. We introduce a weaker condition, tranquility; easier to obtain, less disruptive for the system and still sufficient to ensure application consistency. We also present an implementation of this concept in a component middleware platform

关键词： Application software Runtime Sufficient conditions Computer science Middleware Web services Switches Telecommunication switching Banking Software systems

来源：评论

学校读者我要写书评

暂无评论

Maternal treatment with dexamethasone during lactation delays male puberty and disrupts reproductive functions via hypothalamic-pituitary-gonadal axis alterations

引用

Pathophysiology 2016年第1期23卷 43-49页

作者： Jeje, S.O. Akindele, O.O Balogun, M.E. Raji, Y. Laboratory for Reproductive Physiology and Developmental Programming Department of Physiology University of Ibadan Ibadan Nigeria Department of Human Physiology Cross River University of Technology Okuku Campus Cross River State Nigeria Department of Physiology Faculty of Medicine College of Health Sciences Ebonyi State University Abakaliki Nigeria

The effects of maternal treatment with dexamethasone during lactation on pubertal timing, serum hormonal profile and sperm indices in the male offspring were assessed. Twenty lactating dams were divided into 4 groups (n = 5). Group 1 was administered subcutaneously 0.02 ml/100 g/day normal saline at lactation days 1-21. Groups 2-4 were administered subcutaneously 100 μg/kg/day dexamethasone (Dex) at lactation days 1-7, 1-14, and 1-21 respectively. Results showed that there was significant reduction in serum testosterone in the DexLD 1-7 (p < 0.05), DexLD 1-14 (p < 0.01) and DexLD 1-21 (p < 0.001) relative to control. In addition there was a significant reduction in serum FSH and LH in the DexLD 1-7 (p < 0.01), DexLD 1-14 (p < 0.001) and DexLD 1-21 (p < 0.001) when compared with the control. Treatment with dexamethasone during lactation significantly increased the days of preputial separation in the DexLD 1-7 (p < 0.05), DexLD 1-14 (p < 0.05) and DexLD 1-21 (p < 0.001) relative to control. Maternal treatment with dexamethasone throughout lactation period also significantly reduced sperm counts (p < 0.001), motility (p < 0.01) and increased percentage abnormal sperm (p < 0.001) in the offspring when compared with the control. In conclusion, maternal treatment with dexamethasone during lactation may induce delayed puberty and disrupt reproductive functions by altering activities at hypothalamic-pituitary-gonadal axis in the male offspring. © 2015 Elsevier Ireland Ltd.

关键词： Hypothalamic-pituitary-gonadal axis Puberty Reproduction Sperm indices

来源：评论

学校读者我要写书评

暂无评论

Optimal Control of Dengue-Chikungunya Co-infection: A Mathematical Study 4th

Optimal Control of Dengue-Chikungunya Co-infection: A Mathem...

引用

4th IFIP TC 12 International Conference on Intelligence Science, ICIS 2020

作者： De, Anupam Maity, Kalipada Panigrahi, Goutam Maiti, Manoranjan Department of Applied Sciences Haldia Institute of Technology Haldia West Bengal India Department of Mathematics Mugberia Gangadhar Mahavidyalaya Bhupatinagar West Bengal India Department of Mathematics National Institute of Technology Durgapur Durgapur West Bengal India Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore West Bengal India

ISBN: (纸本)9783030748258

In the present work, we developed a mathematical model for dengue-Chikungunya co-infection to analyze the disease transmission dynamics and interrelationship. We considered the essence of time dependent optimal control with the help of Pontryagin’s maximum principle. The result of diverse combinations of control measures is analyzed and shown graphically. © 2021, IFIP International Federation for Information Processing.

关键词： Co-infection Dengue-Chikungunya Optimal control

来源：评论

学校读者我要写书评

暂无评论

Property-driven benchmark generation

Property-driven benchmark generation

引用

20th International Symposium on Model Checking Software, SPIN 2013

作者： Steffen, Bernhard Isberner, Malte Naujokat, Stefan Margaria, Tiziana Geske, Maren Department of Programming Systems Dortmund University of Technology Dortmund D-44227 Germany Carnegie Mellon University Moffett Field CA United States Department of Service and Software Engineering Universität Potsdam Potsdam D-14482 Germany

ISBN: (纸本)9783642391750

We present a systematic approach to the automatic generation of platform-independent benchmarks of tailored complexity for evaluating verification tools for reactive systems. Key to this approach is a tool chain that essentially transforms a set of automatically generated LTL properties into source code for various formats, platforms, and competition scenarios via a sequence of property-preserving steps. These steps go through dedicated representations in terms of Büchi Automata, Mealy machines, Decision Diagram Models, Code Models, and finally the source code of the chosen scenario. The required transformations comprise LTL synthesis, model checking, property-oriented expansion, path condition extraction, theorem proving, SAT solving, and code motion. This combination allows us to address different communities via a growing set of programming languages, tailored sets of programming constructs, different notions of observation, and the full variety of LTL properties-ranging from mere reachability over general safety properties to arbitrary liveness properties. The paper illustrates the whole tool chain along accompanying examples, emphasizes the current state of development, and sketches the envisioned potential and impact of our approach. © 2013 Springer-Verlag Berlin Heidelberg.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

PREDICTION OF HEART DISEASE USING CLASSIFICATION AND FEATURE SELECTION METHODS 17

PREDICTION OF HEART DISEASE USING CLASSIFICATION AND FEATURE...

引用

17th International Symposium on Operational Research in Slovenia, SOR 2023

作者： Akarçay Pervin, Özlem Yapici Pehlivan, Nimet Weber, Gerhard Wilhelm KTO Karatay University Department of Computer Programming Konya Turkey Selçuk University Department of Statistics Konya Turkey Poznan University of Technology Poznan Poland Middle East Technical University Institute of Applied Mathematics Ankara Turkey

ISBN: (纸本)9789616165617

Heart disease, known as cardiovascular disease has been one of the main causes of death worldwide in recent years. It is affected by various risk factors such as high blood pressure, high cholesterol, diabetes, smoking, obesity, physical inactivity, etc. In this study, Cleveland database of UCI repository of heart disease patients is used. The dataset includes 303 instances and 76 variables which of 14 variables are considered. At first, three different feature selection techniques, namely LASSO, Elastic Net and Adaptive LASSO under specific tuning parameters determined by cross-validation, are applied to reduce the number of independent variables used for the prediction. Then, five different classification techniques, K-nearest neighbor, Support Vector Machine, Decision Tree, Random Forest, and Logistic Regression are performed to predict heart disease. Performances of these methods are measured by different metrics, such as accuracy, sensitivity, specificity, and Matthew correlation coefficient. © Proceedings of the 17th International Symposium on Operational Research in Slovenia, SOR 2023. All rights reserved.

关键词： Decision trees

来源：评论

学校读者我要写书评

暂无评论

Ontology design for medical diagnostic knowledge

Advances in Intelligent and Soft Computing

引用

Advances in Intelligent and Soft Computing 2012年 99卷 175-189页

作者： Jaszuk, M. Szostek, G. Walczak, A. Programming Department University of Information Technology and Management Rzeszów Poland Information Systems Institute Military University of Technology Warsaw Poland

ISBN: (纸本)9783642231711

The paper gives an overview of research devoted to developing a semi-automatic methodology of building a semantic model of medical diagnostic knowledge. The methodology is based on natural language processing methods which are applied to analyze medical texts. As a result of the process, the semantic model of symptoms is generated. This model is a foundation for building a model of diagnostic technologies. The described methodology and the resulting model are developed specifically for the Polish language. © 2012 Springer-Verlag Berlin Heidelberg.

关键词： Diagnosis

来源：评论

学校读者我要写书评

暂无评论

Tranquility: A low disruptive alternative to quiescence for ensuring safe dynamic updates

Tranquility: A low disruptive alternative to quiescence for ...

引用

作者： Vandewoude, Yves Ebraert, Peter Berbers, Yolande D'Hondt, Theo Department of Computer Science Katholieke Universiteit Leuven Celestijnenlaan 200A 3001 Heverlee Belgium Programming Technology Lab. Vrije Universiteit Brussel Plainlaan 2 B1050 Brussels Belgium

This paper revisits a problem that was identified by Kramer and Magee: placing a system in a consistent state before and after runtime changes. We show that their notion of quiescence as a necessary and sufficient condition for safe runtime changes is too strict and results in a significant disruption in the application being updated. In this paper, we introduce a weaker condition: tranquility. We show that tranquility is easier to obtain and less disruptive for the running application but still a sufficient condition to ensure application consistency. We present an implementation of our approach on a component middleware platform and experimentally verify the validity and practical applicability of our approach using data retrieved from a case study. © 2007 IEEE.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

Information System for Administrative Services of Educational Process

引用

Computer technology and Application 2011年第5期2卷 354-357页

作者： Lyudmilla Yordanova Stoyanova Department of Programming and Computer Technology Faculty of Computer Systems and Control Technical University of SofiaSofia 1000 Bulgaria

The goal of this paper is to analyze and propose a reconstruction of functional possibilities and database requirements of a Web based Educational Information system. For the research the Information system of the technology School ＂electronic Systems＂（TUES） associated with the Technical University of Sofia is on focus. The modules for admission of students, specialty classification, and graduation of students, management of the student＇s work in computer classrooms and lecturers＇ data management have been analyzed, developed and implemented. The additionally developed modules concern mainly the management of educational process and do not affect the e-learning or the official part modules. That led to the idea that the functionality for managing educational process has to be organized in a separate module defined as module for administrative services of educational process. Such restructuring of the system will bring flexibility in further growth of the system--for example students＇ admission or selection for different purposes.

关键词： Information systems functional structure database education.

来源：评论

学校读者我要写书评

暂无评论

Mathematical foundations of multiple inheritance: Reflexive-transitive closure of the binary relations

Mathematical foundations of multiple inheritance: Reflexive-...

引用

International Conference on Perspective Technologies and Methods in MEMS Design (MEMSTECH)

作者： Dmytro Buy Olena Shyshatska Sunmade Fabunmi Karam Mohammed Department of Theory and Technology of Programming Taras Shevchenko National University of Kyiv Kyiv UKRAINE

ISBN: (纸本)9781509014149

The paper is devoted to the mathematical foundations of the linearization algorithms - the method of conflict resolution that occurs in object-oriented programming languages which support multiple inheritance. The main object of study is the reflexive-transitive closure of a binary relation. The basic properties of this closure are found: the criterion to be partial order, closure is the closure operator, denotative representations of closure in terms of its properties and as the least solution of some equation (the structure of the set of all solutions of this equation is established).

关键词： Standards Object oriented programming Heuristic algorithms Electronic mail Computer languages

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：