电子装配行业的MES体系结构及技术实现

针对电子装配行业的特点和制造执行系统（MES）的需求,采用基于SOA的设计方法和理念,提出基于Web服务的MES软件体系结构,建立基于工作流的电子装配过程实时可视化、实时生产排程、实时生产过程跟踪技术框架。提出基于WebServices技术和J2EE平台的软件体系结构技术实现框架。开发的MES系统应用在某SMT车间,证明该系统具有较好的实时、可配置、可重构、可集成性能。     

面向对象的非线性有限元软件框架设计

阐述面向对象的非线性有限元软件框架设计,在前人成果的基础上,力求软件框架更灵活、更完善。采用模型分析方法与有限元模型分离的方式,明确描述各类之间的依赖关系以及相互之间的传递消息过程,建立非线性有限元软件的框架结构。增加有限元软件的模块化、代码的重用性和易扩展性,解决长期以来存在于非线性有限元开发的一个重要难题。     

基于MDA和可执行形式化的可信软件设计

提出基于模型驱动架构的软件开发过程,利用可执行形式化规范,有效提高软件开发效率和可测试性,并通过基于可执行规范的运行时监控技术保证系统行为的可信性,降低由于软件测试阶段遗留的错误以及系统受到非法入侵所带来的风险。     

支持快速开发的行业软件通用框架

针对行业软件开发过程中普遍存在的研发水平低下和周期较长的问题,提出一个基于Java企业版（JavaEE）的快速开发行业软件通用框架RADF。RADF实现了分层次软件构架规范,并提供一般行业应用软件期望的默认行为的类集合。具体的行业应用软件可通过扩展RADF的相关子类以支持专有行为。开发实践证实,基于RADF开发一个中等规模的行业软件可至少减少30%的代码量。     

论数字图书馆系统中WEB服务器性能优化的方法

由于在数字图书馆系统中流通着的大多是数字化的索引、文摘、全文、图像或音频视频等多媒体信息,对Web服务器性能有着较高的要求.结合实际工程的经验,从硬件实现手段(缓存服务器、均衡负载设备、Web双机镜像等)和软件实现手段(多层软件结构设计、应用部署等)等两个大方面论述如何提高Web服务器性能,以便使用户能够更快捷、高效、安全地使用数字图书馆应用系统.     

浅谈高校教学软件用服务器的复用技术

根据国家相关部门的要求,财经类高校实践教学所占的比例逐步增加,财经类高校特有的实践教学模式,决定了实践教学多采用软件模拟的方式进行。采用软件模拟的方式,要求有大量的服务器用于支撑教学软件的运行。受到资金投入和机房场地等因素的制约,教学软件用服务器的数量总是不能满足需求,从而影响实践教学的开展。结合财经类高校实践教学软件特有的使用规律,提出使用服务器复用技术,解决因服务器数量上不足影响实践教学顺利进行的问题,从而更好的服务实践教学。     

基于FDI算法在软件测试实践中的应用

软件测试对于软件系统的性能以及功能都有很重要的意义,是保证软件可靠运行的关键.在软件测试的实践应用中,对于软件故障定位时,提出了基于谓词统计故障定位的算法,也就是FDI频率差异积分算法.在软件测试实践中采用基于FDI频率差异积分算法,可以很好地监控软件程序,测试软件的覆盖率以及执行时间等内存占用情况,并找到软件的故障瓶颈,以便采取更好的方法改进软件性能.探讨了实践中基于FDI频率差异积分算法在软件测试内的应用.     

基于灰色关联分析法的软件缺陷类型预测

灰色关联分析法是一种描述元素之间影响程度的分析法,适合于小项目数据集。小项目数据集制约着传统的软件缺陷类型的预测方法,使得预测的结果往往不够准确和可靠。因此在灰色关联分析法的基础上提出了特征子集选择、异常工程检测以及软件缺陷类型预测3种方法。通过实验的分析对比,验证了在灰色关联分析法的基础上,提出的软件缺陷类型预测方法的准确性和可靠性。     

气象水文到报监测的实时性设计

到报监测是气象水文数据传输、处理等的重要环节,其实时性是关键设计目标.通过分析文件目录扫描方法和消息通知机制的应用特点,结合气象水文资料传输、处理规程及应用模式,重点阐述了结合实时性和可靠性要求的到报监测方法,并给出一种重构性强、应用灵活的到报监测模块的设计方案.     

开发可统计任意密码子用法的软件BestCodon

密码子偏好是自然现象,分析密码子的用法可以优化表达基因,即密码子优化,从而调节目的基因在特定宿主中的表达水平。现有密码子用法分析软件多数只限于单个密码子,适用于密码子对和密码子三联体的较少见。本文提出1种可统计任意密码子用法的软件结构,开发出1个密码子用法统计软件BestCodon,拥有序列检查和密码子用法统计2个模块。检查模块可代替人工校对,剔除输入序列中非规范字符,为后续分析提供正确的、符合规范的数据。统计模块根据用户指定的密码子组合类型,结果返回特定的密码子用法表。本文还探讨序列检查和密码子用法统计中计算机的运算特性,结果表明该软件检查1条长达150000 bp的序列仅耗时约0.2 s,而从中统计密码子十联体的用法仅耗时约0.1 s。