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

arXiv 2018年

作者： Zhu, Guangpu Chen, Huangxin Sun, Shuyu Yao, Jun Qingdao266580 China Sch. of Math. Sci. and Fujian Prov. Key Lab. on Math. Modeling and High Perf. Scientific Computing Xiamen University Xiamen361005 China Computational Transport Phenomena Laboratory Division of Physical Science and Engineering King Abdullah University of Science and Technology Thuwal23955-6900 Saudi Arabia

In this work, we propose a fully discrete energy stable sch.me for the phase-field moving contact line model with variable densities and viscosities. The math.matical model consists of a Cahn-Hilliard equation, a Navier-Stokes equation and the generalized Navier boundary condition. A scalar auxiliary variable is introduced to transform the nonlinear potential into an equivalent form, allowing the nonlinear potential to be treated effectively and semi-explicitly. A pressure stabilization method is used to decouple the computation of velocity and pressure. Some subtle implicit-explicit treatments are adopted to deal with convention and stress terms. An artificial term is added to balance the explicit nonlinear term originating from the surface energy at fluid-solid interface. We establisharigorous proof of energy stability for the proposed time-marching *** a finite difference methodon staggered grids isusedto spatially discretize the constructed time-marchingsch.me. We prove that the fully discrete sch.me satisfiesthe discrete energy dissipationlaw. Numerical results demonstrate accuracy and energy stability of the proposed sch.me. Using our numerical sch.me, we analyze theevolution of kinetic energy, mixing energy and surface energy at fluid-solid interfaceduring the bubble rising process. Three-dimensional droplet spreading is also investigated onachemically patterned surface. Our numerical simulation accurately predicts the expected energy evolutions and it successfully reproduces expected phenomenathat an oil droplet contractsinwardson a hydrophobiczone and spreadsoutwards quickly on a hydrophiliczone. Copyright © 2018, The Authors. All rights reserved.

关键词： Finite difference method

来源：评论

学校读者我要写书评

暂无评论

High order residual distribution for steady state problems for hyperbolic conservation laws

arXiv

引用

arXiv 2018年

作者： Lin, Jianfang Abgrall, Remi Qiu, Jianxian School of Mathematical Sciences Xiamen University Xiamen Fujian361005 Institute of Mathematics University of Zurich Zurich8057 Sch. of Math. Sci. and Fujian Prov. Key Lab. of Math. Modeling and High-Perf. Scientific Computing Xiamen University Xiamen Fujian361005

In this paper, we propose a high order residual distribution conservative finite difference sch.me for solving steady state conservation laws. A new type of WENO (weighted essentially non-oscillatory) termed as WENO-ZQ integration is used to compute the numerical fluxes and source term based on the point values of the solution, and the principles of residual distribution sch.mes are adapted to obtain steady state solutions. Extensive numerical examples in both scalar and system test problems in one and two dimensions demonstrate the efficiency, high order accuracy and the capability of resolving shocks of the proposed methods. Copyright © 2018, The Authors. All rights reserved.

关键词： Physical properties

来源：评论

学校读者我要写书评

暂无评论

Vector spaces and Grassmann graphs over residue class rings

arXiv

引用

arXiv 2017年

作者： Huang, Li-Ping Lv, Benjian Wang, Kaishun School of Math. and Statis. Changsha University of Science and Technology Changsha410004 China Sch. Math. Sci. & Lab. Math. Com. Sys. Beijing Normal University Beijing100875 China

Let Zps be the residue class ring of integers modulo ps, where p is a prime number and s is a positive integer. Using matrix representation and the inner rank of a matrix, we study the intersection, join, dimension formula and dual subspaces on vector subspaces of Znps. Based on these results, we investigate the Grassmann graph Gps(n, m) over Zps. Gps(n, m) is a connected vertex-transitive graph, and we determine its valency, clique number and maximum cliques. Finally, we characterize the automorphisms of Gps(n, m).05C25, 15B33, 05C60, 05B25, 51A10 Copyright © 2017, The Authors. All rights reserved.

关键词： Vector spaces

来源：评论

学校读者我要写书评

暂无评论

Weakly distance-regular digraphs whose attached association sch.mes are regular

arXiv

引用

arXiv 2017年

作者： Yang, Yuefeng Lv, Benjian Wang, Kaishun School of Science China University of Geosciences Beijing100083 China Sch. Math. Sci. & Lab. Math. Com. Sys. Beijing Normal University Beijing100875 China

In this paper, we study commutative weakly distance-regular digraphs whose attached association sch.mes are regular, and give a characterization of mixed arcs. As an application, we classify such digraphs of diameter ... 详细信息

