软件构件技术研究

指出软件复用与构件的基本概念,重点分析了当前构件技术主要研究的各项内容与现状,在此基础上,提出了构件研究过程中存在的主要问题,并对今后构件技术的发展进行了展望.     

Attribute Reduction in Decision Systems Based on Relation Matrix

<正>This paper proposes,from the viewpoint of relation matrix,a new algorithm of attribute reduction for decision systems.Two new and relative reasonable indices are first defined to measure significance of the attributes in decision systems and then a heuristic algorithm of attribute reduction is formulated.Moreover,the time complexity of the algorithm is analyzed and it is proved to be complete.Some numerical experiments are also conducted to access the performance of the presented algorithm and the results demonstrate that it is not only effective but also efficient.     

高职软件技术专业人才培养课程体系的研究

课程体系与教学模式改革是高职人才培养与社会需求紧密对接的重要途径。以校企合作、工学结合为切入点,基于软件服务外包职业岗位能力要求,进行课程体系与教学模式改革,形成弹性课程设置,是软件技术专业推进内涵建设满足专业人才社会需求的有效措施。     

基于矩阵变换的软件可信性演化波及效应

软件可信性演化属于软件演化范畴,它由一系列复杂的变化活动组成.从构件内部、构件之间表征构件可信性的可信属性存在相互依赖关系的视角,借鉴图论中的邻接图理论,建立了基于构件的软件可信性模型,并在此基础上给出了可信性DSM、可信性邻接矩阵和可信属性的可达矩阵的定义,凭借矩阵变换与运算对软件可信性演化中的波及效应进行了刻画分析和量化界定;对演化中可信属性的增加、删除、修改、合并与拆分等可信性变化活动所引起的各种波及效应给予了阐述;给出了可信属性在软件可信性中贡献大小相对量的计算方法,为软件可信性演化的管理、控制、利用和评价提供了客观依据.     

星务管理软件框架设计与实现

星务管理软件是星务管理系统的灵魂,而星务管理软件框架为星务管理软件提供一个通用、标准的软件平台。结合微纳探测器软件功能集中化的需求,卫星各分系统的管理软件基本都集中在星载计算机内运行,对星务管理软件进行一体化设计;星务管理软件功能复杂,为便于用户软件的可复用和可移植,对星务管理软件采用模块化设计。最终实现星务软件功能一体化管理,各功能模块任务按预定模式在星载计算机中运行。     

多频带信号的带通采样方法与实现

研究多频带信号的直接射频采样技术,根据镜像频率和采样频率的对应关系,推导出一种多频带信号的采样频率搜索算法,并结合软件实现中的计算截尾误差问题给出一种编程可实现的算法流程.仿真结果表明,该算法能够有效地找到最小合理采样频率,适合工程实现.     

Partial melting of the dry mafic continental crust: Implications for petrogenesis of C-type adakites

C-type adakites have been commonly considered as a result of partial melting of the mafic lower continental crust (LCC) at high pressure, as supported by high P-T experiments on hydrous basalts. However, because the mafic eclogitic LCC is generally dry, experiments on water-bearing materials cannot be used to constrain the melting processes of the dry mafic LCC. Due to the lack of systematic melting experimental studies on dry mafic rocks at crustal pressures, MELTs software was applied to simulating melting of the dry mafic LCC at 1–2 GPa. Comparison of model results with experimental data indicates that, when melting degree is greater than 20%, melts from the dry mafic LCC at 1–3 GPa cannot produce the C-type adakitic melt with high SiO₂ content (~70%). Although the limited experimental results about dry mafic rock melting at 1–2 GPa in the literature suggest that low degree melting (<10%) cannot produce silicic melt either, MELTs software simulation shows that, at pressure >1.8 GPa, low-degree melting can produce dacitic melt with high K₂O/Na₂O (~1) if SiO₂ content of the melt is controlled by residual garnet. Furthermore, the simulation also suggests that, if pressure is <1.8 GPa, abundant plagioclase (plg) in the residual phase may decrease SiO₂ content in the melt to below 62%, much lower than that of the C-type adakites observed in eastern China. Given the high P-T conditions required to produce melts with high SiO₂ and extremely low HREE contents, such melts could easily be contaminated by other crustal-derived melts, implying that the C-type adakites from eclogite melting could be less commonly observed in the outcrops than previously believed. Besides the interpretation that garnet fractionates Sr, Y, and REE, high Sr/Y and La/Yb could be also produced by multiple ways such as inheriting the source features and fractional crystallizing clinopyroxene (cpx). Therefore, it may be problematic using high Sr/Y and La/Yb as criteria to identify adakites. Instead, REE patterns with strong depletion of HREE relative to MREE (e.g. high Gd/Yb) could be a better parameter to identify the role of garnet and thus adakites. Finally, geochemical models based on MELTs simulation indicate that Eu anomaly cannot be simply used to constrain the role of plg in magmatism because Eu anomaly in the melt is a function of source characteristics, oxygen fugacity (fO₂) of magmatic systems, and plg/mafic minerals mode ratio.     

《山西省暴雨洪水计算软件》的开发与研究

工程水文专业中的设计雨量、设计洪峰流量、设计洪水总量等洪水要素是电力工程水文条件分析计算最重要的几个计算参数,其计算方法通常是采用山西省各地区水文计算手册中的有关公式进行计算,不仅计算过程较为复杂,而且计算过程中容易产生错误、工作效率不高。针对此情况,编制和开发了《山西暴雨洪水计算软件》,通过多次验证,《山西暴雨洪水计算软件》所有的计算误差均在本专业技术规程、规范允许的范围之内,计算成果的精度和准确度完全可以满足水文专业的技术要求。     

测量计算器的设计与实现

从基本测量计算的角度出发,探讨了测量计算器的设计与实现过程,给出了一种测量计算软件设计的思路。     

卫生监督领域正交软件体系结构的设计

软件体系结构是大型软件系统开发的一项关键技术。正交软件体系结构结合了传统横向设计的抽象层与面向方面纵向设计的线索,依据特征模型把系统架构设计成包含正交的组织层和线索的构件。讨论了设计正交化功能特征模型及正交软件体系结构的关键技术,并应用于一个研究案例。