基于事前分析方法的工作流过程模型的验证

工作流执行过程中经常会出现非正常终止的情况,对此,将事前分析方法应用于工作流过程模型的验证中,即在工作流过程实例化前进行模型的有效性分析和结构正确性验证。该方法对传统的有向网络图进行扩展并以此来描述工作流过程,确定模型的有效性;进一步将扩展有向网络图转换成工作流网模型,应用Petri网技术分析该模型的冲突结构,以确保工作流过程的逻辑合理性。     

地方高校多校区合理利用研究

扩展型多校区是我国高等院校办学规模扩大过程中,通过自身筹建新校区而形成的新的办学 格局。各高校尤其是地方的高等院校在实践中又有诸多问题存在。针对这种扩展型地方高校如何合理利 用资源入手,分析现实中存在的各种问题,提出解决问题的方法对于我国高等教育的发展具有较为深远 的意义。     

法国的空间探测技术产品

SMART 1是欧洲第一个月球研究计划 ,由欧洲空间署(ESA)领导 ,瑞典空间署负责具体实施。该计划实际上是对有关技术进行检测 ,以验证用于星际旅行的电力推进技术的可能性。法国正以创新的方式加入这一计划 ,向其提供一台静止等离子推进器和一台摄像机 ,并参与开发用来检测月球起源模式的仪器。法国的贡献具有革新意义 :一台静态等离子推进器 ,一台微型摄像机 ,并由辐射空间研究中心 (CESR UPS)研制以检测月球起源模式为主要目的的D CIXS仪器。静态等离子推进器以及全部推进系统由斯奈克玛发动机公司 (SNECMAMoteurs)为欧洲空间署 (…     

Banach空间常微分方程初值问题的广义整体解

研究了Banach空间一阶非线性常微分方程初值问题.当f(t,u)满足弱Carath啨odory条件时,利用单调迭代方法和适当的迭代程序,获得了广义整体解的存在唯一性结果.     

Banach空间的K一致光滑性

对Banach空间给出了一种K一致光滑性的概念。证明了它与K一致凸性具有对偶性。同时还给出Banach空间成为K一致光滑空间的一个定量形式的充分条件．     

校园网络用户资料WEB管理系统初探

介绍了校园网络用户资料如何用WEB页面来进行管理。通过ASP ACCESS数据库的方式实现对用户资料的添加、查询、修改等功能。     

算子空间的自反性

证明了具有性质Ｃσ的σ－弱闭的算子空间是遗传自反的文（１）中的主要结果是其特殊情形。