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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

140 篇 会议
43 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

111 篇 工学
- 92 篇 计算机科学与技术...
- 75 篇 软件工程
- 24 篇 信息与通信工程
- 23 篇 控制科学与工程
- 16 篇 生物工程
- 15 篇 电气工程
- 12 篇 机械工程
- 11 篇 电子科学与技术（可...
- 9 篇 化学工程与技术
- 8 篇 生物医学工程（可授...
- 7 篇 仪器科学与技术
- 6 篇 交通运输工程
- 6 篇 安全科学与工程
- 5 篇 光学工程
- 5 篇 网络空间安全
- 4 篇 动力工程及工程热...
- 3 篇 土木工程
- 3 篇 环境科学与工程（可...
49 篇 理学
- 23 篇 数学
- 14 篇 生物学
- 10 篇 物理学
- 10 篇 化学
- 10 篇 统计学（可授理学、...
- 5 篇 系统科学
25 篇 管理学
- 14 篇 管理科学与工程(可...
- 11 篇 图书情报与档案管...
- 8 篇 工商管理
6 篇 法学
- 5 篇 社会学
4 篇 经济学
- 4 篇 应用经济学
3 篇 医学
2 篇 教育学
- 2 篇 教育学
2 篇 农学
1 篇 艺术学

主题

8 篇 real-time system...
8 篇 feature extracti...
7 篇 semantics
6 篇 conferences
6 篇 computer archite...
6 篇 clocks
6 篇 software
5 篇 reliability
5 篇 reinforcement le...
5 篇 computational mo...
4 篇 internet of thin...
4 篇 deep learning
4 篇 schedules
4 篇 automata
4 篇 probabilistic lo...
4 篇 protocols
4 篇 sensors
4 篇 data models
3 篇 surveys
3 篇 runtime

机构

21 篇 moe engineering ...
14 篇 shanghai key lab...
12 篇 software enginee...
8 篇 moe research cen...
8 篇 moe engineering ...
7 篇 school of comput...
6 篇 national trusted...
6 篇 college of infor...
6 篇 moe engineering ...
5 篇 school of comput...
5 篇 school of inform...
5 篇 hardware/softwar...
5 篇 software/hardwar...
5 篇 moe engineering ...
5 篇 engineering rese...
5 篇 east china norma...
4 篇 east china norma...
4 篇 science and tech...
4 篇 school of softwa...
4 篇 school of comput...

作者

18 篇 yixiang chen
14 篇 chen mingsong
13 篇 cao guitao
13 篇 wang ting
11 篇 chen yixiang
10 篇 bo xiao
9 篇 guitao cao
9 篇 xiao bo
7 篇 chen weiting
7 篇 minghua zhu
7 篇 shi yuanming
6 篇 yuanrui zhang
6 篇 xinyu zhang
6 篇 shi jianqi
6 篇 yan li
6 篇 zhu minghua
6 篇 ting wang
6 篇 huang yanhong
5 篇 zhang lei
5 篇 xianzhong liu

语言

176 篇 英文
7 篇 其他

检索条件"机构=MoE Engineering Research-Center of Software/Hardware Co-design Technology and Application"

共 183 条记录，以下是81-90 订阅

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

详细简洁

排序：

FPGA-Accelerated for constrained High Dispersal Network

FPGA-Accelerated for Constrained High Dispersal Network

引用

IEEE International Symposium on Parallel and Distributed Processing with applications and IEEE International conference on Ubiquitous computing and communications (ISPA/IUCC)

作者： Yanliang Chen Minghua Zhu Bo Xiao Dan Meng MOE Research Center for Software/Hardware Co-Design Engineering and Application East China Normal University Shanghai China

ISBN: (纸本)9781538637913

In recent years, the Deep Neural Network (DNN) has been successfully used in image classification. Most of existing DNN often need to learn a very large set of parameters, which require a huge amount of computational resources and time to train these model parameters using the gradient descent and back-propagation procedure. To solve this issue, the PCANet has been developed for high efficient design and training of the DNN. compared with traditional DNN, PCANet has simpler structure and better performance, which makes it attractive for hardware design. To overcome the limitations of PCANet and significantly improve its performance, we have proposed a novel model named constrained High Dispersal Network (CHDNet) which is a variant of PCANet. In this paper, we implement the CHDNet on the Xilinx ZYNQ FPGA to ensure the instantaneity of the system with lower power than personal computer needed by taking advantage of the algorithmic parallelism and ZYNQ architecture. Our experimental results over two major datasets, the MNIST dataset for handwritten digits recognition, and the Extended Yale B dataset for face recognition, demonstrate that our model of implementation on FPGA is more than 15x faster than software implementation on PC (Intel i7-4720HQ, 2.6GHz).

关键词： Field programmable gate arrays hardware Principal component analysis Acceleration Machine learning Graphics processing units computer architecture

来源：评论

学校读者我要写书评

暂无评论

An Efficient Scheduling Algorithm for Distributed Heterogeneous Systems with Task Duplication Allowed

An Efficient Scheduling Algorithm for Distributed Heterogene...

引用

IEEE International conference on Big Data and Cloud computing (BdCloud)

作者： Hao Shi Yixiang Chen Jinyi Xu Software Engineering Institute East China Normal University Shanghai China MOE Engineering Research Center for Software/Hardware Co-Design Technology and Application Shanghai China

Due to the restriction of data transmission speed and bandwidth between processing units, communication delays are significantly impacting the complete time of applications in distributed heterogeneous systems. Most of the existing methods considering communication delays are approximate. The performance of solutions given by these heuristic methods are depends on the input instance. Another common choice is optimization methods, such as genetic algorithms and branch-and-bound search. However, these algorithms solve general situations with low efficiency. This paper proposes an efficient scheduling algorithm with task duplication allowed, called DHSA. Task duplication allows tasks executing multiple times to trade extra computation for communication delays, which is widely used in parallel system scheduling approximately. To address the complexity explosion caused by allowing all-task duplication, we decompose the scheduling into allocation and ordering stages and optimize them separately with solving optimization model and slack-interval aware ordering approach. Extensive experiments show that DHSA gives more optimal solutions within feasible time comparing to two state-of-the-art methods, particularly for applications with medium to high communication load.

关键词： Schedules Scheduling algorithms computational modeling Optimization methods Scheduling Delays complexity theory

来源：评论

学校读者我要写书评

暂无评论

PSTEP - A Novel Probabilistic Event Processing Language for Uncertain Spatio-temporal Event Streams of Internet of Vehicles

PSTEP - A Novel Probabilistic Event Processing Language for ...

引用

IEEE International conference on software Quality, Reliability and Security companion (QRS-C)

作者： Huiyong Li Yuanrui Zhang Yixiang Chen MoE Engineering Research Center for Software/Hardware Co-design Technology and Application East China Normal University Shanghai P.R.China

Internet of Vehicles (IoV, shortly) is a typical system of Internet of Things. Spatio-Temporal event stream is one of basic features of IoV. These event streams often are uncertain due to the limit of the monitoring device and the high speed of vehicles. Developing an event processing language to process these spatio-temporal event streams with uncertainty is a challenge issue. The goal of this paper is to develop a Probabilistic Event Processing Language, called as Probabilistic Spatio-Temporal Event Processing language (PSTEP, shortly), dealing with this challenge issue. In PSTEP, we use the Possible World Model to express uncertain spatio-temporal events of IoV and assign a spatio-temporal event with a probability which is the threshold value for processing the existence of an event. We establish its syntax and operational semantics. Finally, a case study is given to show the effectiveness of the PSTEP language.

关键词： Data models Spatial databases Probabilistic logic Monitoring Intelligent vehicles Internet of things Syntactics

来源：评论

学校读者我要写书评

暂无评论

CBPGM: A Cache Based Piecewise Geometric Model Index

CBPGM: A Cache Based Piecewise Geometric Model Index

引用

2022 IEEE International conference on Systems, Man, and Cybernetics, SMC 2022

作者： Xu, Xiaopei Cao, Guitao Li, Yan MoE Engineering Research Center of SW/HW Co-design Technology and Application Shanghai Key Laboratory of Trustworthy Computing East China Normal University Shanghai200062 China

ISBN: (数字)9781665452588

ISBN: (纸本)9781665452588

Recent works on learned indexes have changed the way we look at the decades-old field of Database Management System indexing. However, they are limited to too many hyperparameters, long model construction time, and not taking full advantage of CPU cache and hardware acceleration. In this paper, we propose a Cache Based Piecewise Geometric Model (CBPGM) Index to address these issues with only one hyperparameter and effectively combines a sampling approach to reduce training dataset size that accelerates the construction procedure and aligns models and data to the CPU cache line to improve search performance. Experimental results show that the CBPGM index can improve the construction speed up to 8× and the query speed by 30% compared with the PGM index. © 2022 IEEE.

关键词： Query processing

来源：评论

学校读者我要写书评

暂无评论

NL2CTL: Automatic Generation of Formal Requirements Specifications via Large Language Models 1

引用

25th International conference on Formal engineering Methods, ICFEM 2024

作者： Zhao, Mengyan Tao, Ran Huang, Yanhong Shi, Jianqi Qin, Shengchao Yang, Yang National Trusted Embedded Software Engineering Technology Research Center East China Normal University Shanghai China Hardware/Software Co-Design Technology and Application Engineering Research Center East China Normal University Shanghai China Guangzhou Institute of Technology Xidian University Xi’an China ICTT and ISN Laboratory Xidian University Xi’an China Software Engineering Institute East China Normal University Shanghai China

ISBN: (数字)9789819606177

ISBN: (纸本)9789819606160

Reducing the gap between natural language requirements and precise formal specifications is a critical task in requirements engineering. In recent years, requirement engineering is becoming increasingly complex alongside the growing intricacy of system engineering. Most requirements are expressed in natural language, which can be incomplete and ambiguous. However, formal languages with strict semantics can accurately represent certain temporal logic properties and allow for automated verification and analysis. This often limits the application of verification techniques, as writing formal specifications is a manual, error-prone, and time-consuming task. To address this, this paper proposes a framework that leverages Large Language Models (LLMs) to achieve automated conversion of natural language requirements to computation Tree Logic (CTL). To address the issue of dataset scarcity, we leveraged the interactive and generative capabilities of LLMs. By constructing a random generation algorithm and utilizing prompt engineering, we generated an NL-CTL dataset using LLMs. The generated dataset was then used to fine-tune the T5-Large model, enhancing its generative capacity. To improve generalization, this paper proposes the use of the GPT-3.5 Atomic Proposition (AP) Recognition method, which eliminates the constraints of using the framework across different domains. A series of experimental evaluations showed that the fine-tuned LLM achieved an accuracy of 46.4%, whereas the LLM with few-shot learning using only prompt engineering achieved only 2% accuracy, demonstrating the feasibility of this approach. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2024.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

MSTC^∗:Multi-robot coverage Path Planning under Physical constrain

MSTC<sup>∗</sup>:Multi-robot Coverage Path Planning under P...

引用

IEEE International conference on Robotics and Automation (ICRA)

作者： Jingtao Tang Chun Sun Xinyu Zhang Shanghai Key Laboratory of Trustworthy Computing Engineering Research Center of Software/Hardware Co-Design Technology and Application (MoE) and School of Software Engineering East China Normal University Shanghai

For large-scale tasks, coverage path planning (CPP) can benefit greatly from multiple robots. In this paper, we present an efficient algorithm MSTC∗ for multi-robot coverage path planning (mCPP) based on spiral spanni... 详细信息

For large-scale tasks, coverage path planning (CPP) can benefit greatly from multiple robots. In this paper, we present an efficient algorithm MSTC^∗ for multi-robot coverage path planning (mCPP) based on spiral spanning tree coverage (Spiral-STC). Our algorithm incorporates strict physical constraints like terrain traversability and material load capacity. We compare our algorithm against the state-of-the-art in mCPP for regular grid maps and real field terrains in simulation environments. The experimental results show that our method significantly outperforms existing spiral-STC based mCPP methods. Our algorithm can find a set of well-balanced workload distributions for all robots and therefore, achieve the overall minimum time to complete the coverage.

关键词： Spirals Automation conferences Path planning Task analysis Robots Load modeling

来源：评论

学校读者我要写书评

暂无评论

An efficient group key agreement protocol with administrator 3

An efficient group key agreement protocol with administrator

引用

3rd International conference on Internet of Things and Smart City, IoTSC 2023

作者： Fang, Qihao Zhang, Lei Zhang, Mingrui Shanghai Key Laboratory of Trustworthy Computing East China Normal University Shanghai200062 China Science and Technology on Communication Security Laboratory Chengdu610041 China Engineering Research Center of Software/Hardware Co-design Technology and Application Ministry of Education Shanghai200062 China

ISBN: (纸本)9781510666375

Group key agreement technology is one of the most popular solution to establish a reliable secure channel between communicating entities of a group. Group key agreement protocol with administrator (GKAA) can handle a large number of group operations in sequence to resolve disorder problem and it is widely used in practical applications. However, in most of existing protocol, the administrator has to compute materials for each participant in the group which brings huge calculate overhead. In this paper, we propose an efficient group key agreement protocol with Administrator. Our GKAA protocol is able to perform group operation in a high efficacy way with the help of a key tree. It is also flexible and scalable since it suits for any network communication environment like IoT, video meeting, social applications, etc. Our protocol satisfies the properties including forward secrecy, PCS and key control resistance. © 2023 SPIE.

关键词： Network security

来源：评论

学校读者我要写书评

暂无评论

Practical privacy-preserving mixing protocol for Bitcoin 26

Practical privacy-preserving mixing protocol for Bitcoin

引用

26th International conference on computer Supported cooperative Work in design, CSCWD 2023

作者： Chang, Qianqian Xu, Lin Zhang, Lei Shanghai Key Laboratory of Trustworthy Computing East China Normal University Shanghai200062 China Science and Technology on Communication Security Laboratory Chengdu610041 China Engineering Research Center of Software/Hardware Co-design Technology and Application Ministry of Education Shanghai200062 China

ISBN: (纸本)9798350331684

The privacy of Cryptocurrencies are of great concern in various fields. researches has shown that pseudonyms, which are used in Bitcoin, only provide weak privacy. The privacy of users may be put at risk under deanonymization attacks. The exisiting schemes typically require a trusted-third party to achieve anonymity, however this usually faces a single-point fault. In addition, existing schemes suffer from high communication complexity and impracticality. This paper proposes a practical privacy-preserving mixing protocol for Bitcoin to achieve unlink-ability of input and output address of transactions. compared to existing schemes, our protocol improves practicality. The communication complexity of our protocol is linearly related to the number of peers. Moreover, our protocol is scalable as it works not only for Bitcoin, but also for other cryptocurrencies. © 2023 IEEE.

关键词： computational complexity

来源：评论

学校读者我要写书评

暂无评论

Providing Service composition to Cyber-Physical System for Industrial Fault Detection 3rd

Providing Service Composition to Cyber-Physical System for I...

引用

3rd International conference on Mechatronics and Intelligent Robotics, ICMIR 2019

作者： Xiao, Bo Zhao, Kang Tang, Haitao MOE Research Center for Software/Hardware Co-Design Engineering and Application East China Normal University 3663 North Zhongshan Rd. Shanghai200062 China Siemens Factory Automation Engineering Ltd Shanghai No.1 Branch 1089 South Second Zhongshan Rd. Shanghai200030 China

ISBN: (纸本)9789811502378

This paper presents an approach to providing service composition to cyber-physical system (CPS) for industrial fault detection and vibration detection in particular. While vibration fault detection has been increasingly adopted in industrial sectors and critical infrastructure for economical and safety concerns, architectural and performance restrictions of most systems in this area impose restrictions on its wide and flexible usage. Recent research shows that it is promising to applying service-oriented architecture to developing industrial systems. We regard that enhancing CPS with services and service composition schemes in industrial vibration fault detection be feasible and promising. The architecture of our vibration fault detection CPS system, consisting of the enterprise level, gateway level and endpoint level, is integrated with various vibration detection services at relevant levels. Service composition with mapping from physical services to virtual services and to composition services is designed. It is shown by testing results that the proposed approach makes the system for real-time vibration fault detection more flexible and effective. © Springer Nature Singapore Pte Ltd. 2020.

关键词： Cyber Physical System

来源：评论

学校读者我要写书评

暂无评论

An Attributes-Based Allocation Approach of software Trustworthy Degrees

An Attributes-Based Allocation Approach of Software Trustwor...

引用

IEEE International conference on software Quality, Reliability and Security companion (QRS-C)

作者： Yujing Ma Yixiang Chen Bin Gu MoE Research Engineering Center for Software/Hardware Co-Design Technology and Application East China Normal University Shanghai China Beijing Institute of Control Engineering Beijing China

Trustworthiness measurement and evaluation of softwares is an important research topic in the field of trustworthy softwares. The existing metric model for software trustworthiness can determine trustworthy degree of a software with given trustworthy degrees of attributes. In this paper, we focus on the reverse of measurement approach, which determines trustworthy degrees of attributes with given trustworthy degree of a software. We introduce an approach to describe the allocation of trustworthy degrees of softwares, and present an allocation model and an attributes-based allocation algorithm. The allocation approach are applied to high-speed reentry aircraft softwares. With the allocation results, it is shown that our approach is effective and practical in guiding and controlling software trustworthiness.

关键词： software Resource management Standards software measurement software algorithms Space vehicles

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共19页 << < 5 6 7 8 9 10 11 12 13 14 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：