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

1st International Symposium of Formal Methods Europe, FME 1993

作者： Bowen, Jonathan Stavridou, Victoria Oxford University Computing Laboratory Programming Research Group 11 Keble Road OxfordOX1 3QD United Kingdom Department of Computer Science Royal ttolloway University of London Egham SurreyTW20 0EX United Kingdom

ISBN: (纸本)9783540566625

Formal methods may be at the crossroads of acceptance by a wider industrial community. In order for the techniques to become widely used, the gap between theorists and practitioners must be bridged effectively. In particular, safety-critical systems offer an application area where formal methods may be engaged usefully to the benefit of all. This paper discusses some of the issues concerned with the general acceptance of formal methods and concludes with a summary of the current position and how the formal methods community could proceed to improve matters in the future. © 1993, Springer Verlag. All rights reserved.

关键词： Formal methods

来源：评论

学校读者我要写书评

暂无评论

A proposal of an example and experiments repository to foster industrial adoption of formal methods 8th

A proposal of an example and experiments repository to foste...

引用

8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018

作者： Schlick, Rupert Felderer, Michael Majzik, Istvan Nardone, Roberto Raschke, Alexander Snook, Colin Vittorini, Valeria Center for Digital Safety and Security AIT Austrian Institute of Technology GmbH Vienna Austria Department of Computer Science University of Innsbruck Innsbruck Austria Department of Software Engineering Blekinge Institute of Technology Karlskrona Sweden Department of Measurement and Information Systems Budapest University of Technology and Economics Budapest Hungary University of Naples Federico II Naples Italy Institute of Software Engineering and Programming Languages Ulm University Ulm Germany Electronics and Computer Science University of Southampton Southampton United Kingdom

ISBN: (纸本)9783030034269

Formal methods (in a broad sense) have been around almost since the beginning of computer science. Nonetheless, there is a perception in the formal methods community that take-up by industry is low considering the potential benefits. We take a look at possible reasons and give candidate explanations for this effect. To address the issue, we propose a repository of industry-relevant example problems with an accompanying open data storage for experiment results in order to document, disseminate and compare exemplary solutions from formal model based methods. This would allow potential users from industry to better understand the available solutions and to more easily select and adopt a formal method that fits their needs. At the same time, it would foster the adoption of open data and good scientific practice in this research field. © Springer Nature Switzerland AG 2018.

关键词： Formal methods

来源：评论

学校读者我要写书评

暂无评论

Migrating Birds Optimization-Based Feature Selection for Text Classification

arXiv

引用

arXiv 2024年

作者： Kaya, Cem Kilimci, Zeynep Hilal Uysal, Mitat Kaya, Murat Dogus University Turkey Department of Information Systems Engineering Kocaeli University Turkey Department of Software Engineering Dogus University Turkey Department of Computer Programming Acibadem University Turkey

This research introduces a novel approach, MBO-NB, that leverages Migrating Birds Optimization (MBO) coupled with Naive Bayes as an internal classifier to address feature selection challenges in text classification having large number of features. Focusing on computational efficiency, we preprocess raw data using the Information Gain algorithm, strategically reducing the feature count from an average of 62221 to 2089. Our experiments demonstrate MBO-NB's superior effectiveness in feature reduction compared to other existing techniques, emphasizing an increased classification accuracy. The successful integration of Naive Bayes within MBO presents a well-rounded solution. In individual comparisons with Particle Swarm Optimization (PSO), MBO-NB consistently outperforms by an average of 6.9% across four setups. This research offers valuable insights into enhancing feature selection methods, providing a scalable and effective solution for text classification. © 2024, CC BY-NC-ND.

关键词： Feature Selection

来源：评论

学校读者我要写书评

暂无评论

Emerging technologies for improving embryo selection: a systematic review

引用

Advanced Health Care Technologies 2015年 1卷 55-64页

作者： Sengul, Yasemin Bener, Ayse Uyar, Asli 1 Computer Programming Program Advanced Vocational Studies Dogus University Acibadem Kadikoy Istanbul Turkey 2 Data Science Laboratory Department of Mechanical and Industrial Engineering Ryerson University Toronto ON Canada 3 Department of Computer Engineering Okan University Tuzla Istanbul Turkey

