软件可靠性的UML建模研究与设计

本文提出了一个针对软件可靠性建模和评估的UML剖面,标识了这个剖面的主要组成包并且给出了需要包括在这些包中的基本元素的详细定义。     

含油气区域自动提取的多剖面分析方法

作者在文献[1]中给出了一个用于地震勘探剖面图象岩性分析的模式识别专家系统,它包 含低级处理及高级处理系统.本文给出一个岩性变化的多剖面自动分析方法.它是低级处理 系统的内容,为高级处理系统提供剖面图岩性变化区域的分类描述,亦可单独运行,输出垂直 剖面上的岩性分布,直接提取含油气区域.应用模式识别技术判断含油气区域,目前的方法都 是在单一种剖面图上实现的,其效果离实用尚有很大距离.本文的方法综合利用多种剖面图 象信息,在理论和实用上有更高价值.在CYBER系统上应用该方法处理实际测线数据的结. 果,输出了岩性分布图,其中的含油气区域与人工解释及当前出油井位的情况非常吻合.     

软件可靠性工程中的操作剖面开发*

操作剖面描述了用户对软件的使用情况．通过建立软件系统的操作剖面，可以有效地指导测试工作，最大限度地提高软件的可靠性．本文在介绍操作剖面主要概念的基础上，着重分析、讨论了开发操作剖面的基本过程及主要方法．     

软件可靠性工程中的操作剖面开发

操作剖面描述了用户对软件的使用情况，通过建立软件系统的操作剖面，可以有效地指导测试工作，最大限度地提高软件的可靠性，本文在介绍操作剖面主要概念的基础上，着重分析、讨论了开发操作剖面的基本过程及主要方法。     

基于使用剖面的软件可靠性测试用例生成方法

为了获得软件的可靠性指标,需要设计操作剖面来仿真用户实际使用软件的情况,并基于操作剖面来进行可靠性测试.传统的基于操作剖面的可靠性测试方法难以适用于航天软件,为了解决此问题,描述了一种具有层次化网络体系结构特征的使用剖面的形式化定义,阐述了构造这种使用剖面的系统化方法,给出了根据使用剖面生成用于软件可靠性测试操作序列的算法,以及基于操作序列生成可靠性测试用例的方法.提出的方法经过实验验证表明是可行的.     

基于多版本较准的软件可靠性评估

软件可靠性模型都要求测试时的操作剖面与实际运行时的操作剖面一致,但这往往很难达到,造成测试完成之后的可靠性预计与发布之后实际运行中达到的可靠性有较大差距.为了提高软件可靠性评估的准确性,提出了剖面差异性的概念,认为同一软件各个版本的测试操作剖面与实际操作剖面之间的差异性是相同的.在此前提下,提出了一个多版本校准方法,利用软件以前版本的剖面差异性来改进软件当前版本的可靠性评估.     

操作剖面对软件可靠性评估可信度的影响研究

总结了操作剖面的主要模型。分析在软件可靠性评估时进行不确定分析的必要性。对基于静态概率分布的操作剖面进行了不确定性分析,建立了相应的不确定操作剖面模型。利用Taylor展式表示可靠度的矩量,并用矩法得到评估结果的可信度,进而分析不确定操作剖面对可靠度评估结果可信度的影响。     

UML技术在软件可靠性测试中的应用

软件操作剖面的建立是进行软件可靠性测试的基础.介绍了使用UML技术建立软件操作剖面的方法,并结合具体应用实例说明了使用该技术构建软件操作剖面的过程.     

三维折剖面的Delaunay三角剖分算法

三维折剖面Delaunay三角剖分在三维地质建模和其他领域具有广泛应用。目前常用的方法是将其投影到二维平面三角剖分。该方法有三点不足：（1）违反Delaunay三角剖分优化准则;（2）悬三角形问题;（3）投影多值问题。通过研究分析三维折剖面的数据组织以及几何特点,提出了折剖面“展开”剖分方法,即将三维折剖面的三角剖分转化为二维平剖面的剖分。该方法具有点之间的水平距离以及原剖面数据拓扑关系不变的优点,很好地解决了折剖面投影三角剖分的不足。     

矢量与栅格结合的三维地质模型编辑方法

三维地质模型主要通过剖面构造．自动建模方法要求这些剖面基本平行,并且相邻剖面地质体的差别不能过大．本文针对剖面数据较少且不平行的情形,设计了人机交互的三维地质模型构造方法,利用普通多面体栅格化算法和由Marching Cubes算法得到的光栅矢量化,实现了光栅和矢量模型的相互转换．在保证模型间拓扑正确的基础上,提高了地质模型的编辑效率,并在实践中得到了检验．     

MIDP UI本地方法在Linux上的设计与实现

MIDP是J2ME类库的一个Profile层,用户界面更是其中不可或缺的模块.本文在Linux操作系统上设计并实现了MIDP UI本地方法层的模块,设计以性能为先,充分利用操作系统本地提供的各种特性.     

Fixing the nonconvergence bug in logistic regression with SPLUS and SAS

