On the simulation of molded micro components and systems

Regarding micro components and systems, experimental work for characterizing materials’ properties as well as components’ and systems’ behaviors have to be supplemented by numerical analyses. These analyses should cover component and system issues. On a component level, macroscopic approaches are extended by methods allowing consideration of the influence of components’ grain structures including possible defects. On a system level, the high tolerances accepted for the individual components due to production inaccuracy and their effects on the expected load distribution capability of the system are taken into account. This paper presents approaches for simulation of micro components and systems using the finite element method and multi body simulation. Methods to overcome the abovementioned issues will be shown, as well as the effects of grain structure on the stress distribution in the individual components.     

A software size model

A bottom-up approach to software size estimation is described. It first identifies factors affecting software size, thus obtaining size explanation equations, and then seeks suitable predictors based on those explanation factors which can be used for size estimation. The approach, or model, is bottom-up in that it sizes individual software components or modules first, and then obtains subsystem and system sizes by summing component sizes. Since components may have different purposes and characteristics, the model allows for the partitioning of system components into several different types, each component type having different size explanation and estimation equations. The partitioning is not fixed, but depends on the particular software development technology. The model is applied to several different software systems, including both business applications and systems programs     

以制造商为核心的复杂供应链网络多级局域世界演化模型

为揭示以制造商为核心的供应链网络演化规律,以BA模型和多级局域世界理论为基础,结合现实网络中节点生成与退出机制,提出了一种五级局域世界网络模型。首先,研究了以制造商为核心的供应链网络的内在特性和演化机制;其次,分析了网络的拓扑结构和演化规则,建立了仿真模型;最后,仿真分析了不同时间步以及不同临界条件下节点数量、集聚系数、度分布等网络特性参数的变化,推导出网络的演化规律。仿真结果表明:以制造商为核心的供应链网络具有无标度、高集聚性;随着时间的推进以及节点增长速度的增加,网络整体的度分布趋近于指数为3的幂律分布;网络内各级局域世界的度分布不同,二级供应商、零售商的度服从幂律分布,一级供应商和分销商的度服从指数分布,制造商的度大致服从泊松分布。     

群体沟通影响策略的研究

利用社会计算相关知识,构建了群体沟通仿真平台。实验结果表明,仿真平台的运行结果与分析实际数据的结果相似,主要表现为:话题数与话题的浏览数、回复数的分布分别具有幂律分布特征;话题以不同的模式进行传播。基于构建的群体沟通仿真平台,研究了群体沟通的影响策略,定量分析了三种不同的影响策略,实验结果对促进群体沟通具有一定作用。     

开源软件库中文件修改的统计特性:案例分析

开源软件的开放合作模式有望改变传统的软件开发方式,挖掘SVN(Subversion)代码库中文件的版本变化规律,有助于发现潜在缺陷,从而改善软件质量。以两个面向对象开源软件为例,发现其中的类文件修改次数大致服从幂率分布,并且修改次数多的类,其相邻版本间内容的修改量也大致服从幂率分布;此外,类的修改次数与代码行数和导入类的个数呈明显的正相关性,表明类的功能和结构倾向于变得更复杂。案例分析的发现有望为研究开源软件的演化规律、重构时间点的选择以及维护任务的分配等提供新的思路。     

面向构件化软件的合约检查测试框架

基于构件软件开发的主要思想是使用现存的构件来建构软件系统。而这样的系统由于构件本身的特点导致了许多测试困难。B. Meyer将构件与其客户代码之间的关系形式化地定义为一种合约,它严格限定了构件对象之间的交互规则。通过对合约的监视和检查,可以容易地发现构件之间的交互错误,从而达到集成测试构件化软件的目的。该文提出了一种基于合约检查的构件集成测试框架 (contract-checking test framework,CCTF)。讨论了该框架合约检查的思想、5大功能模块以及其测试流程,并介绍了将CCTF应用到构件化软件测试平台实现的一些关键技术。     

水电运行仿真软件网络结构特征的度量

为了使水电运行仿真软件系统Wemade平稳运行,结合软件工程和复杂网络理论,提取Wemade软件网络拓扑结构,利用网络拓扑特征参数值来分析软件系统结构的特征,得出在Wemade软件网络中度与结构洞呈幂律相关性,度与中心度不具有明显的相关性,这说明Wemade软件结构中模块化程度比较高,软件结构层次比较少。研究Wemade三个版本的软件网络特征,得出在软件系统进化过程中,网络中心度和同配系数变大,平均最短路径变小,结构洞与度的幂律相关性逐渐增强,所以对软件系统再设计时要平衡模块间的聚类和耦合,把握关键模块的设计。     

