Publish in OALib Journal

ISSN: 2333-9721

APC: Only $99


Any time

2020 ( 1 )

2019 ( 287 )

2018 ( 1785 )

2017 ( 1700 )

Custom range...

Search Results: 1 - 10 of 104202 matches for " Zhang Zhongkun "
All listed articles are free for downloading (OA Articles)
Page 1 /104202
Display every page Item
The Model of Checking Method Based on? Improved Computation Tree Logic Possibility Measure

CHEN Yansheng
,ZHANG Zanbo,WU Zhongkun,REN Jiangtao

- , 2015,
Abstract: 可能性测度计算树逻辑模型检测验证中存在诸多问题,例如低性能效率和高时间复杂度。针对上述问题,基于传统的模型检测标记算法,为满足高复杂性、大规模的公式标记检测,设计并实现了IPM_CTL算法。其基本步骤如下:第一步,先利用相关可能性测度对逻辑树公式进行计算,预处理标识公共子表达式的唯一性;第二步,在充分确保模型检测空间平衡状态下设定公共子表达式与可能性测度计算树逻辑模型状态;第三步,实施验证,为可能性测度计算树逻辑公式以极大概率一次性实现验证提供了保证。经过模拟实验发现,这一种方法一方面在很大程度上减小了相关时间复杂度,另一方面还使验证性能有所提升

Zhang Zhongkun,Li Haibin,Yin Zongze,Cao Zhengkang,

岩石力学与工程学报 , 2004,
Abstract: The definition and current study situation on critical length of pile in composite foundation are analyzed. By means of numerical analysis,the existence of critical length of pile in composite foundation under embankment of highway is revealed. Take the composite foundation at the section K102+990 of NingTong highway for example,the critical length of pile is studied by means of FEM and semi-analysis method.

Zhang Zhongkun,Hou Xueyuan,Cao Zhengkang,Yin Zongze,

岩石力学与工程学报 , 2001,
Abstract: The current study on both coal ash and expanded polystyrene (EPS) used as the filler of road embankment to reduce settlement of road embankment is reviewed. The extensive geotechnical meaning of EPS application is pointed out.
Study on Simulation Method of the Smoke-dust in Nuclear Decommissioning Virtual Simulation
ZHongkun Liu,MinJun Peng,Qiang Zhao
Journal of Computers , 2011, DOI: 10.4304/jcp.6.2.343-350
Abstract: In nuclear facilities decommissioning virtual simulation system, simulating the behavior of radioactive smoke-dust is important to the facticity of virtual scene, which is useful to reflect the distribution of radioactive nuclide and radiation dose. Based on three-dimensional numerical calculation, simulating transportation of smoke-dust can be realized. In this research, the corresponding mathematical model was studied firstly, and then the semi-Lagrangian method was used to solve the equations. In the process of solving equations, a splitting-approach was adopted to achieve the component equations, and then the semi-Lagrangian method was used to solve both transient and convection terms. The projection algorithm constraint-based was adopted to solve the pressure equation for incompressible fluid. This study realized a test program, which simulate the three-dimensional flow field and distribution of smoke-dust concentrations. The stable and fast solution can be achieved by using the method described in this paper.
Comparison of Weighted Sum Fitness Functions for PSO Optimization of Wideband Medium-gain Antennas
Zhongkun Ma.,G. A. E. Vandenbosch
Radioengineering , 2012,
Abstract: In recent years PSO (Particle Swarm Optimization) has been successfully applied in antenna design. It is well-known that the cost function has to be carefully chosen in accordance with the requirements in order to reach an optimal result. In this paper, two different wideband medium-gain arrays are chosen as benchmark structures to test the performance of four PSO fitness functions that can be considered in such a design. The first one is a planar 3 element, the second one a linear 4 element antenna. A MoM (Method of Moments) solver is used in the design. The results clearly show that the fitness functions achieve a similar global best candidate structure. The fitness function based on realized gain however converges slightly faster than the others.
Zhongzhen Zhou,Wenwei You,Zhongkun Tang,Peiliang Zhao
Acta Crystallographica Section E , 2009, DOI: 10.1107/s1600536809028815
Abstract: In the crystal structure of the title compound, C25H30N2O4, the steric size of the tert-butyl group causes the 3,5-dimethylphenyl ring to adopt a transoid geometry with respect to the N—C(O) bond. The six-membered heterocyclic ring is disordered over two sites, with occupancies of 0.553 (4) and 0.447 (4). Intramolecular C—H...O interactions are present. In the crystal, molecules are linked by intermolecular N—H...O and C—H...O hydrogen bonds.
Characteristics of odorous carbonyl compounds in the ambient air around a fishery industrial complex of Yeosu, Korea
Zhongkun M,Junmin Jeon,Sangchai Kim,Sangchul Jung,Woobum Lee,Seonggyu Seo,
Zhongkun M
,Junmin Jeon,Sangchai Kim,Sangchul Jung,Woobum Lee,Seonggyu Seo

