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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

213 篇 会议
5 册 图书
3 篇 期刊文献

馆藏范围

221 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

156 篇 工学
- 120 篇 计算机科学与技术...
- 110 篇 软件工程
- 22 篇 信息与通信工程
- 21 篇 控制科学与工程
- 18 篇 电气工程
- 11 篇 电子科学与技术（可...
- 11 篇 安全科学与工程
- 9 篇 机械工程
- 8 篇 动力工程及工程热...
- 7 篇 材料科学与工程（可...
- 6 篇 石油与天然气工程
- 6 篇 生物医学工程（可授...
- 5 篇 环境科学与工程（可...
- 5 篇 生物工程
- 4 篇 仪器科学与技术
- 3 篇 网络空间安全
- 2 篇 冶金工程
- 2 篇 交通运输工程
30 篇 理学
- 24 篇 数学
- 11 篇 统计学（可授理学、...
- 5 篇 生物学
- 4 篇 系统科学
- 3 篇 物理学
28 篇 管理学
- 15 篇 管理科学与工程(可...
- 14 篇 图书情报与档案管...
- 9 篇 工商管理
8 篇 教育学
- 8 篇 教育学
- 4 篇 心理学(可授教育学...
5 篇 经济学
- 5 篇 应用经济学
4 篇 医学
- 3 篇 临床医学
1 篇 农学

主题

15 篇 programming
15 篇 software enginee...
13 篇 component
11 篇 aspect oriented ...
10 篇 generative adver...
9 篇 principal compon...
8 篇 semantics
7 篇 c++ (programming...
7 篇 real-time system...
7 篇 accuracy
6 篇 computer archite...
6 篇 linear programmi...
5 篇 software systems
5 篇 feature extracti...
4 篇 object oriented ...
4 篇 generative progr...
4 篇 knowledge engine...
4 篇 software enginee...
4 篇 simulation
4 篇 face recognition

机构

2 篇 department of el...
2 篇 department of ma...
2 篇 department of ar...
2 篇 department of in...
2 篇 univ waterloo wa...
2 篇 trainee security...
2 篇 space engineerin...
2 篇 jiangsu universi...
2 篇 department of co...
2 篇 next generation ...
2 篇 department of ma...
1 篇 university of ap...
1 篇 univ teknol mara...
1 篇 college electric...
1 篇 school of electr...
1 篇 ocean university...
1 篇 the computer sci...
1 篇 srm institute of...
1 篇 department of co...
1 篇 department of el...

作者

3 篇 czarnecki k
2 篇 noyé jacques
2 篇 zólyomi i
2 篇 ankur gupta
2 篇 douence r
2 篇 porkoláb z
2 篇 pravin ramdas ks...
2 篇 dharmesh dhabliy...
2 篇 dhoma harshavard...
2 篇 biggerstaff ted ...
2 篇 mallika dhingra
1 篇 veigl chris
1 篇 huang tao
1 篇 weide bw
1 篇 srinivasa rao bi...
1 篇 shiva mehta
1 篇 pu js
1 篇 khayum p. abdul
1 篇 walter schaufelb...
1 篇 blum niklas

语言

211 篇 英文
9 篇 其他
1 篇 中文

检索条件"任意字段=3rd International Conference on Generative Programming and Component Engineering"

共 221 条记录，以下是131-140 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Design of general ATS software platform based on components

Design of general ATS software platform based on components

引用

2013 3rd international conference on Mechatronics and Applied Mechanics, ICMAM 2013

作者： Guo, Su Min Xu, Ke Bao Su, Chun Jian Liu, Yan Fang College of Mechanical and Electronic Engineering Shandong University of Science and Technology Qingdao Shandong 266590 China

ISBN: (纸本)9783038350309

Generality is an important direction for Automatic Test System(ATS),while general software platform is the key technology to realize general ATS. Object-oriented programming design ideas and hierarchical and modular structure of the program have been adopted,achieving the separation of data processing and testing processes;"Software backplane + component" general software architecture has been used to achieve "the stability of the core layer, general, component layer configurable, scalable";non-coding type of test program development way is used to achieve the development of test programs assembled. In order to make the hardware resource management centralized in the testing system, test resource management server is designed on the platform, which can put the hardware and software resources into service to achieve the equipments transferring. The results provide that the software platform can improve the development efficiency of test program and also maintenance costs are reduced. © (2014) Trans Tech Publications, Switzerland.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Data Mining and AI for Early Diagnosis and Treatment Optimization in Autoimmune Encephalitis 3

Data Mining and AI for Early Diagnosis and Treatment Optimiz...

引用

3rd IEEE international conference on ICT in Business Industry and Government, ICTBIG 2023

作者： Natrayan, L. Ali, H. Mohammed Kaliappan, S. Kumar, Gotte Ranjith Saveetha School of Engineering Simats Department of Mechanical Engineering TN Chennai India Srm Institute of Science and Technology- Ramapuram Campus Department Mechanical Engineering TN Chennai India Lovely Professional University Division of Research and Development Punjab India School of Computer Science & Artificial Intelligence Sr University Telangana Warangal India

ISBN: (纸本)9798350343274

To guarantee high-quality and trustworthy data, we first highlight the need of preprocessing. The dataset is prepared for analysis by using standard methods such as data cleansing, normalization, and feature engineering. The technique relies heavily on the feature selection process, which picks out the most informative aspects of a large collection of clinical, imaging, and laboratory data. ReliefF (Relief Feature Selection), Recursive Feature Elimination (RFE), and Principal component Analysis (PCA) are three of the most popular feature selection techniques utilized here. These techniques make it easier to find unique characteristics in data, which in turn makes machine learning models more effective. A logistic regression model is used to predict the likelihood of autoimmune encephalitis based on certain characteristics to make an early diagnosis. In addition, linear programming is used to incorporate treatment optimization as an optimization issue. This guarantees that the suggested strategy maximizes therapy effectiveness within the bounds of possible side effects, available resources, and individual patient preferences. By adhering to a code of ethics, we preserve patient privacy and meet all applicable regulations. The suggested technique provides a holistic answer for autoimmune encephalitis evaluation and management. It greatly enhances diagnostic precision, therapeutic efficacy, and computational efficiency by merging data mining, AI, and mathematical modeling. These developments, together with our dedication to ethical compliance, make our method a very attractive and effective option for the diagnosis and individualized treatment of autoimmune encephalitis. © 2023 IEEE.

关键词： Diagnosis

来源：评论

学校读者我要写书评

暂无评论

3rd international Workshop on Formal Co-Simulation of Cyber-Physical Systems, CoSim-CPS 2019, international Workshop on Automated and verifiable Software System Development, ASYDE 2019, international Workshop on Cognition: Interdisciplinary Foundations, Models and Applications, CIFMA 2019 and 17th international Workshop on Foundations of Coordination Languages and Self-Adaptiveness of Software Applications, FOCLASA 2019, co-located with the 17th international conference on Software engineering and Formal Methods, SEFM 2019

3rd International Workshop on Formal Co-Simulation of Cyber-...

引用

3rd international Workshop on Formal Co-Simulation of Cyber-Physical Systems, CoSim-CPS 2019, international Workshop on Automated and verifiable Software System Development, ASYDE 2019, international Workshop on Cognition: Interdisciplinary Foundations, Models and Applications, CIFMA 2019 and 17th international Workshop on Foundations of Coordination Languages and Self-Adaptiveness of Software Applications, FOCLASA 2019, co-located with the 17th international conference on Software engineering and Formal Methods, SEFM 2019

ISBN: (纸本)9783030575052

The proceedings contain 20 papers. The special focus in this conference is on Formal Co-Simulation of Cyber-Physical Systems. The topics include: Behaviour and Reasoning Description Language (BrdL);cognitive Learning with a Robot: The Case of Script Acquisition;measuring the Intelligence of an Idealized Mechanical Knowing Agent;type Theory and Universal Grammar;two Cognitive Systems, Two Implications, and Selection Tasks;quantifying the Similarity of Non-bisimilar Labelled Transition Systems;identifying Failure Causalities in Multi-component Applications;a Formal programming Framework for Digital Avatars;modeling Self-adaptive Fog Systems Using Bigraphs;challenges for Integrating Humans into Vehicular Cyber-Physical Systems;From SOS to Asynchronously Communicating Actors;automatic Generation of Functional Mock-Up Units from Formal Specifications;generation of Co-simulation Algorithms Subject to Simulator Contracts;towards Reuse of Synchronization Algorithms in Co-simulation Frameworks;towards a Continuous Model-Based engineering Process for QoS-Aware Self-adaptive Systems;automated Feature Identification for Android Apps;Mapping BPMN2 Service Choreographies to Colored Petri Nets;interdisciplinary Aspects of Cognition.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of Differential Relay for Power Transformer Protection 3

Design and Implementation of Differential Relay for Power Tr...

引用

3rd international conference on Advancement in Electrical and Electronic engineering, ICAEEE 2024

作者： Kamal, Md. Abu Hena Safiq Anower, Md. Shamim Rajshahi University of Engineering & Technology Kazla Dept. of EEE Rajshahi6204 Bangladesh

ISBN: (纸本)9798350388282

This paper illustrates the design and implementation of a differential protection relay for protecting transformers in power distribution systems. Transformers are a key component of the electric power system, and protecting them is essential. Faster and more specific protection is needed since the transformer itself may sustain damage during an electrical failure. Overcurrent relays cannot provide accurate and quick operation for transformers because they use time grading and directional detection. Differential protection mechanisms are used for the above reasons. The core concept of the differential protection system is Kirchhoff's first law, which states that the sum of the currents going to a node is equal to the sum of the currents flowing away from it. The differential protection scheme detects the difference between the current entering a segment and that leaving it. When there is a difference between entering current and leaving current, the protection is active only. The problem is that an inrush current, also known as a magnetizing inrush current, is only transitory and lasts for a few milliseconds. It is worth mentioning that the inrush current is substantially larger, ranging from two to ten times that of the transformer's ordinary rated current. In this paper, Kirchhoff's voltage law (KVL) is also applied with a special programming algorithm to design differential relays to overcome the inrush effect. CT and PT are used as current and voltage sensors, and the Arduino Mega 2560 R3 is programmed to perform the IEC 60255-187-1:2021 standard differential protection relay (using minimum pickup of 87T = P.U. at 0.3, slope-1 = 30%, slope-2 = 60%, and break point between slope-1 and slope-2 = 2.0, delay time: 01 cycle). The differential relay provides voltage and current protection as well as inrush current protection of the power transformer. There is a provision for storing voltage and current data for future analysis. © 2024 IEEE.

关键词： Power transformers

来源：评论

学校读者我要写书评

暂无评论

Performance Indicators for the Robotics engineering Operational Scheduling 3

Performance Indicators for the Robotics Engineering Operatio...

引用

3rd IEEE international conference on Intelligent Techniques in Control, Optimization and Signal Processing, INCOS 2024

作者： Maragathasundari, S. Jahnavi, G Meka. Vanalakshmi, R. Karthikeyan, K. Department of Engineering Mathematics Tamilnadu Chennai India Kalasalingam Academy of Research and Education Department of Computer Science and Engineering Tamilnadu Krishnankoil India Sri Kaliswari College Department of Mathematics Tamilnadu Sivakasi India Velammal Institute of Technology Department of Mathematics Tamilnadu Chennai India

ISBN: (纸本)9798350361186

This study examines multi-stage robotic production line performance via queuing analysis to enable more accurate resource planning. It is one of a select few studies of this type designed to boost the efficiency of manufacturing robots with many stages. The goal of this study is to assist managers in increasing productivity and effectiveness while choosing the best policy for assembly systems. The study utilizes an analytical methodology based on actual data from a firm that manufactures robots. The process of making a robot involves several different processes, including identifying the problem, researching and designing the solution, developing a prototype, building the robot, programming and testing the robot, and ultimately assessing the robot. The necessary information for each workstation was gathered, and the Supplementary Variable approach was used to ascertain the processing component arrival and departure distribution statistics. The queueing analysis presented in this work serves as a foundation for predicting and analyzing production systems using metrics like utilization, the proportion of idle workstations, the number of batches in the system, the number of batches in the queue, the expected time spent in the queue, and the expected time spent in the system. © 2024 IEEE.

关键词： Robot programming

来源：评论

学校读者我要写书评

暂无评论

3rd international conference on Fundamental Approaches to Software engineering, FASE 2000 Held as Part of the Joint European conferences on Theory and Practice of Software, ETAPS 2000

引用

3rd international conference on Fundamental Approaches to Software engineering, FASE 2000 Held as Part of the Joint European conferences on Theory and Practice of Software, ETAPS 2000

ISBN: (纸本)3540672613

The proceedings contain 27 papers. The special focus in this conference is on Real-Time Systems, Formally engineering Systems, Software engineering and Object Orientation. The topics include: An essay on software engineering at the turn of century;parallel refinement mechanisms for real-time systems;a process algebra for real-time programs;system fault tolerance specification;proposal of a method combining semi-formal and formal approaches;structuring and design of reactive systems using RSDS and b;using domain-specific languages for the realization of component composition;analysing UML active classes and associated state machines;quality factors and life-cycle revised;a formal approach to heterogeneous software modeling;formal specification of object-oriented meta-modelling;verification of object oriented programs using class invariants;verification of object-z specifications by using transition systems;application to the radiomobile network design problem;a model for describing object-oriented systems from multiple perspectives;stepwise introduction and preservation of safety properties in algebraic high-level net systems;ready-simulation is not ready to express a modular refinement relation;java program verification via a Hoare logic with abrupt termination;foundations for software configuration management policies using graph transformations;analyzing non-functional properties of mobile agents;specification of an automatic manufacturing system;a case study on using automata in control synthesis and formal system development with KIV.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A formal approach to component-based software engineering: Education and evaluation 23

A formal approach to component-based software engineering: E...

引用

23rd international conference on Software engineering (ICSE 2001)

作者： Sitaraman, M Long, TJ Weide, BW Harner, EJ Wang, LQ Clemson Univ Dept Comp Sci Clemson SC 29634 USA

ISBN: (纸本)0769510507

This paper summarizes an approach for introducing component-based software engineering (CBSE) early in the undergraduate CS curriculum, and an evaluation of the impact of the approach at two institutions. Principles taught include a modular style of software development, an emphasis on human understanding of component behavior even while using formal specifications, and the importance of maintainability, as well as classical issues such as efficiency analysis and reasoning. Qualitative and quantitative evaluations of student outcomes and end-to-end changes in student attitudes show mostly positive results that are statistically significant, confirming that (1) it is possible to teach CBSE principles without displacing "classical" principles usually taught in introductory courses, (2) students can understand and reuse formally-specified components without knowing their implementations, and (3) student attitudes towards software engineering can be altered in directions heretofore often assumed to be difficult to achieve.

关键词： components formal specifications objects reasoning software engineering statistical evaluation

来源：评论

学校读者我要写书评

暂无评论

A Scalable Platform to Collect, Store, Visualize and Analyze Big Data in Real- Time 3

A Scalable Platform to Collect, Store, Visualize and Analyze...

引用

3rd international conference on Innovative Practices in Technology and Management, ICIPTM 2023

作者： Kshirsagar, Pravin Ramdas Reddy, Dhoma Harshavardhan Dhingra, Mallika Dhabliya, Dharmesh Gupta, Ankur S B Jain College of Engineering and Technology Department of Artificial Intelligence Maharashtra Nagpur India Trainee Security Analyst JunoClinic Davman Technology Services Private Limited Maharashtra Mumbai India Manipal University Jaipur Department of Mathematics and Statistics Rajasthan Jaipur India Vishwakarma Institute of Information Technology Department of Information Technology Maharashtra Pune India Vaish College of Engineering Department of Computer Science and Engineering Haryana Rohtak India

ISBN: (纸本)9798350336238

Examination and evaluation of sentiment The most popular area for dissecting and extracting knowledge from communication data from many sources, such as Facebook, Instagram, Twitter, Amazon, and so on, is known as mining. It plays a fundamental role in enabling the organizations to work productively on advancing the business system and gaining the most comprehensive understanding of the buyer's feedback on their product. It entails calculating a person's behavior in terms of his buying preferences and then placing yourself in his shoes about the commercial aspect of a relationship. You may think of this component as a situation, person, blog post, or tangible experience. Appraisals, checks, and Reflections created by customers may be divided into smaller, more notable pieces for usage by large businesses. The analysis of comparable purchasing behavior may be used to understand the needs of the customer and foresee future opportunities to assist them. E-business Associations may track the uses and passions associated with their Particulars via this internal assessment and adopt better marketing mechanism to give a tailored shopping experience for their customers, so improving their hierarchical advantage. By using the programming interface key, Twitter data for this article was collected from Twitter. Similarly, we really want to finish setting up the systems. Additionally, the system supported NLP approaches, thus we wish to implement the calculation as a crucial backslide. The exploratory problems exhibit perfection. © 2023 IEEE.

关键词： Big data

来源：评论

学校读者我要写书评

暂无评论

Combining IEC 61499 model-based design with component-based architecture for robotics

Combining IEC 61499 model-based design with component-based ...

引用

3rd international conference on Simulation, Modeling, and programming for Autonomous Robots, SIMPAR 2012

作者： Yoong, Li Hsien Bhatti, Zeeshan E. Roop, Partha S. Department of Electrical and Computer Engineering University of Auckland Auckland New Zealand

ISBN: (纸本)9783642343261

The model-driven approach is an increasingly popular trend in software design. It provides many benefits in terms of system design, reusability, and automatic code generation. In the industrial automation domain, the IEC 61499 standard is a recent initiative that adopts this approach. It offers an open, platform-independent framework for designing distributed control systems, whereby the interface and behaviour of a component is described using a function block. On the other hand, in the robotics domain, the Robotic Technology component specification proposes a framework that allows software components to be easily integrated in a robotic system. The focus of that specification is not so much on the definition of each component's internal behaviour, but rather on the management and interaction of those components. The combination of both these standards offers a comprehensive solution for designing robotic software components in a model-driven approach. This paper describes a tool-chain for doing so, and illustrates its viability through an example. © 2012 Springer-Verlag Berlin Heidelberg.

关键词： Robotics

来源：评论

学校读者我要写书评

暂无评论

Multiprocessor robot controller -: An experimental robot controller for force-torque control tasks

Multiprocessor robot controller -: An experimental robot con...

引用

3rd international conference on Informatics in Control, Automation and Robotics

作者： Olah, Istvan Tevesz, Gabor Budapest Univ Technol & Econ Dept Automat & Appl Informat Goldmann Gyorgy Ter 3-4em Budapest Hungary

ISBN: (纸本)9728865600

There is ongoing research and development in the field of hybrid position and force control of the assembly robots at the Department of Automation and Applied Informatics and the Department of Control engineering and Information Technology, Budapest University of Technology and Economics. As result, an Experimental Robot Controller was built for the special needs of the project. Both the hardware and the software system of the controller are under continuous development. The most recent achievement is, a built in six-component force-torque sensor. The development of the software system is currently dealing with the extension of the programming environment with force-torque control possibilities. There are numerous industrial applications for force and torque control (i.e. screw driver, welder), but a flexible equipment can provide much more than just the possibility of solving a single task. This paper presents an overview of the robot controller hardware, separately detailing the force-torque sensor interface. The second part of this paper overviews the software system of the controller and the possibilities of its extensions for force control tasks.

关键词： robot controller multiprocessor systems PUMA 560 QNX digital signal processor hybrid position and force control

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共23页 << < 10 11 12 13 14 15 16 17 18 19 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：