平阳霉素局部注射对鼻息肉病息肉组织病理学的影响

目的通过观察平阳霉素治疗前后鼻息肉病息肉组织的病理变化情况,探讨平阳霉素治疗鼻息肉病的机制。方法应用末端脱氧核苷酸转移酶介导的脱氧三磷酸尿苷缺口末端标记法(TUNEL法)检测凋亡细胞,与相邻连续的HE染色片对位对照观察嗜酸性粒细胞的凋亡情况。结果平阳霉素治疗前鼻息肉组织嗜酸性粒细胞表达显著高于正常下鼻甲(P<0.01);治疗后鼻息肉组织中的嗜酸性粒细胞表达明显低于治疗前(P<0.01);治疗后鼻息肉组织中嗜酸性粒细胞的凋亡指数高于治疗前(P<0.01)。结论嗜酸性粒细胞是鼻息肉病息肉组织中主要的浸润炎细胞;平阳霉素可通过促进嗜酸性粒细胞凋亡达到治疗鼻息肉病的目的。     

水上交通事故模式的研究

文中提出采用数据仓库技术搭建水上交通事故(事件)管理、分析信息平台，利用数据挖掘技术自动描述、寻找事故数据背后有价值的的模式和知识．实例给出1995～2000年期间长江水域的船舶事故(事件)历史数据库的构建，通过重特大恶性碰撞事故案例的数据挖掘，量化提取事故特征，并利用广义线性模型对船舶碰桥事故建立概率预测模型，为科学组织管理长江水上交通提供理论依据．     

Automatic semantic analysis of software requirements through machine learning and ontology approach

Nowadays, software requirements are still mainly analyzed manually, which has many drawbacks (such as a large amount of labor consumption, inefficiency, and even inaccuracy of the results). The problems are even worse in domain analysis scenarios because a large number of requirements from many users need to be analyzed. In this sense, automatic analysis of software requirements can bring benefits to software companies. For this purpose, we proposed an approach to automatically analyze software requirement specifications (SRSs) and extract the semantic information. In this approach, a machine learning and ontology based semantic role labeling (SRL) method was used. First of all, some common verbs were calculated from SRS documents in the E-commerce domain, and then semantic frames were designed for those verbs. Based on the frames, sentences from SRSs were selected and labeled manually, and the labeled sentences were used as training examples in the machine learning stage. Besides the training examples labeled with semantic roles, external ontology knowledge was used to relieve the data sparsity problem and obtain reliable results. Based on the SemCor and WordNet corpus, the senses of nouns and verbs were identified in a sequential manner through the K-nearest neighbor approach. Then the senses of the verbs were used to identify the frame types. After that, we trained the SRL labeling classifier with the maximum entropy method, in which we added some new features based on word sense, such as the hypernyms and hyponyms of the word senses in the ontology. Experimental results show that this new approach for automatic functional requirements analysis is effective.     

布尔逻辑公式中文字和小项的可消性

本文给出了布尔逻辑公式中文字和小项可消性的一些充分必要条件，为进一步提出新的布尔逻辑公式的化简方法奠定了一些理论基础。     

Simulation of hydrodynamic performance of drag and double reverse propeller podded propulsors

The unsteady performance of drag and double reverse propeller podded propulsors in open water was numerically simulated using a computational fluid dynamics (CFD) method. A moving mesh method was used to more realistically simulate propulsor working conditions, and the thrust, torque, and lateral force coefficients of both propulsors were compared and analyzed. Forces acting on different parts of the propulsors along with the flow field distribution of steady and unsteady results at different advance coefficients were compared. Moreover, the change of the lateral force and the difference between the abovementioned two methods were mainly analyzed. It was shown that the thrust and torque results of both methods were similar, with the lateral force results having the highest deviation     

Study on collision between two ships using selected parameters in collision simulation

