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

Timing verification df asynchronous sequential circuits with specifications - A method of reducing state transitions to be verified in detail

引用

SYSTEMS AND COMPUTERS IN JAPAN 1996年第11期27卷 53-63页

作者： Ohnishi, A Sugiyama, Y Okamoto, T Faculty of Engineering Okayama University Okayama Japan 700 Atsushi Ohnishi:graduated in 1991 from the Dept. Inf. Okayama Univ. where he received his M.S. degree in 1993 and admitted to the doctoral program Grad. Sch. Nat. Sci. He is engaged in research on design verification for asynchronous sequential circuit. Members

One of the important issues in the asynchronous sequential circuit is to verify that the state transitions as stated in the specification occur even if there is a delay variation in the element. When the exiting timing verification method is applied to this problem, however, the transient and other states must be examined, which requires an exponentially long time in the verification. This paper presents a formal procedure based on the circuit structure and the relation between the specification and the circuit, where the state transition to induce the transition in the specification is determined and the state transition to be verified in detail is restricted without generating the transient and other states. First, the time-invariant input values and state variable values are considered, and a sufficient condition is given for the above restriction. The sufficient condition ensures that the state transition occurs as is stated in the specification, independently of the element delay. A decision procedure for the sufficient condition is presented, and the time complexity is examined. It is shown that the proposed method is useful in reducing the verification time compared to the existing verification method. The sufficient condition is applied to sample circuits, and it is shown that the detailed verification can be omitted by the factor of 16/17 for the ring arbiter, and 20/24 for the D flip-flop. Thus, it is expected that the time for the verification can be reduced greatly by the proposed method.

关键词： timing verification asynchronous circuit specification state transition design process

来源：评论

学校读者我要写书评

暂无评论

Dual-Band Electromagnetic Absorber based on a Frequency Selective Surface 41

Dual-Band Electromagnetic Absorber based on a Frequency Sele...

引用

41st IEEE International Conference on Electronics and Nanotechnology, ELNANO 2022

作者： Plata-Jimenez, Misael Khotiaintsev, Sergei Martinez-Lopez, Jose I. Universidad Nacional Autonoma de Mexico Doctoral Program in Electrical Engineering Mexico City Mexico School of Engineering Universidad Nacional Autonoma de Mexico Dept. of Telecommunications Mexico City Mexico School of Engineering Universidad Nacional Autonoma de Mexico Dept. of Electronics Mexico City Mexico

ISBN: (数字)9781665469227

ISBN: (纸本)9781665469234

Electromagnetic absorbers based on frequency selective surfaces (FSS) find important applications in various microwave systems. However, the design of highly efficient and at the same time robust and easy-to-implement FSS electromagnetic absorbers presents many challenges. This paper describes the design of a dual-band FSS electromagnetic absorber at Ka band. The design was carried out by a finite element method implemented on a computer for numerical simulation of the FSS cells. The unit cell combines two different kinds of resonant elements that contribute to dual absorption bands. The designed cells exhibit peaks of electromagnetic absorption at 32.3 and 37.9 GHz, with -10 dB bandwidths of 128 and 95 MHz in the two frequency bands, respectively. The proposed absorber shows an absorption coefficient of 0. 99 in the two frequency bands for normal incidence. The specific frequencies of the absorption bands can be changed by scaling the sizes of the unit cells. © 2022 IEEE.

关键词： Frequency selective surfaces

来源：评论

学校读者我要写书评

暂无评论

Interval volume: a solid fitting technique for volumetric data display and analysis 95

Interval volume: a solid fitting technique for volumetric da...

引用

IEEE Conference on Visualization

作者： I. Fujishiro Y. Maeda H. Sato Department of Information Sciences Ochanomizu University Tokyo Japan Doctoral Program in Engineering University of Tsukuba Baraki Japan

ISBN: (纸本)9780818671876

