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

1st IEEE Ukraine conference on Electrical and Computer engineering (UKRCON)

作者： Shmeleva, T. R. AS Popov Odessa Natl Acad Telecommun 1 Kuznechna St UA-65029 Odessa Ukraine

ISBN: (纸本)9781509030064

Cellular networks are significant challenges for high performance data-intensive system designers due to their complexity. Being able to study features and designs before building the actual system is an advantage that a simulation model can offer. This paper presents a Petri net models program generator of communication hexagonal grids of arbitrary size for verification of telecommunication systems protocols with a hexagonal cell. Petri nets parametric description is used for automated composition of cellular grid models. The model, basic parameters are: the cellular grid size, the buffer capacity of the communication device, the number of packets in each device buffer. The basic element of the grid consists of internal buffer with the limited size and six ports, which operate in full duplex mode;the destination ports are chosen in nondeterministic way in the model. A program generator of Petri net models is written in the algorithmic language C. The output format type of generated file is represented as a Tina modeling system graphical format. The technique can be used in a wide range of Petri nets applications, including telecommunications, manufacturing systems and programming.

关键词： Grid computing cellular structure hexagonal grid infinite Petri nets parametric description program generator

来源：评论

学校读者我要写书评

暂无评论

Contracts in the wild: A study of Java programs 31

Contracts in the wild: A study of Java programs

引用

31st European conference on Object-Oriented programming, ECOOP 2017

作者： Dietrich, Jens Pearce, David J. Jezek, Kamil Brada, Premek School of Engineering and Advanced Technology Massey University Palmerston North New Zealand School of Engineering and Computer Science Victoria University of Wellington Wellington New Zealand NTIS - New Technologies for the Information Society Faculty of Applied Sciences University of West Bohemia Pilsen Czech Republic

ISBN: (纸本)9783959770354

The use of formal contracts has long been advocated as an approach to develop programs that are provably correct. However, the reality is that adoption of contracts has been slow in practice. Despite this, the adoption of lightweight contracts - typically utilising runtime checking - has progressed. In the case of Java, built-in features of the language (e.g. assertions and exceptions) can be used for this. Furthermore, a number of libraries which facilitate contract checking have arisen. In this paper, we catalogue 25 techniques and tools for lightweight contract checking in Java, and present the results of an empirical study looking at a dataset extracted from the 200 most popular projects found on Maven Central, constituting roughly 351,034 KLOC. We examine (1) the extent to which contracts are used and (2) what kind of contracts are used. We then investigate how contracts are used to safeguard code, and study problems in the context of two types of substitutability that can be guarded by contracts: (3) unsafe evolution of APIs that may break client programs and (4) violations of Liskov's Substitution Principle (LSP) when methods are overridden. We find that: (1) a wide range of techniques and constructs are used to represent contracts, and often the same program uses different techniques at the same time;(2) overall, contracts are used less than expected, with significant differences between programs;(3) projects that use contracts continue to do so, and expand the use of contracts as they grow and evolve;and, (4) there are cases where the use of contracts points to unsafe subtyping (violations of Liskov Substitution Principle) and unsafe evolution.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

Agile for Millennials: A Comparative study

Agile for Millennials: A Comparative Study

引用

IEEE/ACM international Workshop on Software engineering Curricula for Millennials (SECM)

作者： Marcello Missiroli Daniel Russo Paolo Ciancarini Department of Computer Science & Engineering University of Bologna Bologna Italy

ISBN: (纸本)9781538627969

Context: Comparative study of software development methodologies in millenials high school students. Objective: This paper compares the performance and satisfaction of both students and teachers in using two development strategies in a K-12 Computer science teaching practice. Method: This study includes an experiment, administered in a laboratory controlled setting to measure students' performances. Results: Scrum produces less usable software with better working features compared to Waterfall, it is also more appreciated by students. Teachers are more experienced with Waterfall, which also offers more control on the development process. Conclusions: From an educational perspective, the two methods are equivalent. Since we noted an overall positive effect on the learning environment, we recommend that at least one method be taught in practice.

关键词： Software Context programming profession Education Measurement Sociology

来源：评论

学校读者我要写书评

暂无评论

A novel multi-variate analysis method for searching particles in high energy physics 13

A novel multi-variate analysis method for searching particle...

引用

13th international conference on Natural Computation, Fuzzy Systems and Knowledge Discovery (ICNC-FSKD)

