《西安交通大学学报》征稿简则

《西安交通大学学报》是西安交通大学主办的自然科学综合性学术理论刊物,它以马克思列宁主义、毛泽东思想和邓小平理论为指导,以促进科学技术发展、培育科技人才、为社会主义现代化建设服务为宗旨,坚持以"出精品、创名牌、办一流学报,争时效、促交流、举科技人才"为目标,主要登载机械、能源、动力、工程力学、电气、材料、电子、信息与控制、计算机等主学科,以及化学工程、生物医学工程、建筑、管理工程、数学、物理等学科方向的最新研究成果,重点突出机电特色.本刊为月刊,国际标准开本,国内外公开发行.为了保证刊物的质量,根据国家的有关标准和本刊的实际,特制定本简则.     

打造中国CBD新空间

CBD是一个现代化都市的某一中心区域,聚集了众多的金融、贸易、商业、信息及中介机构,如国际投资公司、跨国集团总部或地区总部、银行、证券公司、期货公司、保险公司、航运公司总部或地区总部,著名律师事务所,会计师事务所、咨询公司、中介机构等,并拥有相应大量配套服务和交通、通讯条件、如商务办公楼、酒店、公寓、会展中心、文化娱乐设施等等,极方便开展现代商务活动,且市场机会多、信息快、运作成本低。CBD对于强化中心城市的综合功能,形成商务活动的集中领域,产生吸纳,聚集、辐射效应,有着十分重要的作用。     

成功构建品牌的七个维度

在国际上,像可口可乐、百事可乐、耐克、阿迪达斯、彪马、GE、宝洁、达能、奔驰、松下、索尼、日立等公司,都拥有著名的品牌.这种享誉全球的品牌,无论何种经济体制,所到之处畅行无阻,它简直就是通行证的代名词,而且为企业创造了源源不断的利润.     

中国餐饮业崇拜的偶像

餐饮业所被崇拜的偶像,或神或人,共同点是:在这一行业做出了突出的贡献。厨神关于厨神,不同时代、不同地域有不同的说法,通常有十余种之多,如黄帝、雷祖、灶君、彭祖、伊尹、易牙、汉宣帝、关公、詹王等,众说纷纭,在全国没     

作者文摘的编写

文摘是以提供文献内容梗概为目的、不加评论和补充解释,简要明确地记叙文献重要内容的独立短文.其基本要素包括研究的目的、方法、结果、结论,具有独立性和自明性.①目的——研究、研制、调查等的前提、目的和任务所涉及的主题范围.②方法——所用的原理、理论、条件、对象、材料、工艺、结构、手段、装备、程序等.③结果——实验的、研究的结果、数据,被确定的关系,观察结果,得到的效果,性能等.④结论——结果的分析、研究、比较、评价、应用,提出的问题,今后的课题,假设,启发,建议,预测等.     

龙年说龙

公元2012年,用中国的纪年方法是壬辰年,这一年出生的人属龙。鼠、牛、虎、兔、龙、蛇、马、羊、猴、鸡、狗、猪,这12生肖中,11个都是自然界中存在的动物,只有龙是虚构的。     

贵州大学学报（自然科学版）征稿简则

1《贵州大学学报（自然科学版）》是由贵州大学主办的综合性学术理论刊物,主要刊载数学、物理、化学、生物、地理、天文、电子学、计算机科学技术、建筑科学、采矿、冶金、机械、电力、化工、轻工等学科的研究成果,发表有关基础理论研究、新技术、新方法研究,新材料、新设备研制等方面的论文、研究报告、研究简报（简讯）及新兴学科、边缘学科的发展动态,对国内外有一定影响的学术论文、著作的介绍和评论,在教学科研上有一得之见的札记、短评和综述等,主要反映我校理工科各单位的科研、教学成果。本刊为双月刊,双月出版,国内外公开发行。读者对象是国内外科学技术工作者、高等院校师生等。     

贵州大学学报(自然科学版)征稿简则

1《贵州大学学报（自然科学版）》是由贵州大学主办的综合性学术理论刊物,主要刊载数学、物理、化学、生物、地理、天文、电子学、计算机科学技术、建筑科学、采矿、冶金、机械、电力、化工、轻工等学科的研究成果,发表有关基础理论研究、新技术、新方法研究,新材料、新设备研制等方面的论文、研究报告、研究简报（简讯）及新兴学科、边缘学科的发展动态,对国内外有一定影响的学术论文、著作的介绍和评论,在教学科研上有一得之见的札记、短评和综述等,主要反映我校理工科各单位的科研、教学成果。本刊为双月刊,双月出版,国内外公开发行。读者对象是国内外科学技术工作者、高等院校师生等。     

《西安交通大学学报》征稿简则

<正>《西安交通大学学报》是西安交通大学主办的自然科学综合性学术理论刊物,它以马克思列宁主义、毛泽东思想和邓小平理论为指导,以促进科学技术发展、培育科技人才、为社会主义现代化建设服务为宗旨,坚持以"出精品、创名牌、办一流学报,争时效、促交流、举科技人才"为目标,主要登载机械、能源、动力、工程力学、电气、材料、电子、信息与控制、计算机等主学科,以及化学工程、生物医学工程、建筑、管理工程、数学、物理等学科方向的最新研究成果,重点突出机电特色.本刊为月刊,国际标准开本,国内外公开发行.为了保证刊物的质量,根据国家     

《西安交通大学学报》征稿简则

