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

Co-engineering Safety-Security Using Statistical Model Checking 1

42nd IFIP WG 6.1 international conference on Formal Techniques for Distributed Objects, components, and Systems (FORTE) Held as Part of the 17th international Federated conference on Distributed Computing Techniques (DisCoTec)

作者： Kumar, Rajesh Singh, Siddhant Narra, Bhavesh Kela, Rohan Birla Inst Technol & Sci Dept Comp Sci & Informat Syst Pilani Rajasthan India

ISBN: (数字)9783031086793

ISBN: (纸本)9783031086793;9783031086786

In this journal-first paper, we present an overview of our novel formalism of Attack-Fault-Maintenance Trees (AFMTs). Detailed version of work is available in [3]. AFMTs enable practitioners to quantify the disruption scenarios by answering several safety-security metrics. Alongside, it provides an informed decision on optimal maintenance policies by suggesting preventive component repairs and inspection frequencies. We answer the aforementioned metrics through "what-if" and "scenario analysis". the models are supported by a graphical friendly tool of PASST. the tool's front-end is a drawing canvas that provides the different syntactic elements used to design a well-formed AFMT model. the back-end of the tool is based on the statistical-model checking techniques. From the practitioner perspective, once the AFMT is designed and input parameters on component failure, detection rates, inspection rates are provided, the entire analysis can be then done as push-button technology using model-checking techniques

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Fast Traffic engineering by Gradient Descent with Learned Differentiable Routing 18

Fast Traffic Engineering by Gradient Descent with Learned Di...

引用

18th international conference on Network and Service Management (CNSM) - Intelligent Management of Disruptive Network Technologies and Services

作者： Rusek, Krzysztof Almasan, Paul Suarez-Varela, Jose Cholda, Piotr Barlet-Ros, Pere Cabellos-Aparicio, Albert AGH Univ Sci & Technol Inst Telecommun Krakow Poland Univ Politecn Cataluna Barcelona Neural Networking Ctr Barcelona Spain

ISBN: (纸本)9783903176515

Emerging applications such as the metaverse, telesurgery or cloud computing require increasingly complex operational demands on networks (e.g., ultra-reliable low latency). Likewise, the ever-faster traffic dynamics will demand network control mechanisms that can operate at short timescales (e.g., sub-minute). In this context, Traffic engineering (TE) is a key component to efficiently control network traffic according to some performance goals (e.g., minimize network congestion). this paper presents Routing By Backprop (RBB), a novel TE method based on Graph Neural Networks (GNN) and differentiable programming. thanks to its internal GNN model, RBB builds an end-to-end differentiable function of the target TE problem (MinMaxLoad). this enables fast TE optimization via gradient descent. In our evaluation, we show the potential of RBB to optimize OSPF-based routing (similar to 25% of improvement with respect to default OSPF configurations). Moreover, we test the potential of RBB as an initializer of computationally-intensive TE solvers. the experimental results show promising prospects for accelerating this type of solvers and achieving efficient online TE optimization.

关键词： Traffic engineering Routing Optimization Graph-based Deep Learning Gradient Descent

来源：评论

学校读者我要写书评

暂无评论

the Hitchhiker's Guide to Software Languages

引用

ACM SIGPLAN NOTICES 2011年第2期46卷 1-1页

作者： Laemmel, Ralf Univ Koblenz Landau Software Languages Team Landau Germany

there is only that much space in the CS curriculum, and there are always new subjects that should be accommodated by the curriculum. For instance, in our community, we would want all graduates to leave university with a modest background in technical spaces, software languages, and meta-programming;also, with conceptually informed and reasonably timeless skills to efficiently master related programming techniques and technologies. In reality, the curricula of few CS departments meet this expectation. In this talk, I will discuss such curricula-related expectations of our community and the suboptimal situation at CS departments-as I perceive them. More importantly, I will allude to a revision of the CS curriculum that could optimize matters and may stand a chance for mid-term adoption.

关键词： Design Documentation Experimentation Languages Technical Spaces Software Languages Metaprogramming X/O/R Mapping programming Techniques programming Technologies

来源：评论

学校读者我要写书评

暂无评论

ICA Based on KPCA and Hybrid Flexible Neural Tree to Face Recognition

ICA Based on KPCA and Hybrid Flexible Neural Tree to Face Re...

引用

Computer Information Systems and Industrial Management Applications (CISIM)

