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

作者： Zhang, He Raffo, David Birkhöltzer, Thomas Houston, Dan Madachy, Raymond Münch, Jürgen Sutton, Stanley M State Key Laboratory of Novel Software Technology Software Institute Nanjing University NanjingJiangsu China School of Business Administration Portland State University PortlandOR United States University of Applied Sciences Konstanz Germany Computer & Software Division The Aerospace Corporation El SegundoCA United States Department of Systems Engineering Naval Postgraduate School MontereyCA United States Department of Computer Science University of Helsinki Helsinki Finland IBM T.J. Watson Research Center Yorktown HeightsNY United States Software Institute Nanjing University China

software process simulation (SPS) has been evolving over the past two decades after being introduced to the software engineering community in the 1980s. At that time the SPS technology attracted a great deal of interest from both academics and practitioners in the software process community—even to the extent of being one of the recommended techniques for achieving multiple key Process Areas of Level 4 of the Capability Maturity Model Integration. However, in recent years, the growth of SPS seems to have slowed along with the number of reported applications in industry. This article summarizes the special panel that was held during ICSSP 2012 whose goals were to assess whether this technology remains applicable to today's software engineering projects and challenges and to point out the most beneficial opportunities for future research and industry application. Copyright © 2014 John Wiley & Sons, Ltd. Copyright © 2014 John Wiley & Sons, Ltd.

关键词： Application programs

来源：评论

学校读者我要写书评

暂无评论

Optimal energy trading with battery energy storage under dynamic pricing

Optimal energy trading with battery energy storage under dyn...

引用

IEEE International Conference on Smart Grid Communications (SmartGridComm)

作者： Xiaoqi Tan Yuan Wu Danny H. K. Tsang Department of Electronic and Computer Engineering Hong Kong University of Science and Technology Hong Kong State Key Laboratory for Novel Software Technology Nanjing University Nanjing China College of Information Engineering Zhejiang University of Technology Hangzhou China

This paper proposes a mathematical framework for finding the optimal energy trading policy with battery energy storage (BES) under a dynamic pricing environment. We have previously shown that finding the arbitrage value of BES with known historical price data can be solved by iterative linear programming. The objective of the present paper is to show that, when the price information remains unknown, finding the optimal economic value of lifetime-constrained BES falls within the purview of stochastic shortest path problems, and the optimal policy presents the property of a threshold structure. To overcome the dimensionality difficulty, we propose a structure-based aggregation method, i.e., Layer and Group, to construct optimal trading policies. The elegance of this approach lies in its circumventing of the need for exhausted value iteration over the entire state space. Instead, the approach works in a hierarchical and parallel fashion, thus significantly speeding up the convergence to the optimality. Extensive experimental results show that this approach can dramatically reduce the computational complexity, thus contributing to the computationally tractable optimality without requiring any approximation. Numerical simulation also demonstrates the validity of the proposed framework, and various trading insights for practical BES systems have been formed.

关键词： Batteries Energy states Throughput Discharges (electric) Economics Electricity Smart grids

来源：评论

学校读者我要写书评

暂无评论

Golden age:on multi-source software update propagation in pervasive networking environments

引用

science China(Information sciences) 2013年第8期56卷 104-118页

作者： LI WenZhong FU XiaoMing CHAN Edward LU SangLu CHEN DaoXu State Key Laboratory for Novel Software Technology Nanjing University Institute of Computer Science University of Goettingen Department of Computer Science City University of Hong Kong

With the development of Internet technology,a large portion of computer softwares appear to run in a network-oriented,distributed-deployed,and self-evolving *** emerging wireless communication technologies broaden the usage of software in mobile platforms,enabling the pervasive computing paradigm,where people can access information/service anytime and anywhere with portable *** the pervasive networking environment where mobile devices operate on the ad hoc mode and communicate with each other opportunistically without wireless infrastructures,distributing the evolving software updates to a set of mobile terminals is a challenging *** this paper,we address the problem of distributing multiple software updates in pervasive networks with storage and bandwidth constraints,and propose age-based solutions to tackle this *** basic idea is to introduce different age-based priority mechanisms for propagation decision making in order to resolve the contention of wireless bandwidth and storage *** investigate a number of update propagation strategies including random spread,youngest age,and golden *** models are derived to analyse the performance of the proposed *** is shown that the golden age strategy has the burst effect,which could be used to enhance the efficiency of software update *** principles for choosing golden age values are proposed aiming to optimize different utility *** simulations under various network parameters show that the golden age strategy outperforms other strategies for multi-source software updates propagation.

