基于Petri-Net的流程验证新方法

为解决业务流程管理应用系统中模型可验证性支持不足的问题,文章立足于业务流程建模和验证方法研究领域现状,以理论研究为基础提出一种面向应用系统的流程验证新方法。该方法利用PetriNet网络分析原理,聚焦于工作流网络模型,在关联矩阵、回归态、变迁序列等网络特征量的基础上推导出工作流网流程验证思路,形成了以PetriNet网络不变量求解为根本的验证算法。文中设计了实验对算法进行了理论分析验证和应用仿真验证,由此证明了文中算法的有效性。此外,为了体现算法的应用效能,对算法进行了效率分析实验,实验表明算法在验证效率上要明显优于覆盖图和因果足迹法。最后,依据文章的研究结果开发了验证算法的实用工具程序包,并对其应用效果进行了展示。综合而言,本文设计的流程验证方法合理高效,适合在实际系统中进行应用。     

主动式二维码考勤系统研究

提出了一种新型主动式考勤方式,并给出了一种结合二维码的应用方式.该方法大大节省了硬件支出成本,同时加快了考勤速度.综述了现阶段其他研究成果,并研究了主动式二维码考勤和被动式二维码考勤的区别.     

PHP 和 Oracle 技术在图书馆新闻管理系统中的应用

针对目前高校图书馆新闻管理系统开发成本高、集成化程度低、互动性不够等问题,采用 PHP 和 Oracle 数据库技术,设计并实现了一套图书馆新闻管理系统。该系统前台实现了新闻信息显示、搜索功能,系统后台实现了用户登录、添加新闻信息、修改新闻信息以及删除信息等功能。     

基于GSM高速公路管理系统设计

本文所研究的高速公路管理系统是基于GSM模块的。本系统中的GSM模块是一款高性能模块,主控制芯片采用STC12C5A32S2系列单片机可以实现上位机控制GSM模块接、打电话及收发信息等功能。而且可以对收到的信息进行解析,并根据信息内容进行相关操作,从而实现远程控制。该系统可以将高速公路上的各个分站与主控制中心连接起来,便于控制中心对下辖的各管理所进行高速、有效、实时的管理。     

党员分类教育管理的实践与思考

党员分类教育管理,就是正视党员的个体差异,积极探索党员共性要求与个性需要的有机融合,调动和发挥党员的先锋模范作用,进一步增强基层党组织的凝聚力、战斗力。中国石化股份胜利油田分公司清河采油厂南区工作站在这方面进行了有益的尝试,取得了很好的效果,具有一定的推广价值。     

知识产权托管模式基础问题研究

随着经济全球化和贸易自由化的深入发展,知识产权管理开始发挥出越来越重要的作用。但是,目前我国企业的知识产权管理水平参差不齐,知识产权管理制度还没有受到企业的普遍重视。本文首先阐释了知识产权托管的一般理论,即知识产权管理的基本功能之一;其次,阐释了这种模式与中小企业相结合,开展知识产权管理工作所具有的各种优势;最后说明为了更好地保护企业特别是中小企业的知识产权资产,有必要建立知识产权托管。本文通过对知识产权托管模式基本问题的研究,论证了建立知识产权托管,不但满足了企业对知识产权效益追求的需求,也是有效促进企业经济发展的有益尝试。     

“管理学”教学改革探讨

结合重庆工学院的实际情况,分析了根据不同层次、不同学科、不同专业的特点开设“管理学”课程的目的和要求,并针对不同层次、不同学科和专业的特点和需要,对“管理学”课程的教学内容和方法的改革作了详细的阐述．     

基于Web的机床夹具管理信息系统的研制

本文介绍了，基于Web的机床夹具信息管理系统的研究与开发。该系统用SQL Server数后台数据库，用户界面的了开发平台为Front Page2000，采用基于B／S结构模式的ASP开发技术实现。该系统可使用户按权限对夹具信息进行浏览、查询和维护。     

土坝在设计和运行中防治白蚁危害的研究

以往在水库大坝发生白蚁危害病情后,方采取工程措施进行除险加固。为把白蚁控制在危害之前,本文结合工程典型实例,根据气候、土壤、植被等建坝外部环境条件和白蚁生存需具备的土、水、食料基本因素,考虑白蚁具有喜温好湿、畏光避风、蔓延等生物特性,通过填筑坝料土质分析,研究了水库蓄水坝体浸润性、坝土级配及湿度与白蚁生存之间的关系,并提出相应对策以达到防患于未然。结果表明,坝体结构设计时,通过截断白蚁吸水水源,增加坝体干燥区,缩限白蚁生存空间;通过调整坝料级配,防止白蚁筑巢;合理采用护坡,切断白蚁食源。同时,结合水库运行管理,采取"预防为主,综合防治"的措施,使坝体周边一定范围内成为无蚁区,防止白蚁蔓延至坝,维护水库大坝的安全。