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

International Multi-Conference on Industrial Engineering and Modern Technologies (FarEastCon)

作者： V.Yu Karandey O.B. Popova B.K Popov V.L. Afanasyev Department of power supply of the industrial enterprises Kuban State Technological University Krasnodar Russian Federation Department of information systems and programming Kuban State Technological University Krasnodar Russian Federation

In article the research of dynamics of change of electromagnetic parameters of the controlled special electric drives is conducted. Special electric drives are the controlled cascade electric drives of cylindrical and axial designs. The research of dynamics of change of parameters was executed to a basis of a method of electromagnetic transformation of energy and the theory of electromagnetic chains. As a result for new mathematical models of an electromagnetic system of the research electric drives parameters of the electromagnetic field of the closed round of one coil of an electric winding with electric current in a homogeneous environment are determined. The solved task is spatial as distribution of electromagnetic induction in a round of the set form of the electromagnetic coil is defined. The received conclusions of determination of electromagnetic parameters of cylindrical and axial electric motors of special electric drives allow to solve correctly problems of modeling, design and improvement of efficiency of the research electric drives and other electromechanical converters of energy of various designs. Results of a research are applicable for creation of the computer-aided engineering system of the research electric drives and the solution of problems of modeling and design. The conducted research allows to create electric drives optimum mass-dimensional and power indicators.

关键词： Magnetic separation Industrial engineering Electromagnetic fields Control systems Mathematical model Drives

来源：评论

学校读者我要写书评

暂无评论

Hassenstein-Reichardt Detector Using Controllable Single Pulse Time-Delay Circuit for Neuromorphic Hardware

Hassenstein-Reichardt Detector Using Controllable Single Pul...

引用

Computer Science (COMSCI), International Scientific Conference on

作者： Ianislav Trendafilov Veska Gancheva Neuromorphica Ltd. Sofia Bulgaria Department of Programming and Computer Technologies Faculty of Computer Systems and Technologies Technical University of Sofia 8 Kliment Ohridski blvd. Sofia Bulgaria

Inspired by the visual system of the fruit fly, we had created a generic building block for neuromorphic hardware that is vital for third generation neural networks. This enables time delay to be parametrized in a cheap and inexpensive way. The advantage of our proposal is the possibility of building and testing new networks using dynamicist approach in artificial intelligence.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Machine intelligibility and the duality principle

British Telecom technology journal

引用

British Telecom technology journal 1996年第4期14卷 15-23页

作者： Muggleton, S. Michie, D. Wolfson College Oxford United Kingdom University of Tokyo Turing Institute Glasgow United Kingdom Intelligent Systems Research Group BT Laboratories Inductive Logic Programming Oxford University Press Logic Programming ILP Oxford Univ. Computing Laboratory University of Edinburgh Royal Society of Edinburgh British Computer Society

Lack of machine intelligibility in human/computer interactions can be traced to present approaches in software design. From the duality principle, software involved in human/computer software interaction contains two distinct layers, a declarative knowledge-level layer and a lower-level functional or procedural-knowledge layer. The former supports simple deductive and inductive inferences and can be used to facilitate human-comprehensible communication between programs, while the latter is composed of normal procedurally encoded computer programs. The duality principle in software design is necessary in dealing with the demands of wide-scale computer usage in the information age and an urgent goal for computer science research.

关键词： Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

Foreword: First International Workshop on the Web and Requirements Engineering

Foreword: First International Workshop on the Web and Requir...

引用

International Workshop on the Web and Requirements Engineering (WeRE)

作者： Irene Garrigós Jose-Norberto Mazón Nora Koch Maria José Escalona John Mylopoulos Dept. of Software and Computing Systems University of Alicante Spain Dept. of Computer Languages and Systems University of Seville Spain Programming and Software Engineering Dept. University of Munich Germany Information Engineering and Computer Science Dept. University of Trento Italy

