简介：摘要生物是一门实验性的学科，与我们的生活密切相关。生物的教学方式多种多样，数学模型法在高中教学中是应用非常广泛的一种方法。数学模型法在生物中的应用主要是将生物中的各种原理或者关系用数学模型表示出来。数学模型具有解释、判断、以及预测的功能。数学模型也能够帮助学生充分理解生物中的知识，本文主要研究了数学模型在高中生物教学中的应用，旨在提高高中生物教学的质量。

简介：摘要随着科学技术不断的变化与发展，大数据时代的到来简化了数据分析与处理的过程，转变了数据处理的思路，这种使用互联网+数学模型的方式为人工智能的发展提供了更多的思路。本文首先对大数据以及人工智能进行概述，分析了“互联网+数学模型”技术的发展，并对“互联网+数学模型”对人工智能的影响进行了相关的研究。

简介：FPGA已经被广泛用于实现大规模的数字电路和系统，随着CMOS工艺发展到深亚微米，芯片的静态功耗已成为关键挑战之一。文章首先对FPGA的结构和静态功耗在FPGA中的分布进行了介绍。接下来提出了晶体管的漏电流模型，并且重点对FPGA中漏电流单元亚阈值漏电流和栅漏电流进行了详细的分析。最后根据FPGA的特点采用双阈值电压晶体管，关键路径上的晶体管采用低闽值电压栅的晶体管，非关键路径上的晶体管采用高阈值电压栅的晶体管，以此来降低芯片的静态功耗。

简介：基于在软件开发过程中有很多静态缺陷函数检测方法与工具都具有局限性,且对软件开发后期的黑盒测试关联不大,文中提出了一种在软件开发早期运用的静态缺陷函数检测框架,该框架不仅可以解决静态分析工具误报的问题,还可以为后期的安全性黑盒测试提供数据流约束,为自动生成数据流提供有效支持。

简介：在研究静态随机存储器故障模型以及常用功能验证方法的基础上，提出采用MarchSOF算法结合故障注入的EDAC测试程序作为宇航用带EDAC功能SRAM存储器的验证方法。该方法将MarchSOF算法扩展为32位字定向算法，同时增加数据保持故障以及EDAC功能的测试，可以对宇航用SRAM进行全方位功能验证。采用实际电路，对该方法进行实现和验证，验证结果表明了方法的可行性和有效性。

简介：通过对某款功放电路的静态电流随电源电压增加而快速增大的实例,分析了晶体管厄利电压对静态电流变化的影响。通过对同款电路在不同工艺平台中测试结果的对比,分析了静态电流随电源电压变化过快的现象跟晶体管参数厄利电压的相关性,并分析了浅结工艺用于制造功放电路的缺点。分析结果表明通过优化或改变工艺条件（即增加基区结深）,使晶体管厄利电压增大,可以解决该款功放电路静态电流随电源电压增大增速过快的问题。

简介：以通信保障演习系统效能评估为背景，采用层次分析法确定各级指标的权重及排序，运用灰色聚类方法将子效能聚合成体系效能，从而实现了对效能的量化评估。最后，通过实例计算和分析，实现对系统效能的综合评估，所得结论具有一定的参考价值。

简介：在液晶指向矢计算的基础上，本文得到了向列相液晶在电场下折射率分布和相位延迟。并在矩形光栅和正弦相位光栅的基础上，分析了液晶衍射光栅对入射光一级衍射情况及其衍射效率，得到了它的数学模型。

简介：摘要本文主要研究的是“拍照赚钱”这种自助式服务模式的定价问题，本文通过分析定价规律和任务未完成原因，建立了新的定价模型，并结合打包因素，最后给出了最终优化定价模型。完成率均有所上升。然后，加入了打包发布因素，在任务密集的区域选择打包发布，重新定价，最后我们给出最终的综合定价优化模型。

简介：建立了一个基于自主体的无冲突调度的机场到达模型,介绍了自主体的成对冲突判决算法和空域资源优先权控制策略并分别加以例证。辅助管制员获得到达航空器自主体的合法路径集;同时,到达航空器自主体可以在合法路径集中选择任意路径自主飞行。从而有效提高了终端区的容量和运行效能。

