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

STRESS INTENSITY FACTORS FOR V-NOTCHED STRIP UNDER TENSION OR INPLANE BENDING

INTERNATIONAL JOURNAL OF FRACTURE 1995年第1期70卷 81-97页

作者： CHEN, DH 1. Faculty of Computer Science and System Engineering Kyushu Institute of Technology 680-4 Kawazu 820 Iizuka Japan

The singular stress field around a sharp notch tip is expressed as a sum of two independent fields: a symmetric field with a stress singularity 1.tau(1.lambda 1. and a skew-symmetric field with a stress singularity 1.tau(1.lambda 2). The intensities of the symmetric and skew-symmetric singular stress fields are defined in terms of constants K-I and K-II, respectively. In this study, a plane problem of a strip with single or double edge notches under tension or in-plane bending is considered. The bisector of the notch may be inclined to the edge, so that the two singular stress fields with different singularities may be created simultaneously at the notch tip. The body force method is used to calculate the stress intensity factors K-I and K-II. In numerical analysis, basic density functions of the body forces are introduced to characterize the stress singularity at the notch tip. The advantages of this technique are the high accuracy of results, due to the smoothness of the unknown weight functions, and the presence of the direct relation between the values of K-I and K-II and the values of unknown weight functions. The stress intensity factors are systematically calculated for the various geometrical conditions.

关键词： Fracture mechanics

来源：评论

学校读者我要写书评

暂无评论

HILBERT-KAMKE EQUATIONS AND GEOMETRIC DESIGNS OF DEGREE FIVE FOR CLASSICAL ORTHOGONAL POLYNOMIALS

arXiv

引用

arXiv 2025年

作者： Mishima, Teruyuki Lu, Xiao-Nan Sawa, Masanori Uchida, Yukihiro Accenture Japan Ltd 2-2-2 Nakanoshima Kita-ku Osaka530-0005 Japan Department of Electrical Electronics and Computer Engineering Faculty of Engineering Gifu University 1-1 Yanagido Gifu-shi Gifu501-1193 Japan Graduate School of System Informatics Kobe University 1-1 Rokkodai Nada Hyogo Kobe657-8501 Japan Department of Mathematical Sciences Graduate School of Science Tokyo Metropolitan University 1-1 Minami-Osawa Hachioji Tokyo192-0397 Japan

In this paper we elucidate the advantage of examining the connections between Hilbert-Kamke equations and geometric designs, or Chebyshev-type quadrature, for classical orthogonal polynomials. We first establish a classification theorem for such equations of degree 5 in 6 variables. The proof is based on an elementary polynomial identity, which Kawada and Wooley (1.99) employed in their work on the Waring problem, and some advanced techniques on the computation of the genus of a certain irreducible curve. We then prove a necessary and sufficient condition for the existence of rational solutions of Hilbert-Kamke equations of degree 5, especially for the Chebyshev measure of the first kind. It is noteworthy that this result presents a completely explicit construction of rational solutions. Moreover, we create novel connections among Hilbert-Kamke equations, geometric designs and the Prouhet-Tarry-Escott (PTE) problem. For example, we establish that our solutions of Hilbert-Kamke equations of degree 5 in 6 variables appear in the famous parametric solution for the PTE problem found by Borwein (2002).MSC Codes 33C45, 05E99, 65D32 (Primary) 1.E1., 1.E76 (Secondary) Copyright © 2025, The Authors. All rights reserved.

关键词： Chebyshev polynomials

来源：评论

学校读者我要写书评

暂无评论

AUTOMATED VERIFICATION OF RESPONSIVE PROTOCOLS MODELED BY EXTENDED FINITE-STATE MACHINES

引用

REAL-TIME systemS 1994年第3期7卷 275-289页

作者： KAKUDA, Y KIKUNO, T KAWASHIMA, K 1. Department of Information and Computer Sciences Faculty of Engineering Science Osaka University 560 Toyonakashi Osaka Japan

Along with advancement of communication systems, the demand for fault-tolerance and real-time performance for communication protocols continues to increase. Communication protocols which perform recovery from any abnormal state to a normal state are called self-stabilizing protocols. However, in these protocols, real-time recovery is not taken into consideration. This paper discusses verification of communication protocols which have self-stabilizing and timeliness properties, which are called responsive protocols. Gouda et al. proposed a mathematical method to prove whether a given protocol specification satisfies the self-stabilizing property. However, this method is not automated and does not verify the timeliness property. This paper thus proposes an automated method for verification of responsive protocols. In this method, communication protocols are modeled by extended finite state machines and their states are represented by predicates. The self-stabilizing property is proven by verifying that sequences of such states which start from an arbitrary abnormal state converge in a normal state. Also, the timeliness property is proven by verifying that the convergence is done within a priori given time.

关键词： Network protocols

来源：评论

学校读者我要写书评

暂无评论

Volatile to Non-Volatile Switching Transition in Chalcogenides

引用

Advanced Functional Materials 2025年

作者： Zhao, Zihao Zhang, Mengfei Yang, Qun Gotoh, Tamihiro Ge, Qingqin Shi, Nannan Sun, Yuting Zhao, Jiayi Sui, Yanping Jiang, Ran Yu, Haibin Elliott, Stephen R. Song, Zhitang Zhu, Min National Key Laboratory of Materials for Integrated Circuits Shanghai Institute of Micro-System and Information Technology Chinese Academy of Sciences Shanghai200050 China University of Chinese Academy of Sciences Beijing100029 China Wuhan National High Magnetic Field Center and School of Physics Huazhong University of Science and Technology Wuhan430074 China Department of Physics Graduate School of Science and Technology Gunma University Maebashi3718510 Japan Thermo Fisher Scientific China Shanghai200050 China Faculty of Electrical Engineering and Computer Science Ningbo University Ningbo315211 China Trinity College University of Cambridge CambridgeCB2 1TQ United Kingdom Physical and Theoretical Chemistry Laboratory University of Oxford OxfordOX1 3QZ United Kingdom School of Integrated Circuits Shanghai Jiao Tong University Shanghai200240 China

Over the past 60 years, three distinct electrical switching behaviors have been discovered in chalcogenides: ovonic threshold switch (OTS), ovonic memory switch (OMS), and phase-change switch (PCS). The first two have been successfully utilized in commercialized 3D Xpoint chips, serving as selector and memory cells, respectively. However, the relationships among these three behaviors remain unclear. Here, it is demonstrated that the Ge-Te binary system exhibits these three switching mechanisms. Specifically, the switching behavior transforms from PCS-like to OTS-like within the composition range from GeTe8 to GeTe6, while the shift from volatile (OTS) to non-volatile switching behavior (OMS) occurs between the compositions GeTe2 and GeTe. The PCS-to-OTS transition is primarily driven by enhancements in glass-forming ability, with the Turnbull parameter increasing from 0.58 to 0.6, and the crystallization temperature exceeding 1.5 °C, while the shift from OTS to OMS behavior is largely due to the significantly accelerated crystallization speed, from microseconds to nanoseconds. Most importantly, the GeTe1. PCS stands out, with a large ON current (0.6 mA), low leakage current (−8 A), high endurance (>6 × 1.9 cycles), and high-temperature back-end-of-line compatibility. The crystalline nature of this PCS material addresses the composition and toxicity issues in conventional OTS materials. Moreover, GeTe1. PCSs have been successfully integrated with GeTe OMSs, forming selector/memory arrays with a read margin of 0.4 V. These findings not only reveal the mechanisms underlying the volatile to non-volatile transition but also provide an alternative solution for high-density 3D memory, potentially replacing the OTS/OMS stack approach. © 2025 Wiley-VCH GmbH.

关键词： Phase change memory

来源：评论

学校读者我要写书评

暂无评论

Solvability of norm-type discrete algebraic Riccati equation

Solvability of norm-type discrete algebraic Riccati equation

引用

2003 European Control Conference, ECC 2003

作者： Kono, M. Takahashi, N. Sakamoto, M. Department of Computer Science and System Engineering Faculty of Engineering Miyazaki University 1-1 Gakuen Kibanadai Nishi Miyazaki889-2192 Japan

ISBN: (纸本)9783952417379

This paper proposes a norm-type discrete algebraic Riccati Equation, which is a generalized version of the well-known standard discrete algebraic Riccati Equation, and has additional norm terms. Under stabilizability and assumption that the additional terms are not too large, the existence of a positive semidefinite solution is guaranteed. Application to guaranteed cost control is given. © 2003 EUCA.

关键词： Robust control

来源：评论

学校读者我要写书评

暂无评论

VMckpt:lightweight and live virtual machine checkpointing

引用

science China(Information sciences) 2012年第12期55卷 2865-2880页

作者： LIU HaiKun 1.JIN Hai 1.LIAO XiaoFei 1.MA Bo 1.& XU ChengZhong 2 1.Services Computing Technology and system Lab,Cluster and Grid Computing Lab,School of {1. science and Technology,Huazhong University of science and Technology,Wuhan 430074,China 2 Department of Electrical and {1. engineering,Wayne State University,Detroit,MI 48202,USA 1. Services Computing Technology and System Lab Cluster and Grid Computing Lab School of Computer Science and Technology Huazhong University of Science and Technology Wuhan 430074 China2. Department of Electrical and Computer Engineering Wayne State University Detroit MI [48202 USA

Recent advance of virtualization technology provides a new approach to check-point/restart at the virtual machine(VM) *** contrast to traditional process-level checkpointing,checkpointing at the virtualization layer brings up several advantages,such as compatibility,transparence,flexibility and ***,because the virtualization layer has little semantic knowledge about the operation system and the applications running atop,VM-layer checkpointing requires saving the entire operating system state rather than a single *** overhead may render the approach *** reduce the size of VM checkpoint,in this paper we propose a page eviction scheme and an incremental checkpointing mechanism to avoid saving unnecessary VM pages in the *** keep the system online transparently,we propose a live checkpointing mechanism by saving the memory image in a copy-on-write(COW) *** implement the performance optimization mechanisms in a prototype system,called *** results with a group of representative applications show that our page eviction scheme and incremental checkpointing can significantly reduce the checkpoint file size by up to 87% and shorten the total checkpointing/restart time by a factor of up to 71.,in comparison with the Xens default checkpointing *** observed application downtimes due to checkpointing can be reduced to as small as 300 ms.

关键词： checkpoint/restart copy-on-write page eviction virtual machine

来源：评论

学校读者我要写书评

暂无评论

Acoustic Speech Recognition Model by Neural Net Equation with Competition and Cooperation 5

Acoustic Speech Recognition Model by Neural Net Equation wit...

引用

5th International Conference on Spoken Language Processing, ICSLP 1.98

作者： Kitazoe, Tetsuro Ichiki, Tomoyuki Kim, Sung-Ill Department of Computer Science and Systems Engineering Faculty of Engineering Miyazaki University 1-1. Gakuen Kibanadai Nishi. Miyazaki889-2192 Japan

The equation of neural nets for stereo vision is applied to speech recognion. We use Coupled Pattern Recognition (CPR) equation which has been shown to organize depth perception very well through competition and cooperation. We construct Gaussian probability density function(pdf) for each phoneme from a number of training data. The input data to be recognized are compared to the pdf's and the similarity measures are obtained for each phoneme. The CPR equation develops neuron activities by receiving the similarity measures as input. A recognition is achieved when the activities arrive at a stable states. The recognition rates for 25 Japanese phoneme are 74.75 % in average which is compared to 71.53 °6. by Hidden Markov Model. A certain technical improvement is applied to our neuron model, by dividing data of a phoneme into two part, one for the former frames, the other for the latter frames. A remarkable improvement is obtained with average recognition rate of 79.79 %. © 1.98. 5th International Conference on Spoken Language Processing, ICSLP 1.98. All rights reserved.

关键词： Neural networks

来源：评论

学校读者我要写书评

暂无评论

Effects of delayed presentation of self-embodied avatar motion with network delay

Effects of delayed presentation of self-embodied avatar moti...

引用

201. 4th International Universal Communication Symposium, IUCS 201.

作者： Ishii, Yutaka Sejima, Yoshihiro Watanabe, Tomio Information Science and Technology Center Kobe University 1-1 Rokkodai Nada Kobe Japan Graduate School of Science and Engineering Yamaguchi University Faculty of Computer Science and System Engineering 2-16-1 Tokiwadai Ube Yamaguchi Japan Faculty of Computer Science and System Engineering Okayama Prefectural University CREST 111 Kuboki Soja Okayama Japan

ISBN: (纸本)9781424478200

A large network delay is likely to obstruct human interaction in telecommunication systems such as telephony or video conferencing systems. In spite of the extensive investigations that have been carried out on network delays of voice and image data, there have been few studies regarding support for embodied communication under the conditions of network delay. To maintain smooth human interaction, it is important that the various ways in which delay is manifested are understood. We have already developed an embodied virtual communication system that uses an avatar called "VirtualActor," in which speakers who are remotely located from one another can share embodied interaction in the same virtual space. Responses to a questionnaire that was used in a communication experiment confirmed that a fixed 500-ms network delay has no effect on interactions via VirtualActors. In this paper, we propose a method of presenting a speaker's voice and an avatar's motion feedback in the case of a 1.5-s network delay using VirtualActors. We perform two communication experiments under different conditions of network delay. The aim of the first experiment is to examine the effect of a random time delay on the conversation. The second experiment is conducted under the conditions of a free-form conversation that takes place in 5 scenarios - 1.real-time scenario without a network delay and 4 scenarios with network delay that involve a combination of a delay in the talker's voice and in his/her avatar's motion feedback. The subjects consisted of a total of 30 students who worked in 1. pairs and who were familiar with each other. A sensory evaluation shows the effects upon communication of delays in the avatar's motion feedback, from the viewpoint of supporting the interaction. ©201. IEEE.

关键词： Video conferencing

来源：评论

学校读者我要写书评

暂无评论

Clinical evaluation of an automatic blood pressure controller during cardiac surgery

引用

JOURNAL OF CLINICAL MONITORING 1997年第4期13卷 261-268页

作者： Meijers, RHAM Schmartz, D Cantraine, FRL Barvais, L dHollander, AA Blom, JA 1. Department of Computer Science Faculty of Medicine Free University of Brussels (ULB) Belgium 2. Department of Medical Electrical Engineering Eindhoven University of Technology The Netherlands 3. Department of Anesthesiology Erasme University Hospital Brussels Belgium

Objective. During surgery, computers can be of great use to support the anesthesiologist in providing task automation. In this paper we describe a closed loop blood pressure controller and show the results of its clinical evaluation. Methods. The controller is based on a simple and robust Proportional-Integral controller and a supervising, rule based, expert {1.. Adaptive control is necessary because the sensitivity of the patients to sodium nitroprusside varies over a wide range. Thirty-three clinical tests during cardiac surgery, including the cardiopulmonary bypass phase, were performed. Results, On average the controller was in automatic mode for 90.6 +/- 9.6% of the time. The performance during automatic control showed the mean arterial pressure to be within 1. mmHg of che setpoint for 71.4 +/- 1..5% of the time. The average absolute distance to the setpoint was 8.1.+/- 7.2 :mmHg. Conclusions, The overall performance of the controller was noted as very satisfactory by the anesthesiologists.

关键词： computer controlled infusion closed loop control nitroprusside MAP anesthesia cardiac surgery clinical evaluation

来源：评论

学校读者我要写书评

暂无评论

Complexity of synthesis of composite service with correctness guarantee

引用

science China(Information sciences) 2012年第3期55卷 638-649页

作者： DENG Ting1.2 , HUAI JinPeng1.3 & WO TianYu1.3 1.tate Key Laboratory of Software Development Environment, Beihang University Beijing 1.01.1. China 2School of Mathematics and system {1., Beihang University, Beijing 1.01.1. China 3School of computer {1. and engineering, Beihang University, Beijing 1.01.1. China 1. State Key Laboratory of Software Development Environment Beihang University Beijing 100191 China2. School of Mathematics and System Science Beihang University Beijing 100191 China3. School of Computer Science and Engineering Beihang University Beijing 100191 China

How to compose existing web services automatically and to guarantee the correctness of the design (e.g. temporal constraints specified by temporal logic LTL, CTL or CTL*) is an important and challenging problem in web services. Most existing approaches use the process in conventional software development of design, verification, analysis and correction to guarantee the correctness of composite services, which makes the composition process both complex and time-consuming. In this paper, we focus on the synthesis problem of composite service; that is, for a given set of services and correctness constraint specified by CTL or CTL* formula, a composite service is automatically constructed which guarantees that the correctness is ensured. We prove that the synthesis problem for CTL and CTL* are complete for EXPTIME and 2EXPTIME, respectively. Moreover, for the case of synthesis failure, we discuss the problem of how to disable outputs of environment (i.e. users or services) reasonably to make synthesis successful, which are also proved complete for EXPTIME and 2EXPTIME for CTL and CTL*, respectively.

关键词： business protocol composite service synthesis environment branching temporal logic

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：