自由软件运动对软件私权体制的实践批判

风靡全球的自由软件运动并不是一种单纯的技术运动或经营模式创新，而是在提倡和实践着一种新型的社会交往方式，意味着一种值得追求的社会理想。它与现行的软件私权体制及其意识形态发生着冲突。理查德·斯多尔曼深刻地批判了私权软件体制，这种批判不仅是理论上的，更是通过自由软件运动的实际发展现实地展开的。分析斯多尔曼定义的“私权软件体制”的含义、本质及其对社会的危害，并把斯多尔曼的思想与当代信息化的资本主义的现状进行初步的比较，对于我们深入研究自由软件运动有重要意义。     

Expert Edge

No abstract available for this article.     

The Lorenz Curve for Model Assessment in Exponential Order Statistic Models

A goodness-of-fit technique for random samples from the exponential distribution based on the sample Lorenz curve is adapted for use in the exponential order statistic (EOS) model. In the EOS model, only those observations in a random sample from the exponential distribution of unknown size N that are less than some known stopping time T are observable. The model is known as the Jelinski-Moranda model in software reliability, where it is used to estimate the number of bugs in software during development. Distributional results are derived for the distance between the sample Lorenz curve and the population Lorenz curve so that it can be used as a goodness-of-fit test statistic. Simulations show that the test has good power against several alternative distributions. Simulations also indicate that in some cases, model misspecification leads to poor parameter estimation. A plotting procedure provides a means of graphical assessment of fit.     

A Survey of Microcomputer Survival Analysis Software: The Need for an Integrated Framework

This paper surveys commercially available MS-DOS and Microsoft Windows based microcomputer software for survival analysis, especially for Cox proportional hazards regression and parametric survival models. Emphasis is given to functionality, documentation, generality, and flexibility of software. A discussion of the need for software integration is given, which leads to the conclusion that survival analysis software not closely tied to a well-designed package will not meet an analyst's general needs. Some standalone programs are good tools for teaching the theory of some survival analysis procedures, but they may not teach the student good data analysis techniques such as critically examining regression assumptions. We contrast typical software with a general, integrated, modeling framework that is available with S-PLUS.     

软件版权许可的非法垄断结构剖析

通过软件版权许可的非法垄断分析,认为版权滥用与有害市场具有非法垄断的共同特征,并提出在认定软件版权许可非法垄断的构成方面,应当充分注意版权人在版权贸易市场中的弱势地位,均衡软件版权许可给版权人和整个社会带来的利益,作出有利于版权人的判定,     

An improvement on “Integrated production strategy and reuse scenario: A CoFAQ model and case study of mail server system development”

The authors (Tang et al. (2013) [1] developed a CoFAQ model to formulate a solution for the problem of production strategy decision and reuse scenario selection for a software product family. In the previous research, we stated that the CoFAQ model was a 0–1 mixed integer nonlinear program, where only a local optimal solution might be found. In a recent study, we found that the CoFAQ could be transformed into a 0–1 mixed integer linear programming model. By solving the model, a global optimal solution can be obtained. In this paper, we present the improved formulation and the optimal solution for the case study.     

GAL器件在数控车床模拟编程器中的应用

本文介绍了利用GAL器件进行逻辑系统设计的一般思路,以及GAL16V8在数控车床模拟编程器中作为地址译码和软件加密的应用.     

Context in the Risk Assessment of Digital Systems

As the use of digital computers for instrumentation and control of safety-critical systems has increased, there has been a growing debate over the issue of whether probabilistic risk assessment techniques can be applied to these systems. This debate has centered on the issue of whether software failures can be modeled probabilistically. This paper describes a context-based approach to software risk assessment that explicitly recognizes the fact that the behavior of software is not probabilistic. The source of the perceived uncertainty in its behavior results from both the input to the software as well as the application and environment in which the software is operating. Failures occur as the result of encountering some context for which the software was not properly designed, as opposed to the software simply failing randomly. The paper elaborates on the concept of error-forcing context as it applies to software. It also illustrates a methodology which utilizes event trees, fault trees, and the Dynamic Flowgraph Methodology (DFM) to identify error-forcing contexts for software in the form of fault tree prime implicants.     

普通高校本科软件工程专业知识结构的探讨

通过对国内外软件人才培养计划的分析,结合我国软件人才的培养目标,在总结自身情况的基础上,提出了普通高校软件工程专业本科毕业生应具备的本科知识结构,并对其实现途径进行探讨。     

WINDOWS系统的维护技术概述

介绍了瑞星杀毒软件在实际应用中遇到问题的一些解决方法。说明了使用GHOST技术进行操作系统的备份和快速恢复的操作步骤与方法,指出运用WINDOWS维护技术可以延长操作系统的维护周期,提高工作效率。