基于构建软件功能描述的可复用软件检索方法

软件复用技术能够有效降低新软件产品开发的时间、人力和成本.在软件复用中，基于待开发软件的基本描述与简单需求，如何衡量已有软件的可复用性并对大量已有软件进行快速、自动的可复用性评估，已成为首要解决的问题.目前已有较多评价软件产品或软件项目相似度的研究工作，但相似性并不等于可复用性.因此，该文通过调研软件产品可复用性的相关研究，定义了一套适用于开源软件仓库中软件项目的可复用性评价指标，并设计了基于待开发软件项目的基本需求快速查询可复用软件项目的算法，实现了可复用软件项目检索系统.通过实验及专家对检索结果的评价，验证了所提描述方法的高效性和可用性.     

基于ASP.NET与MATLAB接口隔震初步设计系统

用ASP.NET和MATLAB两种编程语言实现隔震初步设计系统.介绍了BP神经网络如何在MATLAB环境下的实现,探讨了MATLAB与ASP.NET平台开发基于ActiveX接口实现方法.通过ASP.NET调用MATLAB神经网络函数关键代码,实现隔震初步设计系统.并通过算例介绍隔震初步设计系统的使用方法,证明初步隔震系统用户界面友好,操作简单,对工程设计具有较好的工程应用价值.     

非线性二阶积分-微分解的构造性逼近

研究一类非线性二阶积分-微分方程.用构造的方法得到解的存在性定理.同时,在再生核空间中给出了解的迭代方法.     

命题逻辑中的可表性

本文给出了可表性概念．应用可表性，处理了命题逻辑符号间的关系．     

JNI技术在嵌入式软件开发中的应用

嵌入式技术已在人们生活中得到广泛的应用,Java软件是针对网上嵌入式小设备提出的,而一些主要的Java技术,如JDBC和RMI,大部分都采用JNI方式实现.主要介绍了Java的性能问题及几种解决方案、JNI技术实现的一般步骤,并给出了一个基于JNI技术的嵌入式手机软件开发实例.     

基于同构映射的中国剩余定理证明方法研究

中国剩余定理在数论和代数学中起着重要的作用.给出中国剩余定理的一种同构映射的证明方法,并给出了算法实现的步骤.利用同构映射理论分析了中国剩余定理与Lagrange插值的关系,完美地体现了利用已学知识解决未知问题的数学思想.     

函数芽的相对通有形变与横截性及相对有限决定性

本文给出了相对函数芽的相对通用形变与横截性之间的关系,并给出了它与相对有限决定性之间的一个关系.     

流体力学方程组人为解应用研究

流体力学方程求解的应用程序已成为众多重大工程理论研究与设计的重要工具,其应用程序的正确性验证已成为研究的重要问题.人为解验证技术是基于偏微分方程建模与模拟、很难解析求解的复杂工程应用程序正确性验证的重要手段.文章对流体力学方程组人为解构造方法及在应用程序正确性验证方面的研究进行了综述总结.利用李群约化理论得到流体力学方程几类精确解,给出了人为解构造的准则及流程,三维理想流体力学方程组的人为解,二维平面、柱坐标系下流体方程组的人为解及在欧氏应用程序验证中的应用,流体力学拉氏方程组人为解及在拉氏应用程序验证中的应用.     

基于设计结构矩阵的设计过程建模研究

通过分析设计活动之间的关系,建立设计开发活动的矩阵表示(设计结构矩阵),给出了设计结构矩阵的具体实现方法;实现耦合活动集的代数方法识别,在此基础上实现设计开发活动优化重组,包括活动分解和耦合活动集的解耦方法;最后,通过一个实例说明该建模方法的实用性.     

以工程应用能力为导向的案例教学法实践——以音响系统组建与调试课程为例

以江阴职业技术学院电子信息工程技术专业音响系统组建与调试课程为例,总结了以工程应用能力为导向的案例教学法实践探索培养高职学生的工程应用能力的优缺点.阶段成果显示,以工程应用能力为导向的案例教学法实践能够实现人才培养与企业需求良好对接.