足部复合模型建立及其应用

文章利用逆向工程原理与技术,建立了人体足部骨骼、软组织模型以及复合模型,进而建立了足部有限元模型。对足部有限元模型进行了有限元模拟分析,验证了其有效性;作为足部模型的一个应用,利用足部模型建立了鞋楦模型,然后根据该鞋楦模型试行设计出不同的鞋模型。     

软件人情感控制广义模型

借鉴大系统控制论中广义模型化方法,建立了软件人情感控制的广义模型. 提出了行为受理智和情感共同控制的观点. 从功能上将软件人情感控制模型划分为感觉模型、思维模型和行为模型,并给出了感觉模型、思维模型、行为模型三者之间的关系模型以及思维模型和行为模型两者之间的关系模型.     

应急管理的模型

模型在应急管理中具有非常重要的作用,论文讨论了应急管理中的模型问题.首先给出了模型的概念和常用模型,然后讨论了应急管理中常用的模型及其特点,最后分别介绍了突发事件机理模型、应急管理机制模型、应急决策模型和应急评价模型。     

计算机安全模型的研究

本文简述了访问控制矩阵模型、Bell-LaPadula（BLP）模型、Biba模型、RBAC模型和非形式化安全模型等几种安全模型的基本原理和优缺点,分析了它们的应用特点,给出了计算机安全模型的总体概述,并展望了未来的发展。     

利用扩展的Petri网模型形式化业务场景模型

UCM模型作为一种图形化的业务场景模型,其场景设计可以表示需求和产生规格,驱动设计和系统演化,UCM模型的正确性影响软件开发的质量.鉴于形式化模型可以验证其正确性,提出了一种利用扩展的Petri网模型,应用模型驱动实现业务场景模型的形式化方法.该方法通过细化Petri网模型中的Transition结点,从而有效的描述业务场景模型中的路径决策和动态行为.通过对UCM模型和扩展的Petri网模型的抽象语法定义,利用模型驱动方法定义了UCM模型元素形式化映射为Petri网模型元素的规则,并根据其规则设计了映射算法;在Eclipse平台上使用ATL语言实现了模型的形式化映射;应用Web Payment实例演示了UCM模型的形式化分析结果.     

基于SLM模型的负荷模型总体测辨方法

福建电网已经建立了负荷在线综合建模系统,实现了负荷模型的在线动态维护。系统一期采用了基于CLM模型的负荷模型总体测辨方法,该模型由于没有充分考虑配网阻抗对负荷模型的影响,在实际应用中与实际负荷特性存在一定偏差。为了进一步提高负荷实测模型准确度,该文提出并实现了基于SLM模型的负荷模型总体辨识方法,并给出了SLM模型的辨识结果。基于SLM模型的负荷实测模型的应用将进一步提高电网仿真计算的精度。     

电解质水溶液的固—液平衡计算

本文以扰动理论为基础建立了电解质溶液的状态方程。并将其用于电解质水溶液的固—液平衡计算。同时与Guggenheim模型,Bromley模型,Meissner模型和Pitzer模型进行了比较。本文模型与Bromley模型,Meissner模型及Pitzer模型具有大致相同的精度。取得了令人满意的结果。     

植物生长模拟与数学模型研究

着重讨论了植物生长模型的研究特点和模型的基本特征.针对模型的研究层次或尺度、模型的模拟功能等,探讨了模型的分类方式.其中分析了形态发生模型和生理生态模型各自的作用、内涵与使用范围,并对传统数学方法在模型研究中的作用进行了较详细的阐述.同时,对植物生长模型研究领域中存在的主要问题及其研究前景作了总结和概述.     

基于产品模型与过程模型集成的开发模式

在分析产品模型与其相关过程模型间耦合效应的基础上,提出了以产品模型和过程模型为主线相交织而展开的集成开发模式,从模型集成的角度剖析产品模型和过程模型间的关系并建立了模型间的耦合机制,给出了模型耦合的评估算法.应用结果表明提出的开发模式既注重过程的逻辑性,又强调了模型信息的完备性,从而可有效地推动产品开发过程的演化.     

