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

International Conference on Secure Software Integration and Reliability Improvement

作者： Zhao, Changzhi Dong, Wei Leucker, Martin Qi, Zhichang Department of Computer Science National University of Defense Technology Changsha 410073 China Institute of Software Technology and Programming Languages University of Lubeck Germany

ISBN: (纸本)9780769544533

Access control is a vital security mechanism in today's operating systems and the security policies dictating the security relevant behaviors is lengthy and complex for example in Security-Enhanced Linux (SELinux). It is extremely difficult to verify the consistency between the security policies and the security goals desired by applications. In this paper we present how to predict whether the information flow security goal is violated or not during runtime how to generate the corresponding control actions on-line when divergence is detected and how to apply these actions in time based on software active monitoring technique. The symbolic security information flow model of SElinux is generated from a formalization of the access control mechanism which can be used to generate the N-step ahead projection of the future behavior. Information flow security goals are expressed in linear temporal logic (LTL) which provides clear description of the objectives desired by applications. Anticipatory monitor is generated from LTL formula automatically. We consider an on-line scheme where after the occurrence of an event, the next control action is determined on the basis of the N-step ahead projection of the future behavior. This procedure is repeated after the occurrence of next security relevant event. Thus a closed-loop system is generated that all behavior sequences will satisfy the security goals. © 2011 IEEE.

关键词： Access control

来源：评论

学校读者我要写书评

暂无评论

Effects of varying diagnostic coverage on functional safety

Effects of varying diagnostic coverage on functional safety

引用

2014 International Symposium on Fundamentals of Electrical Engineering, ISFEE 2014

作者： Üstoʇlu, Ilker Kaymakçi, Özgür T. Börcsök, Josef Department of Control and Automation Engineering Yildiz Technical University Esenler Istanbul34220 Turkey Department of Computer Architecture and System Programming University of Kassel Kassel34121 Germany

ISBN: (纸本)9781479968213

Diagnostics is one of the significant parameters of functional safety which concerns itself with revealing dangerous incidents that might impede the operation of safety systems. Diagnostic coverage factor (DC) is defined as a metric for diagnostics in that DC is one of the most important design parameters to measure the effectiveness of safety protection systems. This study addresses how diagnostics impacts proof test interval (TI) when the system is halted completely;a thorough maintenance and changes in parts are performed. Besides this, the relationship between average probability of failure on demand (PFDavg), DC, TI and mean time to failure (MTTF) are presented for 1oo2 and 1oo2D system architectures. © 2014 IEEE.

关键词： Safety factor

来源：评论

学校读者我要写书评

暂无评论

Hybrid Dipper Throated and Grey Wolf Optimization for Feature Selection Applied to Life Benchmark Datasets

引用

computers, Materials & Continua 2023年第2期74卷 4531-4545页

作者： Doaa Sami Khafaga El-Sayed M.El-kenawy Faten Khalid Karim Mostafa Abotaleb Abdelhameed Ibrahim Abdelaziz A.Abdelhamid D.L.Elsheweikh Department of Computer Sciences College of Computer and Information SciencesPrincess Nourah bint Abdulrahman UniversityP.O.Box 84428Riyadh11671Saudi Arabia Department of Communications and Electronics Delta Higher Institute of Engineering and TechnologyMansoura35111Egypt Faculty of Artificial Intelligence Delta University for Science and TechnologyMansoura35712Egypt Department of System Programming South Ural State UniversityChelyabinsk454080Russia Computer Engineering and Control Systems Department Faculty of EngineeringMansoura UniversityMansoura35516Egypt Department of Computer Science Faculty of Computer and Information SciencesAin Shams UniversityCairo11566Egypt Department of Computer Science College of Computing and Information TechnologyShaqra University11961Saudi Arabia Department of Computer Science Faculty of Specific EducationMansoura UniversityEgypt

Selecting the most relevant subset of features from a dataset is a vital step in data mining and machine *** feature in a dataset has 2n possible subsets,making it challenging to select the optimum collection of features using typical *** a result,a new metaheuristicsbased feature selection method based on the dipper-throated and grey-wolf optimization(DTO-GW)algorithms has been developed in this *** can result when the selection of features is subject to metaheuristics,which can lead to a wide range of ***,we adopted hybrid optimization in our method of optimizing,which allowed us to better balance exploration and harvesting chores more *** propose utilizing the binary DTO-GW search approach we previously devised for selecting the optimal subset of *** the proposed method,the number of features selected is minimized,while classification accuracy is *** test the proposed method’s performance against eleven other state-of-theart approaches,eight datasets from the UCI repository were used,such as binary grey wolf search(bGWO),binary hybrid grey wolf,and particle swarm optimization(bGWO-PSO),bPSO,binary stochastic fractal search(bSFS),binary whale optimization algorithm(bWOA),binary modified grey wolf optimization(bMGWO),binary multiverse optimization(bMVO),binary bowerbird optimization(bSBO),binary hysteresis optimization(bHy),and binary hysteresis optimization(bHWO).The suggested method is superior 4532 CMC,2023,vol.74,no.2 and successful in handling the problem of feature selection,according to the results of the experiments.

