检索结果-南通市图书馆

Software structure evaluation based on the interaction and encapsulation of methods

science China(Information sciences) 2012年第12期55卷 2816-2825页

作者： ZHENG QingHua 1,2,OU ZhiJiang 1,2,LIU Ting 1,YANG ZiJiang 3,HOU YuQiao 1,2 & ZHENG Chao 1,2 1 MOE Key Laboratory for Intelligent Networks and Network Security,Xi'an Jiaotong university,Xian 710049,China 2 Shaanxi Key Laboratory of Satellite-terrestrial Network Technology R&D,Xi'an Jiaotong university,Xian 710049,China 3 department of computer science,western michigan university,michigan,usa 1. MOE Key Laboratory for Intelligent Networks and Network Security Xi’an Jiaotong University Xian 710049 China2. Shaanxi Key Laboratory of Satellite-terrestrial Network Technology R&D Xi’an Jiaotong University Xian 710049 China3. Department of Computer Science Western Michigan University Michigan USA

Software structure is the most important factor affecting the quality of a *** evaluation of software structure is a foundational technique for software ***,the traditional evaluation criteria,such as "high cohesion and low coupling",are no longer appropriate for the new web applications,which are designed with a hierarchical framework.A novel approach is proposed in this paper to evaluate software quality based on the interaction and encapsulation of *** particular,two criteria for high quality software,the functional and hierarchical structure,are proposed to support widely used web *** cohesion and coupling and layer matching ratios between methods within a software package are calculated to determine whether the package is well implemented in terms of functional or hierarchical *** approach enables us to quantify the quality of a software system according to the structural types of its *** were carried out on 18 versions of Struts and six open-source software *** evaluation concurs with the intuition that minor upgrades,aimed at fixing bugs and adding minor functionality quickly,reduce software quality,whereas major upgrades,which normally clean up messy code and re-construct the software,improve software quality.

关键词： software structure evaluation method interaction method encapsulation functional structure hierarchical structure

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

SYMPLECTIC SCHEMES FOR QUASILINEAR WAVE EQUATIONS OF KLEIN-GORDON AND SINE-GORDON TYPE

引用

Journal of Computational Mathematics 2001年第5期19卷 475-488页

作者： Xiao-wu Lu (department of Mathematics and computer science, Emory university, Atlanta, GA 30322, usa) Emory university 美国 30322

Presents a class of finite difference methods of first and second order accuracy for the computation of solutions to the quasilinear wave equations. Overview of general symplectic schemes and generating functional; Nu... 详细信息

关键词： Symplectic integration Sine-Gordon equations Finite difference method.

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

INFORMATION AND COMPLEXITY IN CONTROL SYSTEMS: A TUTORIAL

引用

Journal of Systems science & Complexity 2001年第1期14卷 1-16页

作者： WANG Leyi (department of Electrical and computer Engineering, Wayne State university, Detroit, michigan 48202, usa) Wayne State university 美国 48202

This is a tutorial paper which presents schematically the concepts of information, uncertainty, and complexity, and their relationships in their applications to control systems. By focusing on exact or lower bounds on achievable performance in the presence of uncertainties, studies of complexity in a control system can potentially reveal fundamentally limiting factors of the system, suggest beneficial modifications to system structures and hardware configurations to remove these limitations, provide benchmark values for evaluating a design and for quantifying rooms for performance improvement, and demonstrate intrinsic tradeoffs. Compared to its counterparts in communications (Shannon’s information theory), computations (computational complexity and information-based complexity), and approxima- tions (n-widths and Kolmogorov entropy), studies of information and complexity in control systems encounter further challenges, such as characterization of feedback robustness, interaction between identification and control, and co-existence of deterministic and stochastic uncertainties. Some of these issues are outlined and discussed.

关键词： Information uncertainty complexity control identification.

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

SIGNAL ESTIMATION WITH BINARY-VALUED SENSORS

引用

Journal of Systems science & Complexity 2010年第3期23卷 622-639页

