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

IIAI International Conference on Advanced Applied Informatics (IIAIAAI)

作者： Takafumi Tanaka Kazuki Mori Hiroaki Hashiura Atsuo Hazeyama Seiichi Komiya Graduate School of Education Tokyo Gakugei University Tokyo Japan Graduate School of Engineering and Science Shibaura Institute of Technology Tokyo Japan Dept. of Computer and Information Engineering Nippon Institute of Technology Saitama Japan Dept. of Information Science Tokyo Gakugei University Tokyo Japan GRACE Center National Institute of Informatics Tokyo Japan

In recent years, practical software development exercises have been carried out in many higher education institutions. To carry out the exercises effectively, it is important that teachers understand the difficulty of learners in exercises and advise appropriately for it. Currently, a common way to check the results of the exercises is that teachers review artifacts which learners submitted. However, there is a problem in this way that it can't obtain information regarding the learners' artifacts creation process. Therefore, teachers can't fully understand difficulties of the learners. We focus on the learners' artifacts creation process and propose a method for detecting learners' difficult points during the exercises. We develop a tool that collects the class diagram creation process by learners during exercises and analyze it.

关键词： Unified modeling language Measurement Educational institutions Software Data models Encoding

来源：评论

学校读者我要写书评

暂无评论

Asymmetric stator teeth for torque ripple reduction of permanent magnet synchronous machines for hybrid electric vehicles

Asymmetric stator teeth for torque ripple reduction of perma...

引用

IEEE International Electric Vehicle Conference (IEVC)

作者： Jan Oliver Grafmüller Julia Zhang Dept. of Electrical Engineering and Information Technology University of Applied Sciences Offenburg Offenburg Germany School of Electrical Engineering and Computer Science Oregon State University Corvallis Oregon U.S.A.

This paper investigates the maximum torque capability and torque ripple reduction using the asymmetric stator teeth for interior permanence magnet (IPM) synchronous machines. Traditional electric machines have the identical width for all stator teeth and the winding function is fixed. Using different widths for different stator teeth changes the winding function, therefore, the torque ripple components. The mathematical modeling of interior permanent magnet (IPM) synchronous machine torque ripple and finite element analysis simulation results for the characteristic properties of electric machines are presented. Compared with a similar rating IPM machine, certain combinations of the teeth widths can reduce the torque ripple by 80% with less than 4% average torque decline.

关键词： Torque Harmonic analysis Stator windings Rotors Windings Mathematical model

来源：评论

学校读者我要写书评

暂无评论

An Effective Iterative Density Aware Detailed Placement Algorithm

An Effective Iterative Density Aware Detailed Placement Algo...

引用

IEEE International Symposium on Circuits and Systems

作者： Quan Zhou Junying Hu Qiang Zhou Dept. of Computer Science and Technology Tsinghua University Beijing 100084 China School of Mechanical Electronic & Information Engineering China University of Mining and Technology Beijing 100083 China

ISBN: (纸本)9781479934331

The requirement for high performance detailed placement continues to grow in modern physical synthesis flows. During the optimization of placement, HPWL is the most basic and important objective while some other important metrics such as placement density also needs to be carefully monitored, preserving the overall quality of a given placement. We present an effective detailed placement algorithm for total HPWL and density optimization. First, we perform a density-aware cell swapping technique to improve wirelength. Second, cell re-ordering is performed to handle left-right order problem of cells within a segment, picking the order with the best HPWL. Third, a bloating and refinement technique is performed to evenly distribute the cells in regular bins, reducing bin utilization. Wirelength and cell density are iteratively optimized until the improvement is converged. The algorithm is tested on ICCAD13 benchmark suites [1]. Using the evaluation script of ICCAD13 contest, we achieved an average of 4.86% reduction in HPWL and 10.48% reduction in scaled HPWL.

关键词： detailed placement density aware relaxation

来源：评论

学校读者我要写书评

暂无评论

Face image abstraction by Ford-Fulkerson algorithm and invariant feature descriptor for human identification

Face image abstraction by Ford-Fulkerson algorithm and invar...

引用

International Carnahan Conference on Security Technology

作者： Dakshina Ranjan Kisku Debanjan Chatterjee S. Trivedy Massimo Tistarelli Department of Computer Science and Engineering National Institute of Technology Durgapur India Department of Information Technology Asansol Engineering College Asansol India Dept. of Architecture University of Sassari Alghero (SS) Italy