When analyzing clinical data with binary outcomes, the parameter estimates and consequently the odds ratio estimates of a logistic model sometimes do not converge to finite values. This phenomenon is due to special conditions in a data set and known as 'separation'. Statistical software packages for logistic regression using the maximum likelihood method cannot appropriately deal with this problem. A new procedure to solve the problem has been proposed by Heinze and Schemper (Stat. Med. 21 (2002) pp. 2409-3419). It has been shown that unlike the standard maximum likelihood method, this method always leads to finite parameter estimates. We developed a SAS macro and an SPLUS library to make this method available from within one of these widely used statistical software packages. Our programs are also capable of performing interval estimation based on profile penalized log likelihood (PPL) and of plotting the PPL function as was suggested by Heinze and Schemper (Stat. Med. 21 (2002) pp. 2409-3419).     

SAS and SPLUS programs to perform Cox regression without convergence problems

When analyzing survival data, the parameter estimates and consequently the relative risk estimates of a Cox model sometimes do not converge to finite values. This phenomenon is due to special conditions in a data set and is known as 'monotone likelihood'. Statistical software packages for Cox regression using the maximum likelihood method cannot appropriately deal with this problem. A new procedure to solve the problem has been proposed by G. Heinze, M. Schemper, A solution to the problem of monotone likelihood in Cox regression, Biometrics 57 (2001). It has been shown that unlike the standard maximum likelihood method, this method always leads to finite parameter estimates. We developed a SAS macro and an SPLUS library to make this method available from within one of these widely used statistical software packages. Our programs are also capable of performing interval estimation based on profile penalized log likelihood (PPL) and of plotting the PPL function as was suggested by G. Heinze, M. Schemper, A solution to the problem of monotone likelihood in Cox regression, Biometrics 57 (2001).     

基于LBSN的个性化旅游包推荐系统

旅游是人们生活中的重要部分,但是制定旅游计划是一件繁杂的工作。基于位置的社交网络(LBSN)的发展,提供了大量关于位置和活动的信息。为辅助用户制订旅游计划,本文提出一个基于LBSN的个性化旅游包推荐系统。该系统利用采集自LBSN的数据,建立地点和用户偏好模型,根据用户需求,在时空约束下生成旅游路线,形成旅游包推荐给用户。本文实现的原型系统能交互地获取用户旅游意向,实时生成多个旅游包供用户选择,对游客制订旅游计划具有一定的参考价值。     

A comparative study of the reliability of nine statistical software packages

The reliabilities of nine software packages commonly used in performing statistical analysis are assessed and compared. The (American) National Institute of Standards and Technology (NIST) data sets are used to evaluate the performance of these software packages with regard to univariate summary statistics, one-way ANOVA, linear regression, and nonlinear regression. Previous research has examined various versions of these software packages using the NIST data sets, but typically with fewer software packages than used in this study. This study provides insight into a relative comparison of a wide variety of software packages including two free statistical software packages, basic and advanced statistical software packages, and the popular Excel package. Substantive improvements from previous software reliability assessments are noted. Plots of principal components of a measure of the correct number of significant digits reveal how these packages tend to cluster for ANOVA and nonlinear regression.     

The use of the Govver metric statistic to compare temporal profiles from AVHRR data: a forestry and agriculture application

Research on the application of coarse spatial resolution imagery has focused on the potential of the Normalized Difference Vegetation Index (NDVI) and similar indices to identify and map land cover al a regional scale. The ready availability of Advanced Very High Resolution Radiometer (AVHRR) data has allowed the development of methods which observe the change in spectral character of specific ground locations over time through the pattern of the temporal NDVI profile. This letter describes a method of analysing NDVI temporal profiles using a similarity measure which is commonly available in pattern analysis packages. This method is applied in an agricultural and forested context.     

Universal software packages to model the distributed-parameter systems

Consideration was given to the universal software packages for modeling objects and distributed-parameter systems obeying the partial differential equations. The packages may serve as important tools for industrial automation because the majority of industrial objects have distributed parameters. The review presented the results of comparing a number of commercial packages against a set of user-defined criteria. Its final part was devoted to some freeware packages. Conclusions were drawn, and recommendations for using the considered packages were given.     

计及Spark和属性权重的售电套餐推荐方法

针对电力市场用户群庞大，交易过程中售电套餐选择困难的问题，在Spark环境下设计了一种售电套餐推荐方法，同时也解决了售电套餐推荐过程中在大数据环境下的可扩展性及实时性问题。首先，计算出每个套餐属性的权重值，从而计算得到售电套餐综合相似度。然后，计及用户和套餐两方面提出一种售电套餐推荐方法，实现售电套餐的精准推荐。实验表明，提出的推荐方法能够明显提高推荐的准确度，并且在分布式环境下具有良好的推荐效率和可扩展性。     

User documentation and control language I: Evaluation and comparison of statistical computer packages

Procedures for comparing and evaluating aspects of the user interface of statistical computer packages are described. These procedures are implemented in a study of three packages. SPSS. BMDP and Minitab, by a class of 21 students with some statistical background. It was found that most participants exhibited consistent personal preferences among the packages. In selecting packages to solve specific problems, however, their choice was determined more by issues of good statistical practice than by personal preference for overall package features.