作者： Leyi WANG Gang George YIN Chanying LI Weixing ZHENG department of Electrical and computer Engineering Wayne State University Detroit Michigan 48202 USA department of Mathematics Wayne State University Detroit Michigan 48202 USA department of Mechanical Engineering The University of Hong Kong Pokfulam Road Hong Kong China School of Computing and Mathematics University of Western Sydney Australia

This paper introduces several algorithms for signal estimation using binary-valued *** main idea is derived from the empirical measure approach for quantized identification,which has been shown to be convergent and asymptotically efficient when the unknown parametersare *** estimation under binary-valued observations must take into consideration oftime varying *** empirical measure based algorithms are modified with exponentialweighting and threshold adaptation to accommodate time-varying natures of the *** anyinformation on signal generators,the authors establish estimation algorithms,interaction between noisereduction by averaging and signal tracking,convergence rates,and asymptotic efficiency.A thresholdadaptation algorithm is *** convergence and convergence rates are analyzed by using theODE method for stochastic approximation problems.

关键词： Identification signal estimation.

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

INTERIOR ERROR ESTIMATES FOR NONCONFORMINGFINITE ELEMENT METHODS OF THE STOKES EQUATIONS

引用

Journal of Computational Mathematics 1999年第5期17卷 475-494页

作者： Xiao-bo Liu(department of Mathematics and computer science Clarkson university Box 5815, Potsdam,NY 13699-5815, usa) Clarkson Univ Dept Math & Comp Sci Potsdam NY 13699 USA

Interior error estimates are derived for nonconforming stable mixed finite element discretizations of the stationary Stokes equations. As an application, interiorconvergences of difference quotients of the finite element solution are obtained forthe derivatives of the exact solution when the mesh satisfies some translation invariant condition. For the linear element, it is proved that the average of thegradients of the finite element solution at the midpoint of two interior adjacenttriangles approximates the gradient of the exact solution quadratically.

关键词： Interior error estimates Nonconforming element Stokes equations.

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

DMM:A dynamic memory mapping model for virtual machines

引用

science China(Information sciences) 2010年第6期53卷 1097-1108页

作者： CHEN HaoGang1,WANG XiaoLin1,WANG ZhenLin2,ZHANG BinBin1,LUO YingWei1* & LI XiaoMing11department of computer science,Peking university,Beijing 100871,China 2department of computer science,michigan Technological university,Houghton,MI 49931,usa 1. department of computer science Peking University Beijing 100871 China2. Department of Computer Science Michigan Technological University Houghton MI 49931 USA

Memory virtualization is an important part in the design of virtual machine monitors(VMM).In this paper,we proposed dynamic memory mapping(DMM) model,a mechanism that allows the VMM to change the mapping between a virtual machine's physical memory and the underlying hardware resource while the virtual machine is *** utilizing DMM,the VMM can implement many novel memory management policies,such as Demand Paging,Swapping,Ballooning,Memory Sharing and Copy-On-Write,while preserving compatibility with various *** modular and hierarchical property of the DMM model efficiently incorporates the high-level policies and the low-level implementations,leading to a feature-adjustable VMM *** presented the principle of the DMM model,and explained the procedures of various memory management policies under this ***,we implement the DMM model in KVM,an open source *** evaluation shows that the DMM model is efficient enough to provide the benefits of dynamic memory resource management with little performance impact.

关键词： virtual machine monitor Xen virtual machine memory virtualization dynamic memory mapping

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Finding the Mid-Path

引用

Wuhan university Journal of Natural sciences 2001年第Z1期6卷 83-99页

作者： Alice E. Fischer department of computer science, university of New Haven,West Haven CT 06516,usa department of computer science University of New Haven West Haven USA

computers have changed nearly every aspect of life in this world. Invented roughly fifty years ago, they now form the infrastructure on which government, business, and global communications rest. As our reliance on computers increases, so does the number and complexity of the applications and the number and quality of trained professionals that will be needed to support further progress. The United States already faces personnel shortages in some computer related jobs, including university teaching. In the face of this evident and increasing need, we must think clearly about out expectations for computing professionals of all sorts and the way they are trained. In the forty years that I have been in the field, the focus in industry has changed from programming to software development. A gulf is growing between the skills that students build at a university and the needs of industry. This paper examines the nature and extent of the problem and suggests a variety of ways to address it

