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

Two Generic Frameworks of Multiple Viewpoints Oriented Requirements Method and Their Comparison

Wuhan University Journal of Natural Sciences 2001年第Z1期6卷 313-319页

作者： Song Qiang, He Yan xiang, Huang Qian School of computer Science, State key laboratory of software engineering, Wuhan University, Wuhan 430072, China School of Computer Science State Key Laboratory of Software Engineering Wuhan University Wuhan China

Traditional requirements method has some problems when it is used for large distributed systems. Multiple viewpoints oriented requirements method (MVORM) is a new method for resolving these problems. This paper develops two generic formal frameworks of MVORM, framework based on refinement relation (FBRR) and framework based on implementation relation (FBIR). They are generic, because no assumptions are made about the development process or the formal description languages to be used. Three kinds of specification relations and three kinds of specification transformations are discussed over FBIR and FBRR. This paper also compares the equivalence between FBIR and FBRR. We point out that an equivalent FBIR can be found for any FBRR, but reverse transformation is not always possible. We think FBIR is better than FBRR on most cases.

关键词： multiple viewpoints oriented requirements method framework based on refinement relation framework based on implementation relation refinement relation implementation relation

来源：评论

学校读者我要写书评

暂无评论

Formalization of Rules for the Cooperation between Goal and Process

引用

Journal of Donghua University(English Edition) 2012年第1期29卷 32-36页

作者：李昭李征李宏涛梁鹏何克清刘书宇 State Key Laboratory of Software Engineering Wuhan University Computer School Wuhan University

To meet the end-user's dynamically changed requirements for software and achieve the on-demand changes of operational process in time, based on the Goal model and the Process model, the user's personalized operations of the related work were simplified and integrated, and rules for the cooperation between Goal and Process which fit for software engineers were proposed and formalized. The user's personalized operations of the related work were analyzed to conclude the pattern of Goal modification. By the direct drive of Goal modification, the corresponding changes of Process were induced and specified. Then rules for the cooperation between Goal and Process were concluded and the formalization was achieved in Semantic Web Rule Language (SWRL). In this paper, reasoning support was provided for the model modification based on ontology and the dynamic evolution of Process model.

关键词： personalized reguirements on-demand services Goal and Process rules for the cooperation formalization

来源：评论

学校读者我要写书评

暂无评论

Research on Evolution of Goal-Driven Service Composition Patterns

引用

Journal of Donghua University(English Edition) 2012年第1期29卷 14-18页

作者：李征李昭何克清王健冯在文 State Key Laboratory of Software Engineering Wuhan University Computer School Wuhan University

With the development of Web service technology, using composite services to satisfy users' requirements has become an inevitable tendency. Goal changes caused by changing requirements of users may directly drive the corresponding evolution of service composition. However, most researches focus on how to compose services, and little efforts have been placed on how to evolve the composite services with changing requirements. In this paper, the service composition patterns are defined based on workflow patterns, and the changes of service composition patterns are analyzed according to changing goals. Finally, a case study is given to demonstrate the feasibility of the proposed approach.

关键词： workflow pattern service composition pattern goal evolution

来源：评论

学校读者我要写书评

暂无评论

A parallel and robust object tracking approach synthesizing adaptive Bayesian learning and improved incremental subspace learning

引用

Frontiers of computer Science 2019年第5期13卷 1116-1135页

作者： Kang LI Fazhi HE Haiping YU Xiao CHEN State Key Laboratory of Software Engineering School of Computer Science Wuhan University Wuhan 430072 China School of Computer Science and Information Engineering Hubei University Wuhan 430062 China

This paper presents a novel tracking algorithm which integrates two complementary trackers. Firstly, an improved Bayesian tracker(B-tracker) with adaptive learning rate is presented. The classification score of B-tracker reflects tracking reliability, and a low score usually results from large appearance change. Therefore, if the score is low, we decrease the learning rate to update the classifier fast so that B-tracker can adapt to the variation and vice versa. In this way, B-tracker is more suitable than its traditional version to solve appearance change problem. Secondly, we present an improved incremental subspace learning method tracker(Stracker). We propose to calculate projected coordinates using maximum posterior probability, which results in a more accurate reconstruction error than traditional subspace learning tracker. Instead of updating at every time, we present a stopstrategy to deal with occlusion problem. Finally, we present an integrated framework(BAST), in which the pair of trackers run in parallel and return two candidate target states separately. For each candidate state, we define a tracking reliability metrics to measure whether the candidate state is reliable or not, and the reliable candidate state will be chosen as the target state at the end of each frame. Experimental results on challenging sequences show that the proposed approach is very robust and effective in comparison to the state-of-the-art trackers.

关键词： object tracking Bayesian learning subspace learning particle filter principal component analysis

来源：评论

学校读者我要写书评

暂无评论

