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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

10,310 篇 会议
252 篇 期刊文献
187 册 图书
2 篇 学位论文

馆藏范围

10,751 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

4,861 篇 工学
- 4,309 篇 计算机科学与技术...
- 3,041 篇 软件工程
- 722 篇 电气工程
- 684 篇 信息与通信工程
- 521 篇 控制科学与工程
- 375 篇 电子科学与技术（可...
- 162 篇 机械工程
- 147 篇 动力工程及工程热...
- 98 篇 网络空间安全
- 97 篇 生物工程
- 91 篇 安全科学与工程
- 86 篇 仪器科学与技术
- 79 篇 建筑学
- 71 篇 土木工程
- 71 篇 生物医学工程（可授...
- 64 篇 化学工程与技术
- 57 篇 材料科学与工程（可...
- 54 篇 力学（可授工学、理...
- 54 篇 光学工程
1,331 篇 理学
- 955 篇 数学
- 213 篇 系统科学
- 163 篇 统计学（可授理学、...
- 156 篇 物理学
- 120 篇 生物学
- 67 篇 化学
1,047 篇 管理学
- 827 篇 管理科学与工程(可...
- 409 篇 工商管理
- 253 篇 图书情报与档案管...
120 篇 经济学
- 120 篇 应用经济学
71 篇 法学
- 58 篇 社会学
45 篇 教育学
40 篇 医学
26 篇 农学
14 篇 文学
9 篇 军事学
2 篇 艺术学

主题

1,688 篇 application soft...
899 篇 distributed comp...
876 篇 computer archite...
873 篇 computer science
849 篇 hardware
728 篇 concurrent compu...
668 篇 parallel process...
559 篇 software enginee...
559 篇 computational mo...
446 篇 real time system...
345 篇 runtime
326 篇 costs
324 篇 software systems
319 篇 processor schedu...
317 篇 fault tolerance
315 篇 resource managem...
292 篇 software
289 篇 operating system...
287 篇 scalability
283 篇 bandwidth

机构

35 篇 school of comput...
23 篇 ibm thomas j. wa...
22 篇 department of co...
21 篇 school of softwa...
20 篇 college of compu...
20 篇 school of electr...
19 篇 state key labora...
19 篇 department of el...
19 篇 department of co...
18 篇 department of co...
16 篇 school of comput...
15 篇 department of el...
15 篇 department of co...
15 篇 department of co...
15 篇 department of co...
14 篇 department of el...
14 篇 beijing jiaotong...
13 篇 department of co...
13 篇 school of comput...
13 篇 institute of inf...

作者

20 篇 m. takizawa
20 篇 rajkumar buyya
20 篇 k.h. kim
18 篇 dhabaleswar k. p...
18 篇 jack dongarra
17 篇 m. kandemir
17 篇 h.j. siegel
16 篇 a. choudhary
14 篇 m. parashar
14 篇 howard jay siege...
13 篇 l.r. welch
13 篇 parashar manish
13 篇 gao guang r.
12 篇 dongarra jack
12 篇 h. casanova
12 篇 hari subramoni
12 篇 welch lonnie r.
12 篇 xiao qin
12 篇 maciejewski anth...
11 篇 jun wang

语言

10,619 篇 英文
96 篇 其他
34 篇 中文
1 篇 西班牙文
1 篇 法文
1 篇 葡萄牙文

检索条件"任意字段=International Symposium on Software Engineering for Parallel and Distributed Systems"

共 10751 条记录，以下是691-700 订阅

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

详细简洁

排序：

AcVerifier: Cross-Domain Access Control Verification via Hybrid Static and Dynamic Analysis

AcVerifier: Cross-Domain Access Control Verification via Hyb...

引用

international symposium on parallel and distributed Processing with Applications, ISPA

作者： Jie Zhang Yuanyuan He Miao Hu Xinwei Yu Tingting Guo Xiangyu Gao Jiaqi Ma School of Cyber Science and Engineering Huazhong University of Science and Technology Wuhan China Wuhan Kedao Geographic Information Engineering Co. Wuhan China Wuhan Research Institute of Posts and Telecommunications Wuhan China

ISBN: (数字)9798331509712

ISBN: (纸本)9798331509729

In today’s interconnected world, as the scale of data sharing across diverse systems and organizations continues to grow, the secure and verifiable access to these data is of escalating importance. Nonetheless, existing verification methods for prevalent access control models, such as Role-Based Access Control (RBAC), usually face several prevalent challenges, including inadequate support for cross-domain operations, potential systemic risks stemming from potential flaws in policy design and improper implementation in large-scale complex systems, and concerns about modeling credibility. To address the issues, we propose AcVerifier, a novel solution that employs blockchain technology coupled with deterministic finite automaton (DFA) to enable verifiable enforcement of access control policies across disparate domains. AcVerifier uploads data indices and policies to a secure authorization server, which records operation logs in blockchain-connected data containers, thereby ensuring data credibility. AcVerifier employs a hybrid verification method combining static and dynamic analysis techniques, leveraging their respective strengths for preemptive auditing and real-time monitoring. Thus, AcVerifier can verify the correctness and consistency between the permissions granted by the extended access control policies and their actual execution in cross-domain data sharing and ubiquitous circulation scenarios. Here, the permissions encompass desensitization, access, modification and forwarding of personal information. Comprehensive evaluation demonstrates the correctness and efficiency of AcVerifier in addressing the challenges of cross-domain access control verification.

关键词： Access control Automata Organizations Real-time systems Blockchains Finite element analysis Servers Complex systems Protection Faces

来源：评论

学校读者我要写书评

暂无评论

Research on Grid-connected Technology of Microgrid based on VSG

Research on Grid-connected Technology of Microgrid based on ...

引用

Electrical engineering and Control Science (IC2ECS), international Conference on

作者： Yuchen Zhao Haichuan Zhang Jiao Du College of Software Engineering Southeast University Nan Jing China Nanjing Center for Applied Mathematics Nan Jing China

ISBN: (数字)9798331510107

ISBN: (纸本)9798331510114

At present, in order to cope with the shortage of traditional energy sources and pollution problems, the development and use of distributed new energy sources is increasing. Aiming at the stochastic drawbacks of distributed energy sources and the limitations that exist when they are operated in parallel with the power grid, this paper designs the system structure of virtual synchronous generator control strategy for microgrids and proposes the pre-synchronous control technology for the grid-connected switching process, so that the microgrids have the inertial characteristics and damping characteristics similar to those of synchronous generators during the operation process. Based on Matlab/Simulink platform, the power system model is built and simulated to verify that the proposed technique can support the smooth operation of the microgrid and the smooth switching of the operation mode.

关键词： Damping Power quality Process control Microgrids Switches Power system stability Control systems Synchronous generators Stability analysis Voltage control

来源：评论

学校读者我要写书评

暂无评论

Intelligent Live Broadcast Shot Switching System Based on Semantics

Intelligent Live Broadcast Shot Switching System Based on Se...

引用

ACIS international Conference on software engineering, Artificial Intelligence, Networking, and parallel/distributed Computing (SNPD)

作者： Xinquan Luo Nan Yang Wanting Cao School of Information and Communication Engineering Communication University of China Beijing China School of Information and Communication Engineering Beijing University of Posts and Telecommunications Beijing China

ISBN: (数字)9798350391954

ISBN: (纸本)9798350391961

In modern society, live broadcasting has become a popular real-time interactive medium, covering a wide range of fields such as news conferences, sports events, concerts and education. In the traditional multi-camera live broadcast, the director needs to switch between different shots in real time according to the site conditions. This process is highly dependent on the director’s individual judgment and reaction speed, which is under great pressure when facing complex and changing application scenarios. Therefore, this paper proposes a semantic based intelligent shot switching system. It combines real-time face recognition technology with keyword matching to achieve more accurate and smarter shot *** of all, we collected face photos of different genders and age levels as datasets, and preprocessed them. Then, we use the YOLOv8 model for face recognition. After training our customized datasets, we loaded the model to extract the character features from different camera screens. By comparing the similarity between face features and keywords, we calculated a matching score for each picture, and then selected the picture with the highest score as the main screen. In addition, this paper also designed a visual interface for the intelligent switching system based on PyQt5, which will provide users with a convenient use experience.

关键词： Visualization Accuracy Switching systems Face recognition Semantics Switches Broadcasting

来源：评论

学校读者我要写书评

暂无评论

A Dynamic Time-Domain Based Accurate Small Signal Model for LLC Converter

A Dynamic Time-Domain Based Accurate Small Signal Model for ...

引用

IEEE international symposium on Power Electronics for distributed Generation systems (PEDG)

作者： Shuo Zhang Yuqi Wei Jinjun Liu Electrical Engineering Department Tianjin University Tianjin China Electrical Engineering Department Xi’an Jiaotong University Xi’an China

LLC resonant converter has been widely adopted in switching power supply due to its high power density and high efficiency characteristics. However, because the switching frequency is close to the resonant frequency, it is difficult to derive the small signal model accurately. In this paper, an accurate small signal model for LLC converter is derived based on the dynamic time-domain model. The LLC converter dynamic time-domain model is developed by modeling three different stages, stage ending conditions, and the judgements of next stage. Combing with the basic concept of small signal modeling, the accurate control-to-output transfer function bode diagram can be derived, which is more accurate than the traditional extended describing function (EDF) method. Simulation results under various conditions are presented to verify the accuracy of the proposed small signal model. The small signal analysis results from the developed model are consistent with the commercial simulation software.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Multi-Resource Scheduling for Multiple Service Function Chains with Deep Reinforcement Learning

Multi-Resource Scheduling for Multiple Service Function Chai...

引用

international Conference on parallel and distributed systems (ICPADS)

作者： Rui He Bangbang Ren Junjie Xie Deke Guo Laiping Zhao College of Intelligence and Computing Tianjin University Tianjin China Science and Technology on Information Systems Engineering Laboratory National University of Defense Technology Changsha Hunan China Institute of Systems Engineering AMS Beijing China

The modern network is equipped with many service functions to acquire high-quality service. The emergence of network function virtualization (NFV) provides a convenient way to accomplish the network services in the form of virtual network function (VNF) and also makes the scheduling solution of VNFs flexible. The VNFs can be deployed on commodity servers as software processes. Besides, multiple VNFs are chained in a specified order as a service function chain (SFC) to serve a given flow, increasing the scheduling difficulty to minimize the average flow completion time. In this paper, we study the problem of scheduling multiple SFCs with the constraint of different resource limitations in various commodity servers. This problem is typically formulated as an Integer Linear Programming (ILP) problem, which is NP-hard. To well tackle this problem, we propose a deep reinforcement learning (DRL) approach. It involves multi-step decision making, which can be naturally transformed into a DRL problem. We design specific reward and state representations for such a multi-resource scheduling problem. We also consider how to use DRL to handle online requests of SFCs. The experiment results demonstrate that the DRL approach can significantly reduce the average completion time of a set of SFC and achieves a cost saving of 39.94% against the benchmark method.

关键词： Deep learning Service function chaining Scheduling algorithms NP-hard problem Reinforcement learning Benchmark testing software

来源：评论

学校读者我要写书评

暂无评论

MultiGrid on FPGA Using Data parallel C++ 36

MultiGrid on FPGA Using Data Parallel C++

引用

36th IEEE international parallel and distributed Processing symposium Workshops, IPDPSW 2022

作者： Siefert, Christopher Olivier, Stephen L. Voskuilen, Gwendolyn Young, Jeffrey Sandia National Laboratories AlbuquerqueNM United States Georgia Institute of Technology AtlantaGA United States

ISBN: (纸本)9781665497473

Centered on modern C++ and the SYCL standard for heterogeneous programming, Data parallel C++ (dpc++) and Intel's oneAPI software ecosystem aim to lower the barrier to entry for the use of accelerators like FPGAs in diverse applications. In this work, we consider the usage of FPGAs for scientific computing, in particular with a multigrid solver, MueLu. We report on early experiences implementing kernels of the solver in DPC++ for execution on Stratix 10 FPGAs, and we evaluate several algorithmic design and implementation choices. These choices not only impact performance, but also shed light on the capabilities and limitations of DPC++ and oneAPI. © 2022 IEEE.

关键词： Field programmable gate arrays (FPGA)

来源：评论

学校读者我要写书评

暂无评论

Optimal Design of the Planar Transformer Based on Its Multi-physics Field Coupling Characteristics

Optimal Design of the Planar Transformer Based on Its Multi-...

引用

IEEE international symposium on Power Electronics for distributed Generation systems (PEDG)

作者： Yin Zheng Yujie Wu Shishan Wang Zhan Shen College of Automation Engineering Nanjing University of Aeronautics and Astronautics Nanjing P. R. China School of Electrical Engineering Southeast University Nanjing P. R. China

Integration, high reliability and high power density have become the research hotspot of modern high-frequency power converter equipment. More and more research on planar transformers in order to improve the power density of electronic devices. Taking planar transformer as the research object, combined with its technical indicators. This paper is applied to the half-bridge LLC resonant converter system, based on multi-physics simulation and experiments, the design and optimization of planar transformers are realized. The design and optimization of high-frequency PCB planar transformers are taken as the research goal, a high-frequency equivalent model is established, and it is calculated in electromagnetic simulation software. The optimization is carried out from the two aspects of loss characteristics and structural parameters, which has certain reference significance for the design of PCB type planar transformers in similar high-frequency, low-voltage and high-current applications.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Secure parallel Outsourcing Scheme for Large-scale Matrix Multiplication on distributed Cloud Servers

Secure parallel Outsourcing Scheme for Large-scale Matrix Mu...

引用

international Conference on parallel and distributed systems (ICPADS)

作者： Yinlong Wang Yunting Tao Fanyu Kong Zhaoquan Gu Jia Yu Hanlin Zhang School of Software Shandong University Jinan Shandong China College of Information Engineering Binzhou Polytechnic Binzhou Shandong China Shandong Sansec Information Technology Co. Ltd Jinan China School of Computer Science and Technology Harbin Institute of Technology (Shenzhen) Shenzhen China College of Computer Science and Technology Qingdao University Qingdao Shandong China

Large-scale matrix multiplication is a computational bottleneck in various applications including artificial intelligence and machine learning. Given the time complexity of O(n 3 ) for matrix multiplication, large matrix computation is exceedingly time-consuming for the client-side user. By outsourcing this task to cloud servers with substantial computational resources, we can significantly reduce the client-side computational time. This paper presents a parallel matrix multiplication outsourcing scheme based on Cannon’s algorithm. By distributing the matrix across multiple cloud servers for parallel computation, we can get a significant efficiency speedup. Our scheme employs multiple cloud servers to perform parallel matrix computation, reducing the computational load by 89-97% when utilizing 4-16 servers as opposed to using a single server. We provide a comprehensive analysis of the scheme’s correctness, security, and verifiability, substantiating the benefits of our approach through the experimental data.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Co-Simulation of Power systems and Computing systems using the FMI Standard 17

Co-Simulation of Power Systems and Computing Systems using t...

引用

IFIP/IEEE international symposium on Integrated Network Management (IM)

作者： Gougeon, Adrien Camus, Benjamin Lemercier, Francois Quinson, Martin Blavette, Anne Orgerie, Anne-Cecile Univ Rennes INRIA IRISA CNRS Rennes France Univ Rennes CNRS ENS Rennes SATIE Lab Rennes France

ISBN: (纸本)9783903176324

Simulation-oriented research requires precise and validated simulators. Each community has its set of preferred and widely adopted software tools. Some works are multidomain and require the use of dedicated tools and semantic of each domain to produce largely accepted results. In this work, we demonstrate how to realize co-simulation between power system networks, telecommunication networks and distributed computing resources. The demo will show a basic scenario to explicit the relevance of such a combination.

关键词： Computer aided software engineering

来源：评论

学校读者我要写书评

暂无评论

A Container Pre-copy Migration Method Based on Dirty Page Prediction and Compression

A Container Pre-copy Migration Method Based on Dirty Page Pr...

引用

international Conference on parallel and distributed systems (ICPADS)

作者： Yahui Lu Yu Jiang College of Computer Science and Software Engineering Shenzhen University Shenzhen P.R.China

Container live migration can move the running container between different physical machines without interrupting the operations of container, which brings great flexibility to cloud computing environments. The pre-copy algorithm is a commonly used migration algorithm in live migration. Aiming at the problem of repeated transmission of dirty pages in the pre-copy algorithm, this paper proposes a container pre-copy migration method called MBDPC, which based on dirty page prediction and page compression. The MBDPC method exploits the locality principle of program operations, uses the Random Forest model for dirty page prediction, and skips the transmission of repeated dirty pages. The MBDPC also uses the page incremental compression method in the transmission process, which further reduces the amount of data transmitted and the migration time. Experimental results show that the MBDPC method can significantly reduce the time and data transmission overhead of live migration compared with traditional pre-copy method.

关键词： Cloud computing Containers Predictive models Prediction algorithms Data communication

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 66 67 68 69 70 71 72 73 74 75 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：