Dynamic Measurement of Task Scheduling Algorithm in Multi-Processor System

It is important to evaluate function behaviors and performance features of task scheduling algorithm in the multi-processor system.A novel dynamic measurement method(DMM)was proposed to measure the task scheduling algorithm's correctness and dependability.In a multi-processor system,task scheduling problem is represented by a combinatorial evaluation model,interactive Markov chain(IMC),and solution space of the algorithm with time and probability metrics is described by action-based continuous stochastic logic(aCSL).DMM derives a path by logging runtime scheduling actions and corresponding times.Through judging whether the derived path can be received by task scheduling IMC model,DMM analyses the correctness of algorithm.Through judging whether the actual values satisfy label function of the initial state,DMM analyses the dependability of algorithm.The simulation shows that DMM can effectively characterize the function behaviors and performance features of task scheduling algorithm.     

铁路改革必须重视相应产权关系的重构

对铁路产权关系的特殊性和复杂性的认识程度,在很大程度上决定着铁路改革的方向与进程,而从产权实物形态入手更有助于对该行业产权关系的深入了解。铁路产权关系的特殊性,具体可分为因相应时空尺度上运输产品完整性与企业经营边界矛盾所产生的内部财产共用性问题,和由于政企不分、政资不分体制所导致的外部不当控制问题。运营调度指挥是铁路产权关系中的重要内容,政府责任对铁路产权关系也有影响。铁路产权改革的方向是政企分开、政资分开以破除行政垄断,然后按照有利于降低交易费用的原则对铁路行业进行重组并建立相应的交易机制和补偿制度。     

多项式程序模型的互模拟等价

针对程序的行为等价性,提出多项式程序模型的互模拟等价,适用于代数程序模型描述的软件系统设计和验证分析．给出多项式程序模型互模拟等价概念,建立互模拟等价的符号计算方法,选取结构简单的模型,简化程序设计,缓解状态爆炸导致的形式化验证方法计算复杂度过高而难于实现的问题．最后给出并发程序的相关实例．