Reusing Service Process Fragments with a Consensus Between Service Providers and Users

引用

Chinese Journal of Electronics 2016年第4期25卷 648-657页

作者： YANG Rong LI Bing WANG Jian LI Zengyang HU Yan College of Computer Science and Technology Hubei University of Science and Technology International School of Software Wuhan University State Key Laboratory of Software Engineering & School of Computer Wuhan University Science and Technology on Integrated Information System Laboratory Institute of SoftwareUniversity of Chinese Academy of Sciences

Recent years have witnessed a rapid growth in using Web services for data publishing and sharing among *** improve the efficiency of software development and economize on human and material resources,service reuse is viewed as a powerful means which will not only reuse atomic services,but also reuse arbitrary granularities of Service process fragments(SPFs).However,effectively reusing arbitrary granularities of SPFs has not been solved yet,let alone taking diverse Qo S preferences of service providers and users into *** this paper,we propose a novel method of SPF reuse,named SCKY,based on the Cocke-Kasami-Younger(CKY) *** first present an extended CKY to do *** we address how to do SPF-query by a probability CKY,i.e.,return a SPF with maximum emergence ***,we explore the SPF-query with a consensus of Qo S preferences between service providers and *** a set of experiments,the effectiveness and robustness of our approach are evaluated.

关键词： Cocke-Kasami-Younger algorithm Service reuse Service process fragment Qo S preferences

来源：评论

学校读者我要写书评

暂无评论

An Uncertainty Enhanced Trust Evolution Strategy for e-Science

引用

Journal of computer Science & Technology 2010年第6期25卷 1225-1236页

作者：杜薇崔国华刘伟 School of Computer Science and Technology Huazhong University of Science and Technology College of Computer Science and Technology Wuhan University of Technology State Key Lab of Software Engineering Wuhan University State Key Laboratory for Novel Software Technology Nanjing University

Resources shared in e-Science have critical requirements on *** subjective trust management is essential to guarantee users＇ collaborations and communications on such a promising *** an important nature of subjective trust,uncertainty should be preserved and exhibited in trust definition,representation and *** the drawbacks of existing mechanisms based on random mathematics and fuzzy theory,this paper designs an uncertainty enhanced trust evolution strategy based on cloud model *** define subjective trust as trust *** we propose new algorithms to propagate,aggregate and update ***,based on the concept of similar cloud,a method to assess trust level is put *** simulation results show the effiectiveness,rationality and efficiency of our proposed strategy.

关键词： cloud model theory similar cloud operator subjective trust trust cloud

来源：评论

学校读者我要写书评

暂无评论

Neural Rendering and Flow-assisted Unsupervised Multi-view Stereo for Real-time Monocular Tracking and Scene Perception

引用

IEEE Transactions on Automation Science and engineering 2025年

作者： Tong, Kevin W. Cai, Yandong Jie, Yu-Wen Duan, Ya Hou, Yuhong Wu, Edmond Q. Nanjing University of Posts and Telecommunications College of Automation College of Artificial Intelligence Nanjing210023 China Ministry of Education Key Laboratory of Social Computing and Cognitive Intelligence Dalian University of Technology Dalian116024 China Shanxi University School of Automation and Software Engineering Shanxi 237016 China Flight Test Technology and Engineering Center of the Chinese Flight Test Establishment Xian710089 China China Civil Aviation Shanghai Aircraft Airworthiness Certification Center Shanghai200335 China Shanghai Jiao Tong University Department of Computer Science and Engineering Shanghai200240 China

The existing camera tracking and perception methods mainly rely on sparse SLAM, which limits the dense perception ability of the scene and affects the reliability of auxiliary decision-making. Different from this, this work proposes a real-time tracking and unsupervised dense sensing framework. Firstly, the dense depth value of the scene is predicted by unsupervised multi-view stereo to remove the dependence on labeled data. Then, the quality of synthetic pseudo-reference image is quantified according to the predicted depth map and used as a weighted guidance to train the unsupervised model, thus reducing the ambiguity of feature matching in areas such as specular reflection. Moreover, the sparse optical flow of the keyframes is solved by real-time and robust ORB feature matching operator, which assists the high-precision training of unsupervised depth inference model. To increase the prediction accuracy of occluded area, a novel rendering consistency loss via neural radiance fields is designed to constrain the geometric characteristics of object surface. Finally, dense direct image alignment is performed from a global model to improve the tracking robustness, which is incrementally constructed from dense depth prediction. Extensive experiments on synthetic datasets and real datasets validate the effectiveness and practicability of the proposed work, which is an effective supplement to the existing SLAM work. © 2025 IEEE.

关键词： Stereo image processing

来源：评论

学校读者我要写书评

暂无评论

Reconfigurable Intelligence Surface Assisted Opportunistic Multiple Access in UAV-IoT Networks

引用

IEEE Internet of Things Journal 2025年