In the present analysis, several parameters used in a numerical simulation are investigated in an integrated study to obtain their influence on the process and results of this simulation. The parameters studied are element formulation, friction coefficient, and material model. Numerical simulations using the non-linear finite element method are conducted to produce virtual experimental data for several collision scenarios. Pattern and size damages caused by collision in a real accident case are assumed as real experimental data, and these are used to validate the method. The element model study performed indicates that the Belytschko-Tsay element formulation should be recommended for use in virtual experiments. It is recommended that the real value of the friction coefficient for materials involved is applied in simulations. For the study of the material model, the application of materials with high yield strength is recommended for use in the side hull structure.     

Epistemic-based investigation of the probability of hazard scenarios using Bayesian network for the lifting operation of floating objects

Owing to the increase in unprecedented accidents with new root causes in almost all operational areas, the importance of risk management has dramatically risen. Risk assessment, one of the most significant aspects of risk management, has a substantial impact on the system-safety level of organizations, industries, and operations. If the causes of all kinds of failure and the interactions between them are considered, effective risk assessment can be highly accurate. A combination of traditional risk assessment approaches and modern scientific probability methods can help in realizing better quantitative risk assessment methods. Most researchers face the problem of minimal field data with respect to the probability and frequency of each failure. Because of this limitation in the availability of epistemic knowledge, it is important to conduct epistemic estimations by applying the Bayesian theory for identifying plausible outcomes. In this paper, we propose an algorithm and demonstrate its application in a case study for a light-weight lifting operation in the Persian Gulf of Iran. First, we identify potential accident scenarios and present them in an event tree format. Next, excluding human error, we use the event tree to roughly estimate the prior probability of other hazard-promoting factors using a minimal amount of field data. We then use the Success Likelihood Index Method (SLIM) to calculate the probability of human error. On the basis of the proposed event tree, we use the Bayesian network of the provided scenarios to compensate for the lack of data. Finally, we determine the resulting probability of each event based on its evidence in the epistemic estimation format by building on two Bayesian network types: the probability of hazard promotion factors and the Bayesian theory. The study results indicate that despite the lack of available information on the operation of floating objects, a satisfactory result can be achieved using epistemic data.     

CFD-based method of determining form factor <Emphasis Type="Italic">k</Emphasis> for different ship types and different drafts

The value of form factor k at different drafts is important in predicting full-scale total resistance and speed for different types of ships. In the ITTC community, most organizations predict form factor k using a low-speed model test. However, this method is problematic for ships with bulbous bows and transom. In this article, a Computational Fluid Dynamics (CFD)-based method is introduced to obtain k for different type of ships at different drafts, and a comparison is made between the CFD method and the model test. The results show that the CFD method produces reasonable k values. A grid generating method and turbulence model are briefly discussed in the context of obtaining a consistent k using CFD.     

A simulation-based probabilistic design method for arctic sea transport systems

When designing an arctic cargo ship, it is necessary to consider multiple stochastic factors. This paper evaluates the merits of a simulation-based probabilistic design method specifically developed to deal with this challenge. The outcome of the paper indicates that the incorporation of simulations and probabilistic design parameters into the design process enables more informed design decisions. For instance, it enables the assessment of the stochastic transport capacity of an arctic ship, as well as of its long-term ice exposure that can be used to determine an appropriate level of ice-strengthening. The outcome of the paper also indicates that significant gains in transport system cost-efficiency can be obtained by extending the boundaries of the design task beyond the individual vessel. In the case of industrial shipping, this allows for instance the consideration of port-based cargo storage facilities allowing for temporary shortages in transport capacity and thus a reduction in the required fleet size / ship capacity.     

Experimental study on reflection coefficient of curved perforated plate

A set of experiments is carried out in a towing tank to study the effects of the curvature of perforated plates on the wave reflection coefficient (C _r ). The curvature of a perforated plate can be changed by rotating a reference perforated plate aboutits origin according to the parabolic equation y=?x ². A plunger-type wave maker is used to generate regular waves. The reflection coefficients are calculated using Goda and Suzuki’s (1976) method. The results are compared with those of vertical or sloped passive wave absorbers. The comparison shows that a perforated plate with a curved profile is highly efficient in terms of reducing the wave reflection coefficient. A correlation is established to estimate the reflection coefficient of curved perforated plates as a function of both flow and geometry characteristics.