Background: Embryo selection procedure is one of the critical success factors in in vitro fertilization treatment. Various embryo selection technologies have emerged within the past decade. These technologies are either used in combination with morphology or introduced to replace the conventional morphological evaluation. This review aims at investigating the effect of these novel embryo selection technologies on in vitro fertilization success rates. Methods: A systematic review of the literature was performed among full-text English articles in the PubMed database. Study selection was based on the predefined inclusion and exclusion criteria. Clinical effectiveness of the selected studies was measured in terms of implantation, pregnancy, live birth, and multiple pregnancy rates. Results: Five studies were identified that fitted the inclusion criteria. In these studies, researchers used aneuploidy screening, metabolomic profiling, and time-lapse imaging analysis as the new technologies. Among these studies, the one that conducted a randomized controlled trial of a commercial time-lapse imaging system demonstrated significant improvement in implantation rate. Conclusion: Studies using emerging technologies for embryo assessment provide promising results in retrospective analysis. On the other hand, randomized controlled trial studies that test the efficacy of novel embryo selection techniques in clinical practice failed to demonstrate a consistent improvement in the resulting success rates. This review provides a snapshot of the most recent literature on embryo assessment and embryo selection studies. Our findings show that there is a lack of comparative measurements and analyses that are able to assess benefits of the novel technologies in the field of embryo selection.

关键词： embryo selection in vitro fertilization IVF

来源：评论

学校读者我要写书评

暂无评论

Comparision of multi-carrier techniques in seven-level asymmetric cascade multilevel inverter

Comparision of multi-carrier techniques in seven-level asymm...

引用

2013 4th International Conference on Power Engineering, Energy and Electrical Drives, POWERENG 2013

作者： Colak, Ilhami Kabalci, Ersan Keven, Gokhan Faculty of Technology Department of Electric and Electronic Engineering Gazi University Ankara Turkey Faculty of Engineering and Architecture Dep. of Electrical and Electronic Eng. Nevsehir University Nevsehir Turkey Vocational College of Haci Bektaş Veli Dep. of Computer Programming Nevsehir University Nevsehir Turkey

ISBN: (纸本)9781467363921

The multilevel inverters (MLIs) are classified into three topologies such as Diode Clamped, Flying Capacitor and Cascade Multilevel Inverter (CMLI). CMLI topologies include two kind of structure that is named symmetric and asymmetric topologies. Asymmetric Cascade MLI (ACMLI) topologies consist of unequal DC sources. Many modulation techniques have been used in ACMLI topology such as Multi-Carrier PWM (MC-PWM), Space Vector PWM and Selective Harmonic PWM. The MC-PWM technique is achieved by four different types. In this study, MC-PWM techniques which are named Phase Disposition PWM, Phase Opposition Disposition PWM, Alternate Phase Opposition Disposition PWM and Phase Shifted PWM have been compared. It is uncovered that Phase Opposition Disposition PWM technique is more convenient in terms of Total Harmonic Distortion of output voltage and current signals and in terms of the quality of power factor in ACMLI which is performed in this study. © 2013 IEEE.

关键词： Pulse width modulation

来源：评论

学校读者我要写书评

暂无评论

Matlab® / Simulink® generated source code for safety related systems

Matlab® / Simulink® generated source code for safety relat...

引用

ACS/IEEE International Conference on computer Systems and Applications

作者： M.H. Schwarz H. Sheng A. Sheleh J. Boercsoek Department of Computer architecture and System programming University of Kassel Kassel Germany HIMA Paul Hildebrandt GmbH+Co KG Bruehl Germany

The authors present their latest research results and developments of a code generator for Matlab/Simulink block diagrams and to download the generated code onto safety related systems such as a safety PLC (programmable logic controller). An example demonstrates the different stages for code generation, evaluation and conversion before such code can be used in process industries. Systematic approaches are necessary when such source code is embedded in process units. To the best knowledge of the authors, Matlab/Simulink source code has not been transferred on safety PLC before. Matlab/Simulink is an advanced and matured programming environment, especially for simulations of engineering processes and systems. Hardly no hardware exists, when it comes to download the developed algorithms and to use it in real world applications and so far this approach is the only one for using developed and tested Matlab/Simulink software on an safety related system.

关键词： computer languages Programmable control Software safety Electrical equipment industry programming environments Systems engineering and theory Hardware Software algorithms Application software Software testing

来源：评论

学校读者我要写书评

暂无评论

A real-time remote monitoring of water quality by means of a wireless sensor network

引用

Sensor Letters 2014年第9期12卷 1414-1421页

作者： Tuna, G. Nefzi, B. Arkoc, O. Potirakis, S.M. Department of Computer Programming Trakya University Edirne Turkey Independent Research Paris France School of Technical Sciences Kirklareli University Kirklareli Turkey of Piraeus Aigaleo - Athens Greece

