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

IEEE International conference on computer and communications, ICCC 2015

作者： Wang, Zhongzhu Liu, Xianzhong Guo, Jianhui Software Engineering Institute East China Normal University Software/Hardware Co-design Engineering Research Center MOE Shanghai China

ISBN: (纸本)9781467381253

collaborative filtering is one of the most successful approaches to building recommendation system. However, it still has some known disadvantages. One of them is called cold start problem caused by lack of user's historical data. Another problem appeared because mobile technology develops in high speed. The phenomenon that users change their taste according to their position quickly in mobile environment is more and more common. The changeable preference is called short-term interest. But the collaborative filtering algorithm usually ignores this short-term interest. It leads to decrease of accuracy of recommendation. In this paper, a design of personalized recommendation system based on LBS for the Mobile Classroom Project is proposed. considering the actual conditions, this system solved the problem of cold-start using clustering method and some other solutions. Also, it focus on user's short-term interest to a certain extent. compared with the traditional collaborative filtering, it works better. © 2015 IEEE.

关键词： collaborative filtering

来源：评论

学校读者我要写书评

暂无评论

Scade2Nu: A tool for verifying safety requirements of SCADE models with temporal specifications

Scade2Nu: A tool for verifying safety requirements of SCADE ...

引用

2019 Joint of International conference on Requirements engineering: Foundation for software Quality Workshops, Doctoral Symposium, Live Studies Track, and Poster Track, REFSQ-JP 2019

作者： Shi, Jian Shi, Jianqi Huang, Yanhong Xiong, Jiawen She, Qing 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

SCADE is both a language and a model-based software development environment that can develop systems in safety-critical fields. It is paramount for these systems to satisfy their safety requirements. Although SCADE can verify some properties by its design Verifier (DV), it cannot verify the unbounded temporal or liveness properties due to its limitation. With the diversification of system application scenarios, these temporal properties also need to be verified to ensure the reliability of the system. In this paper, we concentrate on solving this problem by introducing Scade2Nu, a tool that can transform SCADE state machines into NuSMV input languages. Scade2Nu helps the designer to apply Linear-time Temporal Logic (LTL) and computational Tree Logic (CTL) formulas as the requirements specifications of SCADE models. With the aid of the NuSMV model checker as well as its verification results, designers can explore more different kinds of properties to further reduce bugs at the requirements phase in the development cycle. copyright © 2019 by the paper’s authors.

关键词： Temporal logic

来源：评论

学校读者我要写书评

暂无评论

A software trustworthiness measure based on the decompositions of trustworthy attributes and its validation

A software trustworthiness measure based on the decompositio...

引用

International conference on Industrial engineering, Management Science and applications, ICIMSA 2015

作者： Tao, Hongwei Chen, Yixiang Pang, Jianmin State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou45002 China MoE Engineering Center for Software/Hardware Co-Design Technology and Application East China Normal University Shanghai200062 China

ISBN: (纸本)9783662471999

There exist many software trustworthiness measures based on the decompositions of attributes. However, few of them are concerned with using more rigorous approaches to measure software trustworthiness and carrying out the theoretical validation of measures. Axiomatic approaches formalize the empirical understanding of a software attribute through the definition of a set of desirable software measure properties. It can provide precise and formal terms for the quantification of software attributes. We once used axiomatic approaches to measure software trustworthiness based on multi-dimensional attributes, in this paper, based on previous works, we apply axiomatic approaches to measure software trustworthiness based on the decompositions of attributes, propose the desirable properties of software trustworthiness measures based on the decompositions of attributes, present a software trustworthiness measure and validate this measure from the theory by proving that it complies with the set of properties. compared with the popular software trustworthiness measures, this measure can evaluate software trustworthiness better in view of our properties. © Springer-Verlag Berlin Heidelberg 2015.

关键词： computers

来源：评论

学校读者我要写书评

暂无评论

Shape-aware Multi-task Learning for Semi-supervised 3D Medical Image Segmentation

Shape-aware Multi-task Learning for Semi-supervised 3D Medic...

引用

2021 IEEE International conference on Bioinformatics and Biomedicine, BIBM 2021

作者： Liu, Shasha Li, Yan Li, Xiaohu Cao, Guitao East China Normal University MOE Research Center for Software/Hardware Co-Design Engineering Shanghai200062 China

ISBN: (纸本)9781665401265

