简介：生产者与消费者系统（PCS）是一个经典的进程同步问题，Hocine等学者运用抽象状态机（ASMs）对该问题进行了时序规约。文中主要使用TLA语言对PCS给出了一个时序规约模型，并且利用模型检测工具TLC对PCS进行检测。同时对系统的活性和互斥性也进行了检测，检测结果都满足系统规约。ASMs主要采用转移规则来规约PCS模型，中间的转移过程是无法知道的，TLA能同时规约出PCS的执行过程和系统属性。

简介：为了适应用户个性化与多元化的定制需求,基于SaaS的多租户特性建立了一种由MDA统一配置的SaaS元模型,内容包括各种场景下的SaaS配置元模型和统一的用户配置接口.模型将各种配置场景参数转化为元数据及其关系,让SaaS模型进一步地抽象并统一起来.设计了相应的原型系统进行规模实验验证.结果表明：该方法能够对系统进行有效的多租户定制,可以满足用户对SaaS服务的特殊定制需求,降低了服务定制复杂度,适宜应用到大型SaaS系统中.

简介：板块模型是高中物理的经典模型,它主要涉及高中物理的核心内容,如牛顿运动定律、匀变速直线运动规律、动能定理、能量守恒定律、运动图像、动量定理与动量守恒定律等。板块模型的研究对象一般有多个,并结合多个运动过程,能够有效地考查学生的综合素养,具有良好的区分度。板块模型是高考中的热点,并且常常以大型计算题出现,是同学们在复习时必须多加留意的重难点。

简介：在当前的信息化时代中，高校需要一个方便实用的学生信息管理系统来规范学生管理及相关数据的统计和分析，这将会大大提升学生管理水平，优化资源，降低成本，并可使政治辅导员、班主任等学生工作者从繁琐的事务性工作中解放出来，从而提高工作效率。本文分析了学生信息管理系统模型构建的技术要求、功能架构、系统架构等要素，阐述了系统子模块的功能设计问题，最后讨论了系统模型的可扩展性问题及其对教学管理的影响。

简介：由于水文模型是对物理过程的简化，用以描述事物最主要的物理过程，从而数学模型受许多不确定因素的影响．因此，提出了一种耦合了人工神经网络（ANN）和新安江概念模型以提高径流预报精度的方法．该方法用最新的观测资料和新安江模型中产生的径流剩余误差／流量预报结果，其工作原理为用神经网络模型预报新安江模型误差，并作为新数据引入，使径流预报得到改进．对互补的神经网络模型而言，使用的变量要以特定格式输入以符合新安江模型的要求．结果表明，与单独用新安江模型预报相比，互补模型的洪水预报精度有明显提高.

简介：通过建构生物模型来学习生物学知识，能增强学生的合作探究能力，使之更好地把握和理解生物学的核心概念。提高其对生物学知识的综合运用能力，并帮助学生理解模型方法的重要作用。文章就如何建构高中生物模型进行论述，帮助高中生提高生物核心素养。

简介：研究了零售商在订购货物时可以延迟付款,并且享受一定价格折扣的最优订购策略问题。当商品的需求率是库存量的函数时,给出了一种求最优延迟付款期限、订购周期和订购数量的一种算法,使获取的利润最大。

简介：针对水面舰艇在高技术条件下海战所面临的威胁，对战场环境进行了分析。然后运用模糊数学模型识别的方法，对水面舰艇可能遭袭样式的各种情报进行综合分析。通过计算结果确定我方舰艇的遭袭样式。这对水面舰艇防御作战指挥具有指导意义。

简介：软件测试在软件开发中具有重要地位，文章提出了软件测试成熟度模型TMM（TestingMaturityModel)，将软件测试在软件开发中的应用程度划分为五个等级，即认知级、初步采用级、全程管理级、规范级、优化级。软件开发组织所处的成熟度等级越高，所具有的软件测试能力越强。软件测试成熟度模型为衡量软件开发组织的软件测试成熟度及进一步提高成熟度等级提供了依据。对提高软件产品水平及效益有促进作用。

简介：为协调不同舰艇导弹火力分配模型产生方案的片面性，提出了基于群体重心模型的舰艇导弹火力分配群决策模型，并通过实例验证了模型。该模型使舰艇导弹火力分配的打击方案更加合理，对提高导弹打击效果有重要的现实意义。

简介：着重分析了工艺数据结构在逻辑、物理两方面的性质与应用情况;并通过对比,指出面向对象的数据模型是工艺数据模型的发展方向.

简介：结合学术型研究生的培养目标和总体要求，提出构建以钻基（学术基础）、钻棱（六项支撑）、钻顶（科研创新能力）为基本组成部分的研究生培养钻石模型，探索深化研究生教育改革的理论与实践。

简介：本文就西方经济学具有代表性的两种经济增长模型进行比较,使广大读者能够认清西方经济学理论的特点,同时,对我校经济类学生学习西方经济学提供一些帮助。

简介：生产车间的设备布局设计是一个组合优化的问题。具有NP完全（NondeterministicPolynomialComplete）、非线性等特性，常规方法较难以求解。本文提出实际路线运算法结合基因算法来求解最优设备布局结果，利用遗传算法探索生产车间设备布局问题时适值函数的确定方法。

简介：研究了两类Vague关系下Vague集的近似结构。通过引入Vague等价关系，给出了Vague集在Vague关系下的两组下、上近似，进而定义了两种新的粗糙集模型，并对此模型的几种特殊情形进行了分析，指出此两种模型均是较为一般化的粗糙集模型。此两种模型的建立，一定程度上完善了粗糙集的理论体系。

简介：利用退化试验进行高可靠长寿命的产品可靠性分析是一条行之有效的途径。基于产品性能退化量,根据绝对和相对失效标准下的产品寿命,分别讨论了退化失效下的随机截距和随机斜率线性模型,并给出了随机参数服从正态和Weibull分布情形下的结果。

简介：针对舰载武器对岸射击过程中GPS与舰载武器所使用坐标系的不同，建立了目标的相对坐标计算模型。满足了舰载武器对岸远矩高攻击的需要，方法实用，计算精度高。对舰载武器对岸远矩高攻击有实用价值。

简介：一、WICS模型的结构WICS（Wisdom,Intelligence,CreativityandSynthe-sized）模型的研究起点是探讨高效领导者所应具备的素质，即三种需要持续发展与积累的关键特质——智慧、智力和创造力，且三者应相互协调综合。

简介：阐述了逆向工程技术的概念，介绍了逆向工程技术与传统模型制作技术的区别，并从扫描模型的建立、数据采集，数据处理、CAD模型的重建方面，对逆向工程的具体运作过程进行了比较详细的分析和研究．与传统模型制作方法相比，逆向工程技术具有效率高、成本低、操作简单等优点．

简介：为了更有效的对概率统计课程的使用模型化教学方法,从概率统计课程模型化教学模型的选择、模型的实用性、时代性及计算3个角度,通过实例阐述概率统计课程模型化教学的要点,为概率统计模型化教学推广提供参考。