Test frame updating in CPM testing of Prolog programs

Category Partition Method (CPM) is a general approach to specification-based program testing, where test frame reduction and refinement are two important issues. Test frame reduction is necessary since too many test frames may be produced, and test frame refinement is important since during CPM testing new information about test frame generation may be achieved and considered incrementally. Besides the information provided by testers or users, implementation related knowledge offers alternative information for reducing and refining CPM test frames. This paper explores the idea by proposing a call patterns semantics based test frame updating method for Prolog programs, in which a call patterns analysis is used to collect information about the way in which procedures are used in a program. The updated test frames will be represented as constraints. The effect of our test frame updating is two-fold. On one hand, it removes “uncared” data from the original set of test frames; on the other hand, it refines the test frames to which we should pay more attention. The first effect makes the input domain on which a procedure must be tested a subset of the procedure’s input domain, and the latter makes testers stand more chance to find out the faults that are more likely to show their presence in the use of the program under consideration. Our test frame updating method preserves the effectiveness of CPM testing with respect to the detection of faults we care. The test case generation from the updated set of test frames is also discussed. In order to show the applicability of our method an approximation call patterns semantics is proposed, and the test frame updating on the semantics is illustrated by an example.

安徽省地震会商系统软件界面设计研究

基于ARCGis9.2的安徽省地震会商系统不仅需要强大的技术功能,还需要友好和一目了然的界面,这样不仅让会商报告者思路清晰,也能使会商观众更加清晰了解地震预报会商内容,从而为决策者更好应对不同地点和不同大小的地震发生可能性做出科学的决策;引入flash8作为软件系统的界面,用flash调用各个模块,无论从界面和功能上都较好的解决了这一问题。     

Modalities in linear logic weaker than the exponential “of course”: Algebraic and relational semantics

We present a semantic study of a family of modal intuitionistic linear systems, providing various logics with both an algebraic semantics and a relational semantics, to obtain completeness results. We call modality a unary operator on formulas which satisfies only one rale (regularity), and we consider any subsetW of a list of axioms which defines the exponential of course of linear logic. We define an algebraic semantics by interpreting the modality as a unary operation on an IL-algebra. Then we introduce a relational semantics based on pretopologies with an additional binary relationr between information states. The interpretation of is defined in a suitable way, which differs from the traditional one in classical modal logic. We prove that such models provide a complete semantics for our minimal modal system, as well as, by requiring the suitable conditions onr (in the spirit of correspondence theory), for any of its extensions axiomatized by any subsetW as above. We also prove an embedding theorem for modal IL-algebras into complete ones and, after introducing the notion of general frame, we apply it to obtain a duality between general frames and modal IL-algebras.     

考虑电网阻抗耦合的模块化多电平换流器交直流侧阻抗通用计算方法

以模块化多电平换流器(modular multilevel converter,MMC)为技术路线的柔性直流输电技术在风电接入、电网异步互联等领域迅速发展。MMC的阻抗建模是分析柔性直流输电系统振荡起源的重要依据。文中分析MMC在交、直流侧激励下的谐波传递机制,建立一种适用于交、直流侧阻抗计算的通用方法。对一次系统频域建模关联了MMC所连接的交、直流侧网络阻抗,并考虑包含解耦双同步参考坐标系锁相环及负序内环控制在内的全部控制模块。通过求解线性方程组对MMC阻抗进行计算,并在PSCAD/EMTDC环境中对双端背靠背MMC系统在多种工况下1～5kHz频段内进行扫频,验证该方法的准确性,并详细分析网络阻抗耦合、控制链路延时、功率等级、负序内环和外环控制等因素对MMC阻抗的影响。     

基于AEM法的爆破拆除倒塌过程的数值模拟

利用应用单元法(AEM法),以含填充墙的某多层框架结构定向爆破拆除为例,进行倒塌过程的数值模拟。结果表明:在框架结构爆破切口形成后,结构由于重力作用逐渐沿横向偏转,并在横向最外侧的一排柱上形成活动铰,产生翻转倒塌,模拟结果与实际倒塌结果基本相符。在倒塌的过程中,结构爆破切口的横向很快进入大变形倒塌,同时引起横向隔墙的平面失去稳定而倒塌。落地的倒塌碎块,在纵向产生150kN左右的峰值冲击力,在横向产生30~50kN的峰值冲击力。基于仿真结果,可以定量设置防护措施,避免安全隐患。     

EST3火灾报警系统的应用层通信协议剖析

给出通信协议剖析的一般方法和步骤,介绍GE爱德华EST3火灾报警系统的组成。对该系统串行通信协议的结构以及数据链路层和应用层的帧格式进行剖析。举例说明其应用层的基本分组格式,包括命令服务帧格式、报告服务帧格式和日期／时间通告服务帧格式。     

面向用户的IMS媒体层统一安全框架

针对IMS媒体层安全保护机制存在的问题,提出一个面向用户的IMS媒体层统-安全框架,在此基础上设计了具体的实现方案,该方案能为用户提供灵活的媒体层安全保护机制,实现媒体层加密算法与密钥的安全协商,保证用户之间端到端的通信安全。实验结果证明了该方案的有效性。     

改进的Web日志数据预处理技术

介绍Web日志挖掘预处理过程中一些特殊情况的处理方法,在会话识别阶段给出一种基于过滤框架网页与会话重组相结合的会话识别方法,在会话识别之前进行框架网页的过滤,根据传统的会话识别方法构造初始会话集,使用会话重组算法对初始会话集进行优化。实验结果显示,该方法提高了会话识别的质量。     

烧结与冷镦过程中铝硅共晶合金显微结构与密度的演变

采用烧结及后续的镦粗工艺制备了铝硅共晶合金块体材料,研究了烧结温度对烧结体显微结构、抗压强度及相对密度的影响。结果表明：烧结温度显著影响烧结体的显微结构和抗压强度,以临近铝硅共晶合金液相线的温度烧结时,发生了局部熔化,产生的熔融液体破坏了颗粒表面的氧化膜,颗粒之间相互黏结,形成了烧结骨架。以优化的555℃烧结,Si颗粒呈球状,抗压强度达到最佳,但相对密度未发生变化。在后续的冷镦过程中,烧结骨架及粉末颗粒均产生变形,孔隙减小,颗粒呈扁平状,相对密度达到了98%。     

鞍钢无缝钢管厂总体改造框架探讨

介绍了鞍钢无缝钢管厂发展的历程,阐述了必须对其进行技术改造的理由,提出了改造的具体原则及设想.