-
题名共享合成Petri网系统的语言递归性与系统活性
被引量：10
- 1
-
-
作者
蒲飞
陆维明
宋文
-
机构
中国科学院数学与系统科学研究院数学研究所计算机科学室
西华大学计算机科学与工程系
-
出处
《软件学报》
EI
CSCD
北大核心
2004年第3期317-326,共10页
-
基金
国家自然科学基金~~
-
文摘
在Petri网系统合成操作的研究中,大系统的一些好性质,如活性、无死锁性的判定,是一个重要的研究内容.研究了Petri网系统的一种重要的合成操作棗共享合成,着重研究了Petri网系统共享合成的行为关系(语言关系),指出并证明了Petri网系统共享合成过程中语言的递归性质,得到一个并发语言形式的共享合成语言关系式.这个语言关系式为应用Petri网系统对具有并发行为特征的系统进行建模分析提供了一种有效的形式化工具.进而利用这个语言关系式来判定共享合成网系统的活性与无死锁性,得到共享合成网系统活及无死锁的充要条件.最后给出了一些条件,在这些条件下,可用小系统的语言子集来判定共享合成网系统的活性,从而达到用小系统来研究大系统活性的目的.
-
关键词
共享合成
语言递归性
并发语言
路径并发合成
PETRI网系统
系统活性
-
Keywords
Concurrent engineering
Formal languages
Recursive functions
Software engineering
-
分类号
TP393.0
[自动化与计算机技术—计算机应用技术]
-
-
题名基于B/S模式的评标专家库系统平台建设规划
被引量：7
- 2
-
-
作者
钟世芬
柳荣其
贾年
-
机构
西华大学计算机科学与工程系
-
出处
《计算机应用与软件》
CSCD
北大核心
2005年第2期130-132,共3页
-
文摘
传统的招投标过程难以防止不正当交易和腐败现象 ,将计算机网络技术和招投标工作相结合 ,建立评标专家库系统平台 ,能够促进招投标工作的透明化、标准化、制度化和科学化 ,文中讨论基于B/S模式 ,提出评标专家库系统平台建设的基本思路和方法。
-
关键词
程序设计
B/S模式
评标专家库系统平台
软件系统
-
Keywords
Bidding expert database system platform B/S model Construction plan of platform
-
分类号
TP311.1
[自动化与计算机技术—计算机软件与理论]
-
-
题名WebGIS在油气田生产指挥系统中的应用
被引量：1
- 3
-
-
作者
钟世芬
柳荣其
余春江
-
机构
西华大学计算机科学与工程系
成都市自来水总公司
-
出处
《计算机应用与软件》
CSCD
北大核心
2004年第12期116-117,共2页
-
文摘
WebGIS比较于传统的GIS技术 ,除保留GIS技术精髓外 ,主要是提供了对互联网技术的支持。油气田的生产指挥是油气田管理活动中的重要事件 ,把WebGIS应用于传统的油气田的生产管理 ,可以做到决策具体化和形象化。本文讨论了建立基于Web GIS的油气田生产指挥系统的一般方法和关键技术 ,并简要介绍了WebGIS在石油生产领域中的应用。
-
关键词
油气田
生产指挥系统
WEBGIS
生产管理
计算机
地理信息系统
-
Keywords
WebGIS Oil gas field production management system Database technology Internet
-
分类号
TE319
[石油与天然气工程—油气田开发工程]
P208
[天文地球—地图制图学与地理信息工程]
-
-
题名招商网络电子商务系统的架构研究
- 4
-
-
作者
柳荣其
钟世芬
余春江
-
机构
西华大学计算机科学与工程系
成都市自来水总公司
-
出处
《计算机应用与软件》
CSCD
北大核心
2004年第9期58-60,共3页
-
文摘
传统的招商引资活动难以提高实际效率 ,本文主要讨论了基于BWD的招商网络电子商务系统的发展策略、基本内容以及推广计划。
-
关键词
招商网络
电子商务系统
投资
外资利用
-
Keywords
Electronic business platform based on inverstment BTOB mode BWD
-
分类号
F832.6
[经济管理—金融学]
F724.6
[经济管理—产业经济]
-
-
题名爬行虫算法设计与程序实现
被引量：14
- 5
-
-
作者
杜亚军
严兵
宋亮
-
机构
西华大学计算机科学与工程系
-
出处
《计算机应用》
CSCD
北大核心
2004年第1期33-35,共3页
-
文摘
爬行虫算法是搜索引擎探讨的热点。通过分析现有爬行虫算法设计和程序实现的主要方式 ,权衡其利弊 ,总结出一个适合于中小型网站网页下载的爬行虫算法。并使用jBuider8.0工具实现了该算法。通过实验分析 ,该程序下载的网页数的速度为 1882 4 2个网页 /分和 4 1.92 74 .5 9KB/秒。
-
关键词
爬行虫算法
爬行虫程序
搜索引擎
-
Keywords
crawler's algorithm
crawler's program
search engine
-
分类号
TP393.04
[自动化与计算机技术—计算机应用技术]
TP301.6
[自动化与计算机技术—计算机系统结构]
-
-
题名ASP.NET中参数传值的综合使用
被引量：7
- 6
-
-
作者
钟世芬
柳荣其
孙彪
周荣辉
-
机构
西华大学计算机科学与工程系
四川省委党校信息技术部
西南交通大学计算机科学系
-
出处
《计算机应用研究》
CSCD
北大核心
2004年第11期212-214,共3页
-
文摘
在ASP.NET中传值的方式有许多种,典型的就是使用Application变量、Session变量,以及Querying,Cook ies,Forms进行传值。简单介绍了这几种方法及其优劣,讨论了在ASP.NET环境中的实际运用。
-
关键词
Application:Session
QUERYING
COOKIES
FORMS
参数
-
Keywords
Application
Session
Querying
Cookies
Forms
Parameter
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于粗集理论和SVM算法的入侵检测方法研究
被引量：4
- 7
-
-
作者
彭宏
吴铁峰
张东娜
-
机构
西华大学计算机科学与工程系
-
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2005年第8期157-158,170,共3页
-
文摘
提出了一种将粗集方法与SVM算法结合起来的入侵检测方法。利用粗集理论在处理大数据量、消除冗余信息等方面的优势,减少SVM训练数据,克服SVM算法因为数据量大,处理速度慢等缺点。同时,借助于SVM良好的分类性能,对粗集约简后的最小属性子集进行分类,实现入侵检测的快速性能,高检测率和抗噪声强等优点。实验结果表明,该方法优于其它同类方式。
-
关键词
相集
SVM算法
网络安全
入侵检测
-
Keywords
Rough set
Support vector machine (SVM)
Network security
Intrusion detection
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于B/S模式的安装工具研制策略
被引量：3
- 8
-
-
作者
柳荣其
钟世芬
孙彪
周荣辉
-
机构
西华大学计算机科学与工程系
四川省委党校信息技术部
西南交通大学计算机与通信工程学院
-
出处
《计算机应用》
CSCD
北大核心
2004年第1期117-120,共4页
-
文摘
同C/S模式下的程序安装相比 ,B/S模式下的程序安装除了考虑传统的文件拷贝以及组件注册外 ,还应该更多的考虑站点建设及数据库安全访问等问题。文中简要介绍了创建站点的方法、初始化安装数据库、数据库安全访问方法以及软件保护等问题。
-
关键词
安装工具
B/S模式
软件保护
-
Keywords
installation tool
B/S model
software protection
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于粗糙集-神经网络的入侵检测方法研究
被引量：2
- 9
-
-
作者
彭宏
-
机构
西华大学计算机科学与工程系
-
出处
《计算机工程与应用》
CSCD
北大核心
2004年第20期143-145,共3页
-
基金
四川省教委自然重点科研项目(编号:0129844)
-
文摘
提出了一种融合粗糙集与神经网络的入侵检测方法。首先用粗糙集约简属性、简化神经网络设计,然后通过神经网络进行入侵检测。实验结果表明该方法优于其他同类方法。
-
关键词
粗糙集
神经网络
入侵检测
-
Keywords
rough set,Neural Network,intrusion detection
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于多项式还原问题的密码分析算法
- 10
-
-
作者
刘双根
蔺大正
黄欣阳
-
机构
西华大学计算机科学与工程系
-
出处
《计算机工程与应用》
CSCD
北大核心
2004年第30期85-86,119,共3页
-
文摘
论文描述了一种基于多项式还原问题的公钥加密方案的密码分析。给定公开密钥和密文,在多项式时间内还原相应的明文。此外,这个公钥加密方案不是单向的。论文采用的方法不同于Berlekamp-Welsh算法。
-
关键词
PR问题
密码分析
有限域B-W算法
-
Keywords
Polynomial Reconstruction problem,cryptanalysis,finite fields,Berlekamp-Welsh algorithm
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名主体性思想政治教育刍议
被引量：6
- 11
-
-
作者
陈晓山
向勇
-
机构
西华大学计算机科学与工程系
-
出处
《探索》
北大核心
2003年第5期105-107,共3页
-
文摘
本文借鉴主体性教育理论的研究成果 ,提出主体性思想政治教育这一理念。在主体性思想政治教育中 ,受教育者与教育者一样处于主体地位。主体性思想政治教育具有促进受教育者主体个性全面发展、推动社会进步的二维价值功能 ,并在教育过程中注重教育者和受教育者的双向互动。加强主体性思想政治教育必须把握使受教育者主体全面发展的主题 ,丰富思想政治教育的内容 ,创新思想政治教育的方法。
-
关键词
主体性教育
主体性思想政治教育
二维价值
互动过程
加强途径
-
分类号
D64
[政治法律—中外政治制度]
-
-
题名撤消投标者的安全的网上招投标方案
被引量：1
- 12
-
-
作者
王月昆
蔺大正
李战胜
黄欣阳
-
机构
西华大学计算机科学与工程系
-
出处
《计算机工程》
CAS
CSCD
北大核心
2005年第6期134-136,共3页
-
文摘
利用群签名体制给出一个可撤消投标者的安全的网上招投标方案。该方案实现了参与竞标公司身份的匿名性、中标者的不可否认性、可公开验证性等安全性问题。该文解决了群签名中成员删除问题。即当竞标公司因为某些原因被撤消其资格时,可信权威人士只需更改群公钥的一个参数,并用其他竞标公司的公钥加密后广播出去。而无须更改其他竞标公司的数字证书,使接下来的竞标过程顺利进行,同时保证了被撤消的竞标公司的身份与它以前参与竞标的项目的不可联系性。
-
关键词
网上招投标
群签名
知识签名
成员删除
-
Keywords
Bidding and tendering on Internet
Group signature
Knowledge signature
Member deletion
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
