• Title/Summary/Keyword: Constraint Matrix

Search Result 226, Processing Time 0.024 seconds

Massless Links with External Forces and Bushing Effect for Multibody Dynamic Analysis

  • Sohn, Jeong-Hyun;Yoo, Wan-Suk;Hong, Keum-Shik;Kim, Kwang-Suk
    • Journal of Mechanical Science and Technology
    • /
    • v.16 no.6
    • /
    • pp.810-818
    • /
    • 2002
  • When the contribution of lightweight components to the total energy of a system is small, tole inertia effects are sometimes ignored by replacing them to massless links. For example, a revolute-spherical massless link generates two kinematic constraint equations between adjacent bodies and allows four relative degrees of freedom. In this paper, to implement a massless link systematically in a computer program using the velocity transformation technique, the velocity transformation matrix of massless links is derived and numerically implemented. The velocity transformation matrix for a revolute-spherical massless link and a revolute-universal massless link are appeared as a 6$\times$4 matrix and a 6$\times$3 matrix, respectively. A massless link model in a suspension composite joint transmitting external forces is also developed and the numerical efficiency of the proposed model is compared to a conventional multibody model. For a massless link transmitting external forces, forces acting on links are resolved and transmitted to the attached points with a quasi-static assumption. Numerical examples are presented to verify the formulation.

Efficient Design of Structured LDPC Codes (구조적 LDPC 부호의 효율적인 설계)

  • Chung Bi-Woong;Kim Joon-Sung;Song Hong-Yeop
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.31 no.1C
    • /
    • pp.14-19
    • /
    • 2006
  • The high encoding complexity of LDPC codes can be solved by designing structured parity-check matrix. If the parity-check matrix of LDPC codes is composed of same type of blocks, decoder implementation can be simple, this structure allow structured decoding and required memory for storing the parity-check matrix can be reduced largely. In this parer, we propose a construction algorithm for short block length structured LDPC codes based on girth condition, PEG algorithm and variable node connectivity. The code designed by this algorithm shows similar performance to other codes without structured constraint in low SNR and better performance in high SNR than those by simulation

Orthogonal Nonnegative Matrix Factorization: Multiplicative Updates on Stiefel Manifolds (Stiefel 다양체에서 곱셈의 업데이트를 이용한 비음수 행렬의 직교 분해)

  • Yoo, Ji-Ho;Choi, Seung-Jin
    • Journal of KIISE:Software and Applications
    • /
    • v.36 no.5
    • /
    • pp.347-352
    • /
    • 2009
  • Nonnegative matrix factorization (NMF) is a popular method for multivariate analysis of nonnegative data, the goal of which is decompose a data matrix into a product of two factor matrices with all entries in factor matrices restricted to be nonnegative. NMF was shown to be useful in a task of clustering (especially document clustering). In this paper we present an algorithm for orthogonal nonnegative matrix factorization, where an orthogonality constraint is imposed on the nonnegative decomposition of a term-document matrix. We develop multiplicative updates directly from true gradient on Stiefel manifold, whereas existing algorithms consider additive orthogonality constraints. Experiments on several different document data sets show our orthogonal NMF algorithms perform better in a task of clustering, compared to the standard NMF and an existing orthogonal NMF.

Transmission waveform design for compressive sensing active sonar using the matrix projection from Gram matrix to identity matrix and a constraint for bandwidth (대역폭 제한 조건과 Gram 행렬의 단위행렬로의 사영을 이용한 압축센싱 능동소나 송신파형 설계)

  • Lee, Sehyun;Lee, Keunhwa;Lim, Jun-Seok;Cheong, Myoung-Jun
    • The Journal of the Acoustical Society of Korea
    • /
    • v.38 no.5
    • /
    • pp.522-533
    • /
    • 2019
  • The compressive sensing model for range-Doppler estimation can be expressed as an under-determined linear system y = Ax. To find the solution of the linear system with the compressive sensing method, matrix A should be sufficiently incoherent and x to be sparse. In this paper, we propose a transmission waveform design method that maintains the bandwidth required by the sonar system while lowering the mutual coherence of the matrix A so that the matrix A is incoherent. The proposed method combines two methods of optimizing the sensing matrix with the alternating projection and suppressing unwanted frequency bands using the DFT (Discrete Fourier Transform) matrix. We compare range-Doppler estimation performance of existing waveform LFM(Linear Frequency Modulated) and designed waveform using the matched filter and the compressive sensing method. Simulation shows that the designed transmission waveform has better detection performance than the existing waveform LFM.

