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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

756 篇 工学
- 580 篇 计算机科学与技术...
- 502 篇 软件工程
- 114 篇 信息与通信工程
- 112 篇 控制科学与工程
- 107 篇 电气工程
- 67 篇 动力工程及工程热...
- 67 篇 电子科学与技术（可...
- 62 篇 生物工程
- 58 篇 机械工程
- 43 篇 生物医学工程（可授...
- 36 篇 交通运输工程
- 31 篇 化学工程与技术
- 25 篇 光学工程
- 25 篇 土木工程
- 24 篇 材料科学与工程（可...
- 24 篇 建筑学
- 22 篇 冶金工程
410 篇 理学
- 297 篇 数学
- 71 篇 生物学
- 63 篇 物理学
- 58 篇 统计学（可授理学、...
- 54 篇 系统科学
- 26 篇 化学
205 篇 管理学
- 140 篇 管理科学与工程(可...
- 97 篇 工商管理
- 69 篇 图书情报与档案管...
49 篇 教育学
- 48 篇 教育学
46 篇 经济学
- 45 篇 应用经济学
31 篇 医学
- 30 篇 基础医学(可授医学...
- 30 篇 临床医学
24 篇 法学
11 篇 农学
3 篇 军事学
2 篇 文学
1 篇 哲学
1 篇 历史学

主题

74 篇 programming
67 篇 linear programmi...
58 篇 software enginee...
35 篇 software enginee...
33 篇 artificial intel...
30 篇 costs
27 篇 optimization
27 篇 dynamic programm...
23 篇 computer communi...
23 篇 software
23 篇 heuristic algori...
19 篇 programming tech...
18 篇 genetic programm...
18 篇 information syst...
18 篇 students
17 篇 computer science
17 篇 computational mo...
17 篇 real-time system...
17 篇 training
16 篇 parallel program...

机构

5 篇 school of engine...
4 篇 department of co...
4 篇 department of me...
4 篇 school of north ...
4 篇 school of comput...
3 篇 school of automa...
3 篇 sathyabama insti...
3 篇 school of cyber ...
3 篇 harbin engineeri...
3 篇 shenzhen interna...
3 篇 college of infor...
3 篇 school of inform...
3 篇 school of comput...
3 篇 southeast univer...
3 篇 chitkara univers...
3 篇 department of el...
3 篇 tsinghua univers...
3 篇 college of elect...
3 篇 school of comput...
3 篇 college of energ...

作者

6 篇 chen chen
4 篇 liu bo
4 篇 wang ting
4 篇 zhang hao
4 篇 beck j. christop...
3 篇 xu yan
3 篇 li bing
3 篇 chen hao
3 篇 han hongtao
3 篇 zhang renyuan
3 篇 raffaela mirando...
3 篇 wu zhi
3 篇 m. m. a. hashem
2 篇 jiawu fan
2 篇 bin wang
2 篇 zhang tao
2 篇 heinz stefan
2 篇 liu hongbo
2 篇 tianxing yan
2 篇 sözer hasan

语言

1,172 篇 英文
23 篇 其他
3 篇 中文

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

共 1197 条记录，以下是1151-1160 订阅

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

详细简洁

排序：

State of the art of the Security of Code Generated by LLMs: A Systematic Literature Review

State of the Art of the Security of Code Generated by LLMs: ...

引用

international conference in Software engineering Research and Innovation (CONISOFT)

作者： Leonardo Criollo Ramírez Xavier Limón Ángel J. Sánchez-García Juan Carlos Pérez-Arriaga Facultad de Estadística e Informática Universidad Veracruzana Xalapa México

ISBN: (数字)9798331532116

ISBN: (纸本)9798331532123

AI -assisted programming has experienced a surge in popularity over the past few years, largely thanks to advancements in Large Language Model technologies. this has led to the emergence of tools like ChatGPT and Github Copilot. However, the use of AI models for code generation comes with a downside: the resulting code is susceptible to vulnerabilities, thus posing new challenges in the field of secure software development. In this study, we analyze the current state of research regarding the security of LLM generated code from the Software engineering perspective. We conducted a Systematic Literature Review following the guidelines from Kitchenham et al. the search process included five sources: IEEE Xplore, ACM, science Direct, Springer Link and Wiley Online Library. We also included an iteration of backward and forward snowballing. We obtained 3104 peer-reviewed studies though Quasi-Gold aided automated search and selected the most relevant ones through 5 stages. the final selection includes 15 primary studies from which we extracted and synthesized data. We identified seven different kinds of security vulnerability present in LLM generated code, six different mitigation strategies and practices, and four tools recommended by authors to use in conjunction with LLM code generation. Security related issues within LLM generated code have only just begun to be explored, initial research has already emphasized the significance of considering the inclusion of AI-powered code generation in software projects, as it carries the risk of introducing vulnerabilities at a higher rate than human-generated code. the vulnerabilities, practices and tools identified in this study, can potentially help developers to use LLM programming assistants more responsibly, making informed decisions when leveraging LLM technology.

关键词： Codes Large language models Training data Software Security programming profession Systematic literature review Software development management Guidelines Software engineering

来源：评论

学校读者我要写书评

暂无评论

A novel approach to secure IoT cryptocurrency wallets based on Enhanced ECDSA algorithm

A novel approach to secure IoT cryptocurrency wallets based ...

引用

Innovative Trends in Information Technology (ICITIIT), international conference on

作者： Shyam Raveenthiren Shorubiga Peraisoody Department of Computer Systems Engineering Sri Lanka Institute of Information Technology Sri Lanka Department of Physical Science University of Vavuniya Sri Lanka

ISBN: (数字)9798350386813

ISBN: (纸本)9798350386820

the exponential growth of the Internet of things (IoT) alongside the increasing significance of cryptocurrencies has unveiled critical security challenges in digital transactions. this study uses a comprehensive method to design, create, and assess secure and efficient cryptocurrency wallets specifically designed for the Internet of things (IoT) environment. the study presents the Enhanced Elliptic Curve Digital Signature Algorithm (EECDSA), which integrates sophisticated ECDSA, blockchain technology, Golang programming language, and JSON data exchange. the design methodically emphasizes scalability, interoperability, and strict adherence to security protocols for various IoT devices and networks. the study thoroughly analyzes ECDSA and introduces EECDSA, highlighting the double-and-add algorithm to enhance efficiency. Comparative analyses show that EECDSA outperforms RSA, ECDSA, and multi-signature algorithms in terms of execution time and memory usage on different CPUs, particularly on ARM-based architectures. the results highlight EECDSA’s capacity for efficient cryptographic operations, making it suitable for IoT devices with constrained resources.

关键词： Privacy Protocols Quantum computing Elliptic curves Design methodology Scalability Cryptocurrency

来源：评论

学校读者我要写书评

暂无评论

Software Development Based on User Centered Design for Rural Self Help Group

Software Development Based on User Centered Design for Rural...

引用

Emerging Technology (INCET), international conference for

作者： Pappala Kumar Aditya Naga Sushanth Kumar Vuppala Kalla Likhit Sai Eswar Ramesh Guntha Sruthy Anand Department of Computer Science and Engineering Amrita School of Computing Amrita Vishwa Vidyapeetham Amritapuri Kollam India Center for Wireless Networks & Applications (WNA) Amrita Vishwa Vidyapeetham Amritapuri Kollam India

ISBN: (数字)9798350361155

ISBN: (纸本)9798350361162

Rural empowerment is possible only by empowering the whole community; in this context, women's empowerment is pivotal to achieving rural upliftment. there are several studies on women's empowerment and the role of digital tools in empowering rural communities. In this work, our focus is on designing and developing the software to empower the rural SHG community. Our work also presents details of some of the existing work and introduces a user-friendly software solution to streamline the management and administration of one of the rural Self-Help Groups (SHGs) in India, which works in several hierarchies such as clusters, groups, and users. We adopted a user-centric design of the software solution as it has to accommodate users with diverse digital literacy levels. We used Google Flutter and *** framework to develop this software.

关键词： Economics Software design Navigation Scalability User centered design programming Software

来源：评论

学校读者我要写书评

暂无评论

Comparative Analysis of Bellman-Ford and Dijkstra Algorithms in Software Defined Networking

Comparative Analysis of Bellman-Ford and Dijkstra Algorithms...

引用

Data Intelligence and Cognitive Informatics (ICDICI), international conference on

作者： Prabhav Ravi Tammanashastri Shinu M Rajagopal Sahen Shivadutt Bananjee Dept. of Computer Science Engineering Amrita School of Computing Bengaluru Amrita Vishwa Vidyapeetam India

ISBN: (数字)9798350389609

ISBN: (纸本)9798350389616

One of the key functions of the internet is packet routing of data. A routing protocol outlines the channel of communication between routers that is utilized to connect networks. Numerous routing protocols, including OSPF and RIP are used on the internet. Each protocol has a unique packet routing function. Bellman-Ford and Dijkstra are SDN routing algorithms; the former accommodates negative weights, suiting more complex network topologies, while the latter works efficiently for non-negative weights, ensuring faster convergence. RIP’s reliance on the Bellman-Ford algorithm leads to slower convergence and potential routing cycles in bigger networks. OSPF, while stronger with Dijkstra’s algorithm, can introduce high communication overhead due to maintaining complete network topology data. Bellman-Ford employs a dynamic programming approach, handling diverse network conditions, whereas Dijkstra’s greedy strategy excels in finding the shortest path in positively weighted networks. respectively.

关键词： Accuracy Heuristic algorithms Scalability Software algorithms Routing Routing protocols Iterative algorithms Topology Software defined networking Convergence

来源：评论

学校读者我要写书评

暂无评论

Automated Method Research on College Student Scholarship Evaluation

Automated Method Research on College Student Scholarship Eva...

引用

the 5th international conference on Social science and Higher Education(ICSSHE-19)

作者： Qiao Zhang Zhen Kang Junlei Yang School of Electrical and Electronic Engineering Wuhan Polytechnic University School of Mathematics & Computer Science Wuhan Polytechnic University

the scholarship assessment is one of the regular work of the counselors,which is related to the vital interests of the most *** traditional method is that the counselors manually add points and re-rank the students who meet the conditions according to the ranking in the student education *** kind of work is time-consuming and *** paper presented an automated method to evaluate the college student scholarships,which uses computer programming technology to add and sort the students' scores.A lot of experiments had implemented to test the accuracy of the algorithm and the experimental results proved that it could improve the work efficiency and the accuracy and greatly reduce the work pressure of *** of the experimental data come from the students in our college,whose performance data come from the educational management system,and the winning information come from the student work management *** summary,the work has important theoretical and practical significance for the daily work of the counselors and the administrative departments.

关键词： school-level scholarship scholarship assessment automated method student management

来源：评论

学校读者我要写书评

暂无评论

Real-time Response Model to Optimize Refugee Flow

Real-time Response Model to Optimize Refugee Flow

引用

2017 5th international conference on Frontiers of Manufacturing science and Measuring Technology(FMSMT 2017)

作者： Baixue Liang School of North China Electric Power University

ISBN: (纸本)9781510840232

Political turbulence in Syria, Afghanistan and Iraq has caused a drastic increase in Refugee flow to European countries. Also it is bringing a dilemma between protecting refugees and maintaining social stability to the major receiving countries. In this article, we developed a Real-time Response model to assess the refugee crisis after analyzing influential factors and optimize the refugee flow routes. To begin with, we selected four decisive parameters to establish the simplified model, considering the situation of the homes of refugees, receiving countries and along the route. they are Capacity of receiving countries;Risk, representing the risk refugees have to take following a certain route;Duration, representing the time passing through different route takes;Condition of refugees' homes. To quantify each parameter, we build up a scoring system using Principal Component Analysis(PCA) based on the statistics offered in databases such as World Bank, IOM and UNHCR. After the Scoring System was built, we applied our system on the six major immigration routes, before digging into each actual route from one point to another. Using the overall refugee population figure given by UNHCR in 2015, we optimized the refugee flow in each route combining our Scoring System with nonlinear programming. To test our model, three additional routes are evaluated and the refugee flow are optimized accordingly to verify our model applies. Improving our model to become more realistic, Real-time Response Model is built to reflect the instantaneous situation of different refugee camp, therefore our Scoring System can fit for the continuously changing situation. the software Stella is adopted to simulate and visualize our Real-time Response Model that is set up using System Dynamics method. Capacity of receiving countries is analyzed as the decisive factor that is rapidly changing, as supplies from government organizations and non-government organizations( NGO) is a dynamic factor. By refin

关键词： Principal Component Analysis(PCA) Real-time Response Model

来源：评论

学校读者我要写书评

暂无评论

Scheduling and Routing in Multi-Channel Allocation based on the Greedy Algorithm for Wireless Mesh Network

Scheduling and Routing in Multi-Channel Allocation based on ...

引用

ISCC 2017-the 5th international conference on Information science and Cloud Computing

作者： Weiwei Zhang Jiafeng He Guowang Gao Lili Ren Xuanjing Shen College of Computer Science and Technology Jilin University Changchun Normal University Troops 31693 PLA College of Electronic Engineering Xi'an Shiyou University

Considering the channel dependence,this paper designs greedy algorithm in Multi-Channel Allocation joint scheduling and routing. Unlike the traditional multi-channel Wireless Mesh channel allocation,the proposed scheme considers scheduling and routing,and the network is divided into two states by network segmentation. the linear planning allocation method is used to minimize the average end-to-end delay for the maximum transmission link number;for the total channel resource and routing scheduling problem for link consumption that adopt the integer linear programming method modelling,the greedy heuristic algorithm can be used. the simulation analysis shows that the algorithm of this paper can effectively improve the throughput of the network.

关键词： Scheduling and Routing in Multi-Channel Allocation based on the Greedy Algorithm for Wireless Mesh Network

来源：评论

学校读者我要写书评

暂无评论

Deep Attribute Graph Clustering Based on Dual Information Comparison Strategy

Deep Attribute Graph Clustering Based on Dual Information Co...

引用

artificial Intelligence and Computer engineering (ICAICE), international conference on

作者： Shuqiu Tan Lei Zhang Yahui Liu College of Computer Science and Engineering Chongqing University of Technology Chongqing China

ISBN: (数字)9798331528911

ISBN: (纸本)9798331528928

Existing deep attribute graph clustering is mainly divided into two stages: upstream graph representation learning and downstream clustering task. the upstream uses graph representation learning to obtain node embeddings, and the downstream uses the K-Means algorithm to cluster the node embeddings obtained by the upstream learning. Although graph representation learning based on contrastive learning has received great attention and achieved good results, there are still some problems. (1) How to use enhancement technology to generate an effective contrast view? (2) How to design an effective contrastive learning mechanism? (3) How to integrate upstream graph contrastive learning and downstream clustering tasks into an end-to-end framework? To solve the above problems, we propose a deep attribute graph clustering algorithm with a composite graph enhancement strategy and a dual information contrast strategy (DAGC-DICS). First, we obtain the augmented graph of the original attribute graph based on the composite graph enhancement strategy, and propose a dual information contrast strategy that can maximize the consistency of nodes in the contrast view. Finally, we design a multi-distribution self-supervision strategy to integrate graph representation learning and clustering tasks into an end-to-end framework. Extensive experiments are conducted on three benchmark datasets to verify the superiority and effectiveness of our method.

关键词： Representation learning Clustering methods Autoencoders Clustering algorithms Contrastive learning Learning (artificial intelligence) Benchmark testing Linear programming Optimization

来源：评论

学校读者我要写书评

暂无评论

Continuous simulation method and case study based on AMEsim and Python

Continuous simulation method and case study based on AMEsim ...

引用

international conference on Computer engineering and Applications (ICCEA)

作者： Tianyu Xia Jianyong Zuo Jingxian Ding Tianyi Wang Zixuan Xu Xinzhou Wu Institute of Rail Transit Tongji University Shanghai China Institute of Rail Transit Tongji University Shanghai Key Laboratory of Rail Infrastructure Durability and System Safety Shanghai China Postdoctoral Station of Mechanical Engineering Tongji University Shanghai China

ISBN: (数字)9798350386776

ISBN: (纸本)9798350386783

With the advancement of digital twin technology, there is a growing demand for model refinement and data processing speed, leading to common challenges in many digital twin projects. these challenges include issues such as multi-software interaction methods and achieving continuous simulation. For instance, in the context of rail transport, a high-speed trains digital twin project necessitates the utilization of AMEsim simulation for digital twin platform development. However, single simulation client does not support real-time data input. To tackle this issue, a continuous simulation method utilizing the Python programming language was devised for AMEsim. this method enables continuous assignment of signals to the simulation, ensuring that the final state of the simulation is accurately conveyed, thereby converting the simulation into multiple consecutive time slices. Experimental results affirmed that the proposed method effectively facilitates continuous assignments within AMEsim, thereby addressing a crucial problem of digital twin projects and enhancing convenience and flexibility for AMEsim users.

关键词： Rails Accuracy Simulation Process control Valves Data processing Real-time systems

来源：评论

学校读者我要写书评

暂无评论

Based on the Newton-Lawson Method Operating State Analysis of Power System Power Flow Calculations

Based on the Newton-Lawson Method Operating State Analysis o...

引用

IEEE international conference on Automation, Electronics and Electrical engineering (AUTEEE)

作者： Zhiyi Zhou Shuangqing Lin Jiadong Hu Huaneng Liaoning Power Supply Co. Ltd Shenyang China College of Science and Technology of China Three Gorges University Yichang China Liaoning University of Engineering and Technology Fuzhou China

ISBN: (数字)9781665471978

ISBN: (纸本)9781665471985

With the construction of the third generation of smart grid, the grid structure of the power system is becoming more and more complex, and the power system power flow calculation, as one of the important calculations supporting the operation of the power system, has great reference significance for the early planning and later construction of the power network. By optimizing the operating state of the power system power flow calculation, the stability and reliability of the power system operation can be effectively improved. therefore, based on the basic principles and mathematical model of power flow calculation of a power system, this paper uses MATLAB programming to implement power flow calculation based on the Newton-Lafson method based on the power system framework of IEEE standard 14 nodes and describes the structure of standard linear power system. In the case of knowing the initial parameters, calculate the power system power flow at this moment, analyze the current state of the power system, summarize the strong correlation between reactive power and voltage, and propose measures to reasonably regulate the transformer by changing the size of the tap. It is of guiding significance for the next stage of power dispatch to ensure the safe and stable operation of the system.

关键词： Analytical models Voltage measurement Computational modeling Power system stability Mathematical models Data models Power system reliability

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共120页 << < 111 112 113 114 115 116 117 118 119 120 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：