• Communications of the Korean Institute of Information Scientists and Engineers
• /
• v.1 no.1
• /
• pp.75-79
• /
• 1983

現代 컴퓨터의 연산장치(Arithmetic unit)의 design을 하는데 있어서 가장 중요하게 요구점점되는 點은 계산의 속도(Computational speed)와 計算의 정확성 (Computational accuracy)이라고 보겠다. 여기서는 정보처리기(Information processor)로서 또는 非數理的인 연산(Non-numeric operation)을 위한 도구로서 보다는 數理的 연산(Arithmetic)을 수행하는 도구로서의 컴퓨터 연산에 限해서만 論하고자 한다. 대개의 경우 기계를 고안하는 사람들은 계사의 속도에 對해서는 특별한 관심을 갖고 그러한 목적에 맞는 기계를 만들어 낼려고 하지만 數値의 정 확성(Numerical accuracy)에 對해서ㅡ 등한시했던 경우가 많았다고 보겠다. 그러 나 이 두 條件 즉 빠른 속도 틀림없는 정확성을 同時에 충족 시키고자 하는 것이 기계 고안자들의 理想 목포가 되는 것은 사시링다. 여기에 수반도는 문제는 제작 비를 고려하지 않을 수 없다는 것이다. 정화하고 빠른 operation을 할 수 있는 기 계는 너무 비싼 제작비가 들기 때문에 사용목적에 적절하게 두 문제를 절충하여 고려하는 것이 일반적이라 하겠다. 初期의 컴퓨터는 한 Word(Computer Word)로 서 36개의 bit를 사용한 것이 많았다고 본다. 그러나 1961년 4月 Tennessee에서 Oak Riage National Laboratory와 The Society for Industril and Applied Mathematics 후원하에 일주일에 걸친 국제회의가 열렸었는데 거기 모인 거의 모 든 學者들이 앞으로의 과학 연구용 컴퓨터(Scientific Computer)의 한 Word의 길 이는 적어도 48bit 이상으로 증가시켜야 된다는데 의견을 모았었다고 한다. 이제 rounding error의 성향(begavior)을 알아보기 위한 간단한 例를 들어 봄으로써 이 글을 쓰는 동기으 일면을 대신하고자 한다.

• International Journal of Ocean System Engineering
• /
• v.2 no.2
• /
• pp.82-91
• /
• 2012

Fillet welding is widely used in the assembly of ships and offshore structures. The T-joint configuration is frequently reported to experience fatigue damage when a marine structure meets extreme loads such as storm loads. Fatigue damage is affected by the magnitude of residual stresses on the weld. Recently, many shipping registers and design guides have required that the fatigue strength assessment procedure of seagoing structures under wave-induced random loading and storm loading be compensated based on the effect of residual stresses. We propose a computational procedure to analyze the residual stresses in a T-joint. Residual stresses are measured by the X-ray diffraction (XRD) method, and a 3-D finite element analysis (FEA) is performed to obtain the residual stress profile in the T-joint. The proposed finite element model is validated by comparing experiments with computational results, and the characteristics of the residual stresses in the T-joint are discussed.

• Steel and Composite Structures
• /
• v.35 no.2
• /
• pp.237-247
• /
• 2020

Shear connectors are essential elements in the design of steel-concrete composite systems. These connectors are utilized to prevent the occurrence of potential slips at the interface of steel and concrete. The two types of shear connectors which have been recently employed in construction projects are C- and L-shaped connectors. In the current study, the behavior of C and L-shaped angle shear connectors is investigated experimentally. For this purpose, eight push-out tests were composed and subjected to monotonic loading. The load-slip curves and failure modes have been determined. Also, the shear strength of the connectors has been compared with previously developed relationships. Two failure modes of shear connectors were observed: 1) concrete crushing-splitting and 2) shear connector fracture. It was found that the L-shaped connectors have less shear strength compared to C-shaped connectors, and decreasing the angle leg size increases the shear strength of the C-shaped connectors, but decreases the relative ductility and strength of L-shaped connectors.

• Steel and Composite Structures
• /
• v.35 no.2
• /
• pp.279-294
• /
• 2020

Foundation of a building is damaged under service loads during construction. First visit shows that the foundation has been punched at the 6 column's foot region led to building rotation. Foundation shear punching occurring has made some stresses and deflections in construction. In this study, progressing of damage caused by foundation shear punching and inverse loading in order to resolve the building rotation has been evaluated in the foundation and frame of building by finite element modeling in ABAQUS software. The stress values of bars in punched regions of foundation has been deeply exceeded from steel yielding strength and experienced large displacement based on software's results. On the other hand, the values of created stresses in the frame are not too big to make serious damage. In the beams and columns of ground floor, some partial cracks has been occurred and in other floors, the values of stresses are in the elastic zone of materials. Finally, by inverse loading to the frame, the horizontal displacement of floors has been resolved and the values of stresses in frame has been significantly reduced.

• Smart Structures and Systems
• /
• v.24 no.4
• /
• pp.553-566
• /
• 2019

This study aimed to categorize pervious rubberized concrete into fresh and hardened concrete analyzing its durability, permeability and strength. During the globalization of modern life, growing population and industry rate have signified a sustainable approach to all aspects of modern life. In recent years, pervious concrete (porous concrete) has significantly substituted for pavements due to its mechanical and environmental properties. On the other hand, scrap rubber tire has been also contributed with several disposal challenges. Considering the huge amount of annually tire wastes tossing out, the conditions become worse. Pervious concrete (PC) gap has graded surface assisted with storm water management, recharging groundwater sources and alleviate water run-offs. The results have shown that the use of waste tires as aggregate built into pervious concrete has tremendously reduced the scrap tire wastes enhancing environmental compliance.