Scale-free network models with accelerating growth

Complex networks are everywhere. A typical example is software network. Basing on analyzing evolutive structure of the software networks, we consider accelerating growth of network as power-law growth, which can be more easily generalized to real systems than linear growth. For accelerating growth via a power law and scale-free state with preferential linking, we focus on exploring the generic property of complex networks. Generally, two scenarios are possible. In one of them, the links are undirected. In the other scenario, the links are directed. We propose two models that can predict the emergence of power-law growth and scale-free state in good agreement with these two scenarios and can simulate much more real systems than existing scale-free network models. Moreover, we use the obtained predictions to fit accelerating growth and the connectivity distribution of software networks describing scale-free structure. The combined analytical and numerical results indicate the emergence of a novel set of models that considerably enhance our ability to understand and characterize complex networks, whose applicability reaches far beyond the quoted examples.     

Scale-free network modles with accelerating growth

Complex networks are everywhere. A typical example is software network. Basing on analyzing evolutive structure of the software networks, we consider accelerating growth of network as power-law growth, which can be more easily generalized to real systems than linear growth. For accelerating growth via a power law and scale-free state with preferential linking, we focus on exploring the generic property of complex networks. Generally, two scenarios are possible. In one of them, the links are undirected. In the other scenario, the links are directed. We propose two models that can predict the emergence of power-law growth and scale-free state in good agreement with these two scenarios and can simulate much more real systems than existing scale-free network models. Moreover, we use the obtained predictions to fit accelerating growth and the connectivity distribution of software networks describing scale-free structure. The combined analytical and numerical results indicate the emergence of a novel set of models that considerably enhance our ability to understand and characterize complex networks, whose applicability reaches far beyond the quoted examples.     

The evaluation of software systems' structure using quantitative software metrics

The design and analysis of the structure of software systems has typically been based on purely qualitative grounds. In this paper we report on our positive experience with a set of quantitative measures of software structure. These metrics, based on the number of possible paths of information flow through a given component, were used to evaluate the design and implementation of a software system (the UNIX operating system kernel) which exhibits the interconnectivity of components typical of large-scale software systems. Several examples are presented which show the power of this technique in locating a variety of both design and implementation defects. Suggested repairs, which agree with the commonly accepted principles of structured design and programming, are presented. The effect of these alterations on the structure of the system and the quantitative measurements of that structure lead to a convincing validation of the utility of information flow metrics.     

Variable-structure coherent systems†

The notion of coherent systems plays an essential role in conventional reliability theory. A system is said to be coherent if all of its components are relevant and the system reliability is improved as the component reliabilities are improved. However, in many complex systems or networks, not all the components are unconditionally relevant. As a result, in this paper we introduce the notion of variable-structure coherent systems to describe those systems that extensively exist and demonstrate essentially distinct features not observed in conventional coherent systems. A variable-structure coherent system consists of a number of substructures that are each a coherent system in conventional sense themselves. We then analyze the structural properties of variable-structure coherent systems; define the system operational profile, the system reliability, and the system structural profile. We study the system life distribution, the substructure importance, and the component importance. Finally, we deal with phase-cyclic systems in the context of variable-structure coherent systems.     

一个可证明安全的代理签名方案

代理签名是一方将自己签名的能力授权给另一方，是一种很重要的密码协议，目前已知的可证明安全的代理签名还很少。该文利用间隙Diffie-Hellman(GDH)群的特点构造了一个新的代理签名方案，新方案在随机预言模型下是可证明安全的。     

Size distribution and waiting times for the avalanches of the Cell Network Model of Fracture

The Cell Network Model is a fracture model recently introduced that resembles the microscopical structure and drying process of the parenchymatous tissue of the Bamboo Guadua angustifolia. The model exhibits a power-law distribution of avalanche sizes, with exponent −3.0 when the breaking thresholds are randomly distributed with uniform probability density. Hereby we show that the same exponent also holds when the breaking thresholds obey a broad set of Weibull distributions, and that the humidity decrements between successive avalanches (the equivalent to waiting times for this model) follow in all cases an exponential distribution. Moreover, the fraction of remaining junctures shows an exponential decay in time. In addition, introducing partial breakings and cumulative damages induces a crossover behavior between two power-laws in the histogram of avalanche sizes. This results support the idea that the Cell Network Model may be in the same universality class as the Random Fuse Model.     

Understanding the role of licenses and evolution in open architecture software ecosystems