作者： Zhang, Xi-Ran Sun, Wen-Bin Zhang, Zhaolin Wang, Ling Gao, Ang Cheng, Nan Meng, Wei-Xiao Leung, Victor C. M. Northwestern Polytechnical University School of Electronics And Information Xi'an China Xidian University State Key Laboratory of ISN Xi'an710071 China Xidian University School of Cyber Engineering Xi'an710071 China Harbin Institute of Technology Communication Research Center Harbin150001 China Shenzhen University College of Computer Science and Software Engineering Shenzhen518060 China The University of British Columbia Department of Electrical and Computer Engineering VancouverBCV6T1Z4 Canada

Due to the advantages of flexible deployment and strong environmental adaptability of an unmanned aerial vehicle (UAV), UAVs serve as aerial base stations (BSs) to meet Quality of Services (QoSs) of ground users in internet of things (IoT) networks. NOMA (Non-Orthogonal Multiple Access) is a potential technique in wireless communications area, which can significantly improve sum spectrum efficiency (SE) of systems. To avoid the limitation of perfect CSI, opportunistic beamforming (OBF) is proposed, where a set of randomly generated weights is used to preprocess transmitted signals. Due to multiuser diversity gain introduced by OBF, OBF-NOMA systems can achieve approximate sum SE to conventional NOMA systems. Additionally, reconfigurable intelligent surfaces (RISs) are involved to overcome obstruction and obtain further improvements of SE. Therefore, this paper proposes a RIS-aid OBF-NOMA system in UAV-IoT networks, where random weights and opportunistic phase matrix are respectively applied in a UAV and RIS. Statistical characteristics of equivalent channels are derived in Nakagami-m (m≥1) fading channels. Theoretical asymptotic analyses of SE and bit error rate (BER) are then presented. Furthermore, a non-convex optimization problem is formulated to maximize SE. To obtain the optimal solution, we divide the problem into two sub-optimization problems and apply a joint iterative algorithm. Numerical results show that the proposed method achieves a satisfactory SE without complex channel estimation and perfect CSI. © 2014 IEEE.

关键词： Micro air vehicle (MAV)

来源：评论

学校读者我要写书评

暂无评论

A METHOD TO APPROACH OPTIMAL RESTORATION IN IMAGE RESTORATION PROBLEMS WITHOUT NOISE ENERGY INFORMATION

引用

Acta Mathematica Scientia 2003年第4期23卷 512-520页

作者：曾三友丁立新康立山 State Key Laboratory of Software Engineering Wuhan University Wuhan 430072 China Deptartment of Computer Science Zhuzhou Institute of Technology Zhuzhou 402008 China State Key Laboratory of Software Engineering Wuhan University Wuhan 430072 China

This paper proposes a new image restoration technique, in which the resulting regularized image approximates the optimal solution steadily. The affect of the regular-ization operator and parameter on the lower band and upper band energy of the residue of the regularized image is theoretically analyzed by employing wavelet transform. This paper shows that regularization operator should generally be lowstop and highpass. So this paper chooses a lowstop and highpass operator as regularization operator, and construct an optimization model which minimizes the mean squares residue of regularized solution to determine regularization parameter. Although the model is random, on the condition of this paper, it can be solved and yields regularization parameter and regularized solution. Otherwise, the technique has a mechanism to predict noise energy. So, without noise information, it can also work and yield good restoration results.

关键词： Regularization method image restoration wavelet transform

来源：评论

学校读者我要写书评

暂无评论

Measuring Structural Quality of Object-Oriented softwares via Bug Propagation Analysis on Weighted software Networks

引用

Journal of computer Science & Technology 2010年第6期25卷 1202-1213页

作者：潘伟丰李兵马于涛覃叶宜周晓燕 State Key Laboratory of Software Engineering Wuhan University School of Computer Wuhan University Complex Networks Research Center Wuhan University

The quality of a software system is partially determined by its structure（topological structure）,so the need to quantitatively analyze the quality of the structure has become *** this paper a novel metric called software quality of structure（SQoS） is presented for quantitatively measuring the structural quality of object-oriented（OO） softwares via bug propagation analysis on weighted software networks（WSNs）.First,the software systems are modeled as a WSN,weighted class dependency network（WCDN）,in which classes are nodes and the interaction between every pair of classes if any is a directed edge with a weight indicating the probability that a bug in one class will propagate to the *** we analyze the bug propagation process in the WCDN together with the bug proneness of each class,and based on this,a metric（SQoS） to measure the structural quality of OO softwares as a whole is *** approach is evaluated in two case studies on open source Java programs using different software structures（one employs design patterns and the other does not） for the same OO *** results of the case studies validate the effectiveness of the proposed *** approach is fully automated by a tool written in Java.

关键词： bug propagation design pattern object-oriented（OO） software software network structural quality

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：