Adaptability evaluation of transportation system and urban development

Sixty indexes, ranging from social development and economy increasing to ecological protection and transportation system construction, are chosen to construct an index system of adaptability evaluation on transportation system and urban development. A synthesis model with nonlinear characteristic is proposed, and the corresponding procedure is presented based on an improved AHP model, which utilizes the SVD method to improve the required precision of matrix with acceptable consistency weight and detect and amend the significant elements via distance and proximity so as to improve the whole consistency. Taking Shandong Province for the case study, experimental results indicate that the adaptability degree of the system is in an increasing state, which provides robust and effective support for decision-makers working on a range of problems and in various circumstances.     

河南省农村经济发展的灰色理论分析

运用灰色理论分析的方法,对河南省18个地市的农村经济进行灰色关联评判和排序,确定各个地市经济发展的优劣次序和各地市的优势因素,为河南省各个地市农村经济发展提供理论参考依据,并预测了河南省农民今后几年的人均收入,以验证模型的合理性,最后对河南省农村经济发展提出了几条建议.     

碾压混凝土拱坝诱导缝损伤开裂准则研究

混凝土宏观裂缝失稳扩展前 ,裂缝前缘存在较大范围的损伤区 ,使得线弹性断裂判据失效。本文采用虚拟裂缝模型和连续损伤力学方法 ,计算了断裂过程区的长度和损伤度。根据碾压混凝土拱坝诱导缝构造特点 ,分别将诱导缝简化为穿透形裂缝和椭圆形裂缝 ,应用双K断裂准则 ,计算了诱导缝起始扩展和失稳扩展时的等效损伤度和等效应变 ,建立了碾压混凝土拱坝诱导缝的损伤开裂准则     

XRD测定炭素材料的石墨化度

介绍了用X射线衍射(XRD)测定炭素材料石墨化度的原理和方法,指出:用高纯硅粉作内标校准测量误差是必要的;当炭石墨的衍射线呈现不对称时,必须进行多重峰分离,这说明试样含有不同石墨化度的组分,同时可计算出它们相应的含量。     

非饱和粉土回弹模量的应力依赖性与水敏感性耦合分析

为了研究路基内部应力状态和含水率变化对回弹模量的影响,建立了路基土回弹模量的预估模型。根据室内三轴重复加载试验结果,研究了应力依赖性控制指标的选择,结果表明:体应力变化时,回弹模量不具有单调变化的规律,所以不宜作为应力依赖性的控制指标;而利用围压和偏应力作为控制指标时则能全面的反映回弹模量的变化规律。根据土水特征曲线,利用基质吸力表征含水率的影响,构建应力依赖性和水敏感性的耦合模型,并通过试验结果的拟合验证,发现该模型能够较好地反映回弹模量随应力水平和含水率变化的规律。     

一种新的群排序方法——对信息流动法的改进与完善

用信息论的思想,对信息流动法提出了改进的方法,同时给出了计算程序框图。     

Slicing Software for Model Construction

Applying finite-state verification techniques (e.g., model checking) to software requires that program source code be translated to a finite-state transition system that safely models program behavior. Automatically checking such a transition system for a correctness property is typically very costly, thus it is necessary to reduce the size of the transition system as much as possible. In fact, it is often the case that much of a program's source code is irrelevant for verifying a given correctness property.In this paper, we apply program slicing techniques to remove automatically such irrelevant code and thus reduce the size of the corresponding transition system models. We give a simple extension of the classical slicing definition, and prove its safety with respect to model checking of linear temporal logic (LTL) formulae. We discuss how this slicing strategy fits into a general methodology for deriving effective software models using abstraction-based program specialization.     

C2C商家信任度动态分类机制研究

在C2C电子商务的交易中,买家因交易目的不同,对商家信任度的粒度要求是不同的。为提高交易的成功率,应建立商家信任度的动态分类机制,以满足不同应用的需求。为此,从买家对商家信任的本质出发,首先通过使用模糊集合理论的隶属度概念,提出了信任的定量描述方法;其次,引进模糊聚类分析方法,建立了商家信任度的动态分类机制;最后,通过实验仿真分析,验证了该方法的有效性和合理性。     

Mixture equations of state: Composition dependence

This paper discusses theoretical models for the composition dependence of equations of state and compares the quality of predictions against experimental thermodynamic property data. The mean density approximation (MDA) and the van der Waals one-fluid (VDW1) model are compared with hybrid mixing rules (HMR), in which rigorous composition dependence is used for the second and third virial coefficients and the conformai solution model is used for equation-of-state density terms beyond the third virial term. It is found that when values of unity are used for all binary and three-body unlike interaction parameters, calculated densities for methane-normal heptane mixtures have average absolute deviations of 3.54% for MDA, 4.04% for VDW1, and 2.59% for HMR. When vapor-liquid equilibrium calculations were performed for the methane-normal heptane system, average absolute deviations of calculatedK values from experimental values were 16.7% for methane and 36.4% for normal heptane using HMR, whereas when conformal solution model (CSM) mixing rules were used, the results were 34.8% for methane and 66.7% for normal heptane. When the binary interaction parameter for the characterization of interaction energies is determined, it is found to be less sensitive to state conditions in the case of HMR than either MDA or VDW1. These preliminary results suggest the potential of mixture equation-of-state methods which utilize rigorous composition dependence for the lower-order virial coefficients.Paper presented at the Second U.S.-Japan Joint Seminar on Thermophysical Properties, June 23, 1988, Gaithersburg, Maryland, U.S.A.     

Localizable imaging study for the noninvasive diagnosis of lesions with the backscattering polarized light

The asymmetry appearing in the degree of polarization (DOP) distribution of the backscattering polarized light from tissues is investigated by using polarized Monte Carlo simulation. When the incident point is close to the boundary of the lesion inside the tissue, high asymmetry emerges regardless of the polarized direction of the incident light. A noninvasive method based upon the DOP asymmetry of the backscattering light is proposed to locate lesions hidden in live tissues by scanning a point light source. Imaging of the front projection on complicated lesion structures is demonstrated with this method. Its transverse resolution, which is affected by the wavelength of incident light and the size of the scattering particle, can reach the diameter of the lesion scattering particle theoretically while the best longitudinal detection depth can be achieved by choosing a suitable incident wavelength according to the scattering characters of the tissue.