• Smart Structures and Systems
• /
• v.24 no.2
• /
• pp.267-292
• /
• 2019

The present article addresses the coupled free vibration problem of skew magneto-electro-elastic plates (SMEE) considering the temperature-moisture dependent material properties. The plate kinematics follows Reddy's higher order shear deformation theory. With the aid of finite element methods, the governing equations of motion are derived considering the Hamilton's principle and solved by adopting condensation technique. The influence of different temperature and moisture dependent empirical constants on the frequency response of SMEE plate has been assessed. In addition, the natural frequencies corresponding to various fields are evaluated and the effect of empirical constants on these coupled frequencies is determined. A detailed parametric study has been carried out to assess the individual effects of temperature and moisture dependent empirical constants along with their combined effect, aspect ratio, length-to-width ratio, stacking sequence and boundary conditions. The results reveal that the external environment as well as the geometrical skewness has a significant influence on the stiffness of the SMEE plates.

• Journal of applied mathematics & informatics
• /
• v.17 no.1_2_3
• /
• pp.145-170
• /
• 2005

This paper presents scheduling models for dispatching vehicles to accomplish a sequence of container jobs at the container terminal, in which the starting times as well as the order of vehicles for carrying out these jobs need to be determined. To deal with this scheduling problem, three mixed 0-1 integer programming models, Model 1, Model 2 and Model 3 are provided. We present interesting techniques to reformulate the two mixed integer programming models, Model 1 and Model 2, as pure 0-1 integer programming problems with simple constraint sets and present a lower bound for the optimal value of Model 1. Model 3 is a complicated mixed integer programming model because it involves a set of non-smooth constraints, but it can be proved that its solutions may be obtained by the so-called greedy algorithm. We present numerical results showing that Model 3 is the best among these three models and the greedy algorithm is capable of solving large scale problems.

• Journal of applied mathematics & informatics
• /
• v.30 no.3_4
• /
• pp.365-380
• /
• 2012

Non-negative matrix factorization (NMF) is a very efficient method to explain the relationship between functions for finding basis information of multivariate nonnegative data. The multiplicative update (MU) algorithm is a popular approach to solve the NMF problem, but it fails to approach a stationary point and has inner iteration and zero divisor. So the elementwisely alternating projected gradient (eAPG) algorithm was proposed to overcome the defects. In this paper, we use the fact that the equilibrium point is stable to prove the convergence of the eAPG algorithm. By using a classic model, the equilibrium point is obtained and the invariant sets are constructed to guarantee the integrity of the stability. Finally, the convergence conditions of the eAPG algorithm are obtained, which can accelerate the convergence. In addition, the conditions, which satisfy that the non-zero equilibrium point exists and is stable, can cause that the algorithm converges to different values. Both of them are confirmed in the experiments. And we give the mathematical proof that the eAPG algorithm can reach the appointed precision at the least iterations compared to the MU algorithm. Thus, we theoretically illustrate the advantages of the eAPG algorithm.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.7 no.5
• /
• pp.967-979
• /
• 2013

Now a day, Wireless Sensor Networks (WSNs) are being widely used in different areas one of which is healthcare services. A wireless medical sensor network senses patient's vital physiological signs through medical sensor-nodes deployed on patient's body area; and transmits these signals to devices of registered medical professionals. These sensor-nodes have low computational power and limited storage capacity. Moreover, the wireless nature of technology attracts malicious minds. Thus, proper user authentication is a prime concern before granting access to patient's sensitive and private data. Recently, P. Kumar et al. claimed to propose a strong authentication protocol for healthcare using Wireless Medical Sensor Networks (WMSN). However, we find that P. Kumar et al.'s scheme is flawed with a number of security pitfalls. Information stored inside smart card, if extracted, is enough to deceive a valid user. Adversary can not only access patient's physiological data on behalf of a valid user without knowing actual password, can also send fake/irrelevant information about patient by playing role of medical sensor-node. Besides, adversary can guess a user's password and is able to compute the session key shared between user and medical sensor-nodes. Thus, the scheme looses message confidentiality. Additionally, the scheme fails to resist insider attack and lacks user anonymity.

• Journal of applied mathematics & informatics
• /
• v.26 no.1_2
• /
• pp.161-176
• /
• 2008

The effect of variable viscosity on MHD mixed convection Hiemenz flow over a thermally stratified porous wedge plate has been studied in the presence of suction or injection. The wall of the wedge is embedded in a uniform Darcian porous medium in order to allow for possible fluid wall suction or injection and has a power-law variation of the wall temperature. An approximate numerical solution for the steady laminar boundary-layer flow over a wall of the wedge in the presence of thermal diffusion has been obtained by solving the governing equations using numerical technique. The fluid is assumed to be viscous and incompressible. Numerical calculations are carried out for different values of dimensionless parameters and an analysis of the results obtained shows that the flow field is influenced appreciably by the magnetic effect, variable viscosity, thermal stratification and suction / injection at wall surface. Effects of these major parameters on the transport behaviors are investigated methodically and typical results are illustrated to reveal the tendency of the solutions. Comparisons with previously published works are performed and excellent agreement between the results is obtained.