基于UML Statecharts面向对象软件的测试框架

直接从含有层次和并发结构的UML statecharts图产生面向对象软件类的测试用例是比较困难的,文中提出了基于UML statecharts图的测试框架:先利用现有的UML工具画出UML statecharts图,并产生XMI(XML metadatainterchange)格式的规格说明文件;然后根据UML statecharts的形式化语义,层次和并发结构被展平,将UML statecharts图的规格说明XML文件转换成FREE(flattened regular expression)模型的规格说明信息;最后根据FREE模型的规格说明信息,按照不同的充分性测试准则,分别产生测试用例集.同时提出了由FREE模型根据全ZOT路径覆盖准则产生有限迁移序列的算法,并且还实现了这个测试框架.     

一种在GQM度量方法中的决策机制研究

GQM(Goal Question Metric pproach)模型是当前使用较为广泛的一种软件度量手段,它通过对目标的一系列问题的回答最终实现对软件开发过程的控制和评估.针对GQM中没有提及如何客观地将组织的目标归纳和分解为度量指标这一缺陷,提出一种利用德尔菲法和PUGH矩阵的决策机制,对众多分解的度量指标进行筛选,最终形成GQM模型的问题和度量元,并结合实际实践进行分析和验证.实践表明该决策机制能够有效地形成GQM度量计划,从而指导软件开发过程和软件产品质量的提升.     

带有随机生产能力和缺货惩罚的报童模型中的CVaR研究

研究了CVaR风险度量准则下需求和生产能力均随机的报童模型中缺货惩罚对库存决策的影响.利用CVaR风险度量准则,得到带有随机生产能力和缺货惩罚时报童的最优订购量,并发现当有缺货惩罚时,最优订购量依赖于需求的分布、随机生产能力的分布、缺货惩罚的大小和风险规避程度.最后,通过数值算例来验证上述结果 .     

应用科学学报第23卷(2005)总目次