作者： Ma, Chao Hou, Tian-cheng Xu, Jin-hui Lan, Bin Zhang, Zhen-hua UCL Dept Comp Sci London WC1E 6BT England NYU Dept Finance & Risk Engn 550 1St Ave New York NY 10003 USA Arizona State Univ Sch Math & Stat Sci Tempe AZ 85281 USA City Univ Hong Kong Dept Econ Tat Chee Ave Kowloon Hong Kong Peoples R China Guangdong Univ Foreign Studies Sch Econ & Trade Guangzhou 510006 Guangdong Peoples R China

ISBN: (纸本)9781538621653

In order to search channel of Higgs bosons in high energy physics (HEP), in this paper we propose Deep Extreme Feature Extraction (DEFE), a new ensemble multi-variate Analysis method (MVA). DEFE is a deep ensemble learning scheme that trains a strongly diverse set of neural feature learners without explicitly encouraging diversity and penalizing correlations, which is achieved by adopting an implicit neural controller that directly controls and distributes gradient flows from higher level deep prediction network. Based on the construction and approximation of the extreme selection region presented in this paper, the DEFE model is able to be trained efficiently, and extract discriminative features from multiple angles and dimensions, hence the improvement of the selection region of searching new particles in HEP can be achieved. With the application in this model, the selection regions full of signal process can be obtained through the training of a miniature collision events set. In comparison of the classic deep neural network (DNN), DEFE shows a state-of-the-art performance: the error rate has decreased by about 37%, the accuracy has broken through 90% for the first time along with the discovery significance which has reached a standard deviation of 6.0. Experiment shows that DEFE is able to train an ensemble of discriminative feature learners that boosts the over-performance of final prediction. Furthermore, among high-level features, there are still some important patterns that are unidentified by DNN and are independent from low-level features, while DEFE can identify these significant patterns more effectively and efficiently.

关键词： deep learning feature learning ensemble learning higgs bosons

来源：评论

学校读者我要写书评

暂无评论

Coordination of directional overcurrent relays that uses an ant colony optimization algorithm for mixed-variable optimization problems 17

Coordination of directional overcurrent relays that uses an ...

引用

17th IEEE international conference on Environment and Electrical engineering and 2017 1st IEEE Industrial and Commercial Power Systems Europe, EEEIC / I and CPS Europe 2017

作者： Rivas, Angel Esteban Labrador Pareja, Luis Alfonso Gallego Deparment of Electrical Engineering State University of Londrina Londrina PR Brazil

ISBN: (纸本)9781538639160

In this paper, the coordination of directional over-current relays (DOCRs) using an ant colony optimization (ACO) algorithm is presented. The ACO performed is an extension of the ACOR algorithm for continuous optimization to tackle mixed-variable optimization problems, reduced in two types of variables both continuous and categorical. The DOCRs problem is a non-linear programming problem (NLP), usually solved with a linear programing technique (LP) only considering the time dial setting (TDS) as a decision variable, without dealing with the non-linear problem of plus setting (PS), or solving the PS component using a heuristic technique. In this work, both TDS and PS are decision variables, TDS is considered continuous and PS categorical. Parameters are adjusted according to literature to guarantee performance. The ACO algorithm has proved high probability of solving a problem when a high number of function evaluations exist. For testing this methodology two transmission systems (3 and 8 Bus accordingly) were evaluated to compare with the literature demonstrating effectiveness of the algorithm. © 2017 IEEE.

关键词： Ant colony optimization

来源：评论

学校读者我要写书评

暂无评论

international conference on Aerospace and Mechanical engineering (AeroMech17)

引用

IOP conference Series: Materials science and engineering 2018年第1期370卷

Preface As chairman and on behalf of the organising and scientific committee, I am delighted to welcome the delegates from all over the world to The 1st international conference of Aerospace and Mechanical engineering, AeroMech'17 on 21 till 22 November 2017 held at Parkroyal Hotel, Penang, Malaysia. Organised in a beautiful place located at the north of Peninsular Malaysia, AeroMech'17 is an international podium to present the state of art research & development in Aerospace and Mechanical engineering, while exchanging ideas, thoughts and information between the academia and industry.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Security-aware scheduling of embedded control tasks

Security-aware scheduling of embedded control tasks

引用

作者： Lesi, Vuk Jovanov, Ilija Pajic, Miroslav Department of Electrical and Computer Engineering Duke University 100 Science Drive DurhamNC27708 United States

