简支梁长桥桥墩的偏心安全性研究

我国铁路桥梁设计中,列车荷载按中一活载取值．对简支梁直线桥桥墩的纵向偏心检算时,常将单孔轻载作为加载图示．从轨面制动力的动力特性、最不利加载工况两方面入手,对铁路简支梁长桥桥墩的偏心安全性进行了计算和讨论,分析了制动力作用下长桥桥墩受力特点．     

热氟除霜系统在陈列柜上的节能应用

近些年,节能减排已成为全社会持续关注的热点和焦点。随着超市陈列柜行业的发展和人们对节能、环保要求的提高,在当今如何让超市运营成本更低、更节能环保,不但是超市运营商关注的焦点,更是成为研究机构和陈列柜制造商的研究课题。在实际的超市应用中,热氟除霜方式可以的很好取代加热丝进行融霜。不但可以节省大量的电能,在融霜的同时,造成的柜内温升要小于加热丝形式,有利于货物的保鲜,以及减少二次制冷消耗的电能。值得我们在实际生产应用中广泛的推广     

Comparing attack trees and misuse cases in an industrial setting

The last decade has seen an increasing focus on addressing security already during the earliest stages of system development, such as requirements determination. Attack trees and misuse cases are established techniques for representing security threats along with their potential mitigations. Previous work has compared attack trees and misuse cases in two experiments with students. The present paper instead presents an experiment where industrial practitioners perform the experimental tasks in their workplace. The industrial experiment confirms a central finding from the student experiments: that attack trees tend to help identifying more threats than misuse cases. It also presents a new result: that misuse cases tend to encourage identification of threats associated with earlier development stages than attack trees. The two techniques should therefore be considered complementary and should be used together in practical requirements work.     

UML状态图的测试用例自动生成

现有的研究在对UML状态图生成测试用例时,为简化问题而忽略了对伪状态的支持。针对这一问题,首先对UML状态图的伪状态概念进行分析,并讨论了其对相关测试用例生成算法的影响;改进了UMLstatechart语义对伪状态的定义,对伪状态进行适当的转换,同时扩充现有算法对伪状态的支持;提出了一套可以处理伪状态的UML状态图平坦化算法以及相应的测试用例生成方法,并对实际应用效果进行了验证。     

GAO Feng~1,LI Wei~2,TANG Zon

tific Experiment Center of Guangxi Medical University,Nanning 530021,China)Objective:To investigate the mutation pattern of adenomatous polyposis coli(APC),Kirsten-ras(K-ras) and p53 genes in sporadic colorectal cancer tissues.Meth     

中医医案数据库的数据基础研究

探讨了中医医案数据库的构建,寻找对医案数据库进行规范化数据处理的可行性方法。针对医案文献数量巨大,收录散杂的问题,提出了对历代医案进行整理,建立数据库的方法。并且,针对词性标注容易引起语义缺失的问题,提出了以语义标注作为医案信息抽取规则的方案。通过研究,表明基于语义标注的医案信息抽取方式有一定的可行性和适用性。     

Model-driven assessment of system dependability

Designers of complex real-time systems need to address dependability requirements early on in the development process. This paper presents a model-based approach that allows developers to analyse the dependability of use cases and to discover more reliable and safe ways of designing the interactions of the system with the environment. The hardware design and the dependability of the hardware to be used also needs to be considered. We use a probabilistic extension of statecharts to formally model the interaction requirements defined in the use cases. The model is then evaluated analytically based on the success and failure probabilities of events. The analysis may lead to further refinement of the use cases by introducing detection and recovery measures to ensure dependable system interaction. A visual modelling environment for our extended statecharts formalism supporting automatic probability analysis has been implemented in AToM³, A Tool for Multi-formalism and Meta-Modelling. Our approach is illustrated with an elevator control system case study.

软件测试用例设计

软件测试重要性越来越大,测试用例的设计是整个测试过程的基础。结合工作实践介绍软件测试用例的重要性和测试用例的设计方法,并举例说明如何应用白盒测试技术和黑盒测试技术。     

Fuzzing技术的样本数据组合研究*

提出了基于样本数据组合的Fuzzing技术,并抽象出了解决样本数据覆盖问题（data sample covering problem,DSCP）的数学模型;为了更好地解决样本数据覆盖问题,提出了改进遗传算法(developed genetic algorithm,DGA),通过实例实验说明了DGA的有效性,并且通过仿真实验,验证了算法在求解复杂协议文件样本数据覆盖问题时比贪心算法和简单遗传算法具有更高的效率。     

分布式软件系统交互行为建模、验证与测试

为了确保分析与设计阶段分布式软件系统中模块之间交互行为的正确性,提出了一种分布式软件系统模块交互的抽象方法,分别通过系统状态机图和对象状态机图对各模块状态变迁进行建模,使用UML2.0序列图对模块之间交互行为进行描述.采用基于命题投影时序逻辑的模型检测技术,将对象状态机图转换为Promela模型,系统交互性质转换为命题投影时序逻辑公式,通过模型检测器验证交互模型是否满足于系统的性质,若不满足于该性质,则能够获得反例执行的路径.给出了一个分布式软件系统测试框架,在验证后的序列图模型基础上,使用基于模型的测试用例自动生成方法得到测试用例集合,该集合能够实现对交互行为的有效测试.实例结果表明,该方法可以提高分布式软件系统中模块交互行为的有效性和可靠性.