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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,178 篇 会议
329 篇 期刊文献
7 册 图书
5 篇 学位论文

馆藏范围

1,519 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

641 篇 工学
- 460 篇 计算机科学与技术...
- 311 篇 软件工程
- 221 篇 电气工程
- 78 篇 控制科学与工程
- 63 篇 信息与通信工程
- 49 篇 机械工程
- 31 篇 电子科学与技术（可...
- 20 篇 仪器科学与技术
- 16 篇 材料科学与工程（可...
- 7 篇 生物医学工程（可授...
- 6 篇 力学（可授工学、理...
- 6 篇 动力工程及工程热...
- 6 篇 化学工程与技术
- 5 篇 建筑学
- 5 篇 生物工程
- 4 篇 土木工程
- 4 篇 航空宇航科学与技...
- 4 篇 核科学与技术
106 篇 理学
- 69 篇 数学
- 14 篇 物理学
- 11 篇 系统科学
- 11 篇 统计学（可授理学、...
- 10 篇 生物学
- 7 篇 科学技术史(分学科...
55 篇 管理学
- 40 篇 管理科学与工程(可...
- 15 篇 图书情报与档案管...
- 8 篇 工商管理
9 篇 医学
- 6 篇 临床医学
6 篇 教育学
- 6 篇 教育学
4 篇 文学
- 4 篇 新闻传播学
2 篇 哲学
2 篇 经济学
2 篇 法学
1 篇 历史学

主题

1,519 篇 automatic progra...
155 篇 programming prof...
144 篇 application soft...
143 篇 automatic contro...
136 篇 computer science
109 篇 robot programmin...
106 篇 robotics and aut...
104 篇 genetic programm...
90 篇 automatic testin...
88 篇 control systems
86 篇 hardware
84 篇 computer languag...
82 篇 humans
80 篇 software enginee...
76 篇 costs
73 篇 automation
72 篇 testing
70 篇 software systems
65 篇 functional progr...
63 篇 system testing

机构

8 篇 the robotics ins...
5 篇 school of comput...
4 篇 fujitsu laborato...
4 篇 national univers...
4 篇 graduate school ...
3 篇 department of co...
3 篇 sandia national ...
3 篇 college of infor...
3 篇 school of machin...
3 篇 swoop cambridge ...
3 篇 ostfold univ col...
3 篇 sri internationa...
3 篇 school of comput...
3 篇 hamilton coll cl...
3 篇 lockheed palo al...
3 篇 research institu...
3 篇 ibm research lab...
3 篇 sivas cumhuriyet...
3 篇 production model...
3 篇 department of el...

作者

11 篇 k. ikeuchi
7 篇 olsson roland
6 篇 h. mizutani
6 篇 arslan sibel
5 篇 akira hara
5 篇 arpaia pasquale
5 篇 c. ramos
5 篇 t. suehiro
5 篇 t. matsudaira
5 篇 j. rocha
5 篇 tetsuyuki takaha...
4 篇 katagiri takahir...
4 篇 helmuth thomas
4 篇 t. thomasma
4 篇 ikeuchi k
4 篇 pantridge edward
4 篇 jun-ichi kushida
4 篇 c.e. moron
4 篇 spector lee
4 篇 t.l. marzetta

语言

1,458 篇 英文
56 篇 其他
3 篇 中文
2 篇 日文
1 篇 法文

检索条件"主题词=Automatic Programming"

共 1519 条记录，以下是531-540 订阅

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

详细简洁

排序：

Improvements in information security using the example of a web application for automatic class schedule generation 32

Improvements in information security using the example of a ...

引用

32nd Telecommunications Forum, TELFOR 2024

作者： Genjga, Edina Tanovic, Anel Cerimagic-Hasibovic, Ajla University of Zenica Faculty of Engineering and Natural Sciences Zenica Bosnia and Herzegovina University of Sarajevo Faculty of Electrical Engineering Sarajevo Bosnia and Herzegovina

ISBN: (纸本)9798350391053

JavaScript is one of the programming languages used to create dynamic web applications. Due to its dynamic nature, it can often be a target for creating unwanted content on web pages. This paper presents the results of testing the Skedyul application, designed for automatic class schedule generation in schools. The study analyzes vulnerabilities of JavaScript as a scripting language and their impact on the security of web applications. JavaScript, being a key language for web programming, is frequently targeted in attacks due to its widespread use and inherent vulnerabilities. The paper identifies major types of JavaScript vulnerabilities, including XSS (Cross-Site Scripting) and CSRF (Cross-Site Request Forgery). Methods for protecting against these vulnerabilities are discussed, such as input sanitization, using secure libraries and frameworks, and regular software updates. The importance of security awareness and implementing best practices in web application development is emphasized to reduce the risk of attacks based on JavaScript vulnerabilities. © 2024 IEEE.

关键词： automatic programming

来源：评论

学校读者我要写书评

暂无评论

Program generation for the all-pairs shortest path problem

Program generation for the all-pairs shortest path problem

引用

PACT 2006 - 15th International Conference on Parallel Architectures and Compilation Techniques

作者： Han, Sung-Chul Franchetti, Franz Püschel, Markus Electrical and Computer Engineering Carnegie Mellon University Pittsburgh PA 15213

ISBN: (纸本)159593264X

A recent trend in computing are domain-specific program generators, designed to alleviate the effort of porting and reoptimizing libraries for fast-changing and increasingly complex computing platforms. Examples include ATLAS, SPIRAL, and the codelet generator in FFTW. Each of these generators produces highly optimized source code directly from a problem specification. In this paper, we extend this list by a program generator for the well-known Floyd-Warshall (FW) algorithm that solves the all-pairs shortest path problem, which is important in a wide range of engineering applications. As the first contribution, we derive variants of the FW algorithm that make it possible to apply many of the optimization techniques developed for matrix-matrix multiplication. The second contribution is the actual program generator, which uses tiling, loop unrolling, and SIMD vectorization combined with a hill climbing search to produce the best code (float or integer) for a given platform. Using the program generator, we demonstrate a speed-up over a straightforward single-precision implementation of up to a factor of 1.3 on Pentium 4 and 1.8 on Athlon 64. Use of 4-way vectorization further improves the performance by another factor of up to 5.7 on Pentium 4 and 3.0 on Athlon 64. For data type short integers, 8-way vectorization provides a speed-up of up to 4.6 on Pentium 4 and 5.0 on Athlon 64 over the best scalar code. Copyright 2006 ACM.

关键词： automatic programming

来源：评论

学校读者我要写书评

暂无评论

Design for automation and automated manufacturing of drug testing kits

Design for automation and automated manufacturing of drug te...

引用

IEEE Systems, Man and Cybernetics Society, Proceedings - 2005 International Conference on Systems, Man and Cybernetics

作者： Cox, Daniel J. Lewandowski, Walter University of North Florida Northrop Grumman St. Augustine FL

This paper describes the design for automation and development of manufacturing automation for a law enforcement product, the Narcotics Identification Kit, a high volume product widely used in the field of law enforcement. Modifications to the previous design, emphasizing design for assembly and automation are first described. With the new product design, an automated assembly process is developed and described in this paper. The automation system to produce the high volume product is next described. The entire project is an industry-academic collaboration in experiential manufacturing engineering education. In the project-centered approach, the students gain real-world experience while creating innovative solutions satisfying the needs of industry. © 2005 IEEE.

关键词： automatic programming

来源：评论

学校读者我要写书评

暂无评论

Fast and flexible instruction selection with on-demand tree-parsing automata 06

Fast and flexible instruction selection with on-demand tree-...

引用

ACM SIGPLAN Conference on programming Language Design and Implementation, PLDI 2006 - PLAS 2006: 2006 programming Languages and Analysis for Security Workshop

作者： Ertl, M. Anton Casey, Kevin Gregg, David TU Wien Austria Trinity College Dublin Ireland Institut für Computersprachen Technische Universität Wien Argentinierstraße 8 A-1040 Wien Austria

ISBN: (纸本)1595933743

Tree parsing as supported by code generator generators like BEG, burg, iburg, lburg and ml-burg is a popular instruction selection method. There are two existing approaches for implementing tree parsing: dynamic programming, and tree-parsing automata;each approach has its advantages and disadvantages. We propose a new implementation approach that combines the advantages of both existing approaches: we start out with dynamic programming at compile time, but at every step we generate a state for a tree-parsing automaton, which is used the next time a tree matching the state is found, turning the instruction selector into a fast tree-parsing automaton. We have implemented this approach in the Gforth code generator. The implementation required little effort and reduced the startup time of Gforth by up to a factor of 2.5. Copyright © 2006 ACM.

关键词： automatic programming

来源：评论

学校读者我要写书评

暂无评论

Enabling requirements-based programming for highly-dependable complex parallel and distributed systems

Enabling requirements-based programming for highly-dependabl...

引用

International Conference on Parallel and Distributed Systems (ICPADS)

作者： M.G. Hinchey J.L. Rash C.A. Rouff Information Systems Division NASA Goddard Space Flight Center Greenbelt MD USA Advanced Concepts Business Unit SAIC McLean VA USA

The manual application of formal methods in system specification has produced successes, but in the end, despite any claims and assertions by practitioners, there is no provable relationship between a manually derived system specification or formal model and the customer's original requirements. Complex parallel and distributed systems present the worst case implications for today's dearth of viable approaches for achieving system dependability. No avenue other than formal methods constitutes a serious contender for resolving the problem, and so recognition of requirements-based programming has come at a critical juncture. We describe a new, NASA-developed automated requirements-based programming method that can be applied to certain classes of systems, including complex parallel and distributed systems, to achieve a high degree of dependability.

关键词： Parallel programming NASA automatic programming Information systems Timing Research and development Formal specifications Space technology Systems engineering and theory Natural languages

来源：评论

学校读者我要写书评

暂无评论

Cartesian ant programming with transition rule considering internode distance

Cartesian ant programming with transition rule considering i...

引用

IEEE International Workshop on Computational Intelligence & Applications (IWCIA)

作者： Jun-ichi Kushida Akira Hara Tetsuyuki Takahama Shogo Nagura Graduate School of Information Sciences Hiroshima City University Hiroshima Japan Faculty of Information Sciences Hiroshima City University Hiroshima Japan

ISBN: (纸本)9781509027767

In recent years, Cartesian Ant programming (CAP) has been proposed as a swarm-based automatic programming method, which combines graph representations in Cartesian Genetic programming with search mechanism of Ant Colony Optimization. In CAP, once an ant jumps a number of nodes, the skipped nodes are not utilized and wasted in search. To make the use frequency of nodes uniform, we propose CAP with transition rule considering internode distance. We focus on the distance at the beginning of search to utilize a large number of nodes for exploration of search. As the search proceeds, the search comes to depend on the pheromone information for exploitation of search. In addition, to prevent the excessive use of the unnecessary nodes, we modify the method of dynamic symbol assignments to nodes so that not only functional symbols but also terminal symbols can be assigned to the respective nodes. We examined the effectiveness of our proposed method by applying it to symbolic regression problems. From the experimental results, we confirmed the improvement of performance and the relief of bias in use frequency of nodes by our proposed method.

关键词： Linear programming automatic programming Urban areas Genetic programming Ant colony optimization Routing

来源：评论

学校读者我要写书评

暂无评论

Libre software environment for robot programming

Libre software environment for robot programming

引用

IEEE International Conference on Systems, Man and Cybernetics

作者： V.M. Olivera J.M.G. Barahona J.C. Gonzalez P. de las Heras Quiros Grupo de Sistemas y Comunicaciones Department Ciencias Experimentales e Ingeniería Universidad Rey Juan Carlos de Madrid Madrid Spain Universidad Rey Juan Carlos Madrid Madrid ES

When facing the problem of teaching the basis of robot control programming to computer science students, apart from the syllabus of the course, some other requirements have to be considered, such as which is the most appropriate robot and which are the right tools for learning how to control it. In this paper, we describe the tools we have chosen for teaching robotics, focusing on an environment that supports practical assignments. We also analyze the reasons that made us choose each tool, giving special emphasis to the Libre software requirement that we have imposed on every tool we are using. Finally, we present the results and opinions we have obtained from our students and the lessons we have learned by using this Libre software approach.

关键词： Robot programming Educational robots Education Software tools Robotics and automation Robot control Hardware Computer science automatic programming Computer networks

来源：评论

学校读者我要写书评

暂无评论

Creating portable and automatically scalable parallel software using the PARSA/spl trade/ programming methodology

Creating portable and automatically scalable parallel softwa...

引用

IEEE International Conference on Algorithms and Architectures for Parallel Processing (ICAP)

作者： V. Murthi D. Levine J. Marquis B. Shirazi Department of Computer Science & Engineering University of Texas Arlington USA Prism Parallel Technologies Inc. USA

We present a programming methodology that reduces parallel programming complexity, while creating portable and automatically scalable parallel software. To support this methodology two separate tools have been developed - the PARSA software development environment, and an accompanying thread manager. The development environment addresses programming issues via an object-based graphical programming methodology that transforms a project automatically into a portable and scalable source code. The generated source code makes calls to the user-level thread manager, which manages the run time execution of the parallel software. Two sample applications that contain various forms of parallelism have been developed and are compiled on three different systems with diverse native threading mechanisms to demonstrate portability. Finally, the automatic scalability is demonstrated with the run time performance of the applications on multiprocessor systems.

关键词： automatic programming Parallel programming Yarn programming profession Application software Electrical capacitance tomography Costs Computer science Vents Reactive power

来源：评论

学校读者我要写书评

暂无评论

ROANS - intelligent simulation and programming system for robots and automated workcell

ROANS - intelligent simulation and programming system for ro...

引用

IEEE International Conference on Intelligent Engineering Systems (INES)

作者： P. Petruska J.N. Marcincin M. Doliak Department of Industrial Robotics Technical University of Kosice Presov Slovakia Fy Doliak Presov Slovakia

Computer is an essential tool for the design, animation, analysis and programming of robots and automated workcell. There are some general CAD products available for design, 3D animation and commercial presentation, but they are complex, run on workstations and require high capital expenditure. On the other hand, there are some special software which are unique PC based analytical and simulation programming systems (ROANS, SOMBAT, ROBCAD, KUSIM). The paper describes the ROANS software which is often used for the development of automated cells, kinematic and dynamic analysis, programming, simulation and monitoring, and communication with the robots.

关键词： Intelligent robots Robot programming Robotics and automation Animation automatic programming Analytical models Dynamic programming Computational modeling Design automation Product design

来源：评论

学校读者我要写书评

暂无评论

Bank Asset Liability Management Model Based on Multi-period Stochastic programming

Bank Asset Liability Management Model Based on Multi-period ...

引用

World Congress on Intelligent Control and Automation (WCICA)

作者： Xiu Jin Yingjie Feng Xiaoyuan Huang School of Business Administration Northeastern University Shenyang China

A multi-period stochastic programming model with simple recourse was developed to study the asset and liability management of banks under uncertainties based on the domestic economic environment. The uncertainties in future asset returns and deposit flows of banks were considered and estimated by using the vector auto-regression method. Furthermore, empirical study on Shanghai Pudong development bank was made and compared to the actual situation of the bank. The results show that strategies achieved by the model can avoid the risks brought by the future uncertainties better, and gain more than the actual situation

关键词： Asset management Stochastic processes Uncertainty Cranes Environmental management Environmental economics automatic programming Intelligent control Automation Reactive power

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共152页 << < 50 51 52 53 54 55 56 57 58 59 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：