Patterns of categorical perception and response times in the matrix scope interpretation of embedded wh-phrases in Gyeongsang Korean (경상 방언 내포문 의문사의 작용역 범주 지각 양상과 반응 속도 연구)

  • Weonhee Yun
    • Phonetics and Speech Sciences
    • /
    • v.15 no.2
    • /
    • pp.1-11
    • /
    • 2023
  • This study investigated the response time and patterns of categorical perception of the wh-scope of an embedded clause with the non-bridge verb, "gung-geum hada 'wonder'," in the matrix verb phrase in Gyeongsang Korean. Using the same procedure as Yun (2022), 72 responses and response times for each stimulus were collected from 24 participants over the course of three trials. The stimuli were recorded readings of 40 speakers (20 male, 20 female). Context was provided to induce a matrix scope interpretation of the embedded wh-phrase in the target sentence. We sorted the 40 stimuli according to the number of matrix scope responses each received, and charted the response times for each stimulus. Although there was considerable overlap for the different types of wh-scope interpretations, there was a clear difference in categorical perception between the matrix and embedded scopes. The 24 participants also differed in their categorical perceptions. The results suggested that response time and wh-scope interpretation were not directly related and that two main weighted factors affected wh-scope interpretation: morpho-syntactic constraints and prosodic structural integrity. The weighting of each of these factors was inversely correlated and varied among subjects.

Workload Allocation Methods in Discrete Manufacturing Systems:Model and Optimization

  • Yingwen, Zheng
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 2003.10a
    • /
    • pp.1362-1366
    • /
    • 2003
  • Workload programming is allocating suitable workloads of production process according to the needs of products, which would minimize the total cost of both work and stock under some constraint conditions. In this paper, a production process flow chart of discrete manufacturing is presented by a Petri net, and the optimization model of workload-stock is established. An approach of the optimal workloads is provided by means of the integer matrix theory. An example is given to verify this method.

  • PDF

Partitioned structural eigenvalue analysis (부분 구조물 합성으로 이루어진 고유치 문제 해석)

  • Jung, Eui-Il;Na, Hye-Joong;No, Suk-Hong;Chun, Du-Hwan
    • Proceedings of the Korean Society for Noise and Vibration Engineering Conference
    • /
    • 2005.05a
    • /
    • pp.117-119
    • /
    • 2005
  • For large structural eigen-analysis, the whole structure is divided into some partitioned structures and through synthesis of partitioned structural model the eigen-data of structure can be obtained. In that case, eigenvalue problem consists of semidefinite mass matrix form because of displacement constraint condition. In this work the eigenvalue problem is considered by means of several method, determinant search and null space reduction method.

  • PDF

On Auxiliary Linear Programming Problems for Fuzzy Goal Programming (퍼지목표계획(目標計劃) 모형(模型)의 보조문제화(補助問題化))

  • Park, Sang-Gyu
    • Journal of Korean Society for Quality Management
    • /
    • v.20 no.1
    • /
    • pp.101-106
    • /
    • 1992
  • In this paper fuzzy goal programming problems with fuzzy constraints and fuzzy coefficients in both matrix and right hand side of the constraints set are considered. Because of fuzzy coefficients in both members of each constraint ranking methods for fuzzy numbers are considered. An additive model to solve fuzzy goal programming problems is formulated. The diversity of each methods provides a lot of different models of auxiliary linear programming problems from which fuzzy solutions to the fuzzy goal programming problem can be obtained.

  • PDF

Robust Model Predictive Control Using Polytopic Description of Input Constraints

  • Lee, Sang-Moon
    • Journal of Electrical Engineering and Technology
    • /
    • v.4 no.4
    • /
    • pp.566-569
    • /
    • 2009
  • In this paper, we propose a less conservative a linear matrix inequality (LMI) condition for the constrained robust model predictive control of systems with input constraints and polytopic uncertainty. Systems with input constraints are represented as perturbed systems with sector bounded conditions. For the infinite horizon control, closed-loop stability conditions are obtained by using a parameter dependent Lyapunov function. The effectiveness of the proposed method is shown by an example.

FSM Synthesis from High-Level Descriptions (상위 수준 기술로부터 순차 회로의 자동 생성)

  • 황선영;유진수
    • Journal of the Korean Institute of Telematics and Electronics
    • /
    • v.27 no.12
    • /
    • pp.1906-1915
    • /
    • 1990
  • A synthesis system generating sequential circuits from a high-level hardware descdription language CHDL, modelling language for Thor functional/behavioral simulator, is developed. In this paper, we describe the semantic analysis process, state minimization and state assignment algorithms. proposed assignment algorithm generates optimal state vectors using constraint matrix and similarity graph. Expremental results for MCNC benchmarks, standard test circuits, show that the system inplementing the proposed algorithms can be a viable tool for designing large finite state machines.

  • PDF