Semi-supervised learning has achieved many successes in medical image segmentation since it reduces the costs of manually annotating by leveraging abundant unlabeled data. However, these semi-supervised methods lack attention to ambiguous regions (e.g., some edges or corners around the targets), which may lead to meaningless and unreliable guidance. In this paper, we propose a novel semi-supervised segmentation method called Shape-aware Multi-task Learning (SMTL) to address the above issue. Our multi-task framework includes three tasks namely i) the main task for segmentation ii) one auxiliary task for signed distance regression iii) another auxiliary task for contour detection. The multi-task framework jointly predicts probabilistic segmentation maps, signed distance maps (SDMs) and edge maps to collect complementary information in the existing target label. Specifically, these two auxiliary tasks explicitly enforce shape-priors on the segmentation output to generate more accurate masks. Moreover, we design a region-attention-based adversarial learning strategy that enforces the consistency of two auxiliary tasks prediction distributions on the unlabeled and labeled data to make a meaningful and reliable guidance. We evaluate our SMTL on the datasets of the 2018 Atrial Segmentation Challenge and the 2017 Liver Tumor Segmentation Challenge. The results demonstrate that our SMTL achieves improvements and outperforms the state-of-the-art semi-supervised methods. © 2021 IEEE.

关键词： Image segmentation

来源：评论

学校读者我要写书评

暂无评论

A Heatmap-Based Weighted Multi-stream Fusion Network in Skeleton Modality for Action Recognition 6

A Heatmap-Based Weighted Multi-stream Fusion Network in Skel...

引用

6th International conference on Intelligent control, Measurement and Signal Processing, ICMSP 2024

作者： Shi, Xinlong Liu, Wenjie Liu, Xianzhong East China Normal University Software Engineering Institute Shanghai China Software/Hardware Co-Design Engineering Research Center MoE Shanghai China

ISBN: (纸本)9798331516550

Human Action Recognition (HAR) has received widespread attention in recent years. For skeleton modality, the representation of spatio-temporal motion and the weight allocation of different streams are still under discussion. Therefore, we propose a Heatmap-based Weighted Multi-Stream Fusion Network, HW-MSFN, which attempts to represent spatiotemporal motion in a novel way, prompting the adaptability of 3D-CNN to motion. Additionally, compared with the slow motion obtained frame by frame, we use fast motion which is captured at a larger time scale, in order to attain more general motion characteristics. Finally, to make full use of inter-frame information and intra-frame information, we explore the best weight allocation of multiple stream fusion for skeleton modality. Experiments implemented on 3 databases including HMDB51, UCF101 and FineGYM99 show that our model outperforms state-of-the-art methods in single skeleton modality. © 2024 IEEE.

关键词： Musculoskeletal system

来源：评论

学校读者我要写书评

暂无评论

Improvement of knowledge tracing by integrating exercise features and relationships of concepts 3

Improvement of knowledge tracing by integrating exercise fea...

引用

2023 3rd International conference on Artificial Intelligence and Industrial technology applications, AIITA 2023

作者： Chen, Lige Liu, Xianzhong School of Software Engineering East China Normal University Shanghai China Software/Hardware Co-design Engineering Research Center MoE Shanghai China

Knowledge Tracing (KT) is a challenging task in personalized learning where the objective is to track the progression of students' understanding of the concepts over time based on their learning history. Typically, there are many more exercises than knowledge points. Tracing the state of the concepts seems a reasonable approach but ignores the additional information contained in the exercise itself. Moreover, there are numerous relationships between knowledge points, and the modification of one point's state can affect related points. In this paper, we introduce a method that splits exercises into constituent knowledge points, and incorporates the exercise features to improve the differential representation of the exercises containing the same concepts. We also describe two ways of propagating knowledge point states: one-way and two-way, which update the state of the current knowledge point and its related knowledge points. Our model is tested on two real datasets, and the experimental results show that our model outperforms the existing methods. © Published under licence by IOP Publishing Ltd.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Static code Analysis of IEC 61131-3 ST Programs via Symbolic Execution

Static Code Analysis of IEC 61131-3 ST Programs via Symbolic...

引用

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

作者： Zhao, Mengyan Huang, Yanhong Shi, Jianqi Chen, Yinghao Yang, Yang East China Normal University Shanghai China National Trusted Embedded Software Engineering Technology Research Center Shanghai China Hardware/Software Co-Design Technology and Application Engineering Research Center Shanghai China

ISBN: (纸本)9781665410205

