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

Path-oriented bounded reachability analysis of composed linear hybrid systems

International Journal on software Tools for technology Transfer 2011年第4期13卷 307-317页

作者： Bu, Lei Li, Xuandong State Key Laboratory of Novel Software Technology Nanjing University Nanjing Jiangsu 210093 China Department of Computer Science and Technology Nanjing University Nanjing Jiangsu 210093 China

The existing techniques for reachability analysis of linear hybrid systems do not scale well to the problem size of practical interest. The performance of existing techniques is even worse for reachability analysis of a composition of several linear hybrid automata. In this paper, we present an efficient path-oriented approach to bounded reachability analysis of composed systems modeled by linear hybrid automata with synchronization events. It is suitable for analyzing systems with many components by selecting critical paths, while this task was quite insurmountable before because of the state explosion problem. This group of paths will be transformed to a group of linear constraints, which can be solved by a linear programming solver efficiently. This approach of symbolic execution of paths allows design engineers to check important paths, and accordingly increase the faith in the correctness of the system. This approach is implemented into a prototype tool Bounded reAchability CHecker (BACH). The experimental data show that both the path length and the number of participant automata in a system checked using BACH can scale up greatly to satisfy practical requirements. © 2010 Springer-Verlag.

关键词： Linear programming

来源：评论

学校读者我要写书评

暂无评论

SkipStream: A clustered skip graph based on-demand streaming scheme over ubiquitous environments

SkipStream: A clustered skip graph based on-demand streaming...

引用

38th International Conference on Parallel Processing, ICPP-2009

作者： Yu, Qifeng Xu, Tianyin Ye, Baoliu Lu., Sanglu Chen, Daoxu Department of Computer Science and Technology State Key Laboratory for Novel Software and Technology Nanjing University China

ISBN: (纸本)9780769538020

Providing continuous on-demand streaming services with VCR functionality over ubiquitous environments is challenging due to the stringent QoS requirements of streaming service as well as the dynamic characteristics of both underlying network and user behavior. In this paper, we propose SkipStream, a skip graph based Peer-to-Peer (P2P) on-demand streaming scheme with VCR support to address the above challenges. In the design of SkipStream, we first group users into a set of disjoint clusters in accordance with their playback offset and further organize the resulted clusters into a skip graph based overlay network. In addition, we present a distributed on-demand streaming scheduling mechanism to minimize the impact of VCR operations and balance system load among nodes adaptively. The average search latency of SkipStream is O(log(N))m where N is the number of disjoint clusters. We also evaluate the performance of SkipStream via extensive simulations. Experimental results show that SkipStream outperforms early skip list based scheme DSL by reducing the search latency 20%-60% in average case and over 50% in worst case. © 2009 IEEE.

关键词： Graphic methods

来源：评论

学校读者我要写书评

暂无评论

Identifying key features from app user reviews 21

Identifying key features from app user reviews

引用

43rd IEEE/ACM International Conference on software Engineering, ICSE 2021

作者： Wu, Huayao Deng, Wenjun Niu, Xintao Nie, Changhai State Key Laboratory for Novel Software Technology Department of Computer Science and Technology Nanjing University China

ISBN: (纸本)9780738113197

Due to the rapid growth and strong competition of mobile application (app) market, app developers should not only offer users with attractive new features, but also carefully maintain and improve existing features based on users' feedbacks. User reviews indicate a rich source of information to plan such feature maintenance activities, and it could be of great benefit for developers to evaluate and magnify the contribution of specific features to the overall success of their apps. In this study, we refer to the features that are highly correlated to app ratings as key features, and we present KEFE, a novel approach that leverages app description and user reviews to identify key features of a given app. The application of KEFE especially relies on natural language processing, deep machine learning classifier, and regression analysis technique, which involves three main steps: 1) extracting feature-describing phrases from app description;2) matching each app feature with its relevant user reviews;and 3) building a regression model to identify features that have significant relationships with app ratings. To train and evaluate KEFE, we collect 200 app descriptions and 1,108,148 user reviews from Chinese Apple App Store. Experimental results demonstrate the effectiveness of KEFE in feature extraction, where an average F-measure of 78.13% is achieved. The key features identified are also likely to provide hints for successful app releases, as for the releases that receive higher app ratings, 70% of features improvements are related to key features. © 2021 IEEE.

关键词： Feature extraction

来源：评论

学校读者我要写书评

暂无评论

Data consistency enforcement on business process transactions

