基于有限状态机的售卖机控制器的设计与仿真

自动售卖机是商业模式下自动化实现的典型应用之一,随着嵌入式系统和自动化技术的不断发展,其应用也越来越广泛。有限状态机作为一种反映状态间转移的数学模型,可以被用在嵌入式系统控制器的设计开发中。利用有限状态机技术对自动售卖机的控制器进行设计,利用Verilog HDL语言将控制器编程实现,并在Model Sim中进行了仿真,实验结果证明了该方法的可行性。     

柏拉图的数学哲学新探——古今论争及其回响

在论述哲人-统治者之培养方案的《理想国》中,柏拉图反复强调数学在此方案中居于核心环节和关键地位;数学课程的目标是"善"的知识,它是人们通往后者的必经途径。但在他处,柏拉图却对数学的价值、数学研究对象的本体论地位及其与"善"的关系做出了不同的论述。通过对柏拉图文本及其相关古今阐释进路的研读、分析可知,与将数学作为一门技术性和专门化的知识学科来发展的主流思路不同,柏拉图并不认为数学仅有外在价值,只是获得"善"知识的一种手段,而是坚信数学知识与具有价值负载特性的智慧之间有着深刻并相互交错的联系。柏拉图的这些看法是否自洽,它们带给后人怎样的启示,都值得认真考察。     

联合卫星定位和测量机器人的超高层建造过程水平位移监测

在超高层建筑建造过程中,常用测量机器人监测中间楼层的监测点的变形。削弱建筑晃动影响对于监测结果的稳定性至关重要。为此,首先提出一种利用楼顶卫星接收机测量建筑晃动情况,通过内插得到中间楼层瞬时晃动影响的方法,并通过实验验证该方法的有效性。在此基础上,利用该方法对多期监测数据进行处理,结果表明该方法可获得更加稳定的监测结果。将处理结果与有限元分析的结果进行比较,结果表明使用该方法后监测结果与有限元分析的结果吻合度较高。     

网络设备配置标准化系统研究

网络设备配置标准化平台的设计紧密结合实际工作的需要,注重实际应用,操作简单.网管人员只需填写设备的基本信息即可自动生成配置脚本.通过网络设备配置标准化平台的应用,可大大减少网管人员配置设备的工作量,同时可以降低因配置不规范引发的设备运行风险,减轻运维工作量,提升工作效率,确保业务系统稳定运行.     

SAR图像并行拼接方法研究与实现* 〖HT4K〗——基于改进完全二叉树模型

随着SAR成像技术的快速发展，SAR图像覆盖的地域范围与成像精度也在迅速增长，这对SAR图像拼接工作的实时性提出了挑战;文章对SAR图像序列特征进行深入分析，提出了采用基于分割的完全二叉树模型进行SAR图像的并行拼接，并使用MPI点对点通信方式对之进行了不同数量机群规模下的实现；对比实验证明，基于该方法的并行拼接工作比传统并行拼接方法在降低拼接时耗上更加有效，且并行拼接后的完整图像效果良好.     

过滤烦恼“直饮”健康

<正>古人云:水为万物之源,土为万物之母,饮资于水,食资于土,饮食者,人之命脉也,而营卫赖之。世界上许多物质都可以找到它的替代品:用陶瓷或塑料代替钢;用一种金属代替另一种金属,但迄今为止,还没有一种物质可以取代水,水是不可替代的有限资源。地球上的水有97.2%是海水,淡水只占2.8%,而全世界可利用的淡水资源不足淡水总量的1%。长期以来,人们都认为水     

价值敏感设计方法探析

价值敏感设计是一种基于人类价值原则与行为方式的技术设计方法。就其实践场域而言,价值敏感设计从计算机系统设计扩展至信息技术及其衍生领域,最终将应用于"会聚技术"的设计研发中。作为一种设计方法,价值敏感设计拥有前摄、互动、迭代和关涉利益相关者等显著特质。鉴于价值敏感设计以新兴技术为践行对象,其理论体系的建构是在技术设计案例中完成的。     

变电站监控信息自动验收技术的试点研究

随着经济快速发展,新建变电站数量呈指数增长,自动化验收人员面临巨大的考验。本文对监控信息自动验收技术进行试点研究。该技术满足监控信息的验收要求,可以提高验收质量和效率,具有较高的推广使用价值。     

教你如何拍雪景

冬天来了,好期待下雪啊.看着别人拍出来的美丽雪景,是不是觉得很眼馋?雪景该怎么拍才好看?现在我们就来学习一些拍雪景的小技巧吧. 选择最佳拍摄时机 冬天的早晨有很多美妙的景象,所以最好赶在太阳完全出来之前出门,这样就不怕太阳把冰雪融化掉了.不仅如此,在还不太明亮的晨光中,蜘蛛网、草上的露珠、覆盖着雪的浆果都能成为不错的拍摄对象,让你拍出浓浓的冬天的气息.