关键词： Metaheuristics dipper throated optimization grey wolf optimization binary optimizer feature selection

来源：评论

学校读者我要写书评

暂无评论

Concept of fuzzy planar graphs

Concept of fuzzy planar graphs

引用

2013 Science and Information Conference, SAI 2013

作者： Pal, Anita Samanta, Sovan Pal, Madhumangal Department of Mathematics National Institute of Technology Durgapur West-Bengal India Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore - 721 102 India

ISBN: (纸本)9780989319300

Fuzzy graph is now a very important research area due to its wide application. Fuzzy multigraph and fuzzy planar graphs are two subclasses of fuzzy graph theory. In this paper, we define both of these graphs and studied a lot of properties. A very close association of fuzzy planar graph is fuzzy dual graph. This is also defined and studied several properties. The relation between fuzzy planar graph and fuzzy dual graph is also established. © 2013 The Science and Information Organization.

关键词： Graphic methods

来源：评论

学校读者我要写书评

暂无评论

Improvement, application and verification of a new multivariate forecasting model for real industry related issues 31st

Improvement, application and verification of a new multivari...

引用

31st European Safety and Reliability Conference, ESREL 2021

作者： Krini, Abderrahim Börcsök, Josef Engineering of Remanufacturing and Quality Robert Bosch GmbH Schwäbisch Gmünd Germany Department of Computer Architecture and System Programming University Kassel Germany

ISBN: (纸本)9789811820168

With this work, a research contribution in the field of reliability theory has been made, with which a realistic prognosis of reliability parameters of technical systems can be carried out. The motivation to deal with this topic resulted from the realization that the prognosis quality of established prognosis models must be optimized. An early and realistic prognosis of reliability parameters contributes to the success of a concern, mainly through the early implementation of quality measures. The work focuses on the development of a new multivariate prognosis model, which uses multivariate stress parameters as reference variables. Its application enables the prediction of reliability parameters for electronic control units. The predicted reliability parameters can be specified as stress-dependent (bivariate/multivariate) or time-dependent variables. While univariate reference quantities usually use the time dwell time of a technical system, the prognosis model newly presented here can process multivariate reference quantities. During the time in the field, technical systems are not only exposed to different usage behavior, but also to other stresses and influences that make a not inconsiderable contribution to failure. The use of time in the field as a univariate reference variable does not allow for this differentiated consideration and does not take into account relevant information in the reliability analysis. All existing prediction models have in common that only univariate reference parameters can be processed. For a fully comprehensive reliability analysis, all stress variables that lead to a failure must be considered. This is not sufficiently possible with a simple univariate approach. With the new approaches, it is now possible for the first time to consider different stress variables, their changes and their effects on the technical system under investigation in a field data analysis. The presented approach for the multivariate prognosis model considers i

关键词： Forecasting

来源：评论

学校读者我要写书评

暂无评论

Solving multi-choice multi-objective transportation problem: a utility function approach

引用

Journal of Uncertainty Analysis and Applications 2014年第1期2卷 1-20页

作者： Gurupada Maity Sankar Kumar Roy Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore India

This paper explores the study of multi-choice multi-objective transportation problem (MCMTP) under the environment of utility function approach. MCMTP is converted to multi-objective transportation problems (MOTP) by transforming the multi-choice parameters like cost, demand, and supply to real-valued parameters. A general transformation procedure using binary variables is illustrated to reduce MCMTP into MOTP. Most of the MOTP are solved by goal programming (GP) approach. Using GP, the solution of MOTP may not be satisfied all the time by the decision maker (DM) when the proposed problem contains interval-valued aspiration level. To overcome this difficulty, here we propose the approaches of revised multi-choice goal programming (RMCGP) and utility function into the MOTP and then compared the solution between them. Finally, numerical examples are presented to show the feasibility and usefulness of our paper.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Designing modularity architecture for multithread programming

Designing modularity architecture for multithread programmin...

引用