简介：故障隔离过程即为熵递减的过程.从间接熵的概念出发,提出了基于信息熵的故障隔离模型,该模型考虑了可传递的故障模式和不可传递的故障模式对系统状态的影响,给出四类信息熵计算公式.从快速维修的角度,在测点优选策略中综合考虑了信息熵数量和故障率因素,从而能保证诊断树中测点分支数量少的同时,优先检测故障率较高的设备.最后通过一个典型案例应用,证明了该模型的可行性.

简介：针对单一流量管理方法仅能局部缓解流量问题，从航空器运行全过程入手，以空中扇区为视角，建立多元受限的流量管理模型。在公平性原则基础上，运用地面等待、空中改航和空中等待等流量管理方法从全局角度制定合理有效的流量管理策略，从而更有效解决流量拥塞问题。

简介：综合考虑靶场复杂电磁环境适应性试验的特点和实际需求,研究了电磁环境复杂度等级分类和评估方法。首先分析了电子装备类型及电磁环境适应性特点。其次提出基于电子装备类型的电磁环境复杂度等级评定方法,即对于雷达类和通信类设备基于信噪比、侦察类设备基于信号脉冲流分别制定复杂电磁环境等级。第三考虑用频装备天线扫描,给出了电磁环境复杂度等级动态统计分析表达式。该研究可为电磁环境适应性试验和作战指挥研究提供重要支撑。

简介：摘要多功能轨道式自动引导车极大地加速了产业自动化的历程，因而对于RGV动态调度问题的研究和分析一直是业内的焦点话题。本文通过建立相关模型，对动态调度问题加以研究。

简介：文章对0．5μm／40V高压工艺中形成的N阱电阻的SPICE模型进行研究。因为高压电路的实际应用，N阱电阻的寄生效应不可忽略，所以精确反应其电学特性的SPICE模型也显得尤为重要。从N阱电阻的测量结果反映其IV曲线的非线性特性和结型栅场效应管JFET输出特性曲线具有相似性，并通过对高压阱电阻与JFET的结构分析认为可以采用JFET的电压电流关系来建立合理的数学模型反映高压阱电阻的这种非线性特性。因此在文中借用JFET的SPICE模型作为基础，用宏模型的方法为高压N阱电阻建立了一套精确的SPICE模型、此模型适用于各类仿真器，具有一定的通用性.

简介：摘要RGV是有轨制导车辆，其可以与各种物流系统实现自动连接，对于提升产业自动化起着重要作用。基于此，对于RGV动态调度问题的研究和分析一直是业内的焦点话题。本文通过建立非线性目标规划模型，采用粒子群等算法，对动态调度问题加以分析。

简介：本文叙述了信息融合技术的发展与应用沿革，特别是重点给出了信息融合技术及应用中的一些基本概念，对澄清某些模糊概念或不准确认识会有积极作用。本文所整理并呈现给读者的美国国防部关于信息融合的JDL滚动发展体系结构模型和关于一级（含零级）融合的功能模型，对国内从事该领域研究和应用的技术人员也会有一定的裨益。

简介：从控制和驱动电路设计者的角度,设计了Mach-Zehnder干涉仪型SOI热光开关的电学模型,对模型的电学特性进行的模拟及实验电路验证表明所设计的模型可以用来在电学实验中取代SOI热光开关,最后讨论了电学模型的应用.

简介：由于没有系统备件保障度和组成单元的备件保障度之间关系的定量模型，所以文章从现行系统备件保障度对组成单元备件保障度的配置要求出发，给出了2个推论，通过对推论的分析证明，从理论上证明了该理论在特定情况下存在问题。文章还用示例作了进一步的证明。

简介：模型驱动构件可定制开发技术是近几年发展起来的新一代业务管理信息系统应用技术,可提供柔性的系统架构、扩展能力和开放性,提高系统开发效率。分析了模型驱动构件可定制开发技术的特点、影响和应用现状,提出了该技术在后勤业务信息系统建设领域的应用构想,并设计了基于该技术的后勤业务信息系统架构。