The International Workshop on the Web and Requirements Engineering (WeRE) was held in conjunction with the 18 th International IEEE Requirements Engineering Conference (RE'10) in Sydney (Australia) on September 28 2010. WeRE intends to be an international forum for exchanging ideas on both using Web technologies as a platform in the requirements engineering field, and applying requirements engineering in the development and use of websites. Papers focused on new domains and new experiences with the connection between requirements engineering and the Web were presented in WeRE.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Search for new technical solutions when designing color measuring systems

Search for new technical solutions when designing color meas...

引用

International Conference on Information Science and Communications Technologies (ICISCT)

作者： Marysheva L.T Isxakova N.P Latipova N.X Azizbek Khaitov Department of System and Applied Programming Tashkent University of Information Technologies Uzbekistan Tashkent Department of Hardware and software provision of management systems in telecommunications Tashkent University of Information Technologies Uzbekistan Tashkent

ISBN: (数字)9781728125640

ISBN: (纸本)9781728125657

To search for new technical solutions when designing color measuring systems, we need a design object, i.e. to divide color measuring device into fragments, and solutions are sought for these fragments separately. At the first level of the partition, the color measuring device is divided into four main structural parts: the lighting, dispersing, electronic recording and computing devices.

关键词： Color Lighting Measurement uncertainty Image color analysis Standards Coordinate measuring machines Systematics

来源：评论

学校读者我要写书评

暂无评论

Method of Detection of Intrusions Based on Stacking Meta-Algorithm

Method of Detection of Intrusions Based on Stacking Meta-Alg...

引用

Advanced Technology (KhPIWeek), IEEE KhPI Week on

作者： Svitlana Gavrylenko Vladislav Zozulia Nataliia Khatsko Department of Computer Engineering and Programming National Technical University “Kharkiv Polytechnic Institute” Kharkiv Ukraine Department Information Systems and Technologies National Technical University «Kharkiv Polytechnic Institute» Kharkiv Ukraine

ISBN: (数字)9798350384499

ISBN: (纸本)9798350384505

An analysis of modern computer network intrusion detection systems was carried out. The application of machine and deep learning methods for classification problems has been investigated. The UNSW-NB15 dataset, developed at the Australian Cyber Security Center's (ACCS) Cyber Range Laboratory, contains data on normal network operations and synthetic intrusions. Data pre-processing was performed, including class balancing using the SMOTEENN method and selection of informative features using the Recursive Feature Elimination method. The possibility of using the stacking meta-algorithm to detect intrusions into computer networks has been investigated. A new algorithm for generating packets of raw data is proposed, which generates two sets of training data: one for training basic models, the other for a meta-model. A study of the effectiveness of using Random Forest, ANN, K Nearest Neighbor methods and Support Vector Machine and Random Forest as a decision-making meta-model was conducted. The use of the stacking meta-algorithm with the proposed algorithm for forming packets of output data, as well as basic models and a meta-model, led to a significant improvement in the quality of the model. It was found that, on average, recall and f1 score increased by 55.6% and 37.4%, respectively, compared to raw data and other models.

关键词： Training Support vector machines Computational modeling Stacking Training data Intrusion detection Predictive models Nearest neighbor methods Data models Random forests

来源：评论

学校读者我要写书评

暂无评论

Sequent Calculus for a Program-oriented Predicate Logic over Complex-Named Data

Sequent Calculus for a Program-oriented Predicate Logic over...

引用

International Conference on Advanced Computer Information Technologies (ACIT)

作者： Mykola Nikitchenko Oksana Shkilniak Stepan Shkilniak Dept. of Theory and Technology of Programming Taras Shevchenko National University of Kyiv Kyiv Ukraine Dept. of Intelligent Software Systems Taras Shevchenko National University of Kyiv Kyiv Ukraine

ISBN: (数字)9781728167602

ISBN: (纸本)9781728167619

The multiplicity of data structures used in programming complicates analysis and verification of software systems. Nominative data aim to serve as a unified model of different data structures. The main feature of such data is usage of complex names to access or modify data components. This leads to a problem considered in the paper: to define and investigate a class of nominative data with complex names (complex-named data), operations on this class, properties of this class (specified as predicates over such data), and compositions of such predicates. We define an algebra of predicates over data with complex names and specify a first order logic that describes general properties of such algebras. For this logic we construct a sequent calculus and prove its soundness and completeness.

关键词： Algebra Calculus Data structures programming Software systems Data models Absorption

来源：评论

学校读者我要写书评

暂无评论

Performance Characterization of SPEC CPU2006 Benchmarks on Intel and AMD Platform

Performance Characterization of SPEC CPU2006 Benchmarks on I...

引用

International Workshop on Education Technology and Computer Science, ETCS

作者： Shengmei Li Buqi Cheng Xingyu Gao Lin Qiao Zhizhong Tang Department of Computer Science and Technology Tsinghua University Beijing China Programming Systems Laboratory Intel China Research Center Limited Beijing China Chinese Academy and Sciences Beijing China

For understanding the performance differences caused by different computer architectures and optimization technologies, the paper characterizes performance of SPEC CPU2006 benchmarks both on Intel and AMD platform. Using the performance events collected by Performance Monitor Unit, we compare their performance differences and analyze the causes from the features of architectures and the optimization technologies. Our results and analysis help the programmers better understand the memory performance and branch prediction performance which are caused by architectures and guide them in the optimization. The analysis also help the processor architects better balance among the key architecture factors such as memory disambiguation and hardware prefetch when doing architecture design decision.

关键词： Microarchitecture Decoding Educational technology Paper technology programming profession Performance analysis Computer science Computer architecture Hardware Prefetching

来源：评论

学校读者我要写书评

暂无评论

Characterization and analysis of HMMER and SVM-RFE parallel bioinformatics applications

Characterization and analysis of HMMER and SVM-RFE parallel ...

引用

IEEE International Workshop/Symposium on Workload Characterization

作者： U. Srinivasan Peng-Sheng Chen Qian Diao Chu-Cheow Lim E. Li Yongjian Chen R. Ju Yimin Zhang Programming Systems Laboratoryoratory Microprocessor Technology Laboratory Intel Corporation Santa Clara CA USA Architecture Research Laboratoryoratory Microprocessor Technology Laboratory Intel Corporation Santa Clara CA USA

Bioinformatics applications constitute an emerging data-intensive, high-performance computing (HPC) domain. While there is much research on algorithmic improvements, (2004), the actual performance of an application also depends on how well the program maps to the target hardware. This paper presents a performance study of two parallel bioinformatics applications HMMER (sequence alignment) and SVM-RFE (gene expression analysis), on Intel x86 based hyperthread-capable (2002) shared-memory multiprocessor systems. The performance characteristics varied according to the application and target hardware characteristics. For instance, HMMER is compute intensive and showed better scalability on a 3.0 GHz system versus a 2.2 GHz system. However, SVM-RFE is memory intensive and showed better absolute performance on the 2.2 GHz machine which has better memory bandwidth. The performance is also impacted by processor features, e.g. hyperthreading (HT) (2002) and prefetching. With HMMER we could obtain -75% of the performance with HT enabled with respect to doubling the number of CPUs. While load balancing optimizations can provide speedup of -30% for HMMER on a hyperthreading-enabled system, the load balancing has to adapt to the target number of processors and threads. SVM-RFE benefits differently from the same load-balancing and thread scheduling tuning. We conclude that compiler and runtime optimizations play an important role to achieve the best performance for a given bioinformatics algorithm.

关键词： Hidden Markov models Bioinformatics Hardware Load management Yarn Gene expression Performance analysis Multiprocessing systems Scalability Bandwidth

来源：评论

学校读者我要写书评

暂无评论

Low-complexity PDoA-based localization

Low-complexity PDoA-based localization

引用

International Conference on Indoor Positioning and Indoor Navigation (IPIN)

作者： Benjamin Sackenreuter Niels Hadaschik Marc Faßbinder Christopher Mutschler Locating and Comm. Sys. Dept. Fraunhofer Institute for Integrated Circuits IIS Nuremberg Germany Programming Systems Group Friedrich-Alexander-University Erlangen-Nuremberg (FAU) Germany

Localization of wireless nodes within the IoT received much attention lately. However, strong constraints on power consumption, scalability, and complexity of the nodes pose a big challenge for localization techniques. This paper presents a concept for energy-efficient low-complexity localization based on Phase Difference of Arrival (PDoA). Besides a novel method for reference transmitter selection we propose a waveform, well-suited for PDoA measurements, and evaluate its ranging performance. We compare multiple signal classification (MUSIC), linear fitting, and mean phase difference and compare their estimation variance to the Cramer Rao Lower Bound (CRLB). Our system concept allows for the mitigation of near-far effects for reference and tag signals at the receiver nodes, and an efficient implementation of a wideband frequency hopping scheme.

关键词： Signal to noise ratio Logic gates Transmitters Distance measurement Position measurement Phase locked loops

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：