关键词： curriculum gap internship professional competence professional training

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Kernel model-based diagnosis

引用

Progress in Natural science:Materials International 2002年第2期12卷 63-67页

作者： OUYANG Dantong(department of computer science, Jilin university, Changchun 130012, China) Jilin Univ Dept Comp Sci Changchun 130012 Peoples R China

The methods for computing the kernel consistency-based diagnoses and the kernel abductive diagnoses are only suited for the situation where part of the fault behavioral modes of the components are known. The characterization of the kernel model-based diagnosis based on the general causal theory is proposed, which can break through the limitation of the above methods when all behavioral modes of each component are known. Using this method, when observation subsets deduced logically are respectively assigned to the empty or the whole observation set, the kernel consistency-based diagnoses and the kernel abductive diagnoses can deal with all situations. The direct relationship between this diagnostic procedure and the prime implicants/implicates is proved, thus linking theoretical result with implementation.

关键词： model-based diagnosis general causal theory prime implicant/implicate diagnostic space.

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Dynamic memory paravirtualization transparent to guest OS

引用

science China(Information sciences) 2010年第1期53卷 77-88页

作者： WANG XiaoLin1, SUN YiFeng1, LUO YingWei1, WANG ZhenLin2, LI Yu1, ZHANG BinBin1, CHEN HaoGang1 & LI XiaoMing1 1department of computer science and Technology, Peking university, Beijing 100871, China 2department of computer science, michigan Technological university, Houghton, MI 49931, usa 1. department of computer science and Technology Peking University Beijing 100871 China2. Department of Computer Science Michigan Technological University Houghton MI 49931 USA

This paper introduces dynamic paravirtualization, which imitates paravirtualization and aims at reducing VM exits of full virtualization with hardware support. In dynamic paravirtualization, VMM (virtual machine monitor) dynamically monitors and replaces the hot instructions, which cause most VM exits. It is transparent to the guest OS such that the legacy OSes can benefit from this optimization. Our study focuses on reducing the overhead of memory virtualization-dynamic memory paravirtualization (DMP). We implant a new memory management mechanism in VMM such that all user-mode page faults can be handled by the guest OS directly without VM exits. We implement a prototype of dynamic memory paravirtulization based on a version of KVM using Intel VT. Our experimental results show that our technique essentially eliminates the overhead of VM exits caused by page faults. Dynamic memory paravirtualization can achieve the effectiveness of paravirtualization without changing the source code of guest OS.

关键词： virtualization virtual machine monitor paravirtualization dynamic paravirtualization hot instructions VM exits code implantation

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Minimal regular 2-graphs and applications

引用

science China Mathematics 2006年第2期49卷 158-172页

作者： FAN Hongbing, LIU Guizhen & LIU Jiping department of Physics and computer science, Wilfrid Laurier university, Waterloo, ON., N2L 3C5 Canada School of Mathematics and System science, Shandong university, Jinan 250100, China department of Mathematics and computer science, university of Lethbridge, Lethbridge, AB., T1K 3M4, Canada 1. department of Physics and computer science Wilfrid Laurier University Waterloo ON. N2L 3C5 Canada 2. School of Mathematics and System science Shandong University Jinan 250100 China 3. department of Mathematics and computer science University of Lethbridge Lethbridge AB. T1K 3M4 Canada

A 2-graph is a hypergraph with edge sizes of at most two. A regular 2-graph is said to be minimal if it does not contain a proper regular factor. Let f2(n) be the maximum value of degrees over all minimal regular 2-graphs of n vertices. In this paper, we provide a structure property of minimal regular 2-graphs, and consequently, prove that f2(n) = n+3-i/3, where 1 ≤ i ≤ 6, i ≡ n (mod 6) and n ≥ 7, which solves a conjecture posed by Fan, Liu, Wu and Wong. As applications in graph theory, we are able to characterize unfactorable regular graphs and provide the best possible factor existence theorem on degree conditions. Moreover, fa(n) and the minimal 2-graphs can be used in the universal switch box designs, which originally motivated this study.

关键词： graph regular factor 2-graph switch box design.

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：