Proposes as a generalization of isosurfaces, the 'interval volume', which is a new type of geometric model representing 3D subvolumes with field values belonging to a closed interval. A dominant surface fitting algorithm called 'marching cubes' is extended to obtain a solid fitting algorithm, which extracts from a given volumetric dataset a high-resolution polyhedral solid data structure of the interval volume. Rendering methods for the interval volume and principal related operations are also presented. The effectiveness of this approach is illustrated with 4D simulated data from atomic collision research.

关键词： Solids Displays Data analysis Surface fitting Data mining Isosurfaces Data visualization Biomedical measurements Data structures Atomic measurements

来源：评论

学校读者我要写书评

暂无评论

l/sub 1/ state feedback control of active suspension

l/sub 1/ state feedback control of active suspension

引用

IEEE Conference on Decision and Control

作者： K. Sugiyama T. Ohtsuka Doctoral Program in Engineering University of Tsukuba Tsukuba Ibaraki Japan Institute of Engineering Mechanics University of Tsukuba Tsukuba Ibaraki Japan

A controller is designed for automotive active suspension whose purpose is to improve the ride comfort against road disturbances. This disturbance rejection problem is formulated as an l/sub 1/ control problem, i.e., minimization of the effects of disturbances in terms of the l/sub /spl infin//-induced norm. Since l/sub 1/ control theory minimizes the maximum possible amplification of signal magnitude, the l/sub 1/ controller can specify the maximum magnitude of outputs in the time domain, regardless of the frequency of road disturbances. To design a static full state feedback controller, Shamma's l/sub 1/ near-optimal control theory is applied. Although l/sub 1/ control with full state feedback usually can be dynamic and of arbitrarily high order, this theory with a certain approximation is able to construct a simple static state feedback with nonlinearity. Therefore, for a linear quarter vehicle model, a nonlinear controller is designed. Finally, satisfactory performances of the controller are confirmed by numerical analysis.

关键词： State feedback Control theory Optimal control Control systems Frequency Vehicle dynamics Automobiles Road vehicles Nonlinear control systems Numerical analysis

来源：评论

学校读者我要写书评

暂无评论

Utilization of Linguistic Data for Learner Assessment on e-Learning: Instrument and Processing 7

Utilization of Linguistic Data for Learner Assessment on e-L...

引用

7th International Conference on Informatics and Computing, ICIC 2022

作者： Yuniarti, Wenty Dwi Hartati, Sri Priyanta, Sigit Surjono, Herman Dwi Doctoral Program of Computer Science Universitas Gadjah Mada Yogyakarta Indonesia Universitas Islam Negeri Walisongo Semarang Indonesia Universitas Gadjah Mada Department of Computer Science and Electronics Yogyakarta Indonesia Universitas Negeri Yogyakarta Faculty of Engineering Department of Informatics Engineering Education Yogyakarta Indonesia

ISBN: (纸本)9798350345711

The increasingly massive use of e-Learning illustrates the speed and need for innovation in learning. According to the National Higher Education Standards (SN-Dikti), constructive alignment is required between learning outcomes, processes, and assessments to properly implement learning in e-Learning. Assessment is an essential component of e-Learning. Unfortunately, the problem of assessment in e-Learning is still found. One of them is the limitations of e-Learning in accommodating and processing various assessment data, primarily linguistic. Even though the variety of assessment data, both numerical, linguistic, and a combination of the two, supports a comprehensive assessment. On the other hand, the accommodation of linguistic data raises problems regarding how to process of unifying linguistic data is carried out. Research related to linguistic data using computing with words has been carried out, but it still needs more precise results from the unification of the linguistic data. Therefore, this study proposes providing an assessment instrument to accommodate linguistic data in e-Learning, as well as showing how to process of unifying linguistic data is carried out using 2-Tuple Fuzzy Linguistic. This approach can avoid the loss of assessment information by presenting more informative and precise results in a 2-tuple (s, α) where s indicates the ability level, and α shows a comparison of abilities with other learners and the potential of the learner to achieve higher abilities. This proposal has the potential to be applied in a learner assessment system for higher education e-Learning. © 2022 IEEE.