关键词： pervasive computing software update propagation mobile ad hoc networks

来源：评论

学校读者我要写书评

暂无评论

Optimized Subsampling Frequency Selection for Nonlinear systems

Optimized Subsampling Frequency Selection for Nonlinear syst...

引用

IEEE Canadian Conference on Electrical and computer Engineering

作者： Mohamed Anis Messaoud Rim Barrak Fadhel Ghannouchi Department of Electronic and Computer Engineering Hong Kong University of Science and Technology Hong Kong State Key Laboratory for Novel Software Technology Nanjing University Nanjing China College of Information Engineering Zhejiang University of Technology Hangzhou China

ISBN: (纸本)9781479931026

Due to the presence of intermodulation products, a nonlinear system driven by a band pass signal will generate at its output a set of undesired signal bands. When detecting such signals using subsampling, one has to take into consideration these distortions in order to successfully down convert the signal of interest. Even though we are only interested in one band, the available spectrum configuration requires the use of multiband subsampling theory which leads to very tight constraint on the possible subsampling frequency ranges. In this paper a modified version of the multiband subsampling algorithm is presented. This proposed solution is more adapted to nonlinear systems and helps relax the constraints on sampling frequency.

关键词： Nonlinear systems intermodulation products signals multiband Signaling In Band unwanted signal SAMPLING FREQUENCY Bands frequency ranges

来源：评论

学校读者我要写书评

暂无评论

LOW ILLUMINATION IMAGE RETINEX ENHANCEMENT ALGORITHM BASED ON GUIDED FILTERING

LOW ILLUMINATION IMAGE RETINEX ENHANCEMENT ALGORITHM BASED O...

引用

2014 IEEE 3rd International Conference on Cloud Computing and Intelligence Systems

作者： Jingcao Yin Hongbo Li Junping Du Pengcheng He Beijing Key Lab of Intelligent Telecommunication Software and Multimedia Beijing University of Posts and Telecommunications Department of Computer Science and Technology Tsinghua University

It has been shown by Retinex theory that the object's color in the image is determined by its *** this frame work,several Retinex-based algorithms have been developed to uncover the real appearance of objects by estimating their reflectance in *** this paper we propose an algorithm of optimizing the illumination based on guided image filter theory,where bilateral filter is utilized to estimate the illumination *** proposed algorithm removes the halo phenomenon precisely and strengthens the partial contrast gradient *** are given to demonstrate the effectiveness of the proposed method.

关键词： image enhancement Retinex algorithm guided filter Gamma correction.

来源：评论

学校读者我要写书评

暂无评论

A truthful mechanism for classroom wireless range auction

A truthful mechanism for classroom wireless range auction

引用

Consumer Communications and Networking Conference, CCNC IEEE

作者： Yue Ji Yuan Zhang Shaopeng Guan Tian Jia Bing Hall Nanjing Normal University Nanjing China Computer Science and Technology Department Nanjing University Nanjing China State Key Laboratory for Novel Software Technology Nanjing University Nanjing China

Networking technologies have been widely applied in education nowadays. Consider a school building with multiple classrooms. Each classroom establishes a LAN using one router for teachers and students inside it. When several routers are close to each other, if they use the same channel, they can interfere with each other. In order to avoid interference, these routers can determine their ranges through an auction. In this paper, we present a mechanism for such wireless range auctions. Our mechanism is truthful in that, under our mechanism, each wireless router has incentives to reveal its true valuation function.

关键词： Wireless communication Bismuth Cost accounting Conferences Game theory Mobile computing Mobile communication

来源：评论

学校读者我要写书评

暂无评论

Modeling and analyzing method for CPS software architecture energy consumption

Journal of Software

引用

Journal of software 2013年第11期8卷 2974-2981页

