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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

139 篇 会议
40 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

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

主题

8 篇 real-time system...
8 篇 feature extracti...
7 篇 semantics
6 篇 conferences
6 篇 clocks
5 篇 reliability
5 篇 reinforcement le...
5 篇 computer archite...
5 篇 computational mo...
5 篇 software
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...
10 篇 software enginee...
8 篇 moe research cen...
7 篇 school of comput...
7 篇 moe engineering ...
6 篇 national trusted...
6 篇 college of infor...
6 篇 moe engineering ...
5 篇 school of comput...
5 篇 hardware/softwar...
5 篇 software/hardwar...
5 篇 moe engineering ...
5 篇 engineering rese...
5 篇 east china norma...
4 篇 school of inform...
4 篇 science and tech...
4 篇 school of softwa...
4 篇 school of comput...
3 篇 moe engineering ...

作者

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

语言

173 篇 英文
6 篇 其他

检索条件"机构=MoE Engineering Center for Software/Hardware Co-Design Technology and Application"

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

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

详细简洁

排序：

Model Checking Quantum continuous-Time Markov Chains 32

Model Checking Quantum Continuous-Time Markov Chains

引用

32nd International conference on concurrency Theory, coNCUR 2021

作者： Xu, Ming Mei, Jingyi Guan, Ji Yu, Nengkun MoE Engineering Research Center of Software/Hardware Co-design Technology and Application Shanghai Key Lab of Trustworthy Computing East China Normal University Shanghai China Shanghai Key Lab of Trustworthy Computing East China Normal University Shanghai China State Key Lab of Computer Science Institute of Software Chinese Academy of Sciences Beijing China Centre for Quantum Software and Information Faculty of Engineering and Information Technology University of Technology Sydney Australia

ISBN: (纸本)9783959772037

Verifying quantum systems has attracted a lot of interests in the last decades. In this paper, we initialise the model checking of quantum continuous-time Markov chain (QCTMC). As a real-time system, we specify the temporal properties on QCTMC by signal temporal logic (STL). To effectively check the atomic propositions in STL, we develop a state-of-the-art real root isolation algorithm under Schanuel's conjecture;further, we check the general STL formula by interval operations with a bottom-up fashion, whose query complexity turns out to be linear in the size of the input formula by calling the real root isolation algorithm. A running example of an open quantum walk is provided to demonstrate our method. © Ming Xu, Jingyi Mei, Ji Guan, and Nengkun Yu;.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Parallel implementation of dense optical flow computation on many-core processor 1

引用

15th International conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2015

作者： Chen, Wenjie Yu, Jin Zhang, Weihua Jiang, Linhua Zhang, Guanhua Chai, Zhilei MoE Engineering Research Center for Software/Hardware Co-design Technology and Application East China Normal University Shanghai200061 China School of IoT Engineering Jiangnan University Wuxi214122 China Parallel Processing Institute Fudan University Shanghai200433 China Shanghai Key Lab of Modern Optical Systems University of Shanghai for Science and Technology Shanghai200093 China

ISBN: (数字)9783319271194

ISBN: (纸本)9783319271187

computation of optical flow is a fundamental step in computer vision applications. However, due to its high complexity, it is difficult to compute a high-accuracy optical flow field in real time. This paper proposes a parallel computing approach for fast computation of high-accuracy optical flow field. It is specially designed for Tilera, a typical many-core processor with 36 tiles. By efficiently exploiting the advantages of the mesh architecture of Tilera, and by appropriately handling the parallelism inherent in the optical flow computation, the proposed implemention is able to significantly reduce the computation time while keep a low power consumption. Experiment shows that, for a 640×480 image, the computation time is only 0. 80 seconds per frame. It is 2. 56 times faster than on a typical CPU i3-3240 (3. 4GHz), and the power consumption as less as 1/6. Experimental results also show that the proposed parallel approach is highly scalable for variable requirements on computation speeds and power consumptions, since it can flexibly selects a proper number of computing cores. © Springer International Publishing Switzerland 2015.

关键词： Parallel processing systems

来源：评论

学校读者我要写书评

暂无评论

Probabilistic Model Checking of Pipe protocol

Probabilistic Model Checking of Pipe protocol

引用

Theoretical Aspects of software engineering (TASE)

作者： Kangli He Min Zhang Jia He Yixiang Chen MoE Engineering Research Center for Software/Hardware Co-design Technology and Application Shanghai Key Laboratory of Trustworthy Computing East China Normal University Shanghai China

ISBN: (纸本)9781467376136

Pipe protocol, proposed by Zhao [1] in early 2013, is one application layer protocol and one way to establish the Internet of Things, under which can different kinds of hardware platforms communicate with each other faster and more safely. As an upper layer protocol, Pipe protocol doesn't define details, but during the implementation, probabilistic and nondeterministic behaviors, such as data loss and external choice, are possible to happen. In this paper, we use probabilistic model checker, PRISM, to construct the probabilistic Pipe protocol as Probabilistic Timed Automata (PTAs), then verify some useful time-bounded properties, written in Probabilistic computation Tree Logic (PCTL), like, “Maximum probability that the pipe is shut down after Source node sends all 5 data packets within 50 μs”. The results show that the data loss probabilities, number of data and deadline should be restricted suitably if we require the maximum probability of the goal reaches some value. Our model is proved to be meaningful and we can give helpful suggestions to improve the implementation of Pipe protocol.

关键词： Probabilistic logic Protocols Clocks Automata Real-time systems computational modeling Model checking

来源：评论

学校读者我要写书评

暂无评论

Towards Efficient Task Offloading at the Edge Based on Meta-Reinforcement Learning with Hybrid Action Space

Towards Efficient Task Offloading at the Edge Based on Meta-...

引用

IEEE International conference on communications (ICC)

作者： Zhao Yang Yuxiang Deng Ting Wang Haibin Cai MoE Engineering Research Center of Software/Hardware Co-design Technology and Application Shanghai Key Laboratory of Trustworthy Computing East China Normal University Shanghai China

As a critical concern of multi-access edge computing (MEC), task offloading has received extensive attention. Although deep reinforcement learning (DRL) has achieved great success in resolving the task offloading problem, most existing DRL-based offloading schemes only consider either continuous action space or discrete action space, which results in the loss of optimality of decisions. Moreover, the generalization ability of the existing schemes is still far from adaptive to dynamic changes in the environment. This leads to offloading strategies having to conduct re-sampling and re-training, which largely impairs the offloading efficiency. To address these issues, we propose a novel efficient MEC task offloading scheme based on parameterized meta-reinforcement learning taking hybrid action space into account. We first formulate this problem as a non-convex multi-objective optimization problem. Then, we design a parameterized meta-reinforcement learning algorithm, named Meta-Hybrid-PPO, with hybrid action space to solve the optimization problem. comprehensive experimental results show that our Meta-Hybrid-PPO not only performs better than existing state-of-the-art methods in reducing task processing latency and computational energy consumption but also achieves better adaptability.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：