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

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

作者： Fei Yin Jinyi Xu Yixiang Chen School of Computer Science and Software Engineering East China Normal University Shanghai China MOE Enginering Research Center for Software/Hardware Co-design Technology and Application East China Normal University Shanghai China

ISBN: (数字)9781728189154

ISBN: (纸本)9781728189161

Micro-expression which is the transient expression will be disclosed when people try to hide some kind of real inner emotions. Micro-expression changes so fast that few people detect its existence. As an effective behavioral clue, it is of great significance to understand the change of peoples true feelings. Based on this, image feature extraction in machine learning has made remarkable progress in the past two years. In order to improve the accuracy and practicability of micro-expression recognition, this paper deeply analyzed the practical micro-expression recognition method. Based on landmark detection. We construct a quantitative model and established a machine learning model of micro-expression judgment based on the comprehensive changes of eyes, mouth and eyebrows. This paper combine the feature unit and model application scene for judgement of micro-expression. This method reflect the design idea that the changes of face locality contributed to the overall micro-expression judgment, and helped to complete the high autonomous construction of the micro expression judgment model.

关键词： Face recognition Mouth Machine learning software quality software reliability Eyebrows Transient analysis

来源：评论

学校读者我要写书评

暂无评论

FDA3: Federated defense against adversarial attacks for cloud-based iiot applications

arXiv

引用

arXiv 2020年

作者： Song, Yunfei Liu, Tian Wei, Tongquan Wang, Xiangfeng Tao, Zhe Chen, Mingsong MoE Engineering Research Center of Software Hardware Co-design Technology and Application East China Normal University Shanghai200062 China Shanghai Institute of Intelligent Science and Technology Tongji University Godel Lab Shanghai China

—Along with the proliferation of Artificial Intelligence (AI) and Internet of Things (IoT) techniques, various kinds of adversarial attacks are increasingly emerging to fool Deep Neural Networks (DNNs) used by Industrial IoT (IIoT) applications. Due to biased training data or vulnerable underlying models, imperceptible modifications on inputs made by adversarial attacks may result in devastating consequences. Although existing methods are promising in defending such malicious attacks, most of them can only deal with limited existing attack types, which makes the deployment of large-scale IIoT devices a great challenge. To address this problem, we present an effective federated defense approach named FDA3 that can aggregate defense knowledge against adversarial examples from different sources. Inspired by federated learning, our proposed cloud-based architecture enables the sharing of defense capabilities against different attacks among IIoT devices. comprehensive experimental results show that the generated DNNs by our approach can not only resist more malicious attacks than existing attack-specific adversarial training methods, but also can prevent IIoT applications from new attacks. copyright © 2020, The Authors. All rights reserved.

关键词： Network security

来源：评论

学校读者我要写书评

暂无评论

A Hybrid Clock Logic System for CPS 14

A Hybrid Clock Logic System for CPS

引用

14th IEEE International conference on Intelligent Systems and Knowledge engineering, ISKE 2019

作者： Wang, Peifen Chen, Yixiang Wu, Hengyang East China Normal University School of Software Engineering Shanghai China East China Normal University Moe Enginering Research Center for Software Hardware Co-design Technology and Application Shanghai China Shanghai Polytechnic University School of Computer and Information Engineering Shanghai China

ISBN: (纸本)9781728123486

Cyber-Physical System (CPS) is a typical intelligent system composed of agents. It has an important feature of spatial temporal constraints. To describe the constraints on agents, Chen proposed the spatial-temporal consistency language (STeC) in 2012 and the hybrid clock system in 2014. In this paper we will set up the hybrid clock logic systems (HCL) to specify the spatial temporal constraint property of agents in CPS. After giving the syntax and semantics of HCL, we consider the satisfaction relationship between a STeC design and HCL specification of a CPS agent. Some case studies show this satisfaction relationship is reasonable. We also introduce a model-checking algorithm for HCL. © 2019 IEEE.

关键词： Cyber Physical System

来源：评论

学校读者我要写书评

暂无评论

A Dynamic Group Equivariant convolutional Networks for Medical Image Analysis

A Dynamic Group Equivariant Convolutional Networks for Medic...

引用

IEEE International conference on Bioinformatics and Biomedicine (BIBM)

作者： Yan Li Guitao Cao Wenming Cao MOE Research Center for Software/Hardware Co-Design Engineering East China Normal University Shanghai China College of Information Engineering Shenzhen University Shenzhen China

ISBN: (数字)9781728162157

ISBN: (纸本)9781728162164