作者： Zhang, Guangquan Zhang, Kan Zhu, Xueyang Chen, Mingcai Xu, Chengkai Shao, Yuzhen School of Computer Science and Technology Soochow University Suzhou China State Key Lab. for Novel Software Technology Nanjing University Nanjing China State Key Lab. of Computer Science Institute of Software Chinese Academy of Science Beijing China

CPS is a kind of networked embedded system. Its trustworthiness and cost are impacted by energy consumption. So design a low-power, high trustworthiness CPS has been a major challenge. Modeling and analyzing the energy consumption of CPS software architecture at design stage can help to find the energy consumption design defects. These methods can effectively improve the trustworthiness of the CPS software and reduce development costs. Against this problem, first introduce the concept of the energy consumption time Petri nets;then through analyzing the characteristics of the CPS software energy consumption, use energy consumption time Petri nets to construct the CPS software architecture energy consumption model and discuss the energy consumption problems of CPS software such as lowest energy consumption, largest energy consumption and average energy consumption;Finally, indicate the effectiveness of the proposed method by an instance. © 2013 ACADEMY PUBLISHER.

关键词： Energy utilization

来源：评论

学校读者我要写书评

暂无评论

SelfTrust:leveraging self-assessment for trust inference in Internetware

引用

science China(Information sciences) 2013年第10期56卷 212-225页

作者： YAO Yuan XU Feng REN YongLi TONG HangHang L Jian State Key Laboratory for Novel Software Technology Department of Computer Science and Technology Nanjing University School of Information Technology Deakin University City College City University of New York

Internetware is envisioned as a new software paradigm for software development in platforms such as the *** reliability of the developed software becomes a key challenge due to the open,dynamic and uncertain nature of such *** make the development more reliable,it is necessary to evaluate the trustworthiness of the resource providers or potential working *** this end,we propose a novel trust inference approach to evaluating the trustworthiness of potential partners to guide the software development in *** main insight of our approach is to employ the self-assessment information in order to improve the trust inference ***,we frst extend the balance theory and the status theory from social science to incorporate self-assessment,and then propose a machine learning framework to extract several features from the extended theories and infer trustworthiness scores based on these *** results on a real software developer network show that the self-assessment information truly helps to improve the accuracy of trust inference,and the proposed SelfTrust model is more accurate than other state-of-the-art methods.

关键词： trust inference self-assessment balance theory status theory Internetware

来源：评论

学校读者我要写书评

暂无评论

Robust object tracking using motion context in crowded scenes

Robust object tracking using motion context in crowded scene...

引用

14th Pacific-Rim Conference on Multimedia, PCM 2013

作者： Xu, FeiMing Lu, Tong Wu, Yirui Dept. of Computer Science and Technology National Key Lab for Novel Software Technology Nanjing University 210046 China

ISBN: (纸本)9783319037301

Tracking objects in a crowded scene with occlusions has been a challenge in computer vision and multimedia in the past years. This paper presents a novel framework to track any arbitrary object through modeling its coupled motion context. For a scene which is densely packed, an individual movement is restricted into a specific pattern to make it regular to be detected. Moreover, members in a crowded scene are clustered into groups and thereby modeled as crowded scene contexts of a tracking object. Accordingly, we present a novel framework to track motions for any object in a crowded scene even with occlusions by using the modeled contexts. Experiments on a number of real-life surveillance videos illustrate the effectiveness and robustness of our method especially in handling occlusions in crowded scenes. © Springer International Publishing Switzerland 2013.

关键词： Security systems

来源：评论

学校读者我要写书评

暂无评论

Quantum software framework： a tentative study

引用

Frontiers of computer science 2013年第3期7卷 341-349页

作者： Nan WU Haixing HU Fangmin SONG Huimin ZHENG Xiangdong LI State Key Laboratory for Novel Software Technology Nanjing University Nanjing 210093 China Department of Computer Science and Technology Nanjing University Nanjing 210093 China Department of Computer Science The Graduate School The City University of New York New York 10016 USA

In this paper we conduct a tentative study on the requirements and the structure for a quantum computer at the software level. From the software point of view, we describe the methodology used to minimize the decoherence. We con- struct the quantum instruction set for the higher-level computation. We also study the criteria for designing the quantum programming languages.

关键词： quantum software quantum computation quantum programming language

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：