Two-step design of critical control systems using disturbance cancellation integral controllers

An efficient critical control system design is proposed in this paper. The key idea is to decompose the design problem into two simpler design steps by the technique used in the classical loop transfer recovery method (LTR). The disturbance cancellation integral controller is used as a basic controller. Since the standard loop transfer recovery method cannot be applied to the disturbance cancellation controller, the nonstandard version recently found is used for the decomposition. Exogenous inputs with constraints both on the amplitude and rate of change are considered. The majorant approach is taken to obtain the analytical sufficient matching conditions. A numerical design example is presented to illustrate the effectiveness of the proposed design.     

Modular analysis and modelling of risk scenarios with dependencies

The risk analysis of critical infrastructures such as the electric power supply or telecommunications is complicated by the fact that such infrastructures are mutually dependent. We propose a modular approach to the modelling and analysis of risk scenarios with dependencies. Our approach may be used to deduce the risk level of an overall system from previous risk analyses of its constituent systems. A custom made assumption-guarantee style is put forward as a means to describe risk scenarios with external dependencies. We also define a set of deduction rules facilitating various kinds of reasoning, including the analysis of mutual dependencies between risk scenarios expressed in the assumption-guarantee style.     

An integrative approach to requirements analysis: How task models support requirements reuse in a user-centric design framework

Many software systems fail to address their intended purpose because of a lack of user involvement and requirements deficiencies. This paper discusses the elaboration of a requirements-analysis process that integrates a critical-parameter-based approach to task modeling within a user-centric design framework. On one hand, adapting task models to capture requirements bridges the gap between scenarios and critical parameters which benefits design from the standpoint of user involvement and accurate requirements. On the other hand, using task models as a reusable component leverages requirements reuse which benefits design by increasing quality while simultaneously reducing development costs and time-to-market. First, we present the establishment of both a user-centric and reuse-centric requirements process along with its implementation within an integrated design tool suite. Secondly, we report the design, procedures, and findings of two user studies aimed at assessing the feasibility for novice designers to conduct the process as well as evaluating the resulting benefits upon requirements-analysis deliverables, requirements quality, and requirements reuse.     

面向攻击图构建的网络连通性分析

针对目前网络攻击图构建系统的需求,设计网络连通性分析算法。通过对网络拓扑及防火墙规则进行离线分析,可以判断网络中由若干台过滤设备分隔的任意2台主机间的连通性。引入关键实体集的概念,结合经典的Apriori算法提出一种快速有效的获取关键实体集的方法。分析对比表明,关键实体集可以在连通性分析过程中为网络中各节点的重要性评估提供有力依据。     

基于带标记的并发可达标识图的关键路径的求解方法

将AOE 网转换成有色时延Petri网模型,在模型转换过程中同时计算出各位置所对应的事件的最早开始时间,给出了模拟AOE 网的有色时延Petri网模型的带标记的并发可达标识图的构建算法;利用并发可达标识图中的标记序列直接得到关键路径并计算出完成所有活动所需的最短时间。实例与仿真实验结果表明,当AOE网中平均存在3个以上的并发活动时,所提方法执行效率优于传统的求解关键路径的算法,并发活动越多,所提算法效率越高。     

基于合作博弈论的社会网络关键节点发现研究

社会网络关键节点发现问题有着许多重要的应用,同时也越来越受到了研究机构和学者的关注。为了找到社会网络中top K个关键节点,提出了一种基于合作博弈理论的方法。该方法考虑到社会网络普遍存在社区结构,利用Owen值得到每个节点的边际贡献,由此得到该问题的解。在2个合成数据集和4个实际数据集上验证了本方法的可行性和较其他方法的有效性。     

Implementation issues in RFID-based anti-counterfeiting systems

RFID has emerged as a potential tool to combat product counterfeiting, which undermines the global economy hugely. Recently, a number of anti-counterfeiting approaches have been proposed for such purpose. This paper presents a track-and-trace system for RFID-based anti-counterfeiting, and addresses possible implementation issues, such as tag selection, product tagging, tag programming and locking. A packaging line for bottled products is developed and integrated with the proposed system for investigation of these issues. Experiments are conducted to determine the critical tag moving speed beyond which the tag programming rate or reliability of tagged products being transferred on a convey drops significantly. The critical tag moving speed is vital not only for determining the maximum production throughput possible, but also for setting up RFID equipment needed to ensure tagged products with erroneous tagging can be sorted out from the packaging line accordingly.     

基于混沌粒子群算法的关键链项目进度管理研究*

应用混沌粒子群算法解决关键链项目管理的优化调度问题,并利用了混沌运动遍历性,随机性等特点,对传统粒子群算法进行改进,摆脱了粒子群算法后期易陷入局部极值点的缺点,并保持了前期搜索的快速性。通过实例证明,在求解该类问题上,混沌粒子群算法比基本粒子群算法更具有优势。     

Critical success factors revisited: success and failure cases of information systems for senior executives

The literature suggests the existence of critical success factors (CSFs) for the development of information systems that support senior executives. Our study of six organizations gives evidence for this notion of CSFs. The study further shows an interesting pattern, namely that companies either “get it right”, and essentially succeed on all CSFs, or “get it completely wrong”, that is, fall short on each of the CSFs. Among the six cases for which data were collected through in-depth interviews with company executives, three organizations seemed to manage all the CSFs properly, while two others managed all CSFs poorly. Only one organization showed a mixed scorecard, managing some factors well and some not so well. At the completion of the study, this organization could neither be judged as a success, nor as a failure. This dichotomy between success and failure cases suggests the existence of an even smaller set of “meta-success” factors. Based on our findings, we speculate that these “meta-success” factors are “championship”, “availability of resources”, and “link to organization objectives”.     

暂态能量校正和临界群识别：三论暂态能量函数直接法

当前流行的直接法都采用了基于两群模式的暂态能量函数,认为多机系统的暂态稳定性仅取决于该特定扰动下的两个互补机群间的相对运动,并据此对群内的能量进行了校正。显然,校正中的不一致性将会引入误差。另一方面,群际能量并不是封闭的,它和群内能量之间的互相转换是这类直接法的又一个重要误差源。当同一群内的各机动态响应相差甚远时,这种情况可能变得十分严峻。本文综合分析了暂态能量的校正问题,并介绍了在保持EEAC言简意赅特点的前提下尽量减少此类误差方面所取得的最新成果。 在所有针对群内动能或势能进行校正的直接法中,临界群和余下群的速度或功角对暂态能量的作用是相反的。正确识别临界群是直接法成功的基本前提,而有效地推荐候选的临界群,使需要试探的候选群数目尽量减少则关系到直接法的速度优势。这个长期困扰着直接法的问题最近也被出色地解决了。本文对有关的成果和下一步需要解决的问题进行了讨论。