基于谓词公式和线性代数的软件开发模型

本文基于一阶逻辑和线性代数,分析了体系结构的目标,定义,意义和模型,并以此为基础提出了一种软件开发模型--基于谓词公式和线性代数的软件开发模型.实现了输入“自然语言“,然后输出人们想要的软件的目标.     

逆向调强适形放射治疗计划中机架角选择的算法初探

在选择IMRT治疗机架角遗传算法中,融入局部寻优能力强的模拟退火算法.针对遗传算法易产生早熟现象、局部寻优能力较差、治疗计划复杂等,提出人工优良模式,把临床经验知识融入到算法中,既保持遗传算法的全局寻优特点,又提高了运行效率.     

校园网IP地址管理系统

校园网里的合法用户因不同的原因,私自改IP地址,使校园网的IP地址管理难度加大,IP地址的使用混乱.导致许多合法用户不能正常享用网络资源,影响网络正常运行.本文章根据交换机的telnet功能,对IP、MAC地址和交换机端口号提供自动检测过程,提出IP地址冲突的解决方案.     

基于直方图均衡化的彩色图像增强

现实生活中经常遇到所照图片清晰度不好,亮度不够,能辨率低,这样就需要将图像进行处理以得到清晰度和亮度更好的图像。文章首先介绍彩色图像和图像增强的定义与方法,以及彩色图像转换为灰度图像的方法,然后对直方图均衡化作出解释,最后通过实验先将彩色图像转换为HSI图像,并对HSI图像中的I分量的灰度图像进行直方图均衡化的处理,再将经过处理后的HSI图像还原成彩色图像,即可得到增强的彩色图像效果图。实现了通过直方图均衡化的处理得到彩色图像的增强。     

用面向对象的方法开发评酒信息系统

主要论述了用面向对象的方法开发评酒信息系统的分析设计技术和过程。从实践中证明了用面向对象的分析和设计方法开发信息管理系统既可以提高开发效率 ,又可以大大提高软件复用     

OFDM中用循环前缀实现符号定界同步算法

在对OFDM系统中由于多径时延效应带来的ISI和ICI分析的基础上,介绍了循环前缀的基本原理,提出了利用循环前缀实现消除OFDM系统中存在的ISI和ICI的符号定界同步算法;分析了算法的实现过程和相关理论,得出了算法的近似表达式和性能模拟结果。     

数据挖掘技术在RSS上应用

数据挖掘(DataMining,DM)是信息领域发展最快的技术.RSS作为强大、快捷的网上阅读软件正越来越多的受到网络用户的欢迎.本文探索了将数据挖掘技术用于RSS之后,给网络用户带来的方便与快捷.     

“双碳”目标下中国分布式光伏发电的发展现状和展望

在当前实现碳达峰、碳中和目标的新形势下,中国的太阳能利用技术和应用场景迎来了新的发展时期,尤其是分布式光伏发电技术和应用场景,国家能源局也印发了相关政策鼓励其发展。梳理了中国光伏产业的发展现状,以及分布式光伏发电在发展过程中面临的主要挑战,对分布式光伏发电未来的发展前景进行了展望,并以某公司分布式光伏发电项目为具体案例进行了分析。     

复合分级燃烧对四角切圆锅炉NOx排放特性的影响

采用复合分级燃烧技术对某一燃用褐煤的四角切圆600 MW锅炉进行了低氮燃烧改造。这种复合分级燃烧技术主要是将水平浓淡燃烧技术,燃尽风技术,偏置二次风技术等有机结合起来。改造后,对一次风量,辅助风的配风方式,燃尽风率,燃尽风配风方式,锅炉过量空气系数等对锅炉NOx排放特性的影响进行了研究。在改造和燃烧优化后,锅炉实现了在高效燃烧的同时NOx浓度大幅降低。     

浅谈现代企业制度下的会计监督的必要性及会计监督体系

会计监督是会计的一项重要职能,是我国经济监督体系的重要组成部分,是非常重要的经济监督形式。在市场经济发展过程中进行会计监督、完善会计监督体系是非常必要的,对维护市场经济秩序有非常重要作用。