环境科学学报(英文版) , 2012,
Abstract: In this study, the amounts of odorous carbonyl compounds (OCCs) including acetaldehyde (Acet-A), propionaldehyde (Pron-A), butylaldehyde (Buty-A), iso-valeric aldehyde (Iso-Vale-A) and n-valeric aldehyde (N-Vale-A) emitted from a fishery industrial complex near the exhibition facilities of "Expo 2012 Yeosu Korea" were measured. Acet-A was found to be the most abundant OCC, and the total concentrations of the OCCs were the highest in the summer. However, due to vehicular exhaust and photochemical reactions, the concentrations of some of the OCCs presented their highest levels in the fall. A significant correlation between Acet-A and Buty-A was found at the major fishery facilities (r = 0.816, p = 1.87E-15, n = 60) and at the border areas (r = 0.809, p = 3.40E-12, n = 48) of this fishery industrial complex. The concentrations of OCCs at the border areas were not worse than those at the urban areas in other places, indicating that the concentrations of ambient OCCs at the border areas were not greatly influenced by manmade activities.
An Efficient and Concise Algorithm for Convex Quadratic Programming and Its Application to Markowitz’s Portfolio Selection Model  [PDF]
Zhongzhen Zhang, Huayu Zhang
Technology and Investment (TI) , 2011, DOI: 10.4236/ti.2011.24024
Abstract: This paper presents a pivoting-based method for solving convex quadratic programming and then shows how to use it together with a parameter technique to solve mean-variance portfolio selection problems.
Investigation and Analysis of Sexual Harassment in Corporate Workplace of China  [PDF]
Xiaobing Zhang, Zewei Zhang
Sociology Mind (SM) , 2012, DOI: 10.4236/sm.2012.23038
Abstract: At present, sexual harassment in domestic workplace has a high probability of occurrence, which causes more and more attention. In this paper, the form of sexual harassment in workplace, and how to solve the sexual harassment were investigated and analyzed through questionnaires; and countermeasures and management suggestions were put forward from three aspects of corporate, employees and family.
Chaos Control in a Discrete Ecological System  [PDF]
Limin Zhang, Chaofeng Zhang
International Journal of Modern Nonlinear Theory and Application (IJMNTA) , 2012, DOI: 10.4236/ijmnta.2012.13011
Abstract: In research [1], the authors investigate the dynamic behaviors of a discrete ecological system. The period-double bifurcations and chaos are found in the system. But no strategy is proposed to control the chaos. It is well known that chaos control is the first step of utilizing chaos. In this paper, a controller is designed to stabilize the chaotic orbits and enable them to be an ideal target one. After that, numerical simulations are presented to show the correctness of theoretical analysis.
Page 1 /104202
Display every page Item

Copyright © 2008-2017 Open Access Library. All rights reserved.