基于PLC的船舶燃油锅炉仿真系统设计与实现

为解决航海培训中船用燃油锅炉模拟操作的问题,利用自动化领域广泛使用并得到各国船级社认可的S7-300可编程序控制器,使用STEP7 V5.3编程软件,开发了基于PLC的船舶燃油锅炉仿真系统,实现了船舶燃油锅炉各种控制功能的仿真.硬件的设计和软件的开发能有效地代替真实锅炉进行操作培训.     

基于模糊学习方法的非线性系统智能容错控制

提出了一种基于自适应模糊逻辑学习方法的非线性系统智能容错控制方案.整个控制方案集自适应模糊控制器、监督控制器和调节控制器为一体,是一个功能强大的控制体系结构.仿真结果表明:提出的控制方案能有效地识别和调节非线性系统的未知错误,而且控制系统在不确定或错误的情况下具有稳定性和鲁棒性.     

对称逻辑函数的零级核计算问题

对对称逻辑函数的零级核计算问题进行了讨论,并给出了一个计算对称逻辑函数零级核的定理,该定理表明,对称逻辑函数的对称逻辑变量之和恰好构成了该逻辑函数的一个零级核。实际应用显示,应用该定理计算对称逻辑函数的零级核,在计算时间和存储容量上都优于传统的核理论。     

基于飞行小时的航空碳核查方法

碳核查为航空碳排放监测体系的重要环节,为核查上报碳排放数据合理性,针对核查方法的适用性和准确性,提出一种基于飞行小时的航线碳核查方法.首先通过分析航段内各个飞行阶段的飞行小时与油耗特征,建立飞机油耗量区间估计模型.而后根据航线飞行小时特征,运用行程可靠性与美国联邦航空管理局(Federal Aviation Administration,FAA)畅通滑行时间定义确定地面滑行时间阈值,结合航线飞行小时的季节性特征,提出基于航线的碳排放核查方法,实现航线年度上报数据的核查.最后分别对北京—上海航线1月、7月的航班进行了算例分析,为核查航班碳排放合理性提供了参考.     

基于FPGA查阅表的面向结构的逻辑优化

介绍了基于现场可编程门阵列（ＦＰＧＡ）查阅表的逻辑优化准则．基于这一准则，讨论了几种重要的逻辑优化运算，例如抽取、分解、约数检查和简化，以按照目标工艺技术估算电路的价格．基于ＦＰＧＡ，利用我们的方法对查阅表进行逻辑优化，可以得到工艺映射中的良好出发点．以２５个基准试验例子为基础，我们的优化电路所需要的构造逻辑方块（ＣＬＢ）比利用ＭＩＳ－ＩＩ的优化电路的情形下少百分之十四，如果两者都利用ＭＩＳ－ｐｇａ顺序映射的话．此外，电路的级数也稍有改进．     

论柳宗元天人观的政治逻辑——以“大中之道”为线索

柳宗元的天人观突出了人自身的主观能动性,将天人之际转化为现实政治努力的总概括大中之道,并将这一理论范畴贯穿于现世的政治原则与政治目标,这种观点在宋明理学后备受诟病。然而,历史最终证明,对天人观的神秘性的解蔽,是现实政治走向现代的一条必由之路,现代政治的合法性证明不源于上帝,也不源于神秘的天志,而源于人自身。     

基于Petri网的嵌入式系统失效模型与分析

针对嵌入式系统的特点,提出一种基于Petri网的嵌入式系统失效模型与分析方法。依据嵌入式系统失效需求,采用Petri网建立嵌入式系统的形式化描述语言,并对嵌入式系统中的基本元素,如任务、资源、传感器、执行器等进行描述。构造任务间基本关系、任务与设备间交互的模型,并利用组合规则将这些模型动态地集成为一个完整的嵌入式系统失...     

物理化学中的简易逻辑

文章就物理化学教学中遇到的物理化学问题从简易逻辑的角度加以探讨,对于教师的教学和学生掌握物理化学的基本概念都有着比较明显的效果,也算是物理化学学习和教学的一次尝试。     

一种可编程逻辑控制程序的竞态检测方法

针对可编程逻辑控制器中竞态检测的高计算复杂性,提出一种基于梯形图程序的特征结构用于检测竞态的方法.提出关系图的概念,并给出梯形图到关系图的转化方法.通过关系图的环形结构与可编程逻辑控制器的竞态之间的必然关系,给出梯形图中无竞态的判据.结果表明:该方法可以快速判断梯形图无竞态,并具有多项式级计算复杂度.     

钢板滚切剪滚切效果的验证方法

对钢板滚动式剪切机结构参数及力能参数进行了分析研究,提出了一种滚切效果的验证方法,同时编制了可供滚切演示的VISUALBISIC通用程序,并用该程序对某厂研制的钢板滚动式横向剪切机进行了剪切效果的验证。