关键词： Linguistics

来源：评论

学校读者我要写书评

暂无评论

Optimal Location Management for PCS Networks with Hexagonal Cellular Architectures

Optimal Location Management for PCS Networks with Hexagonal ...

引用

The 2004 Joint Conference of the 10～(th) Asia-Pacific Conference on Communications and the 5～(th) International Symposium on Multi-Dimensional Mobile Communications

作者： Atushi Kubota Doctoral Program in Science & Information Engineering University of Tsukuba Tsukuba Science City Ibaraki 305-8573 Japan

This paper addresses the dynamic location management for personal communication sen'ice (PCS) networks with popular hexagonal celluar architectures. We first introduce a coordinate system for the hexagonal celluar architectures. Then, we develop an all-direction mobility model based on the coordinate system for the hexagonal cellular architecture to cope with the mobility patterns of mobile terminals (MTs). By using the proposed model, the shape and size of the local area in the dynamic location update scheme are determined optimally.

关键词： Optimal Location Management for PCS Networks with Hexagonal Cellular Architectures

来源：评论

学校读者我要写书评

暂无评论

Comfortable power assist control method for walking aid by HAL-3

Comfortable power assist control method for walking aid by H...

引用

2002 IEEE International Conference on Systems, Man and Cybernetics

作者： Kawamoto, H. Sankai, Y. Sankai Lab Doctoral Program in Engineering University of Tsukuba 1-1-1 Tennodai Tsukuba 305-8573 Japan Inst. of Eng. Mechanics and Systems University of Tsukuba 1-1-1 Tennodai Tsukuba 305-8573 Japan

We have developed the power assist suit HAL (Hybrid Assistive Leg) which provide the self-walking aid for gait disorder persons or aged persons. The power assist was performed according to the operator's intention by using myoelectricity(EMG) signal as the primary command signal. However, there remains the problem that the operator senses the discomfort while the power assist is performed by EMG-based control. The scope of the present research is to propose the control methods to reduce the discomfort which the operator sense while the EMG-based power assist is performed in walking and standing up respectively;1) the control method that the integrated motion between HAL-3 and the operator corresponds with the particularity of operator's musculo-skeletal system while in the power assist walking, 2)the predictive control method applying feedforward controller to remove the discomfort while in standing up. As the result, the power assist walking was performed corresponding to the joint kinematics of the normal walking without the assistance. Applying feedforward controller realized the quick response while in standing up power assist. These control methods enabled HAL-3 to realize the power assist that the operator sensed the reduce of discomfort.

关键词： Walking aids

来源：评论

学校读者我要写书评

暂无评论

Exploring Low Rate Dos Attack Detection Methods: A Bibliometric Analysis and Roadmap for Further Research

Exploring Low Rate Dos Attack Detection Methods: A Bibliomet...

引用

2023 IEEE International Conference on Data and Software engineering, ICoDSE 2023

作者： Widodo, Anteng Rochim, Adian Fatchur Warsito, Budi School of Postgraduated Studies Diponegoro University Doctoral Program of Information System Semarang Indonesia Muria Kudus University Faculty of Engineering Department of Information System Kudus Indonesia Diponegoro University Faculty of Engineering Department of Computer Engineering Semarang Indonesia Diponegoro University Faculty of Science and Mathematics Department of Statistics Semarang Indonesia

ISBN: (纸本)9798350381382

