A5112895446- Service-Oriented Architecture and Web Services
- Advanced Software Engineering Methodologies
- Formal Methods in Verification
- Natural Language Processing Techniques
- Embedded Systems Design Techniques
- Topic Modeling
- Recommender Systems and Techniques
- Radiation Effects in Electronics
- Distributed systems and fault tolerance
- Petri Nets in System Modeling
- Advanced Computational Techniques and Applications
- Semantic Web and Ontologies
- Caching and Content Delivery
- Business Process Modeling and Analysis
- Second Language Learning and Teaching
- Infrared Target Detection Methodologies
- Research studies in Vietnam
- Optical Systems and Laser Technology
- Software Engineering Research
- Library Science and Administration
- Web Applications and Data Management
- Hand Gesture Recognition Systems
- Advanced Decision-Making Techniques
- Handwritten Text Recognition Techniques
- Advanced Measurement and Detection Methods
Xiamen University
2025
Tsinghua University
2002-2023
Donghua University
2023
Nanchang Institute of Technology
2023
Huawei Technologies (China)
2023
Shandong University of Technology
2017-2022
Shanghai University
2022
University of Wollongong
2022
University of Science and Technology of China
2005-2021
Harbin University of Science and Technology
2020
With the rapid development of Information and Communication Technology, growth data is set to explode brings us an era cloud computing. As a result, more services are posted on web. In such situation, searching composing become computationally demanding work. To address this problem, we design system which combines fuzzy logic with GraphPlan algorithm. Fuzzy rules employed evaluate rank according users' preferences, then, solution optimal QoS value selected used in construction. We our...
Cloud computing users may obtain great flexibility with low cost by outsourcing their data and services to the cloud. Services are composed together as a solution when no individual meet goal. Unfortunately, searching an optimal composition requires significant time due high number of available in In this paper, we develop approach that solves problem graph database. This uses shortest bidirectional breadth-first Dijkstra algorithms find solutions either fewest or QoS values. Firstly,...
Quality estimation (QE) is an essential technique to assess machine translation quality without reference translations. In this paper, we focus on Huawei Translation Services Center's (HW-TSC's) submission the sentence-level QE shared task, named Ensemble-CrossQE. Our system uses CrossQE, same model architecture as our last year's submission, which consists of a multilingual base and task-specific downstream layer. The input concatenation source translated sentences. To enhance performance,...
Zhanglin Wu, Yilun Liu, Min Zhang, Xiaofeng Zhao, Junhao Zhu, Ming Xiaosong Qiao, Jingfei Ma Miaomiao, Zhao Yanqing, Song Peng, Shimin Tao, Hao Yang, Yanfei Jiang. Proceedings of the Eighth Conference on Machine Translation. 2023.
The research has shown that process-oriented programming languages provide a suitable means for developing concurrent systems. However, in the development of system, there is challenge to manage consistency between design and implementation. To deal with such challenge, we propose new formal verification methodology illustrate it by running example. In this methodology, system designed using process algebra, namely communicating sequential processes, implemented language, Erasmus....
In this paper, we propose a novel method that combines improved chain codes based edge tracking (ICCBET) with Hough transform (HT) to successfully detect the airport runway in real time. ICCBET primarily removes short and curving lines reduce pixels confirms approximate orientation shorten angle range HT processes later. Furthermore, through using pyramid during stage, computation cost is reduced considerably satisfy time performance. Finally, fix memory by designing list array for image...
Web service composition enables the provision/reusing of existing services in different business processes to satisfy requirements without investing new infrastructure. QoS-aware web seeks help users find optimal solution with maximization users' satisfaction. A number approaches based on Communicating Sequential Processes (CSP) have been proposed model and verify properties composition. However, little work has done verifying inputs, outputs QoS criteria In this paper, we present a...
With the development of VLSI, embedded system is growing sharply. A new methodology, Co-design, appeared to meet needs designing. System designers require good EDA tools, which support Co-design methodology. Debug an important part design process, so we improved a debug subsystem fit Co-design. Different from traditional software was designed reflect real and comprehensive status system. To achieve this goal, add little circuit original The will control collect information that designer...
Process-oriented design and implementation of concurrent systems has important benefits. However, the inherent complexity processes' communication imposes challenges such as verifying consistency between process-oriented a system. To deal with challenge, we use Galois connections, Failures Category Theory to construct formal framework for designing, implementing, analyzing systems. For purpose illustrating framework, running system is designed by Communicating Sequential Processes,...
Software complexity crisis brings huge obstacle to further progress in IT industry. To alleviate this problem, researchers are asked build systems which can benefit from automation. With autonomic behavior, the real-time reactive be more self-managed and adaptive their environment. However, most of current formal approaches fail specify such kind system. In paper, we proposed an approach formally systems. First, used category theory formalize systems; then focused on categorization...
The process-oriented design and implementation of concurrent systems have important advantages. However, it is challenging to verify the consistency process communications between implementation. To deal with such a challenge, we construct formal framework for designing, implementing verifying communications. In this framework, use Failures in Communicating Sequential Processes (CSP), Erasmus Category Theory as foundation. illustrated by using running example.
The increasing significance of concurrency and the need to address challenges presented by motivate its formalization. In this paper, a methodology for modeling verifying communications in concurrent system developed Erasmus, process-oriented programming language, is proposed. innovative aspects include use category theory model verify properties data flow analyze abstract an implementation Erasmus. illustrated simple example.
山地、 城镇及沿海地带等 [6] ， 但沿海适 宜性评价研究仍存在 "重陆域， 轻海域" 的问题 [6,7] 无法满足新时代 "坚持陆海统筹， 建设海洋强国" 的 国家战略要求。
Recent research findings demonstrate that process-oriented programming languages provide a suitable means to develop concurrent systems. In this paper, we propose use mandatory/optional trace sets model the semantics of language named Erasmus. Inspired by Hoare's view category theory and obtained results towards validating view, is used explore relationships between syntax To illustrate activities, several examples are developed. doing so, it shown relationship Erasmus commands can lead...
摘要:
Amid growing global mental health concerns, particularly among vulnerable groups, natural language processing offers a tremendous potential for early detection and intervention of people's disorders via analyzing their postings discussions on social media platforms. However, ultra-sparse training data, often due to vast vocabularies low-frequency words, hinders the analysis accuracy. Multi-labeling Co-occurrences symptoms may also blur boundaries in distinguishing similar/co-related...
The scarcity of non-English data limits the development large language models (LLMs). Transforming English-centric LLMs to has been identified as an effective and resource-efficient method. Previous works start from base perform knowledge distillation (KD) with generated by stronger LLMs, e.g. GPT-4. Compared chat are further optimized for advanced abilities, multi-turn conversation human preference alignment, thus more powerful in both helpfulness safety. However, transforming a LLM...