电子信息技术的应用特点及其发展

随着社会的不断进步,我国的科技也取得了较快的发展,尤其是电子信息技术。近些年来,电子信息技术在各个领域中的应用范围越来越广泛,在很大程度上推动了人类文明的进步。为了使电子信息技术在人们生活中发挥出更好的作用,本文将通过对电子信息技术的应用特点进行分析,来解析它的进步以及在未来社会中的发展,为以后电子信息技术更快、更好的发展奠定基础。     

mJava到Micro-Dalvik虚拟机的编译验证

针对类Java的面向对象语言_mJava到类Dalvik的寄存器架构虚拟机Micro-Dalvik的编译验证,给出了_mJava语言和Micro-Dalvik的操作语义.从_mJava语言程序到Micro-Dalvik虚拟机指令的编译分为两步,首先将_mJava语言程序中的本地变量名转换为相应的序号,得到一个中间语言程序,再将该中间语言程序翻译成Micro-Dalvik虚拟机指令程序.在给出中间语言的操作语义后,构造了_mJava语言程序与编译后的中间语言程序的语义保持定理并证明,以及构造了中间语言程序的语义与编译后的Micro-Dalvik虚拟机程序的语义保持定理并证明.整个形式化编译验证在定理证明助手Isabelle/HOL中进行了机器检测._mJava语言和Micro-Dalvik虚拟机分别对Java语言和Dalvik虚拟机进行了抽象,是我们兼顾语言的真实性和形式化的清晰性的结果.但是,所有形式化的语义严格遵从语言规范中的定义,并与Dalvik VM的实现保持一致,从这种意义上讲,该编译器并不是一个实验性质的假想编译器,而是有其实用意义的.     

功能油脂微胶囊的工艺优化及稳定性研究

该文优化功能油脂微胶囊的制备工艺,考察微胶囊相关理化指标。采用高直链玉米淀粉、酪蛋白酸钠和麦芽糊精作为复合壁材,功能油脂作为芯材,以包埋率为指标,根据单因素试验结果,设计三因素三水平响应面试验,得到最佳工艺条件为:乳化温度64.2℃、高速剪切时间5.8 min、喷雾干燥进风温度179.9℃,经验证试验表明包埋率可达96.42%以上。得到的微胶囊产品干燥充分,有效成分损失较少,大小均一,壁囊完整且热稳定性良好,足以满足工业生产的要求,达到了微胶囊化的目的。     

室内装饰装修工程中的色彩设计与运用

在现代室内装饰中,色彩是不可替代的关键性艺术表现元素.色彩的选择与运用直接决定了空间艺术的整体功效.在现代化发展进程的驱动下,居民的爱好由物质生活层面逐步转向了精神层面的追求,他们对室内装饰装修提出了更高的要求.适应这一变化,就要针对装饰的具体情况对色彩进行合理设计与搭配,从整体上提高空间艺术的功效与价值,以满足居民的...     

特高压交流系统三绕组自耦变压器非线性模型的研究

建立精确的自耦变压器非线性模型是对1000kV交流输电系统谐波特性进行仿真分析的基础。本文基于单相三绕组自耦变压器的电磁关系,充分考虑激磁阻抗的影响,提出了一种适用于谐波分析、易于仿真实现的单相三绕组自耦变压器的非线性模型,然后分别引入ir-u和il-u瞬时特性曲线来求解激磁阻抗,并详细介绍了曲线的数值模拟方法。结合我国晋东南-南阳-荆门1000kV特高压交流试验示范工程中的主变参数在PSCAD/EMTDC中进行了建模和仿真,证明所建立的模型能够比较准确地反映自耦变压器的饱和特性,为搭建完整的1000kV交流输电系统仿真模型和进行其谐波特性分析提供了必要条件。     

模糊控制在PSCAD软件中的实现

详细介绍了PSCAD和MATLAB接口的原理以及实现方法,以及MATLAB中Fuzzy Logic工具箱的应用,提出用M文件直接调用MATLAB中的Fuzzy Logic工具箱,将模糊控制器应用在PSCAD软件中.通过将设计的模糊控制器运用到CIGRE标准高压直流输电模型上,实现了PSCAD软件中的模糊控制,充分利用了这两个软件的优点,拓展了软件的功能.     

基于ECT技术的充填管道内固液两相流仿真方法研究

矿山充填过程中，管道中产生的结块和充填料浆中夹杂的废石会造成堵管或爆管等严重安全事故，制约了矿山充填技术的应用与发展，所以及时对管道内堵塞结块及废石的方位和大小进行检测,对矿山充填的安全稳定有着重要意义。以电容层析成像(ECT)技术为基础，研究了矿山充填管道的检测方法。针对传统ECT重建算法成像质量差、精度低等问题，提出了一种适用于充填管道内固液两相流检测的基于极限学习机和卷积神经网络的ECT图像重建方法。该图像重建网络由单隐藏层前馈神经网络和图像预测网络两部分组成。利用极限学习机建立电容数据与介电常数值的映射关系，并通过图像预测网络完成对图像的重建。通过充填管道仿真试验，证明了该方法不仅能够有效减少重建图像的伪影和变形，提高图像重建准确度，而且对充填管道中可能出现的复杂情况有较好的重建效果。所提出的ECT图像重建方法对于矿山充填管道内存在的堵塞结块及废石的检测有很好的效果，可以有助于推动ECT技术在充填管道检测领域的应用和推广。     

《容斋随笔》引赋研究

《容斋随笔》引用了大量文献,涵盖四部各类典籍,有些文献资料今已亡佚,此书是了解古代文献资料极好的宝库。其中引用前人和同时代人赋作以论证其观点有三十五条,引用赋作约一百零六篇。有些作者、作品为洪迈反复征引,有些不见于他书记载的通过此书而留下只鳞片甲。从洪迈引用的赋作来了解宋代赋作的使用、流传、阅读情况,并试图总结其引赋的来源和引赋之用,并从《容斋随笔》记录的鄱阳乡邦文献,考察洪迈创作《容斋随笔》的过程以及引书喜好。