Data consistency enforcement on business process transaction...

引用

2012 International Conference on Service-Oriented Computing, ICSOC 2012

作者： Liu, Xi State Key Laboratory for Novel Software Technology Department of Computer Science and Technology Nanjing University China

ISBN: (纸本)9783642378034

Transactions are common in business processes (BPs). Consistency on data, which is defined as satisfaction of a set of data integrity constraints, is one of the basic properties for business process transactions (BPTs). This requires a BPT to bring the BP execution from one consistent state to another consistent state. It is desirable to ensure within BP executions that every BPT preserves data consistency. Besides, the earlier an inconsistency is detected the less recovery is necessary. It is studied in this paper how to detect and recover from potential future inconsistency as early as possible in a BPT execution. We propose a runtime proactive mechanism enforcing consistency on BPTs, called "transaction consistency guarding", based on symbolic execution of BPEL scopes for bounded length and correct design of fault and compensation handlers. © Springer-Verlag 2013.

关键词： computers

来源：评论

学校读者我要写书评

暂无评论

Model-driven indoor scenes modeling from a single image 41

Model-driven indoor scenes modeling from a single image

引用

41st Graphics Interface 2015, GI 2015

作者： Liu, Zicheng Zhang, Yan Wu, Wentao Liu, Kai Sun, Zhengxing State Key Lab for Novel Software Technology Nanjing University China Department of Computer Science and Technology Nanjing University China

ISBN: (纸本)9780994786807

In this paper, we present a new approach of 3D indoor scenes modeling on single image. With a single input indoor image (including sofa, tea table, etc.), a 3D scene can be reconstructed using existing model library in two stages: image analysis and model retrieval. In the image analysis stage, we obtain the object information from input image using geometric reasoning technology combined with image segmentation method. In the model retrieval stage, line drawings are extracted from 2D objects and 3D models by using different line rendering methods. We exploit various tokens to represent local features and then organize them together as a star-graph to show a global description. Finally, by comparing similarity among the encoded line drawings, models are retrieved from the model library and then the scene is reconstructed. Experimental results show that, driven by the given model library, indoor scenes modeling from a single image could be achieved automatically and efficiently. Copyright held by authors.

关键词： Image analysis

来源：评论

学校读者我要写书评

暂无评论

Optimal data scheduling for P2P VoD streaming systems

Optimal data scheduling for P2P VoD streaming systems

引用

16th IEEE International Conference on Parallel and Distributed Systems, ICPADS 2010

作者： Yu, Qifeng Chen, Daoxu Department of Computer Science and Technology State Key Laboratory for Novel Software and Technology Nanjing University China

ISBN: (纸本)9780769543079

Media streaming services have been much more popular nowadays, and these services consume lots of network bandwidth. Peer-to-Peer(P2P) technology has been employed in the streaming systems to save the server bandwidth consumption and enhance the system scalability. In a P2P streaming system, the quality of the data scheduling scheme will largely affect the server stress that being saved. In this paper, we present our optimal data scheduling scheme to achieve both server stress minimization and fairness among users when the playback continuities of the users are guaranteed. The data scheduling scheme we proposed is based on the maximum network flow problem, and it is proved to be polynomial. Simulations also show that the time consumption for the computation of the optimal scheduling is acceptable, and the result of the scheduling also achieves small node degree bound which makes it practical. © 2010 IEEE.

关键词： Scheduling

来源：评论

学校读者我要写书评

暂无评论

Traffic adaptive MAC protocol for wireless sensor network

Traffic adaptive MAC protocol for wireless sensor network

引用

Third International Conference on computer Network and Mobile Computing, ICCNMC 2005

作者： Gong, Haigang Liu, Ming Mao, Yinchi Chen, Li-Jun Xie, Li State Key Laboratory for Novel Software Technology Department of Computer Science and Technology Nanjing University China

In this paper, we propose TA-MAC, a traffic load adaptive Medium Access Control protocol for wireless sensor network. TA-MAC modified the contention window mechanism of S-MAC. It adjusts the initial contention window according to the current traffic load to reduce the collision probability and employs a fast backoff scheme to reduce the time for idle listening during backoff procedure, which both reduce the energy consumption. Simulation results show that TA-MAC outperforms S-MAC. © Springer-Verlag Berlin Heidelberg 2005.

关键词： Telecommunication networks

来源：评论

学校读者我要写书评

暂无评论

Balancing resource utilization for continuous virtual machine requests in clouds