基于动态自适应语言模型的中文输入系统的设计与实现

首先介绍采用平滑算法构建通用语言模型、领域语言模型和用户语言模型的方法;然后提出了一种模型融合方法,形成了一个动态自适应语言模型.最后,将此模型与输入系统实现技术相结合,实现了一个基于动态自适应语言模型的中文输入系统.实验表明,应用该模型的输入系统不仅降低了平均码长,而且显著提高了首字命中率.     

探究软件生产的四种模式

随着社会信息化和知识化的不断深入和发展，目前软件已经在社会的各个领域和各行各业得到广泛的应用和普及．然而从软件的发展历史来看，为了适应不同时期的软件需求和软件规模，软件的生产模式也从原始的软件作坊模式逐渐过渡到目前为软件行业所推崇的软件工厂模式．     

DBPM:基于决定的过程模型

以决定为基础,讨论软件开发与维护的过程模型（ＤＢＰＭ）,并给出了过程模型ＤＢＰＭ的规范描述。     

试论软件过程模型及其重要性

讨论软件过程模型的基本概念、实质含义和研究范畴，阐述软件过程及其模型的重要性．     

基于知识的诊断系统软件开发方法学探讨

基于工程的观点,对基于知识的诊断系统软件开发的方法学模型作了一些初步的探讨,提出了一种开发模型,该模型吸收了软件开发原型法的基本思想,体现了一种动态的、“开放式”的开发特点.     

医学检验仪器领域软构件开发

提出了一种针对医学检验仪器领域的领域软构件开发方法.首先,对特定领域进行分析,建立领域特征模型和领域元模型;然后,根据领域元模型等领域分析结果识别领域软构件;最后,确定构件模型,并对领域构件进行制作和封装.基于这些构件实现了该领域应用系统的开发,结果表明:构件的易用性较好,复用率也较高,系统的开发效率得以提高.     

基于软构件重用开发MIS系统方法论

MIS系统成功开发的关键是要有一个完善的方法.文章论述了基于软构件重用开发MIS系统方法论,提出了基于重用开发的框架和基于软构件重用开发MIS系统的模式,并较详细地叙述了该方法论涉及的MIS构件库及其管理,MIS开发的需求分析、设计与实现.强调采用软构件重用方法的关键是对构件的重用组合技术.该方法论经过实际的MIS项目开发实践的检验,证明是一种比较高效的MIS开发方法.     

浅谈软件开发能力的培养与形成

在分析软件开发主要特点的基础上,着重阐述软件开发是一种团队活动,团队中成员的软件开发能力是项目成功与否的关键因素。软件开发人员要学会借鉴他人的经验;善于和敢于解决难题;加强英语的应用能力以及具有良好的团队精神等。     

支持MDD的体系结构模型的形式化语义

 为解决模型驱动开发中模型映射关系的定义和模型转换的正确性验证等方面存在的问题,利用范畴理论形式化描述软件体系结构模型及其间的关系,使之具有严格的语义。态射合成被用来追踪构件模型之间的关联和映射关系,不同抽象层次的体系结构模型之间的一致性由函子来维持。范畴理论支持图形化建模,可以使模型中的构件关系以及结构特征可视化,有利于对模型转换的理解和追踪。应用研究表明,该方法不仅可为验证模型之间映射规则的正确性提供依据,还能为模型转换的具体实现提供理论指导。     

分布式计算模式及其软件开发包

提出了一种基于RPC的分布式计算模式．通过引入服务器端的RPC和应用相关的数据服务器,实现了开放、灵活的计算子任务划分和分派．该分布式计算模式使用对象串行化技术,使应用程序对象在网络上传输并可跨平台运行．支持同步、异步的通信模式,缓解了网络延迟带来的不必要的等待,提高了应用程序的运行效率．支持子任务间进行递归的调用,降低了应用开发难度．用JAVA语言实现了与分布式计算模式相应的开发包供分布式应用程序开发使用．     

应用软件的一个模型

讨论现存软件开发方法的不足 ,分析其根由 ,并给出一个应用软件模型。最后 ,提出根据该模型建立软件开发方法的设想