Group equivariant convolutional Neural Networks (G-CNNs) has led to big empirical success in the medical domain, one fundamental assumption is that equivariance provides a powerful inductive bias for medical images. By leveraging concepts from group representation theory, we can generalize vanilla convolutional Neural Networks (CNNs) to G-CNN. Currently, although embedding an arbitrary equivariance to CNNs can learn powerful disentangled representations in a higher dimensional domain, they lack explicit means to learn meaningful relationships among the equivariant convolutional kernels. In this paper, we propose a generalization of the dynamic convolutional method, named as dynamic group equivariant convolution, to strengthen the relationships and increase model capability by aggregating multiple group convolutional kernels via attention. Meanwhile, we generalize attention to an equivariant one to preserve equivariant of dynamic group convolution. In our approach, this leads to a flexible framework that enables a dynamic convolutional in G-CNNs by means of a dynamic routing layer expansions. We demonstrate that breast tumor classification is substantial improvements when compared to a recent baseline architecture.

关键词： convolution Kernel Biomedical imaging Visualization Visual systems Routing convolutional neural networks

来源：评论

学校读者我要写书评

暂无评论

Selective-Opening Security for Public-Key Encryption in the Presence of Parameter Subversion

引用

Security and communication Networks 2021年第1期2021卷

作者： Kang, Burong Huang, Zhengan Zhang, Lei Shanghai Key Laboratory of Trustworthy Computing East China Normal University Shanghai200062 China Guangxi Key Laboratory of Cryptography and Information Security Guangxi Guilin541000 China Engineering Research Center of Software/Hardware Co-Design Technology and Application Ministry of Education East China Normal University Shanghai200062 China Peng Cheng Laboratory Shenzhen518000 China

In public-key encryption (PKE), ciphertexts received by a receiver may be possibly correlated and the security of a PKE relies on honestly generated system parameters. Security against selective opening attacks (SOA) for PKE guarantees that even when an attacker has broken into a subset of honestly generated ciphertexts and opened them (i.e., seeing plaintexts and random bits), the unopened ciphertexts remain secure. While security against parameter subversion attacks (PSA) for PKE requires that even when the public system parameters are maliciously generated, a PKE scheme should be secure. In this paper, we initiate the study of PKE secure against both SOA and PSA. To capture SOA and PSA simultaneously, we formulate a new security notion called indistinguishability under selective opening attacks and parameter subversion attacks (IND-SO-PSA). Further, we define the lossy trapdoor function and all-but-many lossy trapdoor function in the presence of PSA (LTF-PSA and ABM-LTF-PSA correspondingly) and propose an instantiation with the efficiently-embeddable group (EG). Applying these new primitives, we construct a PKE scheme that is proven to be IND-SO-PSA secure. © 2021 Burong Kang et al.

关键词： Public key cryptography

来源：评论

学校读者我要写书评

暂无评论

A hardware/software co-design approach for real-time binocular stereo vision based on ZYNQ (Short Paper) 14th

A hardware/software co-design approach for real-time binocul...

引用

14th EAI International conference on collaborative computing: Networking, applications and Worksharing, collaboratecom 2018

作者： Pan, Yukun Zhu, Minghua Luo, Jufeng Qiu, Yunzhou Hardware/Software Co-Design Technology and Application Engineering Research Center East China Normal University Shanghai200062 China Shanghai Internet of Things CO. LTD Shanghai201899 China

ISBN: (纸本)9783030129804

Based on the ZYNQ platform, this paper proposes a hardware/software co-design approach, and implements a binocular stereo vision system with high real-time performance and good human-computer interaction, which can be used to assist advanced driver assistance systems to improve driving safety. combining the application characteristics of binocular stereo vision, the approach firstly modularizes the system’s functions to perform hardware/software partitioning, accelerates the data processing on FPGA, and performs the data control on ARM cores;then uses the ARM instruction set to configure the registers within FPGA to design relevant interfaces to complete the data interaction between hardware and software;finally, combines the implementation of specific algorithms and logical control to complete the binocular stereo vision system. The test results show that the frame rate with an image resolution of 640 * 480 can reach 121.43 frames per second when the FPGA frequency is 100M, and the frame rate is also high for large resolution images. At the same time, the system can achieve real-time display and human-computer interaction with the control of the graphical user interface. © 2019, ICST Institute for computer Sciences, Social Informatics and Telecommunications engineering.

关键词： Field programmable gate arrays (FPGA)

来源：评论

学校读者我要写书评

暂无评论

Parallel Implementation of H.265 Intra-Frame coding Based on FPGA Heterogeneous Platform

Parallel Implementation of H.265 Intra-Frame Coding Based on...

引用

IEEE International conference on High Performance computing and communications (HPCC)