Balancing resource utilization for continuous virtual machin...

引用

6th International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing, IMIS 2012

作者： Li, Xin Qian, Zhuzhong Chi, Ruiqing Zhang, Bolei Lu, Sanglu State Key Laboratory for Novel Software Technology Department of Computer Science and Technology Nanjing University China

ISBN: (纸本)9780769546841

The placement of virtual machines (VMs) on a cluster of physical machines (PMs) is a primary task in clouds. We can benefit a lot from appropriate placement policy, e.g. cost saving. In this paper, we raise a continuous virtual machine placement problem and propose an on-line algorithm to reduce the power consumption of clouds. Generic methods which deal with this problem with greedy manner will result in resource leak, a phenomenon of resource wasting. The direct consequence of this phenomenon is larger number of running PMs, which will cause higher power consumption. We prove it is an NP-complete problem to minimize the power consumption during the placement of VMs while the VM requests reach the clouds continuously. We propose a balanced algorithm with the principle of avoiding resource leak. The balanced algorithm handles the VM requests in real time and guarantees high resource utilization. The number of PMs and power consumption can be cut down as a result of high resource utilization. We evaluate the balanced algorithm via experiments with various simulations. Experimental results show that the balanced algorithm can reduce the number of running PMs effectively, so that, it has a significant efficiency on power saving. © 2012 IEEE.

关键词： Virtual machine

来源：评论

学校读者我要写书评

暂无评论

Graphology based handwritten character analysis for human behaviour identification

引用

CAAI Transactions on Intelligence technology 2020年第1期5卷 55-65页

作者： Subhankar Ghosh Palaiahnakote Shivakumara Prasun Roy Umapada Pal Tong Lu Indian Statistical Institute Kolkata 700108India Faculty of Computer Science and Information Technology University of Malaya50603 Kuala LumpurMalaysia National Key Lab for Novel Software Technology Nanjing University210093 NanjingPeople’s Republic of China

Graphology-based handwriting analysis to identify human behavior,irrespective of applications,is *** existing methods that use characters,words and sentences for behavioural analysis with human intervention,we propose an automatic method by analysing a few handwritten English lowercase characters from a to z to identify person *** proposed method extracts structural features,such as loops,slants,cursive,straight lines,stroke thickness,contour shapes,aspect ratio and other geometrical properties,from different zones of isolated character images to derive the hypothesis based on a dictionary of Graphological *** derived hypothesis has the ability to categorise the personal,positive,and negative social aspects of an *** evaluate the proposed method,an automatic system is developed which accepts characters from a to z written by different individuals across different genders and age *** automatic privacy projected system is available on the website(http://***).For quantitative evaluation of the proposed method,several people are requested to use the system to check their characteristics with the system automatic response based on his/her handwriting by choosing to agree or disagree *** automatic system receives 5300 responses from the users,for which,the proposed method achieves 86.70%accuracy.

关键词： behaviour character analysis

来源：评论

学校读者我要写书评

暂无评论

"re-ID BUFF": An enhanced similarity measurement based on genetic programming for person re-identification 21

"re-ID BUFF": An enhanced similarity measurement based on ge...

引用

2021 Genetic and Evolutionary Computation Conference, GECCO 2021

作者： Li, Yiming Shang, Lin State Key Laboratory for Novel Software Technology Department of Computer Science and Technology Nanjing University China

ISBN: (纸本)9781450383516

Person re-identification (re-ID) is a fundamental link to ensure successful cross-camera tracking. Its overall process is divided into two stages, feature extraction and matching. In the matching stage, the simple Euclid measurement has limitations in score due to the lack of consideration of the vector directions. The majority of recent contributions focus on the use of neighborhood information of the query image, which makes the calculation process more complex. In addition, these similarity measurements are predefined and therefore evaluated. In this paper, we propose a re-ID similarity measurement based on Genetic Programming (GP). The similarity measurement formula is automatically evolved and constructed through the optimization using specific function set, terminal set and fitness function targeting re-ID. For the training process of GP, we propose the feature triplet-dataset like the triplet-loss based on the existing re-ID datasets. We conduct sufficient experiments on three benchmark datasets, comparing with features of different quality and various measurements. The proposed method has a better effect than the Euclid measurement and achieves a general improvement on the mAP and rank-1 of combination with other metrics. Therefore, our method can be used as a gain "buff"to enhance the score of other methods on the original basis. © 2021 Owner/Author.

关键词： Genetic programming

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：