现有Z的工具的比较

一引言软件开发过程需要大量的工具支撑,如编辑工具,编译工具,调试工具等。这些工具的使用不仅方便了软件的开发,而且合适的工具保证了软件开发的质量,它将使软件开发人员的注意力集中到设计工作本身,而不耗费在设计的相关工作上。形式化方法为计算机系统的规约、实现和验证提供了合理的数学基础,首先对系统进行独立于实现的、基于一定形式化语义的抽象描述,然后经过逐步求精     

提高麦麸可食用性的研究

小麦麸皮是小麦制粉工艺流程的副产品，它的纤维含量及营养成分是人们希望从天然食品中得到的物质。本实验以麦麸纤维面包为例，研究提高麦麸可食用性的技术方法。     

64dB二进制增益控制带有DCOC和AB类buffer的可编程增益放大器

本文设计了一款二进制增益控制,带有直流失调消除（DCOC）电路以及AB类输出buffer的可编程增益放大器。该放大器采用二极管连接负载的差分放大器结构,电路性能对温度变化及工艺偏差不敏感。根据测试,通过6位数字信号控制,电路可以实现-2dB ~ 61dB的增益动态范围,增益步长1dB,步长误差在 0.38dB以内,最小3dB带宽为92MHz,在低增益模式下,IIP3可达17dBm,1dB压缩点可达5.7dBm。DCOC电路可使该放大器应用于直接变频接收机中,而AB类输出buffer则降低了电路的静态功耗。     

基于简化系统依赖图的静态粗粒度切片方法

基于系统依赖图是计算面向对象程序切片的一个有效方法.但是,系统依赖图的缺点是太复杂,而且在建立系统依赖图的过程中容易出错,一旦出现错误就可能导致切片结果的不准确.通过对系统依赖图进行简化,得到了简化的系统依赖图.它省略了那些表示输入参数和输出参数的结点和概括边.同时,还定义了一种面向对象程序的粗粒度切片概念,讨论了它的性质,分析了它与细粒度切片的关系,并基于简化的系统依赖图计算面向对象程序的粗粒度切片.最后还讨论了切片技术的简单实现.     

甘肃舟曲滑坡易发性分析与治理效果研究

甘肃舟曲滑坡灾害频发,严重影响当地人民的经济发展和生命财产安全.为了研究舟曲县滑坡易发性和治理措施效果,文章运用遥感与反求工程技术采集数据,利用SVM分类原理构建了舟曲滑坡易发性评价模型,通过卷积神经网络法进行滑坡易发性评价和分区,并对极高易发区滑坡的抗滑群桩+扶壁式挡墙治理措施进行了三维有限元分析.研究结果表明:...     

人工智能 打造生态系统全产业链

<正>近两年,随着人工智能浪潮的来袭,大批互联网及新老IT巨头重兵布局,不仅在自身业务里积极运用AI,同时也利用云计算平台将AI服务提供给第三方。围绕智能入口的白热化争夺也在持续,而越早涉及人工智能入口,就可能获得越多的用户,占得上风的几率也会越大。     

交直流配网混合式接口变流器及其控制策略研究

交直流接口变流器是在当前交流配电网下构建直流供电系统的关键设备之一。传统的交直流接口变流器通常工作在较低的开关频率以降低大功率运行时的损耗,但同时会导致变流器对直流侧电压控制性能下降,直流电网的电能质量难以保障。由于直流电网的阻抗会随其结构的改变而变化,直流电网电能质量的控制变得更加复杂。为解决传统交直流接口变流器效率与控制性能的矛盾,本文采用了一种前后两级级联的拓扑方案,将传统交直流接口变流器作为整流级,增加了由超级电容构建的功率缓冲级,提出了一种两级协调的控制方法,可在保证接口变流器效率的前提下,提高变流器的控制性能。功率缓冲级同时可实现直流电网电能质量的集中治理,提高交直流接口变流器对直流电网电能质量的控制能力。此外,还探讨了功率缓冲级中超级电容的设计与控制。仿真结果验证了所提方案的可行性与优越性。     

深层硬目标易损性的数学描述

给出了深层硬目标效能及其易损性的数学定义,表达了深层硬目标易损性研究的一种思路．通过分析侵彻爆炸毁伤作用,构造了目标完成任务能力表现水平的损失水平函数,函数形式比较简单,其数学意义与毁伤的物理现象吻合较好,通过函数分析能了解深层硬目标在侵爆综合作用下易损性的变化趋势,方便描述目标的毁伤过程．     

使用主因素分析法重构质量屋

分析了质量功能配置方法在应用中存在的两个问题，因而提出了主因素分析法来重构质量屋，重构后的质量屋不仅考虑了产品质量特性之间的相关关系，而且有利于将质量屋分解为较大规模的质量屋，从而减小了后续阶段质量屋的规模，提高了工作效率，给出了该方法在服务中应用的一个例子。     

纤维筋与预应力混凝土的热相容性及粘结强度

<正>为了避免钢筋的腐蚀问题,近十年来人们正致力于探索使用合成纤维筋来替代钢筋的方法。但是纤维筋与混凝土的热膨胀率是不同的,特别是纤维的横向膨胀系数是混凝土的8倍。当温度升高时,纤维受热膨胀,就会在横向(沿纤维半径方向)对周围包裹着的混凝土产生应力,这种应力有可能导致混凝土覆盖层开裂;当温度降低时,纤维收缩,纤维与混凝土之间的粘结强度如何变化也是人们关心的问题。