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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,062 篇 会议
65 册 图书
9 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

702 篇 工学
- 564 篇 计算机科学与技术...
- 476 篇 软件工程
- 134 篇 信息与通信工程
- 131 篇 控制科学与工程
- 97 篇 电气工程
- 71 篇 生物工程
- 62 篇 机械工程
- 55 篇 动力工程及工程热...
- 50 篇 电子科学与技术（可...
- 45 篇 交通运输工程
- 38 篇 生物医学工程（可授...
- 31 篇 化学工程与技术
- 25 篇 安全科学与工程
- 23 篇 土木工程
- 22 篇 光学工程
- 22 篇 石油与天然气工程
391 篇 理学
- 277 篇 数学
- 78 篇 生物学
- 63 篇 物理学
- 58 篇 统计学（可授理学、...
- 57 篇 系统科学
- 32 篇 化学
191 篇 管理学
- 138 篇 管理科学与工程(可...
- 79 篇 工商管理
- 67 篇 图书情报与档案管...
34 篇 经济学
- 34 篇 应用经济学
33 篇 教育学
- 33 篇 教育学
28 篇 法学
26 篇 医学
- 24 篇 基础医学(可授医学...
- 24 篇 临床医学
- 23 篇 药学(可授医学、理...
13 篇 农学
1 篇 艺术学

主题

51 篇 software enginee...
50 篇 programming
47 篇 linear programmi...
42 篇 software enginee...
31 篇 dynamic programm...
30 篇 artificial intel...
24 篇 integer programm...
23 篇 computer communi...
23 篇 optimization
21 篇 programming lang...
19 篇 machine learning
18 篇 logics and meani...
18 篇 heuristic algori...
17 篇 computer science
16 篇 computational mo...
16 篇 students
16 篇 software
15 篇 costs
15 篇 programming tech...
13 篇 object oriented ...

机构

7 篇 college of energ...
6 篇 school of electr...
5 篇 college of elect...
5 篇 school of scienc...
5 篇 information engi...
4 篇 school of comput...
4 篇 school of vehicl...
4 篇 china electric p...
4 篇 school of cyber ...
3 篇 school of electr...
3 篇 school of electr...
3 篇 school of transp...
3 篇 department of co...
3 篇 college of infor...
3 篇 school of inform...
3 篇 state key labora...
3 篇 nanjing universi...
3 篇 shanghai maritim...
3 篇 polytechnic inst...
3 篇 school of comput...

作者

4 篇 meikang qiu
3 篇 wang hui
3 篇 miller james
3 篇 gong peizhu
3 篇 wang junxiang
3 篇 xigang yuan
3 篇 batra salil
3 篇 salil batra
3 篇 mekruksavanich s...
3 篇 jitpattanakul an...
3 篇 liu jin
3 篇 wu zhongdai
3 篇 mengjie zhang
2 篇 yin jianbing
2 篇 heinz stefan
2 篇 seniman
2 篇 li cheng
2 篇 saraswat sudhir
2 篇 duo liu
2 篇 cheng wang

语言

1,117 篇 英文
16 篇 其他
5 篇 中文

检索条件"任意字段=7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023"

共 1136 条记录，以下是631-640 订阅

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

详细简洁

排序：

Evolving Ranking-Based Failure Proximities for Better Clustering in Fault Isolation 22

Evolving Ranking-Based Failure Proximities for Better Cluste...

引用

Proceedings of the 37th IEEE/ACM international conference on Automated Software engineering

作者： Yi Song Xiaoyuan Xie Xihao Zhang Quanming Liu Ruizhi Gao School of Computer Science Wuhan University China Sonos Inc. USA

ISBN: (纸本)9781450394758

Failures that are not related to a specific fault can reduce the effectiveness of fault localization in multi-fault scenarios. To tackle this challenge, researchers and practitioners typically cluster failures (e.g., failed test cases) into several disjoint groups, with those caused by the same fault grouped together. In such a fault isolation process that requires input in a mathematical form, ranking-based failure proximity (R-proximity) is widely used to model failed test cases. In R-proximity, each failed test case is represented as a suspiciousness ranking list of program statements through a fingerprinting function (i.e., a risk evaluation formula, REF). Although many off-the-shelf REFs have been integrated into R-proximity, they were designed for single-fault localization originally. To the best of our knowledge, no REF has been developed to serve as a fingerprinting function of R-proximity in multi-fault scenarios. For better clustering failures in fault isolation, in this paper, we present a genetic programming-based framework along with a sophisticated fitness function, for evolving REFs with the goal of more properly representing failures in multi-fault scenarios. By using a small set of programs for training, we get a collection of REFs that can obtain good results applicable in a larger and more general scale of scenarios. the best one of them outperforms the state-of-the-art by 50.72% and 47.41% in faults number estimation and clustering effectiveness, respectively. Our framework is highly configurable for further use, and the evolved formulas can be directly applied in future failure representation tasks without any retraining.

关键词： Fault isolation Clustering Parallel debugging Failure proximity Search-based software engineering

来源：评论

学校读者我要写书评

暂无评论

Implementation of MVC (Model-View-Controller) architecture in online submission and reporting process at official travel warrant information system based on web application 7

Implementation of MVC (Model-View-Controller) architecture i...

引用

7th international conference on Mathematics, science, and Education 2020, ICMSE 2020

作者： Subari, A. Manan, S. Ariyanto, E. Electrical Engineering Vocational School Diponegoro University Indonesia

An official travel warrant (SPPD) is a type of assignment letter needed by an employee as evidence of an order from the manager in carrying out work assignments to other areas. At the end of the assignment, employees must make a report on the tasks assigned to their manager. In general, SPPD services are still carried out manually, both in the process of submission, approval, reporting and data storage. this manual service requires a long processing time, large resources and must be performed in rigid places and times. In addition, storing letters manually creates difficulties when retrieve data is required. this research aims to provide an online official travel warrant information system based on a web application. With web-based applications, information system services are faster and can be done anytime anywhere, not limited by time and place. the storage of letter data in the database concept also facilitates the retrieving process. the information system is designed to serve the complete service flow of official travel warrant starting from submission, approval to reporting. the design of the application system is carried out by PHP programming with the MVC (Model-View-Controller) concept using the Codeigniter framework. Data is stored on the MYSQL database. the design results are tested for functionality using the black-box method. From the test results, it was found that all the functions designed including submission, approval, reporting and retrieval of data could go well as expected. the assignment letter create by system and send to employee online. the task report can create online on the system. Approval of the task report is also carried out online in the designed information system. © Published under licence by IOP Publishing Ltd.

关键词： Information systems

来源：评论

学校读者我要写书评

暂无评论

ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications 22

ICEBAR: Feedback-Driven Iterative Repair of Alloy Specificat...

引用

Proceedings of the 37th IEEE/ACM international conference on Automated Software engineering

作者： Simón Gutiérrez Brida Germán Regis Guolong Zheng Hamid Bagheri thanhvu Nguyen Nazareno Aguirre Marcelo Frias Department of Computer Science University of Rio Cuarto Argentina and CONICET Argentina Department of Computer Science University of Rio Cuarto Argentina University of Nebraska-Lincoln United States of America George Mason University United States of America Department of Software Engineering Buenos Aires Institute of Technology Argentina and CONICET Argentina

ISBN: (纸本)9781450394758

Automated program repair (APR) techniques have shown great success in automatically finding fixes for programs in programming languages such as C or Java. In this work, we focus on repairing formal specifications, in particular for the Alloy specification language. As opposed to most APR tools, our approach to repair Alloy specifications, named ICEBAR, does not use test-based oracles for patch assessment. Instead, ICEBAR relies on the use of property-based oracles, commonly found in Alloy specifications as predicates and assertions. these property-based oracles define stronger conditions for patch assessment, thus reducing the notorious overfitting issue caused by using test-based oracles, typically observed in APR contexts. Moreover, as assertions and predicates are inherent to Alloy, whereas test cases are not, our tool is potentially more appealing to Alloy users than test-based Alloy repair tools. At a high level, ICEBAR is an iterative, counterexample-based process, that generates and validates repair candidates. ICEBAR receives a faulty Alloy specification with a failing property-based oracle, and uses Alloy’s counterexamples to build tests and feed ARepair, a test-based Alloy repair tool, in order to produce a repair candidate. the candidate is then checked against the property oracle for overfitting: if the candidate passes, a repair has been found; if not, further counterexamples are generated to construct tests and enhance the test suite, and the process is iterated. ICEBAR includes different mechanisms, with different degrees of reliability, to generate counterexamples from failing predicates and assertions. Our evaluation shows that ICEBAR significantly improves over ARepair, in both reducing overfitting and improving the repair rate. Moreover, ICEBAR shows that iterative refinement allows us to significantly improve a state-of-the-art tool for automated repair of Alloy specifications without any modifications to the tool.

关键词： Formal Specification Alloy Automated Repair

来源：评论

学校读者我要写书评

暂无评论

Dynamic Missing Data Recovery Method with Low Complexity in Internet of things

Dynamic Missing Data Recovery Method with Low Complexity in ...

引用

international conference on Computer and Communications (ICCC)

作者： Xiaoxiang Song Yan Guo Ning Li Jie Liu College of Communications Engineering Army Engineering University of PLA Nanjing China

ISBN: (纸本)9781665409513

For the large-scale and high-dimensional internet of things (IoT) data, the missing values are very intractable, which affect the performance of related applications greatly. Based on this, a dynamic missing data recovery method with low complexity is proposed in this paper. Firstly, we use matrix factorization (MF) technology to map the IoT data to low dimensional space for analysis and processing. then, taking full advantage of the characteristics of IoT data, the objective function of MF is improved furtherly. Last, the dynamic updating mechanism with low complexity is proposed to update the missing data recovery model constructed when new sampled data comes. the simulation results on two real data sets indicate the proposed method can effectively recover the missing data.

关键词： Simulation Linear programming Data models Complexity theory Internet of things

来源：评论

学校读者我要写书评

暂无评论

Face Determination Based on Multi-template and Convolution 7

Face Determination Based on Multi-template and Convolution

引用

7th international conference on Dependable Systems and their Applications, DSA 2020

作者： Wang, Danmei Chengde Medical University Department of Biomedical Engineering Hebei400074 China

ISBN: (纸本)9780738124223

A face determination algorithm based on multi-template is proposed, which is combined with convolution and dynamic programming. Firstly, three kinds of templates are synthesized using the experimental face dataset, including face, eyes, and mouth-nose templates, and then obtaining their weights and the optimal threshold. Secondly, the area of face, eyes, mouth and nose is cut from image, then realizing the size and number normalization, and calculating the three convolution values for detected image and the templates, and then the sum convolution values for face detecting are got by a weighted summation of them. Finally, according to the principle of threshold decision to judge whether the image is human face or non-face. Experimental verifications are conducted to evaluate the algorithm's performance on the acquisition, human face and non-face datasets. the results show that the algorithm runs faster, the accuracy is 94%, 84%. © 2020 IEEE.

关键词： Convolution

来源：评论

学校读者我要写书评

暂无评论

Real-time Canny Edge Detection on FPGAs using High-level Synthesis 7

Real-time Canny Edge Detection on FPGAs using High-level Syn...

引用

7th international conference on Information science and Control engineering, ICISCE 2020

作者： Tan, Zikun Smith, Jeremy S. Northwestern University Department of Electrical and Computer Engineering Evanston United States University of Liverpool Department of Electrical Engineering and Electronics Liverpool United Kingdom

ISBN: (纸本)9781728164069

Field Programmable Gate Arrays (FPGAs) are integrated circuit electronic devices based on a matrix of configurable logic blocks (CLBs). they differ from Application Specific Integrated Circuits (ASICs), whose configurations and functionalities cannot be changed after being manufactured, as FPGAs are reprogrammed when they are reset allowing their functionality to change. Traditionally, FPGAs are configured by using hardware description languages (HDLs). Compared with conventional HDLs (e.g. Verilog and VHDL), High-level Synthesis (HLS) is more efficient and flexible to perform System-on-Programmable-Chip (SoPC) designs on FPGAs. In this paper a novel real-time edge detection method based on FPGAs configured by HLS is proposed. the C/C++ programming language is used to code real-time FPGAs algorithm of Canny edge detection using HLS, with operations such as Gaussian smoothing, Sobel filtering, non-maximum suppression, double thresholding and hysteresis. Consequently, an Intellectual Property (IP) is generated and can be integrated into Quartus project file to conFigure the FPGA. Experimental results demonstrate that the proposed method can achieve the promising real-time edge detection performance and also effectively shorten the FPGA developmental period and verification time. © 2020 IEEE.

关键词： High level synthesis

来源：评论

学校读者我要写书评

暂无评论

the Closed Loop Controller for Mini Demo Biomass Power Plant Fuel-Feeding Arm based Pneumatic System

The Closed Loop Controller for Mini Demo Biomass Power Plant...

引用

international conference on engineering, Applied sciences, and Technology (ICEAST)

作者： Poom Konghuayrob School of Engineering King Mongkut’s Institute of Technology Ladkrabang Bangkok Thailand

ISBN: (纸本)9781665441223;9781665431057

this paper shows the establishment of a mini demo Biomass power plant fuel-feeding arm with controller, motor and pneumatics system to study how to control arm for picking and placing of fuel operation properly. the arm mechanical elements, control driver circuit and electrical components were designed, built and selected follows the real Biomass power plant fuel-feeding arm. Low level PID controller, proportional pneumatics valve and motor with encoder are utilized for defining the correct close loop position of mini demo arm. Moreover, this system is designed to plug with the Robot operating system (ROS) the easy robotics motion control system which use to calculate the desired position before sending to the robot arm close loop system. the results show the effectiveness of the established mini demo Biomass arm can archive the correct position even controlled by nonlinear air flow system.

关键词： Robot motion Cranes Robot kinematics Prototypes Pneumatic systems programming Valves

来源：评论

学校读者我要写书评

暂无评论

Security Analysis of Blockchain Smart Contract: Taking Reentrancy Vulnerability as an Example 7th

Security Analysis of Blockchain Smart Contract: Taking Reent...

引用

7th international conference on artificial Intelligence and Security, ICAIS 2021

作者： Ji, Mingtao Liang, GuangJun Li, Meng Zhang, Haoyan He, Jiacheng Department of Computer Information and Cyberspace Security Jiangsu Police Institute Nanjing China National and Local Joint Engineering Laboratory of Radio Frequency Integration and Micro Assembly Technology Nanjing University of Posts and Telecommunications Nanjing China

ISBN: (纸本)9783030786205

As the blockchain enters the 2.0 era, the smart contract which is based on the blockchain platform has gradually entered people’s field of vision. By its transparency, non-tampering, independence from third-party arbitration, and trustlessness, it is widely applied in equity crowdfunding, games, insurance, particularly the Internet of things. However, the attack on the theDAO smart contract alert public awareness of the security of a smart contract. the essence of the smart contract is an electronic contract written in code. Due to reasons like lacking standard libraries for its programming language, several loopholes will inevitably appear in the code. Once they are found by attackers, the interests of the main body using smart contracts will be damaged. there are many types of vulnerabilities in smart contracts, such as reentrancy, short address attacks, and timestamp dependence. this article mainly focuses on re-entry vulnerabilities as the research object and analyzes the principle of re-entry vulnerabilities. Featuring immutable after being chained, the smart contract must be checked before it is chained to make up for the vulnerability. this paper provides a detection method based on symbolic execution to detect reentrancy vulnerabilities. We hope to strengthen people’s security awareness of smart contracts and boost the research of smart contracts in terms of security by our study of the smart contract reentrancy vulnerability in this article. Promote the research and development of smart contracts. © 2021, Springer Nature Switzerland AG.

关键词： Smart contract

来源：评论

学校读者我要写书评

暂无评论

Simulation of Interaction of Folded Waveguide Space Traveling Wave Tubes with Derivative-free Mixedinteger Based NEWUOA Algorithm

Simulation of Interaction of Folded Waveguide Space Travelin...

引用

international conference on Computer and Communications (ICCC)

作者： Shuoran Li Pengcheng Xie Zihao Zhou Zhanpeng Wang Zhiliang Li Xiao Liang Bo Qu The 12th Research Institute of China Electronics Technology Group Corporation Beijing China Academy of Mathematics and Systems Science Chinese Academy of Sciences Beijing China School of Mathematics and Statistics Xi'an Jiaotong University Xi’an China College of Mathematics Science University of Chinese Academy of Sciences Beijing China

ISBN: (纸本)9781665409513

In order to study the beam-wave interaction of folded waveguide space traveling wave tube (TWT), a numerical calculation program was developed on MATLAB using an one-dimensional large-signal model and designed mixed-integer based NEWUOA algorithm with penalty function. On this basis, a design example of W-band TWT is given, using different objective function to optimize it with the target of high efficiency and comparing different optimization algorithms. the final results are compared with simulation from CST, where the discrepancy is within 1dB. this proves the reasonableness of procedure and the reliability of algorithm, and a new method is provided for design and optimization, which has best performance.

关键词： Traveling wave tubes Linear programming Reliability engineering Mathematical models Space exploration Numerical models Optimization

来源：评论

学校读者我要写书评

暂无评论

Structural Balance Computation in Signed Networks by Using Multifactorial Discrete Particle Swarm Optimization

Structural Balance Computation in Signed Networks by Using M...

引用

IEEE international conference on Cloud Computing and Intelligence Systems (CCIS)

作者： Changlong He Zengyang Shao Lijia Ma Jianqiang Li Tingyi Hu College of Computer Science and Software Engineering Shenzhen University Shenzhen China

ISBN: (纸本)9781665441506

the signed network has received widespread attention because it can well reflect the cooperation and conflict relationship. Structural balance is an important global feature in signed networks, which can well reflect the structural characteristics of the network. Existing structural balance calculation algorithms define the global and local balance computation problems as an optimization problem, and then optimize their respective objective functions through optimization algorithms, but these algorithms ignore the correlation between the two problems. In this paper, we combine the multifactorial evolutionary algorithm and the discrete particle swarm optimization algorithm, and further propose the multifactorial discrete particle swarm optimization algorithm (MFDPSO). this algorithm designs the knowledge transfer function and optimization algorithm based on the correlation of the strong and weak structure balance and optimizes the two problems at the same time. the experimental results on 8 real networks demonstrate the effectiveness of the MFDPSO.

关键词： Correlation Parallel processing Search problems Linear programming Stability analysis Particle swarm optimization Task analysis

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共114页 << < 60 61 62 63 64 65 66 67 68 69 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：