-
题名网上证券交易系统的时序Petri网描述及验证
被引量：9
- 1
-
-
作者
杜玉越
蒋昌俊
-
机构
同济大学计算机科学与工程系
-
出处
《软件学报》
EI
CSCD
北大核心
2002年第8期1698-1704,共7页
-
基金
~~国家自然科学基金资助项目(69973029
69933020)
+1 种基金
国家重点基础研究规划973资助项目(G1998030604)
中国科学院软件研究所计算机科学重点实验室资助项目(SYSKF0205)
-
文摘
基于时序Petri网对我国现行网上静态和动态证券交易系统进行了模拟、形式描述及功能正确性验证.应用时序逻辑推理规则,从形式上严格证明了证券交易系统需求规范及其时序Petri网模型动态行为的一致性.结果表明,时序Petri网能够清楚而简单地描述事件间的因果关系和时序关系以及并发系统中某些与时间有关的重要性质,如最终性和公平性.因此,时序Petri网可作为并发系统形式化描述和分析的有力工具.
-
关键词
网上证券交易系统
时序petri网
时序逻辑
形式描述
正确性验证
电子商务
股票市场
-
Keywords
model checking
stock trading system
temporal logic
petri net
formal description
correctness verification
electronic commerce
-
分类号
F830.91
[经济管理—金融学]
-
-
题名电子商务环境下税收过程的Petri网模型
被引量：1
- 2
-
-
作者
甘早斌
王雅芳
魏登文
张金隆
-
机构
华中科技大学
-
出处
《长沙电力学院学报（自然科学版）》
2005年第1期59-62,共4页
-
文摘
我国电子商务工程的网络框架、基本技术环境和应用规模已经初步形成,但在软环境如电子商务税务征收领域的立法和系统建设方面还非常滞后.在分析电子商务交易特点的基础上,以Petri风为描述手段,建立了电子商务环境下的电子征税业务过程模型,并利用矩阵方程对其进行了相关的分析和验证.
-
关键词
petri网
电子商务
电子征税
建模
-
Keywords
petri net
electronic commerce
electronic taxation
modeling
-
分类号
TP393.11
[自动化与计算机技术—计算机应用技术]
-
-
题名基于Petri网的电子商务安全控制模型
被引量：2
- 3
-
-
作者
左风朝
-
机构
聊城大学计算机科学系
-
出处
《计算机工程与应用》
CSCD
北大核心
2004年第28期135-136,160,共3页
-
基金
山东省自然科学基金资助项目(编号:G08108)
-
文摘
文章对电子商务的安全体系进行了分析,从过程控制角度探讨了电子商务的安全问题。根据电子商务系统的安全控制体系结构,构造了一个基于Petri网的电子商务安全控制模型。
-
关键词
petri网
电子商务
体系结构
模型
安全
-
Keywords
petri net,electronic commerce,system structure,model,safety
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名基于层次分析法的电子商务交易决策模型
被引量：2
- 4
-
-
作者
李道全
吴兴成
郭瑞敏
-
机构
青岛理工大学计算机工程学院
-
出处
《现代电子技术》
北大核心
2017年第10期68-71,共4页
-
基金
山东省自然科学基金资助项目(ZR2011FL002)
-
文摘
C2C电子商务平台中产品种类繁多、质量参差不齐,如何准确地选择交易对象、避免遭受恶意欺骗、买到称心如意的商品已成为当前电子商务研究的热点之一。在对之前学者的研究和讨论的基础上,提出一种基于层次分析法的电子商务交易决策模型,综合商品属性、服务态度、物流服务、安全系统等多个方面计算交易决策依据的具体量化值,为交易决策提供数据支持。首先对构成决策问题的各因素建立递阶层次结构模型,其次是构造成对比较矩阵,第三是计算权重向量并做一致性校验,最后是层次总排序及一致性校验。实验结果表明,该模型有效提高了电子商务交易决策的准确性和有效性,可帮助买家避免恶意交易。
-
关键词
电子商务
交易决策
层次分析法
层次结构模型
-
Keywords
electronic commerce
trading decision
analytic hierarchy process
hierarchical structure model
-
分类号
TN99-34
[电子电信—信号与信息处理]
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名基于B/S计算模型的Web技术在电子商务中的应用
被引量：5
- 5
-
-
作者
梁娜
禹农
杨国青
-
机构
山东科技大学信息科学与工程学院
-
出处
《山东科技大学学报（自然科学版）》
CAS
2003年第1期64-66,共3页
-
文摘
介绍了应用系统中C/S计算模型的二层体系结构和三层体系结构的优缺点 ,详尽阐述了一种基于Internet的B/S计算模型 ,它可以解决C/S计算模型中存在的问题。并提出了基于B/S计算模型的Web应用技术在电子商务系统中的解决方案。
-
关键词
C/S二层结构
C/S三层结构
B/S计算模型
WEB技术
电子商务
J2EE
-
Keywords
client/server 2-tier structure
client/server 3-tier structure
browser/server computer model
web technology
electronic commerce
J2EE(jave 2 enterprise edition)
-
分类号
TP393.03
[自动化与计算机技术—计算机应用技术]
-
-
题名婴幼儿服装网络购买意愿影响因素实证分析
被引量：4
- 6
-
-
作者
木珍珍
任力
-
机构
浙江理工大学服装学院
-
出处
《针织工业》
北大核心
2018年第4期61-65,共5页
-
基金
浙江省科技厅软科学项目(2014C35029)
浙江省社科联项目(2013N078)
-
文摘
基于婴幼儿服装的消费群体更加注重产品安全性、网络购物便捷性、强烈的情感交流,利用实证分析方法探讨婴幼儿服装网络购买意愿的影响因素。以网络消费者为研究对象,分析购买意愿、感知风险、品牌认知、质量风险、隐私风险、网络口碑、营销策略之间的关系。结果表明,购买意愿对感知风险、品牌认知、网络口碑的影响显著;感知风险对隐私风险、质量风险的影响显著;品牌认知对网络口碑的影响不显著;品牌认知对质量风险的影响显著;营销策略对购买意愿的影响显著。文章对婴幼儿服装生产企业网络营销提出建议,为婴幼儿服装电商发展提供参考。
-
关键词
婴幼儿服装
网络购买意愿
结构方程模型
电子商务
网络购物
-
Keywords
Infants Clothing
Purchase Intention Online
structure Equation model
electronic commerce
Online Shopping
-
分类号
TS941.716
[轻工技术与工程—服装设计与工程]
-
