南水北调中线小南河串流片防洪水位计算

传统的多河流串流计算主要采用水库联调的方法,把串流的各条河流概化为静态水库,库水位水平且不考虑横向流动。为解决串流区水流的横向流动及水面线并不总像库水位一样水平的问题,采用二维非恒定流数学模型计算串流区洪水演进。通过概化地形、考虑入流、糙率、边界条件和水流的横向流动等因素,计算出了整个串流区域的水面线、水深、流速、出流等水力要素,并给出洪水演进模拟图,为确定河流与总干渠交叉建筑物的规模、总干渠左岸沿线水面线和对沿线村庄、农田的防洪影响提供了可靠的依据。     

Local influence in estimating equations

Local influence diagnostics based on estimating equations as the role of a gradient vector derived from any fit function are developed for repeated measures regression analysis. Our proposal generalizes tools used in other studies ( [Cook, 1986] and [Cadigan and Farrell, 2002]), considering herein local influence diagnostics for a statistical model where estimation involves an estimating equation in which all observations are not necessarily independent of each other. Moreover, the measures of local influence are illustrated with some simulated data sets to assess influential observations. Applications using real data are presented.     

A SAS macro for target dose estimation by reinforced urn processes in phase I clinical trials

The reinforced urn processes (RUPs) approach can estimate the target dose on the basis of the prior distribution function precisely and conveniently without the requirements about the explicit-estimated dose-response curve and the posterior complicated inference. The application of the RUPs approach was not discussed from the perspective of phase I clinical trial in the previous studies which just focused on the theory and methodology. And the modification of the traditional RUPs design should be considered for the purposes of ethnics and efficiency. A SAS macro was designed to explore the appropriate parameter settings according to the simulation outcomes in different situations and apply the RUPs approach for two state processes in phase I clinical trail with the modified RUPs design. The posterior estimation can be obtained precisely and efficiently with application of SAS program following the appropriate workflow and determination rule which were described in the example.     

On positive influence dominating sets in social networks

In this paper, we investigate the positive influence dominating set (PIDS) which has applications in social networks. We prove that PIDS is APX-hard and propose a greedy algorithm with an approximation ratio of H(δ) where H is the harmonic function and δ is the maximum vertex degree of the graph representing a social network.     

关于西气东输ESD系统报错的探讨和可行性优化建议

介绍了ESD系统中的HIMA模块在西气东输应用中出现Error报警的情况。针对HIMA发生Error报警后影响生产的矛盾,根据HIMA模块的基本工作原理,分析了HIMA出现Error报警的可能情况,给出了系统的改进优化建议,以便于预防HIMAError报错的频繁发生,消除安全隐患,使管道系统安全平稳的运行。     

C2网络组织谣言传播的建模与仿真*

针对指挥控制（C2）网络组织谣言传播具有动态性、适应性、非线性,采用多agent的建模方法,对谣言传播过程与网络组织的互动行为模式进行了描述和分析,得到了节点间影响水平、谣言源的特征、指挥跨度和最终接受谣言比例之间的关系。主要结论有：（1）在谣言传播的过程中,下级对上级的影响力对最终接受谣言规模更加敏感;（2）谣言源特征对最终接受谣言规模有影响,且谣言源的身份越高,对谣言传播效果的影响越大;（3）指挥跨度越大,越有利于谣言的传播。     

机构影响系数统一计算模型

基于机构矩阵型式运动学方程和速度加速度统一模型,讨论了机构运动影响系数通用 计算公式的结构和自动构造算法,得出的一组运动影响系数统一计算公式具有普遍的意义, 并可以方便地由计算机程序自动构造并求解．本文内容建立了机构速度及加速度分析和动力 学自动分析的基础,为通用计算机辅助分析系统的研制创造了先决条件．     

Bounded Model Checking Using Satisfiability Solving

The phrase model checking refers to algorithms for exploring the state space of a transition system to determine if it obeys a specification of its intended behavior. These algorithms can perform exhaustive verification in a highly automatic manner, and, thus, have attracted much interest in industry. Model checking programs are now being commercially marketed. However, model checking has been held back by the state explosion problem, which is the problem that the number of states in a system grows exponentially in the number of system components. Much research has been devoted to ameliorating this problem.In this tutorial, we first give a brief overview of the history of model checking to date, and then focus on recent techniques that combine model checking with satisfiability solving. These techniques, known as bounded model checking, do a very fast exploration of the state space, and for some types of problems seem to offer large performance improvements over previous approaches. We review experiments with bounded model checking on both public domain and industrial designs, and propose a methodology for applying the technique in industry for invariance checking. We then summarize the pros and cons of this new technology and discuss future research efforts to extend its capabilities.     

Technology roles and paths of influence in an ecosystem model of technology evolution

We propose a new conceptual model for understanding technology evolution that highlights dynamic and highly interdependent relationships among multiple technologies. We argue that, instead of considering technologies in isolation, technology evolution is best viewed as a dynamic system or ecosystem that includes a variety of interrelated technologies. By considering the interdependent nature of technology evolution, we identify three roles that technologies play within a technology ecosystem. These roles are components, products and applications, and support and infrastructure. Technologies within an ecosystem interact through these roles and impact each others’ evolution. We also classify types of interactions between technology roles, which we term paths of influence. We demonstrate the use of our proposed model through examples of wireless networking (Wi-Fi) technologies and a business mini-case on the digital music industry.

生物过滤处理微污染饮用水源的试验研究

通过试验探讨了生物过滤对微污染饮用水源的处理效果及其影响因素。试验结果表明，生物过滤可有效去除湘江微污染饮用水源中的有机物、NH3-N、Fe、Mn和浊度。滤料介质、空床接触时间和加氯水反冲洗等因素对生物过滤均具有明显的影响。