作者： Jin Zhou Yang Liu Yuehui Chen School of Information Science and Engineering University of Ji''nan Jinan Shandong China

In this paper, a new approach using independent component analysis (ica) and hybrid Flexible Neural Tree (FNT) is put forward for face recognition. To improve the quality of the face images, a series of image pre-processing techniques, which include histogram equalization, edge detection and geometrical transformation are used. the ICA based on Kernel principal component analysis (KPCA) and FastICA is employed to extract features, and the Hybrid FNT is used to identify the faces. To accelerate the convergence of the FNT and improve the quality of the solutions, the extended compact genetic programming (ECGP) and particle swarm optimization (PSO) are applied to optimize the FNT structure and parameters. the experimental results show that the proposed framework is efficient for face recognition.

关键词： Independent component analysis Face recognition Face detection Histograms Image edge detection Kernel Principal component analysis Feature extraction Acceleration Genetic programming

来源：评论

学校读者我要写书评

暂无评论

Structure Optimization of Magnetic Levitation Motor Rotor 6

Structure Optimization of Magnetic Levitation Motor Rotor

引用

6th international conference on Fuzzy Systems and Data Mining (FSDM)

作者： Yao, Shuyan Wu, Bo Liu, Qiang Xu, Kang Beijing Inst Petrochem Technol Inst Precis Electromagnet Equipment & Adv Measure Beijing 102617 Peoples R China

ISBN: (纸本)9781643681351;9781643681344

With the development of science and technology, magnetic suspension products are gradually favored by people for the characteristics of no friction and wear, no lubrication and long life. With the increasing consumption of fossil energy, magnetic levitation green energy-saving equipment is gradually studied by researchers. Taking magnetic suspension flywheel (MSMFW) as typical representative, magnetic suspension products in aerospace field have been greatly developed. As the core component of magnetic suspension flywheel, magnetic levitation motor has been widely studied. To obtain the better performance of magnetic levitation motor when it was used in magnetic suspended momentum flywheel, the motor rotor system structure was optimized in this paper. Firstly, the rotor system moment of inertia was calculated and analyzed, and the optimum ratio of polar moment of inertia to equatorial moment of inertia was obtained. then the basic structure of motor rotor was designed on the basis of the rotor system dynamic analysis. thirdly, based on the flywheel motor system model, the ANSYS Parametric Design Language (APDL) file was established, and it was applied to optimization software ISIGHT to complete the optimization. In the optimization process, the design variables boundary conditions were given, and the Sequence Quadratic programming method was used for maintaining the optimization process and the optimization convergence results was obtained. the magnetic flux density as the optimization objective is increased from 0.393 T to 0.53 T through the optimization, which is 34.9% larger than before. It is of great significance for the magnetic levitation motor design, and the engineering application of magnetic levitation motor based on optimization results will be done in the future.

关键词： Magnetic levitation motor Optimization design Moment of inertia Sequence quadratic programming method

来源：评论

学校读者我要写书评

暂无评论

Model based design optimization of micromechanical systems, based on the Cosserat theory

Model based design optimization of micromechanical systems, ...

引用

11th international conference on Optimization of Electrical and Electronic Equipment

作者： Wiegand, T. Peters, D. Laur, R. Rosing, R. Richardson, A. Del Sarto, M. Baldo, L. Univ Bremen Inst Electromagnet Theory & Microelect D-2800 Bremen 33 Germany Univ Lancaster Centre Microsyst Engn Lancaster LA1 4YB England STMicroelect MEMS Product Div Milan Italy

ISBN: (纸本)9781424415441

In this paper we present the model based design optimization on a micromechanical system which is described by a VHDL-AMS behaviour model, based on the Cosserat theory. the application is a gyroscope test structure developed by ST MICROELECTRONICS. the schematic of the microactuator is built tip front component models developed in Lancaster within previous work. the equations of motion of the beam model were derived using Cosserat theory. the rigid body model wits adjusted to capture the behaviour of the central disk with comb-drives of the microactuator target structure. Within the model based design optimization system MODOS developed at the UNIVERSITY OF BREMEN a model optimization and a model based design optimization were performed. In this report we represent the theoretical background of the modeling and optimization process and publish the received results.

关键词： optimization programming modelling VHDL-AMS

来源：评论

学校读者我要写书评

暂无评论

Hardware/software co-design for line detection algorithm on FPGA

Hardware/software co-design for line detection algorithm on ...

