A New Method for Measurement and Reduction of Software Complexity

This paper develops an improved structural software complexity metrics named information flow complexity which is closely related to the reliability of software. Together with the three software complexity metrics, the total software complexity is measured and some rules to reduce the complexity are presented in the paper. To illustrate and explain the process of measurement and reduction of software complexity, several examples and experiments are given. It is proposed that software complexity metrics can be measured earlier in software development and can provide substantial information of software systems whose reliabil- ity can be modeled and used in the determination of initial parameter estimation.     

选择排序算法的一个改进及分析

针对少量记录排序的应用，对直接选择排序算法进行了挖掘，通过增加记忆功能，使算法性能得到明显提高。改进后的算法在大量记录排序时，较原算法的速度提高1倍以上；在少量记录排序时，是基于比较和移位的排序算法中总体表现最佳的；并且对原序列的有序程度很敏感，原序列相对有序时，速度能大幅度提高。结果表明：该算法很适合少量记录排序、部分排序、较有序记录的排序，以及与快速排序算法的混合使用。     

一类非单调线性互补问题宽邻域预估校正算法

对于一类非单调线性互补问题给出了一种新的内点算法-宽邻域预估校正算法,算法基于精典预估校正思想,把窄邻域拓展到一个宽邻域里使得算法更快地迭代,讨论了其算法的计算复杂性,并给出了数值实验.     

Coverability of Wireless Sensor Networks

The coverability of Wireless Sensor Networks (WSNs) is essentially a Quality of Service (QoS) problem that measures how well the monitored area is covered by one or more sensor nodes.The coverability of WSNs was examined by combining existing computational geometry techniques such as the Voronoi diagram and Delaunay triangulation with graph theoretical algorithmic techniques.Three new evaluation algorithms,known as CRM (Comprehensive Risk Minimization),TWS (Threshold Weight Shortest path),and CSM (Comprehen...     

Catastrophe mechanism and classification of discontinuity behavior in thermal science (I)

The mechanism of discontinuity behavior has important significance in the study of thermal science, such as fire, combustion, explosion and heat transfer. This sort of discontinuity behavior and the catastrophe caused by system nonlinearity may be equivalently classified according to the catastrophe model promulgated by catastrophe theory. Under the conditions of uniform temperature and thermal isolation, the self-ignition behavior of a Semenov System can be viewed as a result of the fold catastrophe of the system.     

不同状态下运动皮层连通性仿真

为了研究脑卒中后运动功能损伤与康复的机制以寻找促进脑卒中患者康复的有效途径,用有向图表示运动相关区域连接成的网络,并将其视为动力学系统,通过复杂度反映系统功能分离和整合的程度,利用模式搜索方法优化网络结构,研究在静止状态、运动状态、中风损伤后运动皮层连通性的变化.仿真结果显示:运动状态下各区域间有较强的连接,而在损伤状态下,连接强度降低,与发生部位有关;在这两种状态下大脑半球内部区域间连接均大于其它类型连接,区域自连接较弱.研究结果表明该模型可以定性反映大脑运动皮层的连通性变化或者可塑性.     

无限集合的有限子集理论的等价转化

利用Ehrenfeucht博奕 ,证明了任一无限集合的有限子集理论与自然数集合的有限子集理论是初等等价的     

Managing Complexity Through Methodic Participation: The Case of Air Quality in Santiago,Chile

Three concrete results have been achieved over a 5-year period in Santiago, Chile, in a process addressed to managing through participation the difficult air quality situation of this 5-million-person metropolis: (1) a highly complex problem has become manageable, (2) a legitimate and effective Prevention and Decontamination Plan is in operation, and (3) citizens and the government are mutually committed to this process. This paper describes how these results have been achieved by applying Innovative Development, a social systems methodology developed by the author and co-workers and applied in many fields over the last 20 years. Following a review of the problem and results that have been achieved, an explanation is offered for why a participative methodology is necessary for dealing with a highly complex problem like the current one. The fourth section provides a brief outline of the Innovative Development methodology. The last section presents the case itself, describing three stages. In the short space available we have tried to balance the practical, methodological, and conceptual issues of this case and this approach.     

求关系模式所有最小基数候选关键字的一种多项式算法

本文深入分析了最小基数候选关键字在关系模式中的结构特征,提出了化简独立复合环、独立简单环、化简双部属性函数依赖图等概念.在此基础上,给出了求一个关系模式所有最小基数候选关键字集的多项式算法.     

交互式马尔科夫链上弱模拟关系的计算

对交互式马尔可夫链模型(IMCs)上的弱模拟前序关系的计算算法进行讨论.在IMCs上判断弱模拟关系时,重点对概率转移关系进行弱模拟前序关系的判断,同时考虑内部动作对系统的影响.通过引入适当的变量,将IMCs上弱模拟定义中的马尔可夫转移条件转化为求解一个线性规划问题的解.利用该线性规划问题的数值求解方法,可在多项式时间内求得该线性规划问题的解.从而得到判定IMC上两个进程是否弱模拟的多项式时间算法.