Low-Rate Denial of Service (LDoS) attacks, an emerging breed of DoS attacks, present a formidable challenge in terms of their detectability. Within the realm of network security, these attacks cast a substantial shadow over the availability and integrity of services. This study seeks to delve into the intricate mechanics of LDoS attacks and explore the landscape of developed detection methodologies. Employing bibliometric analysis, we employ a multifaceted approach to gather research insights pertaining to LDoS attack detection. This approach encompasses the examination of evolving research trends, scrutiny of widely cited scientific publications within the same domain, identification of prolific researchers shaping the field, and a judicious selection of reputable publishers for dependable information acquisition. Furthermore, our study undertakes a meticulous categorization and classification of previously proposed LDoS detection methods documented in well-established scientific literature. This endeavor not only provides a more profound comprehension of the evolutionary trajectory and thematic thrusts within LDoS attack detection research, but it also facilitates the identification of gaps and directions for future exploration. The culmination of these analytical efforts culminates in a comprehensive framework. This contribution manifests through structured categorization, classification, and a forward-looking research roadmap, which collectively serve as valuable tools for both current and aspiring researchers engaged in LDoS attack detection. In summary, this research not only delves into the complexities of LDoS attacks and their mechanisms but also augments the current understanding of detection capabilities. Through its nuanced contributions, this paper extends a helpful guide to the dynamic realm of LDoS attack detection, thus catalyzing advancements and insights for the future. copy;2023 IEEE. © 2023 IEEE.

关键词： Denial-of-service attack

来源：评论

学校读者我要写书评

暂无评论

Applying the branch and bound technique to document similarity search

Applying the branch and bound technique to document similari...

引用

IEEE Pacific Rim Conference on Communications, Computers and Signal Processing

作者： K. Furuse T. Miura M. Ishikawa H. Chen N. Ohbo Institute of Information Sciences and Electronics. University of Tsukuba Japan Doctoral Program in Engineering University of Tsukuba Japan

This paper proposes a new mechanism for document similarity search, which uses the indexing structure called signature tables. The mechanism of signature tables is originally invented for similarity search of market basket data, and in this paper we apply it to document data. Since the characteristics of document data is definitely different from that of market basket data, the performance of similarity search is not satisfactory when the mechanism is naively applied to document data. In this paper, we describe the reason why the naive application decreases the efficiency, and propose some techniques for improving the performance. The results of simulation using real document data set show that the proposed mechanism implements good performance.

关键词： Indexing Data mining Transaction databases Consumer electronics Information science Internet Web sites

来源：评论

学校读者我要写书评

暂无评论

Humanoid control method based on human knack for human care service

Humanoid control method based on human knack for human care ...

引用

IEEE International Conference on Systems, Man and Cybernetics

作者： Y. Kawamura Y. Sankai Doctoral Program in Engineering Japan Institute of Enginēering Mechanics and Systes University of Tsukuba Tsukuba Ibaraki Japan

The humanoid is expected to realize a humancare in Japan where a problem of the shortage of care workers is occurring by aging. In order to determine the complicated motion like the human care for the humanoid, it is efficient to use the same motion of human. If the motion of the human is directly applied to the humanoid, it is difficult to achieve the requested motion because the humanoid takes unstable posture by the difference of dynamic, parameters. Therefore, it is suitable method to determine the motion of the humanoid based on the human knack which is necessary for realizing the complicated motion such as the human care. The humanoid can not keep the stable posture by using on y the human knack because the human knack is the technique to realize the motion of the human who has the difference of dynamic parameters. So a posture control system is required to control the humanoid. The purpose of this research is to develop the humanoid control method based on the human knack for human care. In order to acquire the knack easily, the joint's movement measured by motion capture system and the force estimated by Myoelectricity are divided into the unit of meaningful motion called "Phase", and the knack is derived from each Phase. Since the humanoid needs to touch, people in the human care, the humanoid may fall down on and injure a person in need of nursing care In order to keep the humanoid's posture stable, we developed the control system In consideration at the relationship among Zero Moment Point (ZMP) the support polygon, and the action force to the Center Of Gravity (COG). The motion of the humanoid is. determined based on the human knack and the posture control system. To confirm the effectiveness of the proposed control method based on the human knack, we simulated the situation of the humanoid caring for the human rising from the chair. The humanoid model "HRP1S" and the human model which has human parameters and cannot rise by itself were used in this simu

关键词： Humans Control systems Force measurement Aging Motion measurement Phase measurement Motion estimation Phase estimation Medical services Force control

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：