In this work, we focus on securing cyber-physical systems (CPS) in the presence of network-based attacks, such as Man-in-the-Middle (MitM) attacks, where a stealthy attacker is able to compromise communication between system sensors and controllers. standard methods for this type of attacks rely on the use of cryptographic mechanisms, such as Message Authentication Codes (MACs) to ensure data integrity. However, this approach incurs significant computation overhead, limiting its use in resource constrained systems. Consequently, we consider the problem of scheduling multiple control tasks on a shared processor while providing a suitable level of security guarantees. Specifically, by security guarantees we refer to control performance, i.e., Quality-of-Control (QoC), in the presence of attacks. We start by mapping requirements for QoC under attack into constraints for security-aware control tasks that, besides standard control operations, intermittently perform data authentication. This allows for the analysis of the impact that security-related computation overhead has on both schedulability of control tasks and QoC. Building on this analysis, we introduce a mixed-integer linear programming-based technique to obtain a schedulable task set with predefined QoC requirements. Also, to facilitate optimal resource allocation, we provide a method to analyze interplay between available computational resources and the overall QoC under attack, and show how to obtain a schedulable task set that maximizes the overall QoC guarantees. Finally, we prove usability of our approach on a case study with multiple automotive control components. © 2017 ACM.

关键词： Scheduling

来源：评论

学校读者我要写书评

暂无评论

The Role of art Design Teachers in Classroom Teaching

The Role of Art Design Teachers in Classroom Teaching

引用

1st international conference on Education,Economics and Management Research(ICEEMR 2017)

作者： Cancan Guo Department of Art Design Ginkgo Hotel Management College Chengdu Information Engineering University

In order to develop professional knowledge on art design and improve the practicality of classroom teaching and classroom management, professional teacher organization courses are proposed for classroom teaching in this study. The methods to improve the quality of teaching in classroom teaching were discussed. As was shown in the result, the professional knowledge that is reflected in classroom teaching helps students develop their skills, improves classroom management, and allows teachers to provide effective counseling.

关键词： art design professional teachers classroom teaching

来源：评论

学校读者我要写书评

暂无评论

international conference on Materials, Alloys and Experimental Mechanics (ICMAEM-2017)

引用

IOP conference Series: Materials science and engineering 2017年第1期225卷

international conference on Materials, Alloys and Experimental Mechanics (ICMAEM) is an international conferences intended to confer, share and innovation on recent developments and trends in engineering for their research communities. Experts from the Material science, Physics, engineering sciences and Information Technology communities attended ICMAEM. This conference series provides an international forum to exchange experiences and the needs of a wide community, and to present and discuss recent, ongoing, and future activities. Although we are organizing first international conference, we have taken every measure which keeps up the reputation of the college as well as Journal. Mainly, the latest developments in Material science, Physics, engineering sciences and Information Technology were presented. The Mathematical models and computing for Material science has been massively evolved since then, and along this inventions spread in to all parts of engineering. A vibrant community of experts on a wide range of different Material science and engineering experiments, as well as technology explorer and industry contacts, attend and discuss the present and future challenges, and shape the future of an entire community. In such a rapidly evolving area, aiming to capture the state-of-the-art on Materials, software and computing through a collection of proceedings papers on a journal is a big challenge. Due to the large attendance, the success is enormous. Additionally, the contributions often report about studies at very heterogeneous statuses, namely studies that are completed, or are just started, or yet to be done. And by the time of conference, new ideas and explorations were discussed, suggested, and presumably have also followed previously unpredictable directions. The ICMAEM proceedings with IOP: Material science and engineering, in their variety and thanks to the condensed form of knowledge they offer, are what most likely will be more easily preserved for futu

关键词：

来源：评论

学校读者我要写书评

暂无评论

Discussion on Basic Course of Modeling of Digital Media Application Technology Major in Higher Vocational Colleges——Case study of Design Sketch

Discussion on Basic Course of Modeling of Digital Media Appl...

引用

2017 4th international conference on Education,Management and Computing Technology(ICEMCT 2017)

作者： Yunke Wei Guangdong Polytechnic of Science and Technology

Basic course of modeling refers to a required basic course covering "design sketch" and "three components". The research field of digital media application technology major is software interface design, requiring students to have certain fine arts foundation. The students of digital media application technology major of higher vocational colleges are non-art students who have no fine arts foundation. This paper is intended to analyze how teachers can guide students to overcome anxiety and develop an interest based on practical teaching experience, and put forward some practical methods of teaching of basic course of modeling of digital media application technology major.

关键词： Basic course of modeling Modeling ability Creativity Multiplicity

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：