The role of software ecosystems in the development and evolution of open architecture systems whose components are subject to different licenses has received insufficient consideration. Such systems are composed of components potentially under two or more licenses, open source or proprietary or both, in an architecture in which evolution can occur by evolving existing components, replacing them, or refactoring. The software licenses of the components both facilitate and constrain the system's ecosystem and its evolution, and the licenses’ rights and obligations are crucial in producing an acceptable system. Consequently, software component licenses and the architectural composition of a system help to better define the software ecosystem niche in which a given system lies. Understanding and describing software ecosystem niches for open architecture systems is a key contribution of this work. An example open architecture software system that articulates different niches is employed to this end. We examine how the architecture and software component licenses of a composed system at design time, build time, and run time help determine the system's software ecosystem niche and provide insight and guidance for identifying and selecting potential evolutionary paths of system, architecture, and niches.     

A modified Yule process to model the evolution of some object-oriented system properties

We present a model based on the Yule process, able to explain the evolution of some properties of large object-oriented software systems. We study four system properties related to code production of four large object-oriented software systems - Eclipse, Netbeans, JDK and Ant. The properties analysed, namely the naming of variables and methods, the call to methods and the inheritance hierarchies, show a power-law distribution as reported in previous papers for different systems. We use the simulation approach to verify the goodness of our model, finding a very good correspondence between empirical data of subsequent software versions, and the prediction of the model presented.     

Checking Event-Based Specifications in Java Systems

One of today's challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications describing how a component should be used and checks these specifications in real Java systems. CHET is able to check a wide range of complex conditions in large software systems without programmer intervention. It does this by doing a complete and detailed flow analysis of the software and using this analysis to build a simpler, model program. This paper explores the motivations for CHET, the specification techniques that are used, and the methodology used in statically checking that the specifications are obeyed in a system.     

ABC:基于体系结构、面向构件的软件开发方法

基于构件的软件复用和开发被认为是提高软件开发效率和质量的有效途径,并在分布式系统中得到了广泛的应用.但是,目前的软件构件技术主要还是着眼于构件实现模型和运行时互操作,缺乏一套系统的方法以指导整个开发过程.近年来,以构件为基本单元的软件体系结构研究取得了较大的发展.它通过对软件系统整体结构和特性的描述,为面向构件的软件开发提供了一个自顶向下的途径.介绍了一种以软件体系结构为指导,面向构件的软件开发方法,试图为基于构件的软件复用提供一种有效的解决方案.这种方法主要是将软件体系结构引入到软件开发的各个阶段,作为系统开发的蓝图,利用工具支持的自动转换机制缩小从高层设计到实现的距离,而后在构件平台的运行支持下实现自动的系统组装生成.     

Supplier selection and purchase problem for multi-echelon defective supply chain system with stochastic demand

In the real production process, some members in the supply chain system sometimes cannot effectively complete their production task because of defects involving the production or purchasing of components. A supply chain system that has defects in at least one echelon is called a multi-echelon defective supply chain (MDSC) system. Most supply chain systems are MDSC systems. Determining parts or components supply quota from different suppliers with limited suppliers, factories and distribution centers capacities in the supply chain system are becoming an important issue for businesses. In this study, we propose a new heuristic (H2) which is an extension of H1 heuristic that was previously presented. The MDSC system was formed with the mixed integer linear programming by LINDO software for calculation of the lower bound. The heuristics and MDSC system were modeled by using ProModel software. The heuristics were applied to a case from the Turkish furniture industry. The heuristics were compared with each other by considering different coefficients of variation, service levels, and deviation from lower bound. Simulation experiments showed that the proposed H2 heuristic outperformed the H1 heuristic.     

A software architecture for distributed computer control systems

Distributed computer control systems have a number of potential advantages over centralized systems, especially where the application is itself physically distributed. A computer station can be placed close to the plant being controlled, and a communications network used to enable the stations to communicate to coordinate their actions. However, the software must be carefully designed to exploit the potential advantages of distribution. This paper describes the software architecture of CONIC, a system to support distributed computer control applications. This architecture emphasizes the distinction between the writing of individual software components and the construction and configuration of a system from a set of components. A modular structure is used to separate programming from configuration. Typed entry and exit ports are used to clearly define module interfaces. Ports, analagous to the plugs and sockets of hardware components, permit modules to be interconnected in different ways. On-line modification and extension of the system is supported by permitting the dynamic creation and interconnection of modules. Message passing primitives are provided to permit modules to coordinate and synchronize control actions.