Inferring requirement goals from model implemented in UML

UML is used widely in many software development processes. However, it does not make explicit requirement goals. Here is a method tending to establish the semantic relationship between requirements goals and UML models. Before the method is introduced, some relevant concepts are described.     

Framework for dissection of complex cytonuclear epistasis by a two-dimensional genome scan

Epistasis between cytoplasmic and nuclear genes is the primary genetic component of complex quantitative traits.Genetic dissection of cytonuclear epistasis is fundamentally important to understand the genetic architecture of complex traits.In this study,a two-dimensional genome scan strategy was employed to evaluate the contribution of cytoplasm,quantitative trait loci (QTL),QTL×QTL interactions and QTL×QTL×cytoplasm interactions to the phenotypic variation.The p-value and parameter value for each genetic effect were calculated by multiple regression analysis.A stepwise approach was suggested to build confidence in candidate QTL on the basis of q-value estimation,false discovery rate calculation and Bonferroni adjustment.A fine-scale grid scan strategy was proposed for further analysis of peaks of interest.Plant height in maize was used as an example to illustrate the efficiency of the two-dimensional genome scan strategy.     

梁启超与孙中山民族主义思想之比较

民族主义作为中国近代史上最具广泛感染力与强大推动力的一种社会政治思潮,曾是那个时代各派人物高擎的一面旗帜.作为中国近代民族主义的先行者、实践者,梁启超与孙中山都曾集结在这面旗帜之下,以各自思想所富有的丰富内容、深刻内涵、鲜明特色而影响着当时的民族独立解放运动.     

翻译家余光中研究

当代诗坛大家、散文健将和著名评论家余光中同时还是一名优秀的翻译家。结合其翻译理论与实践从翻译家的定位对其进行分析,不仅有助于从个案的角度加深对余先生及其文学成就的研究,还能从普遍的角度为译者修养、翻译理论与实践的关系等问题提供参考。     

高速重轨矫正圈用9Cr2MoRE钢的开发研究

通过添加不同含量的稀土元素,对比研究稀土含量对9Cr2Mo钢奥氏体晶粒度、相变点、抗拉强度及耐磨性的影响.研究结果表明,稀土元素可以有效细化9Cr2Mo钢的奥氏体晶粒,当稀土加入量为0.10%时,晶粒长大速率降低最明显.添加质量分数为0.1%的稀土后,9Cr2Mo钢的抗拉强度明显提高,塑性和延展性也有所改善.加入稀土元素后,9Cr2Mo钢在磨损过程中可以避免出现大块疲劳剥落现象,提高了耐磨性.     

自动信任协商安全性的形式化分析与验证

为了对自动信任协商(ATN)的安全性进行形式化分析与验证,文中借鉴安全协议的形式化分析方法,提出一种用进程代数Applied π演算对ATN建模并验证其安全性的方法.该方法将ATN形式化为两个协商者进程的并发执行,其中一个协商者的进程就是对其拥有的证书及授权策略的静态建模;ATN的安全性被定义为Applied π演算的观察等价性,从而使该方法不仅能检查授权策略执行的安全性,而且能对协商者的隐私安全进行验证.借助安全协议的自动分析工具ProVerif,文中实现了对ATN安全性的自动分析.实验结果表明,用Applied π演算形式化及验证ATN的安全性是可行的,安全性验证可自动完成,并且效率较高.     

民族地区马克思主义理论与实践大众化的思考

民族地区马克思主义理论大众化要解决为谁、怎样为谁的根本问题,应根据民族干部群众的需要研究和创建理论;应根据不同人群、不同地域的不同条件、不同特点,从事理论研究和宣传;应把理论的高雅与通俗、丰富与精炼统一起来;应坚持与时俱进,创新发展。民族地区马克思主义实践大众化要着力解决主体的多样性和自觉性;内容和形式的多样性;途径和方法的多样性;策略多样性和实际有效性。     

立足滨海与培养应用型金融人才的探讨

为了更好地适应未来金融人才的需求,更好地服务地方经济,迫切需要高素质的应用型人才。天津商业大学以培养复合型创业型应用人才为出发点,在培养应用型金融人才培养方面做出了有益的探索和实践,取得了良好的教学效果。     

浅议地铁盾构项目的成本管理

盾构项目由于其特殊性,其成本管理因而比较特殊和重要,文章从盾构机的选择、配件管理、人员配备、风险控制、工程进度管理5个方面阐述了盾构项目的成本管理.     

浅析电力变压器的事故处理

电力变压器是电力系统中很重要的设备,一旦发生事故,将造成很大的经济损失。分析各种电力变压器事故,找出原因,总结出处理事故的办法,把事故损失控制在最小范围内,尽量减少对系统的损害。