关键词： Directed graphs

来源：评论

学校读者我要写书评

暂无评论

Lambda number of the power graph of a finite group

arXiv

引用

arXiv 2017年

作者： Ma, Xuanlong Feng, Min Wang, Kaishun School of Science Xi’an Shiyou University Xi’an710065 China School of Science Nanjing University of Science and Technology Nanjing210094 China Sch. Math. Sci. & Lab. Math. Com. Sys. Beijing Normal University Beijing100875 China

The power graph ΓG of a finite group G is the graph with the vertex set G, where two distinct elements are adjacent if one is a power of the other. An L(2, 1)-labeling of a graph Γ is an assignment of labels from nonnegative integers to all vertices of Γ such that vertices at distance two get different labels and adjacent vertices get labels that are at least 2 apart. The lambda number of Γ, denoted by λ(Γ), is the minimum span over all L(2, 1)-labelings of Γ. In this paper, we obtain bounds for λ(ΓG), and give necessary and sufficient conditions when the bounds are attained. As applications, we compute the exact value of λ(ΓG) if G is a dihedral group, a generalized quaternion group, a P-group or a cyclic group of order pqn, where p and q are distinct primes and n is a positive *** Codes 05C25, 05C78 Copyright © 2017, The Authors. All rights reserved.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Global Software Engineering Experience through International Capstone Project Exchanges

Global Software Engineering Experience through International...

引用

International Conference on Global Software Engineering (ICGSE)

作者： Dean Knudson Stavros Kalafatis Carsten Kleiner Stephen Zahos Barbara Seegebarth Jonas Deeterfelt Iman Avazpour Kristian Sandahl Peter Gorder Jeewani Ginige Alex Radermacher Hugo Caballero Humberto Gomez Mikael Roos Computer Science Dept. North Dakota State University Fargo ND USA ECE Department Texas A& M University College Station TX USA Computer Science Dept. Hannover University of Applied Sciences & Arts Hannover Germany Agricultural and Biological Eng. University of Illinois at Urbana-Champaign Urbana IL USA Institute of Marketing Technische Universitat Braunschweig Braunschweig Germany Linkopings universitet Linkoping SE School of IT Deakin University Burwood Australia Department of Computer and Information Science Linkoping University Linkoping SE Sweden Department of Mechanical and Aerospace Engineering Univ. of Colorado Colorado Springs CO USA Sch. of Comput. Eng. & Math. Western Sydney Univ. Sydney NSW Australia Departamento de Ingenieria Mecanica Universidad del Norte Barranquilla Colombia Department of Computer Science and Engineering Blekinge Institute of Technology (BTH) Karlskrona Sweden

Today it is very common for software systems to be built by teams located in more than one country. For example, a project team may be located in the US while the team lead resides in Sweden. How then should students be trained for this kind of work? Senior design or capstone projects offer students real-world hands-on experience but rarely while working internationally. One reason is that most instructors do not have international business contacts that allow them to find project sponsors in other countries. Another reason is the fear of having to invest a huge amount of time managing an international project. In this paper we present the general concepts related to "International Capstone Project Exchanges", the basic model behind the exchanges (student teams are led by an industry sponsor residing in a different country) and several alternate models that have been used in practice. We will give examples from projects in the US, Germany, Sweden, Australia, and Colombia. We have extended the model beyond software projects to include engineering projects as well as marketing, and journalism. We conclude with a description of an International Capstone Project Exchange website that we have developed to aid any university in establishing their own international project exchange.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Novel Dynamic Hidden Semi-Markov Model (D-HSMM) for Occupancy Pattern Detection from Sensor Data Stream

A Novel Dynamic Hidden Semi-Markov Model (D-HSMM) for Occupa...

引用

New Technologies, Mobility and Security (NTMS)

作者： Jose Luis Gomez Ortega Liangxiu Han Nicholas Bowring Sch. of Comput. Math. & Digital Technol. Manchester Metropolitan University Manchester Greater Manchester GB School of Computing Mathematics and Digital Technology Manchester Metropolitan University Manchester UK School of Computing Mathematics and Digital Technology Manchester Metropolitan University Manchester UK

ISBN: (纸本)9781509029150