引用

international conference on Electrical engineering/Electronics, Computer, Telecommunications and Information Technology, ECTI-CON

作者： W. Kayankit W. Suntiamorntut Department of Computer Engineering Faculty of Engineering Prince of Songkla University Hatyai Songkhla Thailand

this paper presents the design methodology of hardware/software co-design on FPGA. In this research work uses line detection algorithm to be our case study. C-based programming named ImpulseC has been employed. By using this, we could reduce the time of the design. Two main components are involved. Edge detection module is the first component. Various algorithms, Robert, Sobel and Prewitt, are compared. the best algorithm in term of performance and area is selected. the second component is hough transform. this module is divided into hardware and software due to the limit of the available logic block. At the end, the system both in hardware/software for line detection on FPGA is simulated.

关键词： Hardware Detection algorithms Field programmable gate arrays Image edge detection Kernel Convolution Filters Design engineering Computational modeling Operating systems

来源：评论

学校读者我要写书评

暂无评论

An Object Oriented Complexity Metric Based on Cognitive Weights

An Object Oriented Complexity Metric Based on Cognitive Weig...

引用

IEEE international conference on Cognitive Informatics

作者： Sanjay Misra Department of Computer Engineering Atilim University Ankara Turkey

Complexity in general is defined as "the degree to which a system or component has a design or implementation that is difficult to understand and verify ". Complexity metrics are used to predict critical information about reliability and maintainability of software systems. Object oriented software development requires a different approach to software metrics. In this paper, an attempt has been made to propose a metric for an object oriented code, which calculates the complexity of a class at method level. the proposed measure considers the internal architecture of the class, subclass, and member functions, while other proposed metrics for object oriented programming do not. An attempt has also been made to evaluate and validate the proposed measure in terms of Weyuker's properties and against the principles of measurement theory. It has been found that seven of nine Weyuker's properties have been satisfied by the proposed measure. It also satisfies most of the parameters required by the measurement theory perspective, hence establishes as a well-structured one.

关键词： Software measurement Software systems Software metrics Functional programming Object oriented programming Time measurement Cognitive informatics Size measurement Maintenance engineering Software quality

来源：评论

学校读者我要写书评

暂无评论

Considering IEC 61131-3 and IEC 61499 in the context of component frameworks

Considering IEC 61131-3 and IEC 61499 in the context of comp...

引用

IEEE international conference on Industrial Informatics (INDIN)

作者： Christoph Sunder Alois Zoitll James H. Christensen Heinrich Steininger Josef Rritsche Vienna University of Technology Vienna Austria Technische Universitat Wien Wien Wien AT Holobloc Inc. Cleveland Ohio USA Logi.cals Austria-kirchner SOFT GmbH Austria Bachmann electronic GmbH Kreuzäckerweg 33 6800 Reldkirch-Tosters Austria

Automation and control systems provide their own programming and modeling paradigms in parallel to theory well known from computer science. Especially the concepts of component-based software engineering highly influence the design of embedded systems, which include automation and control systems. this work analyses what is and is not a ldquosoftware componentrdquo in the context of the two standards IEC 61131-3 and IEC 61499. Utilizing the definition of component frameworks and component system architectures, the potentials and problems of an integrative approach in order to utilize both standards within the same platform was discussed.

关键词： IEC Standards Software Standards Computer architecture Task analysis Automation Interoperability

来源：评论

学校读者我要写书评

暂无评论

6th ICSE workshop on component-based software engineering: automated reasoning and prediction

6th ICSE workshop on component-based software engineering: a...

引用

international conference on Software engineering (ICSE)

作者： I. Crnkovic H. Schmidt J. Stafford K. Wallnau Malardalen University Sweden Monash University Australia Tufts University USA Carnegie Mellon University USA

component-based technologies and processes have been deployed in many organizations and in many fields over the past several years. However, modeling, reasoning about, and predicting component and system properties remains challenging in theory and in practice. CBSE6 builds on previous workshops in the ICSE/CBSE series, and in 2003 is thematically centered on automated composition theories. Composition theories support reasoning about, and predicting, the runtime properties of assemblies of components. Automation is a practical necessity for applying composition theories in practice. Emphasis is placed in this workshop on composition theories that are well founded theoretically, are verifiable or falsifiable, automated by tools, and supported by practical evaluation.

关键词： System analysis and design Object oriented programming Software tools

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：