<正>《西安交通大学学报》是西安交通大学主办的自然科学综合性学术理论刊物,它以马克思列宁主义、毛泽东思想和邓小平理论为指导,以促进科学技术发展、培育科技人才、为社会主义现代化建设服务为宗旨,坚持以"出精品、创名牌、办一流学报,争时效、促交流、举科技人才"为目标,主要登载机械、能源、动力、工程力学、电气、材料、电子、信息与控制、计算机等主学科,以及化学工程、生物医学工程、建筑、管理工程、数学、物理等学科方向的最新研究成果,重点突出机电特色.本刊为月刊,国际标准开木,国内外公开发行.为了保证刊物的质量,根据国家     

面向对象软件中基于服务的类测试

面向对象软件测试是面向对象软件开发的不可缺少的一环 ,是保证软件质量、提高软件可靠性的关键。类测试是面向对象软件测试的关键 ,基于服务的类测试是面向对象软件测试中的重要内容。本文探讨了一种类的服务的测试模型及相应的测试策略。针对Kung等人提出的块分支图 (BlockBranchDiagram) ,探讨了对服务进行结构测试和功能测试的方法 ,提出了类的服务的测试模型。     

嵌入式软件系统测试模型的研究与实现

指出嵌入式软件系统测试目前还存在测试需求没有规范化、测试用例执行效率低、测试平台不统一等问题.针对这些不足,通过对嵌入式软件测试技术的研究,以形式化的需求描述、基于数据域的测试用例生成等方法为基础,以系统测试环境为平台,建立了适合嵌入式软件系统测试的模型框架.然后针对模型的各个部分,提出了具体的实现方案.最终将该方案应用于某型号嵌入式软件的系统测试中,保证了测试用例设计的完整性、测试覆盖的全面性、测试度量的准确性,并且大大提高了测试的效率.帮助用户达到软件测试效率提高、成本降低、风险小、所开发的软件产品质量高的目的.     

基于模型的软件测试

基于模型的软件测试是软件编码阶段的主流测试方法之一。基于多年的测试实践，本文认为基于模型的软件测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点，但是误报、漏报和故障机理是依然需要进一步研究的问题。本文对主要的测试模型进行了分析和分类，并对其故障密度等参数进行了初步的分析。最后，本文给出了一种基于模型的软件测试方法。     

基于图形用户界面的软件测试技术

软件测试是软件开发的重要环节，由于软件界面越来越复杂，软件的图形用户界面(GUI)测试也成了一项复杂而烦琐的工作。本文阐述了GUI测试的概念，提出了GUI测试的一般流程及测试指南，同时给出了GUI测试的主要方法，并重点介绍了GUI自动化测试技术。     

基于Markov链使用模型的加速统计测试方法

为了提高软件统计测试的效率,使用较少的测试资源达到测试目的,提出了一种基于Markov链使用模型的软件加速统计测试方法.该方法通过均衡软件测试成本和软件投放后的失效风险,以软件平均总费用最小为目标,基于重要抽样技术的加速测试机理,采用交叉熵方法生成最优(或近优)测试剖面,同时给出了一种新的统计测试充分性判定准则,最后根据生成的最优测试剖面自动生成统计测试数据集.仿真实验结果表明,相对于传统的统计测试方法,使用交叉熵方法的加速统计测试方法能有效地降低软件总费用,显著增加关键操作的测试次数,是一种快速有效的加速统计测试方法.     

面向对象基于服务的类测试技术研究

面向对象软件测试是面向对象软件开发的一个重要阶段,是保证软件质量、提高软件可靠性的关键。类测试又是面向对象软件测试的关键,类的服务的测试是面向对象软件测试中的重要内容。本文针对面向对象程序的特性对软件测试的影响,研究了一种基于服务的类测试模型,即服务的块分支图,从而能够更有效地对面向对象软件进行测试,提高了软件的质量。     

Web应用测试框架研究

建立一个适应Web应用特性的测试框架,以便于指导、组织测试过程中的各项工作.在分析Web应用特点和传统软件测试流程的基础上,对测试需求分析、测试用例生成选择、测试执行和测试结果分析度量等一系列测试过程加以描述和表示,形成一套规范化、易操作和可扩展的测试流程;研究Web应用测试框架实现技术,分层次表示Web应用模型,采用组合测试等策略生成测试用例,通过Agent自动执行测试并实现测试结果的比较、度量和反馈;有机集成并有效实现各个测试步骤,使之适应Internet环境并积极有效地发挥其指导作用.     

基于Web Component的自动化测试工具的研究

随着组件重用技术在软件开发中的广泛使用,软件测试变得越来越复杂,而自动化测试工具能有效降低软件测试的复杂度.运用自动化测试理论,讨论了基于Web Component的自动化测试一般方法,设计了一种基于Web Component的自动化测试工具.     

统计测试中操作剖面的一种优化设计方法

为了提高软件统计测试的效率,使用较少的测试资源达到测试目的,对测试剖面进行优化成为必需.采用客户需求和测试需求作为约束,模型静态参数或其他统计质量标准作为优化目标,提出了一种基于约束优化的测试剖面最优化计算框架.通过扩展蚁群算法研究了一种求解优化测试剖面的方法.实验表明,相对于传统的函数最优化方法,使用启发式的蚁群算法具有更好的优化效果,并且更具通用性.在统计测试中使用经过优化的测试剖面可以生成统计意义上符合测试需要的用例集合,提高测试效率.     

协议一致性测试研究进展

协议一致性测试是协议测试中最为关键的测试,是其他协议测试类型的基础。已经有大量的研究与实践对协议一致性测试做了深入探讨,到目前为止,仍然缺乏系统、有效而实用的协议一致性测试方法。从协议一致性测试的协议形式化描述技术人手,分别对协议一致性测试过程中的描述、测试序列生成、测试实现与执行进行了综合研究,阐述了其中存在的问题并给出了基本解决思路。