4th International Conference on Communications and Information Technology, CIT'10

作者： Netinant, Paniti Computer Science Department Bangkok University Bangkok Thailand Concurrent Programming Research Group Illinois Institute of Technology Chicago IL United States

ISBN: (纸本)9789604742073

Multithreaded Object-Oriented programming in concurrency environment using object-oriented technology is a complex activity. Programmers need to be aware of issues unrelated to their domain of problem, and are often unprepared for the challenges of the concurrent object-oriented programming brings. The interaction of their components becomes more complex, and makes it difficult to validate the design and correctness of the implemented program. Supporting separation of concerns in the design and implementation of the multithreaded object-oriented programming can provide a number of benefits such as comprehension, reusability, extensibility and adaptability in both design and implementation. We have tackled this problem by adopting the technique of separation of concerns in multithreaded object-oriented programming. In this paper we demonstrate an Aspect-Oriented approach that can be used for multithreaded object-oriented programming. We also show how better the separation of concerns in components. Readers/Writers problem is demonstrated using an aspect-oriented approach. Our methodology, which is based on aspect-oriented techniques as well as language and architecture independence, is an aspect-oriented framework.

关键词： Reusability

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of an Instrumented walking cane for Detection of Freezing of Gait 3

Design and Implementation of an Instrumented walking cane fo...

引用

3rd IEEE International Multidisciplinary Conference on Engineering Technology, IMCET 2021

作者： Haidar Ahmad, Joelle El-Asmar, Alain Abi Zeid Daou, Roy Hayek, Ali Boercsoek, Josef Faculty of Public Health Biomedical Technologies Department Jounieh Lebanon MART Learning Education and Research Center Chananir Lebanon University of Kassel Faculty of Electrical Engineering/Computer Science Department of Computer Architecture and System Programming Germany

ISBN: (纸本)9781665405874

Independent mobility is an important feature of an individual's normal life and with the elderly population continually growing, assistive devices such as walkers and canes provide help and guidance to users. Freezing of Gait (FoG) is an episodic phenomenon that is a common symptom of an age-related disease known as Parkinson Disease (PD). This paper is headed toward implementing a detection, diagnosis and correction system for FoG episodes. The proposed cane will generate visual, auditory and tactile cues to help patients overcome this problem, therefore reducing fall risks. In addition, a vibrating calf cuff will be attached to the calf for muscle stimulation. A compatible android phone application is designed to display heart rate measurements of the patient as well as his exact location in case of fall detection. The system is considered to be an electrically safe, portable, comfortable and a low-cost device. The performance of this system is analyzed thoroughly and the accuracy of all methodologies is considered carefully and evaluated. The results have shown no faulty errors and good accuracy and detection percentages. © 2021 IEEE.

关键词： Diagnosis

来源：评论

学校读者我要写书评

暂无评论

Multicollisions and graph-based hash functions

Multicollisions and graph-based hash functions

引用

3rd International Conference on Trusted Systems, INTRUST 2011

作者： Halunen, Kimmo Oulu University Secure Programming Group Department of Computer Science and Engineering University of Oulu P.O. Box 4500 90014 Oulu Finland

ISBN: (纸本)9783642322976

In this paper, we present some generalisations of previous multicollision finding methods and apply these against a new type of tree-based hash functions. We also show that the very general class of hash functions first presented by Nandi and Stinson can be understood as graph-based hash functions and a graph theoretical approach can be utilised in studying their properties. Previously, an efficient multicollision attack has been found against the basic iterated hash function construction. This method has been applied to the generalised iterated hash functions and binary tree-based hash functions. We show that similar methods can be utilised also against t-ary tree-based hash functions, simplify some definitions and conjecture a similar result for multicollisions against graph-based hash functions. © 2012 Springer-Verlag.

关键词： Hash functions

来源：评论

学校读者我要写书评

暂无评论

Monte Carlo Simulation to Investigate the Cascade Transition of a Permuted Polyelectrolyte Chain

引用

Procedia computer Science 2012年 9卷 634-640页

作者： Sahin Uyaver Computer Programming Department Vocational School Istanbul Commerce University Istanbul Turkey

Using Monte Carlo simulations, the cascade transition of a single polyelectrolyte chain having permuted charge distribution is investigated. The polyelectrolyte chain is simulated at various solvent regimes. The effect of the electrostatic interaction strength is studied. The structures are analyzed with respect to the scaling laws. The effect of permuted charge distribution is investigated in comparison to the other charge distribution in the literature.

关键词： polyelectrolyte Monte Carlo simulation cascade transition

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：