信息与计算科学专业实践教学思考

针对省级特色专业信息与计算科学专业的人才培养定位,结合我校的办学实践,从课程实验、课程设计、毕业实习和毕业设计四个方面,阐述安徽理工大学在建设省级特色专业实践教学方面采取的一些具体措施和取得的经验。     

基于微信小程序的银发通系统的设计与开发

随着移动技术和5G网络的高度普及,以改善人们生活质量为目的的服务型App层出不穷。近年来,老年人上网率逐年升高,随着老年人生活需求增多、生活质量提升,针对老年人的数据端移动服务平台也成为开发热点。因此为该类群体提供一款集社区活动、家政服务、网上购物、健康资讯等服务为一体的智能服务系统是很重要的。该系统利用微信小程序,借助前端设计语言wxml实现对系统的页面进行设计,云开发数据库实现数据的显示与录入,后端设计语言js实现前后端的交互。整体实现了针对老年人这一特殊群体设计开发银发通微信小程序。该系统在"互联网+"的基础之上,又添加了客服咨询、地图导航和信息反馈等多样功能。经过测试表明,该系统具有可使用性。     

基于Petri网的前台业务流程建模及优化分析

在采用挂号排队的前台业务流程中,被叫到挂号的客户如果已经离开,前台工作人员按流程会等到限定的时间结束后再依序叫下一个客户的挂号,因此会额外增加服务窗口的闲置时间和后续客户的等待时间.针对此现象,建立基于Petri网的挂号及叫号流程模型,并通过增加相关的结构变迁和库所,引入挂号取消系统、信息系统、挂号分类和信誉制度,对流程模型进行优化.仿真实验和测试结果表明,优化后的模型可以有效约束客户的不良行为,减少窗口闲置和客户等待时间,提高前台工作效率.     

关于电场解的因果关系

许多文献认为,弱介质中电场解用时域谐波叠加形式分析时,无因果关系可循.对此论题进行了研究,研究结果表明,弱介质中的电场解是有因果关系可循的,当电场可被分解成时域谐波并且当它具有:①有限个最大值和最小值;②可计算的不连续性;③有限能量时,则电场解可用其边界条件与其介质的冲击响应之卷积来表示.     

主体计划的Petri网方法及正确性验证

主体计划的生成问题是多主体系统实现的一个关键问题.为了实现多主体系统中的计划自动生成以及对生成的计划进行验证,以任务有效分解的Petri网模型为基础,提出了计划提取的方法并对相关的正确性运用同步器进行验证.首先,通过对网系统的可达性分析得到所有计划的集合,组成多主体系统的计划库.其次,根据同步网的相关思想,对计划库中的每一个计划的正确性进行了形式化的验证,从而为多主体系统的实现提供了保证.     

利用谓词/变迁网证明的一阶谓词逻辑命题

研究了证明一般的一阶谓词逻辑命题的方法，根据网逻辑的思想，利用谓词/变迁网对一般形式的一阶谓词逻辑命题进行了图形表示，提出了2种一阶谓词逻辑命题的证明方法：图形证明法和矩阵证明法。举出一个实际的例子来说明证明思路。     

Petri网在可靠性分析中的研究综述

可靠性的相关研究在安全关键系统中具有重要意义,利用Petri网可以实现对可靠性的形式化建模以及动态行为的描述。首先对基于Petri网的可靠性分析与研究的基本方法进行分类。其次,着重分析了利用随机Petri网求解系统可靠性的基本方法和步骤,针对等价于Markov过程和非Markov过程的两类系统,重点讨论了基于随机Petri网的系统可靠性分析方法,并指出各类分析研究方法的优缺点。进一步,分析和比较了其他各种类型Petri网在可靠性分析中的应用方法及其优缺点。最后,总结了一些常见的Petri网计算机仿真软件,并针对基于Petri网的可靠性研究展望了几个有价值的研究方向。     

信息与计算科学特色专业实践课程教学实施的经验与思考

针对国家级级特色专业信息与计算科学专业的实践课程教学体系,结合我校的办学实践,从课程实验、课程设计、毕业实习和毕业设计四个方面,阐述了我校在建设信息与计算科学特色专业过程中所取得一些经验,并针对一些教学问题进行深层次的思考。     

保性的Petri网细化运算在多主体协作中的应用

针对多主体系统的构造复杂性问题,提出通过合成若干小系统来合成一个大系统,通过小系统的性质来分析合成后的系统性质。以基于合同网的动态任务分配为参考模型,逐层细化建立动态任务分配的宏观模型和主体BDI的内部结构微观模型,分别研究主体之间的协作关系和主体的内部心智状态变化,并分析了系统的有界性、无死锁性质,突出了主体的自治性和主动性的特点。     

基于搜索树的业务流程Petri网模型抽象化简方法

由于大型复杂的业务流程模型不便于用户形成快速的梗概理解,因此模型的抽象化简方法研究至关重要.已有的模型抽象化简方法大都考虑模型的控制流,很少考虑模型的交互语义,并且对于模型的待抽象区域定位模糊.本文利用Petri网的行为关系理论,结合深度优先搜索的思想,提出了基于搜索树的业务流程模型抽象化简方法.通过定义工作流网的3种块结构和边界库所的概念,得到网系统的变迁关联搜索树,进而利用变迁关联搜索树来识别模型中待抽象的区域,从而实现模型的抽象化简.最后,通过一个具体的实例来验证所提出方法的有效性和可行性.本文的主要贡献是:在同时考虑模型行为交互语义和控制流依赖关系的基础上,提出块结构的抽象化简方法和块结构的识别定位方法,算法的时间复杂度控制在多项式难度.