Occupant presence and behaviour have a large impact on building energy performance. With the availability of low cost and affordable sensors, accurate occupancy detection by combining sensor stream data with machine learning approaches becomes possible. In this paper, we propose a novel dynamical hidden semi-Markov model (D-HSMM) which can accurately detect occupancy pattern from sensor data stream in real time. Our approach extends traditional hidden Markov (HMM) and hidden semi-Markov models (HSMM). The novelty of the proposed approach consists in 1) a new dynamic duration modelling way in which the duration is dynamically changing, instead of using fixed duration in traditional HSMM based models; 2) a new approach to state prediction (i.e. occupant presence or absence in this case) based on a weighted function with partially available observations instead of using the whole set of observations. In order to evaluate the performance of our model, we have compared our results with traditional HMM and HSMM approaches. The experimental evaluation shows that our D-HSMM model outperforms the conventional HMM and HSMM-based approaches with very high accuracy.

关键词： Hidden Markov models Data models Predictive models Probability Buildings Adaptation models Heuristic algorithms

来源：评论

学校读者我要写书评

暂无评论

Securing vehicular ad hoc networks with mean field game theory

Securing vehicular ad hoc networks with mean field game theo...

引用

3rd ACM Int. Symp. on Design and Analysis of Intelligent Vehicular Networks and Applications, DIVANet 2013, Held in Conjunction with the 16th ACM Int. Conf. on Modeling, Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2013

作者： Wang, Yanwei Yu, F. Richard Huang, Minyi Boukerche, Azzedine Chen, Tao Depart. of Systems Computer Eng. Carleton University Ottawa ON Canada Sch. of Math. Statistics Carleton University Ottawa ON Canada Sch. of Elect. Eng. Computer Science Sch. of Math. and Statistics Ottawa ON Canada Remotronic Inc. Ottawa ON Canada

ISBN: (纸本)9781450323581

Game theory is a useful tool to model and analyze decision problems. In this paper, we use a novel game model, mean field game, to solve the security problem in Vehicular Ad hoc Networks (VANETs). The mean field game model can provide a powerful math.matical tool for problems with a large number of players. To be best of our knowledge, using mean field game theory for security in VANETs has not been considered in existing works. The proposed sch.me can enable an individual vehicle in VANETs to make strategic security defence decisions without centralized administration. Simulation results are presented to illustrate the effectiveness of the proposed sch.me. © 2013 ACM.

关键词： Vehicular ad hoc networks

来源：评论

学校读者我要写书评

暂无评论

Adaptive CFA Demosaicking Using Bilateral Filters for Colour Edge Preservation

Adaptive CFA Demosaicking Using Bilateral Filters for Colour...

引用

Asian Conference on Pattern Recognition (ACPR)

作者： Jim S. Jimmy Li Sharmil Randhawa Sch. of Comput. Sci. Eng. & Math. Flinders Univ. Adelaide SA Australia School of Computer Science Flinders University Adelaide Australia

Colour Filter Array (CFA) demosaicking is a process to interpolate missing colour values in order to produce a full colour image when a single image sensor is used. For smooth regions, a higher order of interpolation will usually achieve higher accuracy. However when there is a colour edge, a lower order of interpolation is desirable as it will avoid interpolation across an edge without blurring it. In this paper, a bilateral filter, which has been known to preserve sharp edges, is used to adaptively modify the weights for interpolation. When there is a colour edge, the weights will bias towards a lower order of interpolation using closer pixel values only. Otherwise, the weights will bias towards a higher interpolation for smooth regions. In order to avoid interpolation across a possible edge adjacent to the missing pixel location, four estimates using the adaptive bilateral filter are first determined for each cardinal direction. A classifier comprising a weighted median filter together with a bilateral filter is then used to produce an output of the missing colour pixel value from the four estimates. It has been shown that our proposed method has improved performance in preserving sharp colour edges with minimal colour artifacts, and it outperforms other existing demosaicking methods for most images.

关键词： Interpolation Image color analysis Image edge detection Arrays Color Accuracy Kernel

来源：评论

学校读者我要写书评

暂无评论

Comment on lee et al.'s strong designated verifier signature sch.me and its improvement

Comment on lee et al.'s strong designated verifier signature...

引用

2012 International Conference on Technology and Management, ICTAM 2012

作者： Liao, Da-Jian Tang, Yuan-Sheng College of Science Huaihai Institue of Technology Lianyungang China Sch. of Math. Sci. Yangzhou Univ. Yangzhou China

ISBN: (纸本)9783642296369

Recently, Lee et al. proposed an new strong designated verifier signature sch.me. They claimed that their sch.me can prevent any third party from being convinced that who is actually the signer of the signature. However, we found out that when one can ensure the validity of the signature, their sch.me would reveal the identity of the signer. In this paper, we provide a new strong designated verifier signature sch.me that provides signer ambiguity, even if both the secret key of the signer and the verifier are compromised. We also analyze the proposed sch.me. © 2012 Springer-Verlag GmbH Berlin Heidelberg.

关键词： Authentication

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：