多重中断程序测试框架

为了解决多重中断的执行不确定性带来的测试困难问题,在多重中断产生并发错误的特点的基础上,提出了一种多重中断程序测试框架.该测试框架通过从外部加载一组合适的中断信号序列控制中断处理程序的执行过程,迫使中断程序经历待测序列,避免了构造复杂的运行时控制环境.实验结果表明,相对于一般的中断错误分析方法,该测试框架能够对顺序程序多重中断环境下可能产生并发错误的时序环境和具体原因进行较为准确地分析.     

动力学系统实时仿真数值方法研究

从6个方面概述动力学系统实时仿真数值方法的一些最近的研究进展，内容包括：产时仿真快速混合算法、实时并行Rosenbrock算法、实时并行组合算法、微分代数系统的实时算法与实时并行算法、实时间断处理并行算法以及一些并行算法的效率分析等。给出构造实时仿真算法新的思想和方法，同时也涉及一些有关问题的讨论。     

电信业期待政府“有形的手”

国务院国资委主任李荣融近日撰文指出，国资委成立后央企的第一个任期，国有资产保值增值率达144．7％。国有资产作为国民经济发展的重要基础，是建设有中国特色社会主义的重要保障，取得如此成绩，具有重大的经济和政治意义。     

为电子商务奠定法律基础是《电子签名法》的最大贡献

日前，海淀法院3名法官合议审理了《电子签名法》出台后的第一案：短信作借款证据呈堂。具体事由是，北京市民杨某状告韩某借钱不还，并将自己的手机交给法庭，以手机短信作为韩某借钱的证据。     

控制系统多重中断并发程序测试动态工具设计

为解决控制系统软件中多重中断导致的系统不稳定性和难以预测性,根据控制系统并发程序的具体特点,设计面向多重中断并发程序的测试工具。测试工具主要包括程序分析器、程序插装器、控制执行器、中断发生器4个部分。采用动态验证的测试方式,以动态偏序化简算法为基础,引入中断处理机制和 sleep集合,将该算法应用于多重中断并发程序的动态监测工具中。该工具可以对原子性违背、数据竞争者两种常见的多重中断并发错误进行有效检测。     

捷联惯导系统罗经对准仿真研究

分析了传统的平台式惯导的理论基础、给出了控制框图,在此基础上,将平台罗经对准的思想应用到捷联惯导系统的罗经对准,研究了捷联式惯导系统罗经自对准技术,给出了根据捷联罗经对准的指标求罗经控制参数的公式和罗经对准的理论对准误差,建立捷联罗经对准的连续控制系统模型,并将该连续控制系统的模型离散化,得到捷联惯导系统罗经对准的离散控制系统模型,由于实际应用中,罗经对准只能通过程序的形式串行实现,将捷联惯导系统罗经对准的离散控制系统模型转化为等效的程序实现.通过对连续控制系统、离散系统和等价的串行程序3种实现方式进行仿真,仿真结果表明了捷联惯导罗经对准的有效性,罗经对准实际误差和理论误差的一致性,以及3种对准方式的等价性.     

高可靠软件的可靠性评估技术

研究了高可靠软件的可靠性评估技术,给出了失效数据稀少情况下的软件可靠性模型.假设高可靠软件的可靠性测试过程中发生失效是独立同分布的稀有事件,从理论上分析了极值统计理论用于软件可靠性评估的可行性,建立了软件可靠性极值统计模型,讨论了模型的参数估计方法和假设检验方法.     

新年运营商3G竞争火热

随着三大运营商去年12月运营数据的出炉,2011年国内3G发展的情况也逐渐明朗。2011年全年,国内3G用户新增8046．9万户,总数突破1．28亿户。其中,WCDMA用户全年累计增长2595．9万户,EVDO用户全年增长2400万户,TD用户全年增长3051万户。3G用户的高速增长,离不开三大运营商不遗余力的市场普及策略和智能终端市场的拉动。