罗兰C辅助北斗双星对同温层气球的定位研究…………………………………段方刘建业林雪原(1)一组实用的Z规格说明度量准则…………………………………………………………吴方君易彤(6)基于微分Riccati方程解的非线性指数型降维观测器……………………………………………朱芳来(1     

关于影响分析度量的几个问题

Cook距离和局部影响分析的曲率度量在统计诊断中被广泛使用.但是,这些影响分析度量缺乏一个基准值作为判断影响大小的标准.最近,Fung(1997)等指出曲率度量不是数据尺度不变量.本文对上述两种度量进行了一些改进,提出了影响阶的概念,克服了上述缺陷并结合实例加以说明.     

敏捷开发团队生产率度量方法的应用

敏捷开发是目前流行的软件开发方法,它让软件开发团队具备灵活应对需求变化和快速交付产品的能力。团队生产率的度量对于敏捷开发团队来说是有用的工具,所以结合敏捷开发方法的特点,引入团队生产率指标和工具,通过项目案例探究团队生产率度量的应用方法。     

OWL-S到Z规格说明的转换

OWL-S是重要的Semantic Web Service描述框架,但缺乏有效的形式化验证工具. Z语言是基于集合论和一阶谓词逻辑的形式化规格说明语言,比OWL-S具有更强的表达力. 该文研究基于Z的OWL-S形式化方法,提出从OWL-S到Z规格说明的模型转换规则. 基于这些规则,用Z定义OWL-S中概念的形式化语义,并开发了从OWL-S描述到Z规格说明的自动转换工具OWLS2Z.     

基于星座图和相似性度量的调制方式识别

讨论了存在相位误差情况下的调制识别问题,改进了以星座图形状为特征的识别算法.首先利用基于样本与核的相似性度量,对接收信号观测点动态聚类,得到重构星座图.然后,将重构星座图和预期星座图进行匹配,利用所提出的最大似然准则,完成星座图分类.该准则等效于最小距离分类准则,匹配方法简单,避免了以往基于星座图形状识别算法中,为得到重构星座图顶点统计特性所需的训练阶段.考虑到噪声对相位估计的影响,仿真表明,在已知和未知信号调制状态数情况下,SNR分别为10 dB和15 dB时,对所涉及的调制集可获得90%以上的识别率.     

Z规格说明的测试用例自动生成

软件测试是软件质量保证的重要手段,测试用例的生成是软件测试的关键和难点.文中应用范畴划分测试方法产生测试框架,并引入线性规划模型,通过构造线性规划模型来实例化测试框架,并且较好地解决了测试框架是否可行的判断问题.同时结合票据计算的例子,探讨了从Z规格说明推导出测试用例的过程、方法和技术.     

浙江省县市综合经济实力分析

利用浙江省2005年有关统计数据,分别采用加权平均法、主成分分析法、因子分析法和聚类分析法对浙江省58个县级市、县的综合经济实力进行了综合评价和排位.其方法科学、合理.对于帮助各地区看到自己所处的位置,明确自己的经济实力提供了一个度量准则.     

K—9卷积码的Viterbi译码算法及其FPGA实现

探讨了ＣＤＭＡ数字移动通信中的差错控制问题,研究用约束度Ｋ＝９的卷积编码和最大似然Ｖｉｔｅｒｂｉ译码的差错控制方案。在Ｖｉｔｅｒｂｉ译码算法中,提出了原位运算度量、保存路径转移过程和循环存取幸存路径等方法,能有效地减少存储量、降低功耗,使得Ｋ＝９的Ｖｉｔｅｒｂｉ译码算法可以单片ＸＣ４０１０ ＦＰＧＡ为主的器件上实现,其性能指标符合ＣＤ－ＭＡ数字移动通信ＩＳ－９５标准要求。文中给出了实测的算法性能,     

成本约束下影响力最大化问题研究

企业希望在社交网络信息传播过程中影响到更多的用户,以便其在有限成本约束下达到营销目标。依据此背景,定义了一个新的社交网络影响力最大化问题:成本约束下的影响力最大化问题,即在有限成本条件下选择一个初始节点集传播信息使得最终状态下全网被影响到的范围最大化。基于网络中用户的网络拓扑结构和用户交互信息衡量用户激活成本,并在独立级联模型下使用遗传算法求解上述问题,最后通过不同数据集上的实验验证遗传算法在最终影响范围和运行时间上都获得较好的效果。     

欧林三角视域下职业素养为导向的卓越工程师培养

分析当前卓越工程师培养教育存在的问题,在国外“欧林三角”课程哲学和建构主义理论的指导下,提出以提高职业素养为导向的高校“卓越工程师”培养的教学新模式——“卓越立方体”课程模式．在该模式的指导下可以培养出创新能力强,适应社会和经济发展需求的各类工程科技人才．     

基于代价有限的值覆盖决策树

在测试代价敏感决策系统中,测试代价敏感属性约简方法是一种寻找测试代价尽量小的属性集的有效方法．但是,约简后决策系统只保留了简洁完整的信息,其所构造的分类器精度会有所降低．假设我们拥有有限但多于最小测试代价的资源,那么我们可以充分利用这些资源来获得更高质量的分类器．本文针对这种情况做了以下两个工作：1）我们在最小测试代价约筒的基础上添加好属性,寻找一个更好的属性集．2）提出了一种改进的决策树算法,提高分类器质量．该算法选择一些当前最好的属性值来构建结点,这些属性值能够覆盖当前相应的训练集．实验表明：1）改进的决策树算法能够获得比ID3更高的分类准确度;2）与最小测试代价约简的分类器相比,在最小测试代价约筒的基础上添加一些的好属性,可以获得更高质量的分类器;3）该方法在减少测试代价开销的同时,保证了分类器的质量．     

过程分析仪在石化企业的发展趋势

在分析研究过程分析仪应用现状的基础上,探讨了过程分析仪的发展趋势和开发方向。     

无机非金属材料专业实践教学体系的整合研究

通过整合大学培养过程中各个实践教学环节,解决彼此内容相互脱节、学生对专业知识掌握广而不精的问题.实现各阶段实践学习内容的连续性、渐进性的效果,培养出具有完整、系统的专业实践能力和科研素质的创新型专业人才.     

主成分分析在高光谱遥感图像降维中的应用

高光谱遥感图像的高数据维给图像进一步处理带来了困难,为了解决这一问题,本文提出了主成分分析的降维方法.根据原始数据协方差阵的特征值和特征向量,可以计算各个波段对给定主成分的贡献率,对重要主成分贡献率的和直接反应了波段信息量的大小,实验证明,该方法效果较好,且计算量小.     

构件的质量和可复用性度量模型

讨论了构件质量模型的度量,从而提出了专门针对软件构件质量模型的可操作的可复用性度量模型．度量模型和方法可作为构件用户在管理及使用构件时对构件进行评价．     

隔震项目总承包模式研究

隔震建筑具有良好的抗震性能,但目前建造数量较少,设计、施工、项目管理等方面均缺乏经验。针对这种技术研究与工程普及相脱节的问题,采取将总承包模式引入隔震项目建造的措施,以达到保证工程质量、降低成本、缩短工期,便于项目后期管理的目的。促进隔震技术的推广和业主选择有价值的承包商。     

基于概念格中文信息最优检索串判定算法

提出了一种以形式概念的概念意义相似性为基础的中文信息最优检索串判定算法,该算法可判定出由相同关键词按不同顺序组成的不同检索串中耗费检索时间最短的最优检索串.