作者： Wenjie Chen Qunfang He Shen Li Bo Xiao Mingsong Chen Zhilei Chai National Trusted Embedded Software Engineering Technology Research Center East China Normal University Shanghai China MoE Engineering Research Center for Software/Hardware Co-design Technology East China Normal University Shanghai China School of IoT Engineering Jiangnan University Wuxi China

ISBN: (纸本)9781728176505

The new video coding algorithm H.265 achieved twice compression rate than the prevailing H.264, but the encoding speed is reduced several times, making it difficult for the realtime applications such as video surveillance and remote meeting. In this paper, we design a parallel intra-frame mode decision architecture based on FPGA to accelerate the coding. We prove that the mode decision problem of multi-level large coding unit of H.265 can be transformed into the accumulation of multiple single-level small coding unit mode decision. Furthermore, we design how mode decision is accelerated by finegrained parallelism within coding unit, and pipelining among coding units, then implement them on FPGA. The experimental results show that the proposed architecture achieves maximum 93.6× acceleration compare with the ARM A53 platform, with an insignificant loss of video quality.

关键词： Video coding computer architecture Video surveillance Encoding Real-time systems Quality assessment Acceleration

来源：评论

学校读者我要写书评

暂无评论

Automated test generation for IEC 61131-3 ST programs via dynamic symbolic execution 13

Automated test generation for IEC 61131-3 ST programs via dy...

引用

13th International Symposium on Theoretical Aspects of software engineering, TASE 2019

作者： Hao, Li Shi, Jianqi Su, Ting Huang, Yanhong National Trusted Embedded Software Engineering Technology Research Center East China Normal University Shanghai China Hardware/software Co-Design Technology and Application Engineering Research Center Shanghai China Nanyang Technological University Singapore Singapore Shanghai Key Laboratory of Trustworthy Computing Shanghai China

ISBN: (纸本)9781728133423

A programmable logic controller (PLC) is essentially a computer dedicated to industrial control which is widely used in the field of global automation control. However, PLC software bugs can result in economic losses and even personal safety issues. PLC software must be thoroughly tested regarding function, structure, safety, and other aspects to avoid accidents. Existing PLC tools are mainly based on the manual setting of input data, which is not only unable to be well automated but also cannot provide information about code coverage. This paper presents an automated test case generation approach for a Structured Text (ST) language to reduce the cost of testing, using dynamic symbolic execution. We apply this method to implement the coverage-based automated test case generation tool STAutoTester. We have evaluated STAutoTester on 21 programs. The experimental results show that STAutoTester can effectively handle these programs. For 11 ST programs, STAutoTester reduces, on average, 87.5% of generated test cases compared to SYMPLC. © 2019 IEEE.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

Decomposition of Attributes Oriented software Trustworthiness Measure Based on Axiomatic Approaches

Decomposition of Attributes Oriented Software Trustworthines...

引用

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

作者： Hongwei Tao Yixiang Chen Hengyang Wu College of Computer and Communication Engineering Zhengzhou University of Light Industry Zhengzhou China MoE Engineering Center for Software/Hardware Co-Design Technology and Application East China Normal University Shanghai China School of Computer and Information Engineering Shanghai Polytechnic University Shanghai China

ISBN: (数字)9781728189154

ISBN: (纸本)9781728189161

In order to make the software trustworthiness measures more rigorous, we once applied axiomatic approaches to measure software trustworthiness, and established a software trustworthiness measure based on the decomposition of attributes (STMBDA for short). For the sake of validating the effectiveness of STMBDA, in this paper we use it to assess the trustworthiness of 23 spacecraft softwares whose total code is about 300,000 lines. The validation result shows that STMBDA can effectively evaluate the trustworthiness of the spacecraft softwares and identify the weak links in the development process.

关键词： Space vehicles conferences software quality software software reliability software measurement Security

来源：评论

学校读者我要写书评

暂无评论

An Automatic Test Case Generation Method based on SysML Activity Diagram

An Automatic Test Case Generation Method based on SysML Acti...

引用

第二届先进电子材料、计算机与材料工程国际学术会议（AEMCME 2019）

作者： Yiqun Xu Linbo Wu MoE Engineering Center for Software/Hardware Co-Design Technology and Application East China Normal University Institute of Computer Application Research Chinese Academy of Engineering Physics

Model-Based Systems engineering(MBSE) is a new method to engineer the modern large, complex systems. MBSE has a good guarantee for system reliability and it can improve the efficiency of system development. So, MBSE has received extensive attention from academia and industry. SysML is an auxiliary language for MBSE. SysML activity diagram can model the behavior of the system. In this paper, we use SysML activity diagram to generate test case. There are two main things in our work. One is that we have designed an automated SysML activity diagram test case generation method. Second, we develop a test case generation tool to support related applications in the industry.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：