A Programmable Logic controller (PLC) is an essentially domain-specific computer used to control physical equipment and is widely used in industrial control fields. It plays a crucial role in automating complex processes for industrial automation systems, requiring high reliability as code vulnerabilities can potentially lead to disasters. Therefore, vulnerability detection in PLC programs is of significant importance. However, the availability of tools supporting vulnerability detection in PLC programming languages is limited. This paper attempts to improve industrial security from the perspective of code security and proposes a static code analysis approach specifically designed for IEC 61131-3 Structured Text (ST) programs. This approach uses structural pattern matching and symbolic execution technology to identify program defects and improve quality by detecting problematic code structures and potential issues early in the development process, thereby reducing the debugging effort required during developments. considering the characteristic of periodic loop execution in PLCs, we introduce the loop unwinding technique to collect constraints from subsequent execution cycles for detection purposes. Based on the aforementioned approach, we implement a static code analysis tool, ST-Checker and make a series of evaluations. The experimental results show that this method is feasible and can detect potential defects that existing PLC compilers cannot detect, improving the precision of defect detection with data dependencies. © 2024 IEEE.

关键词： Programmable logic controllers

来源：评论

学校读者我要写书评

暂无评论

A proof system in PADS

A proof system in PADS

引用

10th International colloquium on Theoretical Aspects of computing, ICTAC 2013

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

ISBN: (纸本)9783642397172

The PADS (Process Algebra for Demand and Supply) framework is an approach to model resource demand and supply for the formal analysis of hierarchical scheduling. Inspired by the demand relation in PADS, we propose a weak demand relation covering several cases which can not be described by a demand relation. And we explore some properties of weak demand relation which are similar to properties of demand relation. Especially, if two tasks are in a weak demand relation then their schedulabilities are closely related. Furthermore, we present a proof system for the weak demand relation in a decomposing-composing way, which helps to compare two tasks' schedulabilities. Finally, we prove that the proof system is sound and complete with respect to the semantic definition of weak demand relation. © 2013 Springer-Verlag Berlin Heidelberg.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

PSTeC: A location-time driven modelling formalism for probabilistic real-time systems 18th

PSTeC: A location-time driven modelling formalism for probab...

引用

18th International GI/ITG conference on Measurement, Modelling and Evaluation of computing Systems and Dependability and Fault Tolerance, MMB and DFT 2016

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

ISBN: (纸本)9783319315584

Internet of Things (IoT) and Cyber-Physical Systems (CPS) have become important topics in both theory and industry. In some application domains, such as when specifying the behaviour of precision mechanics, we need to include features of spatial-temporal consistency. How to model probabilistic real-time systems in such domains is a challenge. This paper presents a modelling formalism, called PSTeC, for describing the behaviour of probabilistic real-time systems focusing on spatial-temporal consistency with nondeterministic, probabilistic and real-time aspects. The consistency restricts a process to start and finish at the required location and time. communications between agents is specified by interactive actions. The language we propose is an extension of STeC, which is a specification language for location-aware real-time systems, adding probabilistic operations so as to support the incorporation of probabilistic aspects. We first give a formal definition of the syntax for PSTeC, then focus on the details of its operational semantics, which maps a PSTeC term onto a Probabilistic Spatial-Temporal Transition System (PSTTS) following the structured operational semantics style. A simple example demonstrates the expressiveness of PSTeC. © Springer International Publishing Switzerland 2016.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Fuzzy Semantics of contract Language

引用

Applied Mathematics 2016年第5期7卷 422-439页

作者： Hengyang Wu Yixiang Chen Information Engineer College Hangzhou Dianzi University Hangzhou China MoE Engineering Center for Software/Hardware Co-Design Technology and Application

In this paper, we focus on investigation of the predicate transformer semantics of the contract language introduced by Back and von Wright in their book titled as “Refinement Calculus: A Systematic Introduction” (Springer-Verlag, New York, 1998) in the framework of fuzziness. In order to define fuzzy operations, i.e., fuzzy logic connectives, we take into account implicator → and its associated based on residuated lattice theory. Based on these basic fuzzy operations, we introduce the angelic and demonic updates of fuzzy relations. They are the basis of fuzzy predicate transformers in the sense of that any strongly monotone fuzzy predicate transformer can be represented as the sequential composition of the angelic and demonic updates. Together with the standard strong negation , we set up the duality between the angel and demon. The fuzzy predicate transformers semantics of contract statements is established and a simple example of contract statements is given.

关键词： contract Language Formal Semantics Residuated Lattice Fuzzy Predicate Transformers

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：