基于模糊Petri网的服务发现框架研究

现有的主流服务发现方法不支持模糊逻辑推理，无法处理软计算语义，从而缺乏灵活性．为了弥补人类可理解的软计算逻辑和机器能够识别的硬逻辑的差异，提出了面向服务基于模糊Petri网的Multi-Agent服务发现框架．为支持这一框架。设计了一种模糊Petri网服务描述语言，其主要特点是变迁表示一个服务或者请求；变迁的输入库所表示服务执行前应满足的条件，变迁的输出库所表示只有在所需争件满足的情况下服务才能成功执行．变迁相关的CF值（certainty factor value）表示服务消费者对Agent所提供服务的置信度．其次，提出了支持软计算语义的松弛匹配机制，并且给出了模糊松弛匹配算法；借助于本体库（类库），通过计算命题的真实度，在不精确模糊信息情况下，可以实现服务和请求的模糊松弛匹配．     

时序Ada网的语言性质

在Ada网的基础上，利用时序Petri网为Ada任务程序建模，提出了时序Ada网的概念，利用时序Ada网，可以很好地反映Ada程序的公平性和原子性要求及描述程序的需求，规范，对时序Ada网的语言性质进行分析，结论表明时序Ada网所能接受的网语言能完整地刻画程序的动态行为和时序关系，有助于对程序性质的分析和验证。     

新工科背景下数据挖掘课程综合性实验设计

针对数据挖掘课程传统教学方法偏重理论、局限于课本中某种挖掘算法的讲解和实现的问题,结合新工科背景下大数据人才培养的要求,提出面向该课程的综合性实验设计,介绍实验方案、实验内容、教学手段和评价方式的设计。     

小颗粒石灰石代替石灰炼钢造渣及CO2资源化利用

采用转炉喷吹石灰石粉造渣炼钢技术,可以提高铁水脱磷效率、对二氧化碳进行资源化利用。基于小颗粒石灰石与石灰化渣脱磷基础试验,对比分析小颗粒石灰石与石灰在相同条件下的化渣脱磷效果,计算了采用小颗粒石灰石造渣炼钢过程炉气的收益。研究表明,采用小颗粒石灰石冶炼前期脱磷速度快,冶炼5 min脱磷率可以达到49.2%,脱磷速率达到0.011 8%/min,而采用小颗粒石灰冶炼5 min脱磷率为41.2%,脱磷速率为0.009 8%/min;小颗粒石灰石与石灰冶炼脱磷效果相当,反应终点脱磷率分别为87.50%和89.08%,冶炼终点脱磷率均可以达到85%以上。小颗粒石灰与石灰石均可以实现均匀化渣,渣中元素分布均匀,石灰石脱磷渣P元素质量分数为9%,石灰脱磷渣P元素质量分数为8%,采用石灰石炼钢造渣时前期炉渣中P元素含量更高。采用小颗粒石灰石造渣炼钢时,石灰石分解产生的二氧化碳可以与铁水中多种元素反应,其利用率可以达到40%;石灰石分解产生的二氧化碳替代部分氧气参与氧化反应并生成一氧化碳,吨钢炉气中一氧化碳增加量约6.5 m³。研究结果为开展转炉喷吹石灰石粉造渣炼钢的工业应用提供...     

审计缓冲区的形式化模型及其验证

审计系统作为安全信息系统的一个重要组成部分,对于监督系统的正常运行、保障安全策略的正确实施、构造计算机入侵检测系统等都具有十分重要的意义。审计缓冲区的管理是审计系统的核心部分,本文利用时序Petri网对审计缓冲区管理的实现方案进行建模,进而对系统的安全性和活性进行了分析和验证。该方法利用时序逻辑扩充了Petri网缺乏描述系统事件之间时序关系的局限性,同时发挥了Petri网对系统并发和物理结构的有效描述及分析的优势,达到了系统验证的目的。     

MDLS系列字符型液晶显示模块在Intel系列单片机系统中的应用

本文就MDLS系列字符型液晶显示模块的使用进行说明,并给出其与 Intel系列单片机的接口电路。最后列出由作者开发的几个操作子程序。     

基于精炼操作的Petri网建模及其分析方法

针对复杂系统的Petri网建模及其分析问题,定义了Petri网的精炼操作及其相关的Petri网模型.基于序列投影,建立精炼Petri网与原网、子网间的动态行为关联关系,并分析了该精炼操作的相关动态性质,得到一组性质保持判据.最后,基于该方法实现了一个顺序资源共享系统的应用案例的建模及其分析.所提出的方法不仅为复杂系统的Petri建模提供了新的思路,而且有助于复杂Petri网模型的分析和验证.     

单片机的科学计算功能

一般认为单片机擅长于工业自动化控制 ,但却不知道它在科学计算方面有其独到的另一面。本文结合在某卫星通信工程的设计过程中所遇到的如抛物面天线的方位角、仰角的计算等难题 ,研究它是如何完成这些复杂的科学运算的。     

四苯基乙烯类化合物在荧光传感领域的研究进展

具有聚集诱导发光效应的四苯基乙烯类化合物在有机发光二极管、液晶器件、超分子组装、传感器等领域得到了深入研究,其独特的分子结构和优异的光学性质在荧光传感领域有巨大的应用价值.综述了近几年四苯基乙烯类化合物在荧光传感领域的研究进展.     

蒸汽冷凝水闭式回收在焦化厂的研究与应用

本文叙述了蒸汽冷凝水闭式回收的意义以及主要优点,针对焦化厂的具体情况,对厂内几个用汽工段进行了冷凝水回收改造,项目实施后效果显著,既改善了现场环境又节约了能源。