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

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

时序Ada网的语言性质

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

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

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

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

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

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

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

单片机的科学计算功能

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

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

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

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

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

埋地塑料排水管材的类型与选用

塑料管材作为埋地排水管材在我国逐步推广,工程实践中选用合适的塑料管材是非常重要的。论文介绍了埋地塑料排水管材的类型和生产应用情况,对一般情况下塑料埋地排水管材的选用进行了讨论,对管材环刚度的根念和作用进行了介绍,并就如何根据温度条件和防渗要求选择埋地塑料排水管材进行了分析。     

由一起外墙面砖施工质量问题引发的思考

外墙饰面砖局部开裂、空鼓问题是房屋建筑工程中比较常见的质量通病,而出现大面积质量问题,则是比较少见的,在此结合工程实例,对目前外墙饰面砖施工中存在的问题及监管薄弱环节,谈了自己的想法和建议,并希望强化落实必要的检测手段。