This paper discusses a face image abstraction method by using SIFT features and Ford-Fulkerson algorithm. Ford-Fulkerson algorithm is used to compute the maximum flow in a flow network drawn on SIFT features extracted from a face image. The idea is to obtain an augmenting path which is a path from the source vertex to destination vertex with the available capacities on all edges along a set of paths and flow is calculated along one of these paths. The process is repeated until it is obtained more paths with the available capacities. At the initial stage, face image is characterized by SIFT (Scale Invariant Feature Transform) features and the keypoints descriptor information is taken as features set for further processing. Keypoints descriptor is used to generate several face representations by using a series of matrix operations which are further used to determine a Directed Acyclic Graph (DAG). The resultant directed graph contains sparse and distinctive face characteristics of a subject from which the face image is captured. We then apply the Ford-Fulkerson algorithm on the directed graph to maintain the capacity constraints, skew symmetry and flow conservation to obtain an augmenting path with available capacities (relation between SIFT points). Finally, we obtain a mathematical representation of a face image and this representation is further encoded to be used as a set of distinctive features for matching. The time complexity of the proposed face abstraction algorithm is found to be O(VE 2 ) where V is the set of vertices and E is the set of edges in a directed graph.

关键词： Face Feature extraction Face recognition Biometrics (access control) Lighting Cameras Image edge detection

来源：评论

学校读者我要写书评

暂无评论

A cross-layer design for energy efficient sleep scheduling in uplink transmissions of ieee 802.16 broadband wireless networks

Smart Innovation, Systems and Technologies

引用

Smart Innovation, Systems and Technologies 2013年 20卷 635-644页

作者： Chen, Jen-Jee Wu, Shih-Lin Lin, Wei-Yu Dept. of Electrical Engineering National University of Tainan Tainan Taiwan Dept. of Computer Science and Information Engineering Chang Gung University Kweishan Taoyuan Taiwan

ISBN: (纸本)9783642354519

To support mobility, wireless mobile devices are powered by batteries;however, a battery can only store a limited amount of energy. According to the experiment, for a 3G handheld device, the wireless interface consumes the largest proportion of the total power (up to 40%). In particular, the 4G wireless communications will adopt OFDMA as the wireless access technology. In this case, the wireless interface in a mobile device will consume more power. IEEE 802.16 is one of the promising technologies for future wireless communications. To save power, some studies focus on how to schedule the sleep of mobile stations (MSs) to minimize the total active time;others try to reduce the transmission power of MSs with satisfying MSs' demands as the constraint. However, none of them considers both sleep scheduling and power control at the same time in IEEE 802.16 networks. To conserve energy, a thorough study of both MAC and physical layers is required. In this paper, we propose a cross-layer design to jointly schedule the sleep and control the transmission power of MSs in the uplink direction of IEEE 802.16 networks. Extensive simulation results verify that the proposed scheme significantly decreases the total power consumption of the MSs while guarantee their QoS requirements. © Springer-Verlag Berlin Heidelberg 2013.

关键词： Wireless networks

来源：评论

学校读者我要写书评

暂无评论

An Editing System Converting a UML State Diagram to a PLC Program

Smart Innovation, Systems and Technologies

引用

Smart Innovation, Systems and Technologies 2013年 21卷 647-655页

作者： Chang, Yung-Liang Fan, Chin-Feng Yih, Swu Dept. of Computer Science and Engineering Yuan-Ze University Chung-Li Taiwan Delta Electronics Tao-Yuan Taiwan Dept. of Computer Science and Information Engineering Chien Hsin University of Science and Technology Chung-Li Taiwan

ISBN: (纸本)9783642354724

UML is a modeling language commonly used in contemporary software or system development. Using UML models at the design stage is relatively simpler and better visualized than using one of the PLC languages specified in IEC 61131. This research developed an editing system, PSE (PLC State Diagram Editor), which can convert a UML state transition diagram into a PLC program to provide better visibility and quickly lead a non-professional PLC programmer into the field of PLC programming. Besides, PSE also support related application, such as model-based test cases generation. © 2013 Springer-Verlag Berlin Heidelberg.

关键词： Unified Modeling Language

来源：评论

学校读者我要写书评

暂无评论

Data provisioning for the Object Modeling System (OMS) 7

Data provisioning for the Object Modeling System (OMS)

引用

7th International Congress on Environmental Modelling and Software, iEMSs 2014

作者： Carlson, Jack R. David, Olaf Lloyd, Wes J. Leavesley, George H. Rojas, Ken W. Green, Timothy R. Arabi, Mazdak Yaege, Lucas Kipka, Holm Colorado State University Dept. of Civil and Environmental Engineering Fort CollinsCO80523 United States Colorado State University Dept. of Computer Science Fort CollinsCO80523 United States USDA-ARS-NPA Agricultural Systems Research Unit 2150 Centre Ave. Fort CollinsCO80526 United States USDA-NRCS Information Technology Center 2150 Centre Ave. Fort CollinsCO80526 United States

The Object Modelling System (OMS) platform supports initiatives to build or re-factor agro-environmental models and deploy them in different business contexts as model services on cloud computing platforms. Whether traditional desktop, client-server, or emerging cloud deployments, success especially at the enterprise level relies on stable and efficient data provisioning to the models. In this paper we describe recent experience and trends with tools and services to supply data for model inputs. Solutions range from simple pre-processing tools to data services deployed to cloud platforms. Also, systematic, sustained data stewardship and alignment with standards organizations impart stability to data provisioning efforts.

