Si_（1－x）Ge_x／Si定向耦合器的研制

在运用ＳｉＧｅ脊形波导单模条件和有效折射率法分析ＳｉＧｅ／Ｓｉ定向耦合器结构参数的基础上，采用分子束外延和各向异性腐蚀技术制备出Ｓｉ１－ｘＧｅｘ／Ｓｉ（ｘ＝０．０５）单模定向耦合器．在波长为１．３μｍ时，平均串音小于－１８．１ｄＢ，输出功率耦合效率达到９８．１％     

接触疲劳推力片试样表面显微裂纹的研究

由于在机械加工过程中,采用了卧轴矩平面磨床制样,轴承钢接触疲劳推力片试样表面可能产生细小的显微裂纹,一般用金相光学显微镜在50至200倍下能明显观察到,经测量裂纹深度在0.10—0.20mm之间,本文通称表面显微裂纹。本文用数理统计方法研究了表面显微裂纹对接触疲劳寿命的显著影响,并发现表面显微裂纹的存在使材料的接触疲劳平均寿命下降至正常寿命的1/8,离散度也显著增大,同时研     

时间管理：下一代工业体系的核

新工业体系的成长一定是从最基础的常量和变量开始,否则只能称为现存的工业体系延续。当下和未来则要求时间产业再兴起,20世纪的科技体系概括地讲就是从确定性走向了不确定性的范畴。宏观方面,19世纪人们对世界的理解是以确定性为主体的,整个宇宙如同一个被神秘力量安排好的节目单,     

UML模型和Java代码之间的一致性检测方法

针对代码与模型之间的不一致性问题,提出了一种基于UML模型和Java代码之间的一致性检测方法.首先,对UML类图和时序图进行形式化描述,并提出时序调用图(SD-CG)这一概念,在此基础上完成类的关联关系到关联属性的转换以及UML时序图到时序调用图SD-CG的转换;其次,通过方法调用图CG来表达类方法之间的调用关系,从而反映代码动态行为,由此通过对Java源代码的词法分析与语法分析,可获得类的信息及方法调用图CG;然后设计了UML模型与Java源代码间一致性检测算法,包括对类间静态信息以及时序调用图SD-CG与方法调用图CG间的一致性检测;最后,通过开发UML模型与Java源代码一致性检测工具,验证了所提出的方法是可行有效的.     

混合遗传算法在铁路网车流分配中的应用

为减少铁车流在铁路网上的输送消耗以及均衡铁路线路的利用率,构建铁路网车流分配的多目标规划模型,针对传统智能算法在求解该问题时收敛性弱、易陷入局部最优的缺陷,提出设计自适应规则及退火策略的混合遗传算法进行求解仿真.采用特殊的染色体编码方式满足约束条件,对基本遗传算法的交叉、变异算子进行自适应改进,加强了算法的收敛性,引入模拟退火策略,提高了算法的邻域搜索能力.仿真结果表明,混合遗传算法在收敛代数以及求解性能上均有较大改进,可为车流分配问题提供有效解决方案.     

一种基于矩阵度量的缺陷管理流程的改进与实践

本文在分析软件过程中缺陷类型、缺陷注入、缺陷识别的基础上,对传统缺陷管理流程进行改进,增加了缺陷排除有效性的度量方法;然后提出一种实用的软件缺陷管理流程,建立了一个以软件缺陷生命周期为基础的度量模型,并给出了相应的缺陷矩阵度量方法;最后把该缺陷管理流程和度量方法应用在某公司的两个软件项目中,对各阶段的缺陷进行了度量,经实践和数据分析得出,运用此缺陷管理流程和度量方法可以为开发团队设定具体阶段目标和质量计划提供数据基础,为过程控制、过程评价、持续改进等提供量化管理的基础,表明本文改进后的缺陷管理流程和度量方法模型是有效的。     

一种B语言描述的需求模型到PIM的转换方法

MDA为软件的自动化构造提供了一种良好的途径,但是MDA更多地关注PIM到PSM的转换,却忽视了需求阶段对PIM精确性的影响。本文针对这种问题,首先对MDA的基本过程进行改进,提出对需求进行必要的形式化描述的思路,使得需求模型到PIM的转换变得更为容易,从而达到增强PIM精确性的目的;其次,通过对三种形式化语言的对比研究,发现B语言在需求模型的表示及转换方面具有优势,并结合例子展示了如何使用B语言对软件需求进行形式化描述;最后,本文结合模型转换框图,给出了B方法和类图的ecore元模型的图形化描述,进一步给出了用B语言描述的需求模型到PIM的基本转换规则,并借助JavaCC、JJTree和ATL插件等工具实现了需求模型到PIM的转换。     

源程序的非编译成份的度量

非编译成份包括注释、程序书写风格和命名规则等几个部分,其中程序书写风格可分为空白行、行缩进和换行等。合理地使用非编译成份,可以提高程序的可读性、可理解性、可修改性、可维护性等质量特性。然而,只有高质量的非编译成份才能起到期望的效果。本文旨在提出一种非编译成份的评价方法,促进这些成份质量的提高。在介绍每一种非编译成份后,分别提出了针对这些成份的度量方法。最后,采用加权合成的方式,得到非编译成份的整体度量。     

一种状态图到B规格说明的自动转换方法研究实现

状态图是UML动态视图之一,主要描述对象的动态行为,但缺乏形式化的动态语义,不利于软件从需求到代码的自动化转换。B语言支持形式化规格说明,在MDA转换过程中,把UML状态图转换为B规格说明,可以使MDA中的需求表达得更为精确。基于此,提出了一种基于EMF的状态图到B规格说明的转换方法,设计了状态图和B抽象机的元模型,定义了元模型之间的转换规则,给出了该规则的ATL描述,最后在Eclipse平台实现了状态图到B规格说明的自动转化。该方法为MDA过程中获取形式化需求提供了一种新的途径。