软件发布机制体系结构研究

针对现有软件发布方式主要以开发者的角度进行软件开发后生命周期管理所存在的问题,提出了更为合理的以用户的角度进行软件开发后生命周期管理的思想,建立了一种新的软件发布机制体系结构。该发布机制试图解决如下问题:让用户透明地使用软件,即用户不需要显式地进行软件的安装、更新和卸载;支持软件的即点即用和使用态发布,使用态发布指安装了某软件的计算机可以作为该软件的发布源;使得系统重装后能够以较小的代价恢复到指定的状态点。最后,分析了软件动态更新和分布式软件系统发布所应解决的问题。

Strength of Offshore Pipelines in Different Operation States and Analyzing Software

在近海管线的铺设、安装、使用过程中有多种作业状态：在位、悬跨、挖沟、提吊、铺管等。各种状态下管线的受力特点不同,加上管线结构、海况和海底土壤等因素又都很复杂,所以近海管线的强度分析难度大、内容多。分别采用解析方法、数值方法（有限元法、打靶法）和二者结合来解决理论上的（如几何非线性、动边界等）、实用性方面的难点。在理论分析的基础上,编制了符合产业部门工程师使用要求的近海管线强度分析软件。介绍了该软件进行力学分析时采用的理论以及软件界面。

Updating the East Asian mtDNA phylogeny: a prerequisite for the identification of pathogenic mutations

Knowledge about the world phylogeny of human mitochondrial DNA (mtDNA) is essential not only for evaluating the pathogenic role of specific mtDNA mutations but also for performing reliable association studies between mtDNA haplogroups and complex disorder

basic research in computer science and software engineering at sklcs

The State Key Laboratory of Computer Science (SKLCS) is committed to basic research in computer science and software engineering. The research topics of the laboratory include: concurrency theory, theory and algorithms for real-time systems, formal specifications based on context-free grammars, semantics of programming languages, model checking, automated reasoning, logic programming, software testing, software process improvement, middleware technology, parallel algorithms and parallel software, computer graphics and human-computer interaction. This paper describes these topics in some detail and summarizes some results obtained in recent years.

a flexible negotiation model for an agent-based software process modelling

Our Agent-based Software Process Modelling (ASPM) approach describes a software process as a set of cooperative agents. Negotiation is the way in which the agents construct their cooperative relations, and thus the software process. Currently, most negotiation models use a fixed negotiation protocol and fixed strategies. In order to achieve the flexibility that the negotiation of the agents in ASPM requires, we propose a negotiation model NM-PA. NM-PA mainly includes a generic negotiation protocol and some rules, which possibly change in different negotiation processes. By changing the rules, the model can support multi-protocols and multi-decision-making strategies at a lower cost.

An Integrated Solution for Software Process Improvement

Since 1990s, the software industry in China has been developed very rapidly and the total revenue in recent three years of 2005, 2006 and 2007 were 390.0, 480.0, and 583.4 billions RMB respectively, increased by 28.3% annually on an average basis [1]. By the end of 2007, there were about 18,000 software enterprises in China, and the population of software professionals was 1.48 millions roughly. In the global software market, China, with annual revenue about 82.2 billions USD (8.74% of the total: 940 billions USD), currently ranks on the fourth after USA, EU and Japan. However, the software industry in China is still comparatively weak. Most software enterprises have only tens of employees and millions RBM of revenue. And the software development productivity in China varies highly across the software industry in terms of organization, development type, business area, region, language, project size and team size [2]. Co-operative efforts from the government, the industry and the academy are needed [3]. Continuous software process improvement is an effective way to change the challenging situation of the software industry in China.