关键词： Data handling

来源：评论

学校读者我要写书评

暂无评论

The virtual machine (VM) scaler: An infrastructure manager supporting environmental modeling on IaaS clouds 7

The virtual machine (VM) scaler: An infrastructure manager s...

引用

7th International Congress on Environmental Modelling and Software, iEMSs 2014

作者： Lloyd, Wes J. David, Olaf Arabi, Mazdak Ascough, James C. Green, Timothy R. Carlson, Jack R. Rojas, Ken W. Colorado State University Dept. of Computer Science Fort CollinsCO80523 United States Colorado State University Dept. of Civil and Environmental Engineering Fort CollinsCO80523 United States USDA-ARS-NPA Agricultural Systems Research Unit 2150 Centre Ave. Fort CollinsCO80526 United States USDA-NRCS Information Technology Center 2150 Centre Ave. Fort CollinsCO80526 United States

Infrastructure-as-a-service (laaS) clouds provide a new medium for deployment of environmental modeling applications. Harnessing advancements in virtualization, laaS clouds can provide dynamic scalable infrastructure to better support scientific modeling computational demands. Providing scientific modeling "as-a-service" requires dynamic scaling of server infrastructure to adapt to changing user workloads. This paper presents the Virtual Machine (VM) Scaler, an autonomic resource manager for laaS Clouds. We have developed VM-Scaler, a REST/JSON-based web services application which supports infrastructure provisioning and management to support scientific modeling for the Cloud Services Innovation Platform (CSIP) [Lloyd et al. 2012]. VM-Scaler harnesses the Amazon Elastic Compute Cloud (EC2) application programming interface to support model-service scalability, cloud management, and infrastructure configuration for supporting modeling workloads. VM-Scaler provides "cloud control" while abstracting the underlying laaS cloud from the end user. VM-Scaler is extensible to support any EC2 compatible cloud and currently supports the Amazon public cloud and Eucalyptus private clouds versions 3.1 and 3.3. VM-Scaler provides a platform to improve scientific model deployment by supporting experimentation with: hot spot detection schemes, VM management and placement approaches, and model job scheduling/proxy services.

关键词： Virtual machine

来源：评论

学校读者我要写书评

暂无评论

On-line qualitative model-based diagnosis of technological systems using colored petri nets 28

On-line qualitative model-based diagnosis of technological s...

引用

28th European Simulation and Modelling Conference, ESM 2014

作者： Leitold, Adrien Gerzson, Miklós Pózna, Anna I. Hangos, Katalin M. Department of Mathematics University of Pannonia P.O.B. 158 VeszprémH-8201 Hungary Dept. of Electrical Engineering and Information System University of Pannonia P.O.B. 158 VeszprémH-8201 Hungary Process Control Research Group Computer and Automation Research Institute P.O.B. 63 BudapestH-1518 Hungary

ISBN: (纸本)9789077381861

A novel on-line diagnosis method is proposed in this paper that uses a qualitative dynamic model of the system and its colored Petri nets model. The model contains both the normal and the possible faulty operational modes of the system. The deviation between the normal and faulty modes is characterized based on P-HAZID tables. The actual system state can be searched on the occurrence graph constructed in advance. Starting from this node the possible consequences and root causes can be determined on-line with traversing on the graph. The proposed method is illustrated on simple case studies.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Time-domain performance bound analysis for analog and interconnect circuits considering process variations

Time-domain performance bound analysis for analog and interc...

引用

Asia and South Pacific Design Automation Conference

作者： Tan Yu Sheldon X.-D. Tan Yici Cai Puying Tang Dept. Electrical Engineering University of California Riverside CA Department of Computer Science and Technology Tsinghua University Beijing China School of Optoelectronic Information University of Electronic-Science and Technology of China Chengdu China

Time-Domain worst case or performance bound estimation for analog integrated circuits and interconnect circuits are crucial for both analog and digital circuit design and optimization in the presence of process variations. In this paper, we present a novel non-Monte-Carlo (MC) performance bound analysis technique in time domain. The new method consists of several steps. First the symbolic transient modified nodal analysis (MNA) formulation of the circuit matrices of (linearized) analog and interconnect circuits at a time step is formed. Then the closed-form expressions of the interested performance in terms of variational parameters of the circuit matrices of (linearized) analog and interconnect circuits are derived via a graph-based symbolic analysis method. Then time-domain performance response bound of current time step are obtained by a nonlinear constrained optimization process subject to the parameter variations and variational circuit state bounds computed from the previous time step. We study the bounds computed by the proposed against the different sigma bounds by the standard MC method, which shows that the proposed method is more efficient for computing high sigma bounds than the MC method. Experimental results show that the new method can deliver order of magnitudes speedup over the standard Monte Carlo simulation on some typical analog circuits and interconnect circuits with high accuracy.

关键词： Upper bound Monte Carlo methods Optimization Time-domain analysis Analog circuits Integrated circuit interconnections Standards

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：