Water is the key component of life on planet Earth. Although most of the Earth's surface is covered by water only a very small percentage of it is drinkable "fresh water." Drinkable water quality is influenced by several factors, like the construction of dams and embankments, the irrigation practices, and the anthropogenic activities. In order to control water quality, it is essential to understand the sources of pollutants by frequent water quality monitoring. Conventional monitoring of water quality calls for the collection of large numbers of samples and long delays until the results are available. Therefore, rapid monitoring of water quality is very important, proven by the large number of systems proposed for this kind of automatic monitoring. In this work, we propose a wireless sensor network (WSN)-based monitoring system controlled by a web-based online interface which allows the remote water quality monitoring via Internet. This brings advantages over traditional monitoring systems in terms of cost effectiveness, portability and applicability. Simulation-based studies concerning the wireless network aspects, as well as the practical output of the proposed system are presented for the evaluation of its effectiveness.

关键词： Water quality

来源：评论

学校读者我要写书评

暂无评论

Collaboration And Versioning Framework – A Systematic Top-Down Approach

Collaboration And Versioning Framework – A Systematic Top-D...

引用

Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)

作者： Jakob Pietron Alexander Raschke Joeri Exelmans Matthias Tichy Institute of Software Engineering and Programming Languages Ulm University Ulm Germany Department of Computer Science University of Antwerp – Flanders Make Antwerp Belgium

CONTEXT: Versioning allows users to efficiently create and evolve artifacts, not only but especially in the domain of model-driven engineering. Due to collaboration tools, the place and time where users jointly work at their artifacts do not play an important role anymore. Objective: We systematically elaborated a classification framework for collaboration and versioning tools. The intention is threefold: First, it should be possible to classify existing approaches. Second, deriving from user goals requirements to be met, and capabilities to be supported by a new tool. Third, given a set of capabilities, highlight which user goals can be achieved. Method: According to Kang and Lee, we systematically elaborated a problem space and a solution space and created mappings between both spaces and their sub-spaces. To demonstrate the applicability, we classified existing VCS like git, Google Docs, and several MDE-specific approaches. Results: The created feature diagram covers 238 features and contains about 87 constraints. Conclusion: The developed framework supports researchers and developers in classifying their tools, revealing new opportunities to improve their tools, and guiding the development of new tools.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Stability Analysis of Imprecise Prey-Predator Model 4th

Stability Analysis of Imprecise Prey-Predator Model

引用

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

作者： De, Anupam Khatua, Debnarayan Maity, Kalipada Panigrahi, Goutam Maiti, Manoranjan Department of Applied Sciences Haldia Institute of Technology Haldia West Bengal India Department of Basic Science and Humanities Global Institute of Science and Technology Haldia West Bengal India Department of Mathematics Mugberia Gangadhar Mahavidyalaya Contai 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

Since the last few decades, the prey-predator system delivers attractive mathematical models to analyse the dynamics of prey-predator interaction. Due to the lack of precise information about the natural parameters, a significant number of research works have been carried out to take care of the impreciseness of the natural parameters in the prey-predator models. Due to direct impact of the imprecise parameters on the variables, the variables also become imprecise. In this paper, we developed an imprecise prey-predator model considering both prey and predator population as imprecise variables. Also, we have assumed the parameters of the prey-predator system as imprecise. The imprecise prey-predator model is converted to an equivalent crisp model using "e" and "g" operator method. The condition for local stability for the deterministic system is obtained mathematically by analysing the eigenvalues of the characteristic equation. Furthermore, numerical simulations are presented in tabular and graphical form to validate the theoretical results. © 2021, IFIP International Federation for Information Processing.

关键词： Eigenvalues and eigenfunctions

来源：评论

学校读者我要写书评

暂无评论

Fuzzy risk analysis in familial breast cancer using a similarity measure of interval-valued fuzzy numbers

引用

Pacific Science Review A: Natural Science and Engineering 2016年第3期18卷 203-221页

作者： Sanjib Sen Kartik Patra Shyamal Kumar Mondal Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore 721 102W.B. India Department of Mathematics Techno India University Salt Lake Kolkata 700 091 West Bengal India

In this work, a new similarity measure was proposed based on the heights and areas of interval-valued trapezoidal fuzzy numbers. Some properties corresponding to the proposed similarity measure were illustrated. A comparison with the different existing similarity-measurement techniques demonstrated that the proposed method gave better results, overcoming the drawbacks of the existing methods. The proposed similarity-measurement technique was applied to the prediction of risk in the burning problem of Familial Breast Cancer (FBC). Finally, a numerical illustration for FBC was given using interval-valued trapezoidal fuzzy numbers.

关键词： Interval-valued fuzzy number Similarity measure Linguistic terms Fuzzy risk analysis Familial breast cancer

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：