排队系统的随机Petri网描述与分析

研究了用随机Ｐｅｔｒｉ网描述的基本排队模型，提出了对复杂系统建模的组合方法，并结合通信网中若干实际问题尝试了用随机Ｐｅｔｒｉ网对排队系统建模、分析的一般途径。     

电子商务系统形式化分析与验证技术综述(Ⅰ)

电子商务系统的设计与分析是一项相当繁重而复杂的任务，应用形式化分析技术对电子商务系统模拟与验证，可以查找系统设计中的错误和不足，确保系统的正确性和健壮性．将目前用于电子商务系统的形式化方法划分为四大类，分析了其中三类方法的应用特点．     

用于描述排队系统的广义Petri网

本文推广了Petri网的概念。新定义的广义Petri网可用于描述排队系统,文中给出了用广义Petri网描述排队系统,即建立排队系统的广义Petri网的步骤,还给出了关于广义Petri网的一些初步结果。     

基于行为轮廓的网购系统变化域优化分析

业务流程管理的变化域分析是当前一个研究热点。本文通过对Petri网业务流程模型进行分析,建立行为轮廓矩阵,将源模型与目标模型进行研究,找出模型中的变化域。通过添加配置变迁,优化模型,使模型与实际更为贴近,更加满足用户的需求。以实际的网购系统为例,利用软件对系统进行仿真处理,验证该系统的有效性以及可行性。     

思想政治教育主体行为的外部性分析

20世纪90年代经济学向各个学科领域渗透，把外部性理论从经济学领域引入思想政治教育。探讨思想政治教育主体行为外部性的形成及其正外部性和负外部性的表现，仍然是一种尝试。     

软件体系结构模型描述的研究

提出一个PetriNet的扩展理论 ,为软件体系结构的描述的正确性提供了一个比较简单但完整的描述的net基础。     

基于冲突判定的混杂Petri网模型行为分析

为了分析基本混杂Petri网模型行为,提出了基本混杂Petri网各迁移间的冲突判定定理,讨论了消解策略,并给出了基于冲突判定和消解的基本混杂Petri网模型行为分析算法。理论分析证明了所提出定理的正确性,实例分析和比较说明了所提出算法的有效性。     

论依法治国的主体与对象及执行主体的行为法律

将依法治国的主体界定为“党和广大人民群众” ,其对象界定为“管理国家事务 ,管理经济文化事业 ,管理社会事务 ,”的法理解释值得商榷。依法治国需要一个大前提 ,就是制定相应的行为法律 ,具体规定领导主体 (立法主体 )与执法主体 (职能主体 )的多层次性和隶属关系 ,具体规定执行主体 (职能主体 )与对象的交叉性和同一性 ,即各种执行主体 (职能主体 )具体职能及相互关系。     

基于Internet的电力行业的电子商务系统研究

电力行业的企业是分散的和跨地域经营的,应同时做到统一采购,统一配送,统一结算和统一管理,传传统电力行业必须向电子商务化进程迈进,实现电力商务化,必将会带来更大的商要,也必将有利于实现高效低成本的运用,提高市场竞争力,为此,根据电力行业研究的现状及特点,研究了基于以电力行业内部的多个局域网,通过共同电话交换网PTN等广域网协议连接而成的广域网,再利用INTERNET技术而构成的INTRANET,并提出了该系统的结构,功能及注意事项。     

液压系统建模分析的Petri网描述

摘要：针对复杂的液压系统难于直接分析的特点,探讨了运用Petri网理论进行液压系统建模分析的一般步骤,并通过实例分析,证实了Petri网对液压系统进行建模分析的可行性．该方法简单易行,提高了复杂液压系统的分析效率．     

电子商务中软件代理人特点分析

分析软件代理人在电子商务中应具有的特有的角色特点,并用这些特点对软件代理人进行了分类,提出三种不同层次的代理人,以及代理人组织的概念和特点。并探讨了当前电子商务中软件代理人开发的最有前景的三个领域。     

电子商务的安全与对策

电子商务的应用会涉及到安全问题,本文针对电子商务安全问题,从有效性、机密性、完整性、可靠性等方面,探索解决电子商务交易中安全隐患的办法。     

基于工作流的电子商务交易订购系统建模

随着Internet的高速发展和普及,电子商务已成为当前社会和经济发展中的一种重要交易方式。工作流技术的出现和迅速发展为电子商务系统业务流程的建模和实施提供了重要的技术支持。基于工作流技术为电子商务交易订购系统建立形式化模型。首先通过进程代数CSP的语法进行了定义,并采用CSP对常见的工作流模式进行描述。其次,应用工作流的CSP描述对电子商务交易订购流程进行建模。该模型符合原子性要求,能够对电子商务交易订购过程中的系统响应、并发控制等一系列关键问题进行描述,有助于解决当前电子商务系统存在的诸多问题。     

电子商务安全支付技术及其应用

该文就备受关注的电子商务安全支付技术做了简要回顾,重点讨论了常见的各种网络支付方式的流程及安全性。指出网络安全技术重在保证数据安全性,使网络交易的安全得到了基本保障。     

电子商务服务器的安全与加固

电子商务的兴起对服务器的安全提出了更高的要求。要保障电子商务服务器的安全,有必要构筑四道防线,第一道防线是法律,其次是制度,接着要利用各种计算机技术和设备加固主机,第四道防线是数据备份。文中重点讨论了电子商务服务器的加固。     

电子商务信用缺失的博弈分析

从信息不对称的角度建立电子商务信用行为的博弈模型,分析了目前我国电子商务信用缺失的原因,并提出了现时期改善我国电子商务信用问题的一些途径。电子商务信用缺失的主要原因有两点:一是没有形成完善的信用奖惩机制;二是在我国信息传递的难度相当大,电子商务获取信用信息的成本高昂。解决我国电子商务信用问题,首先应当加快我国信用市场体系的建设,建立电子商务信用的相关法律和地方法规;进一步完善现代电子商务制度,建立电子商务信用管理机制;建立信用信息系统,完善市场交易的信息沟通网络。     

论基于个性化定制的旅游电子商务网站设计

文章就我国开展旅游电子商务存在的问题和发展方向进行讨论,并就建设基于个性化定制的旅游电子商务网站的原因、目标、实施方案提出了相关的意见。     

电子商务的税收制度浅析

分析了电子商务的出现对税收政策产生的影响。阐述了电子商务税收的种类及电子商务与关税的关系。并就建立我国电子商务的税收政策提出了看法。     

电子商务安全初探

随着电子商务活动升温，安全问题成为影响其发展的关键技术之一，这里试图通过对数字签名和加密算法的探讨，使读者了解数字签名技术与电子商务的安全性这一关键因素的关系。     

电子商务中信用模式选择的博弈分析

电子商务是一种新的经营理念和商务模式,信用是制约电子商务进一步发展的主要瓶颈。在电子商务中交易者选择何种信用模式是虚拟市场中交易双方相互博弈的结果。完全信息下的静态博弈和动态博弈结果表明:电子商务交易者的双方交易决策是相互影响的,交易一方对另一方的交易行为都会做出积极的反应,买方的选择往往决定卖方的选择;动态博弈时。卖方选择诚实信用模式的必要条件为是诚实信用模式的长期收益大于或等于欺诈信用模式的短期收益,卖方选择何种信用模式的临界点是卖方诚实信用模式的短期收入与社会平均投资利润率的比值。