-
题名μ-演算嵌套不动点表达式分块计算算法
被引量：1
- 1
-
-
作者
江华
谭新星
李祥
-
机构
贵州大学计算机理论与软件研究所
广东韶关学院计算机系
-
出处
《计算机工程》
CAS
CSCD
北大核心
2008年第2期4-7,共4页
-
基金
贵州省科学基金资助项目(GGY2004002)
-
文摘
利用叠代计算μ-演算公式时的单调特性,提出了一个分块计算嵌套μ-演算公式的全局算法,算法时间复杂度为O(nd/2),空间复杂度为O(d×n)。由于算法的空间复杂度低,使得不动点算子嵌套深度很大的μ-演算公式的求解成为可能,这在模型检测方面有着非常重要的意义。
-
关键词
模型检测
μ-演算
计算复杂度
NP
co-NP问题
-
Keywords
model checking
μ-calculus
calculation complexity
NP co-NP problem
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于GIS棉花生产管理专家系统的设计
被引量：4
- 2
-
-
作者
龙腾芳
张立桢
-
机构
广东韶关学院计算机系
中国农业科学院棉花研究所
-
出处
《中国棉花》
北大核心
2005年第8期4-5,共2页
-
文摘
在分析了地理信息系统(GIS)和专家系统(ES)集成的必要性的基础上,针对棉花生长发育特点,介绍了基于GIS棉花管理专家系统的体系结构、设计思想、以及功能。
-
关键词
棉花
地理信息系统
专家系统
-
分类号
TP182
[自动化与计算机技术—控制理论与控制工程]
-
-
题名一种信息系统授权管理安全模型及实现方案
被引量：2
- 3
-
-
作者
苗雪兰
-
机构
广东韶关学院计算机系
-
出处
《计算机应用与软件》
CSCD
北大核心
2004年第11期108-110,78,共4页
-
基金
广东省教育厅自然科学基金资助项目(Z0 2 0 77)
-
文摘
本文提出了一种基于角色的信息系统授权管理安全模型 ,并对该安全模型的要素及联系进行了深入分析 ,提出了其数据模型和完整性要求。文中还提出了安全管理智能服务系统SMAS ,并对其实现方法进行了详细说明。
-
关键词
安全模型
基于角色
实现方案
信息系统
数据模型
实现方法
智能服务
授权管理
要素
联系
-
Keywords
RBAC Information system Administration of authorization Security model
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名一种求解背包问题的自适应算法
被引量：2
- 4
-
-
作者
江华
谭新星
李祥
-
机构
贵州大学计算机理论与软件研究所
广东韶关学院计算机系
-
出处
《计算机工程》
CAS
CSCD
北大核心
2008年第4期7-9,共3页
-
基金
贵州省科学基金资助项目(GGY2004002)
-
文摘
针对二表算法和动态二表算法求解背包问题,提出一个并行自适应算法,能用2δ个处理机、O(ε2(n-δ)/2)的时间、O(2(n+δ)/2-ε)的空间求解背包问题(0≤δ≤n/5,1≤ε≤(n-δ)/4),根据处理机的数目以及存储器的容量来选择参数,充分利用已有的硬件资源,以求得最快的求解速度。实验结果证明了该算法的有效性。
-
关键词
背包问题
NP问题
并行算法
时间-存储器-处理机折中
-
Keywords
knapsack problem
NP problem
parallel algorithm
time-memory-processor tradeoff
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
-
题名一种基于角色的授权管理安全模型的研究与实现
被引量：15
- 5
-
-
作者
苗雪兰
-
机构
广东韶关学院计算机系
-
出处
《计算机工程》
CAS
CSCD
北大核心
2002年第9期96-97,161,共3页
-
文摘
提出了一种基于角色的信息系统授权管理安全模型,并对该安全模型的要素及联系进行了深入分析,提出了其数据模型和完整性要求。文中还提出了安全管理智能服务系统SMAS,并对其实现方法进行了详细说明。
-
关键词
角色
授权管理
安全模型
信息系统
-
Keywords
RBAC
Information system
Administration of authorization
Security model.
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名一种实现信号线性提升的软件方法
- 6
-
-
作者
夏新恩
-
机构
广东韶关学院计算机系
-
出处
《计算机工程》
CAS
CSCD
北大核心
2004年第6期168-170,共3页
-
文摘
利用折线方程确定和代替信号传递函数，并通过软件方法求得近似传递函数的反函数；然后运用反函数实现信号的线性提升，达到降低信号测量非线性误差的目的。此方法在笔者研制开发的“YWS96-B型烟叶复烤机控制系统”上进行了实践和验证，收到较好的效果。
-
关键词
信号线性提升
信号传递函数
反函数
折线方程
-
Keywords
Promoting of signal linearity
Signal transfer function
Inverse function
Equation of broken line
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名硬盘分区表解析及信息恢复方法
- 7
-
-
作者
夏新恩
-
机构
广东韶关学院计算机系
-
出处
《计算机应用与软件》
CSCD
北大核心
2003年第8期36-39,共4页
-
文摘
当今社会计算机病毒花样翻新 ,无孔不入。在新病毒产生总超前其杀毒软件出现的前提下 ,病毒对信息的破坏不可避免。将个人的重要信息放在硬盘扩展分区 ,并掌握该分区信息恢复方法是防病毒侵害的有效措施。本文对硬盘分区表 (主引导扇区的分区表 )解析 ;并通过实例给出一个未防范硬盘分区表遭破坏后 。
-
关键词
计算机病毒
硬盘分区表
信息恢复
主引导扇区
操作系统
杀毒软件
-
Keywords
Hard disk partition table Information recovering Computer virus Data backup
-
分类号
TP309.5
[自动化与计算机技术—计算机系统结构]
TP316
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于打印口的无线测控装置设计
- 8
-
-
作者
夏新恩
-
机构
广东韶关学院计算机系
-
出处
《计算机工程》
CAS
CSCD
北大核心
2003年第15期163-165,共3页
-
文摘
分析了打印口的I/O特性；叙述了基于打印口的信息传送，用于“高炮激光射击训练模拟器”中各类信号遥测、遥控的无线测控装置设计实例。这个设计实例为野外军事训练装备的小型化和便携性，为笔记本电脑（不能扩充I/O板）用于实时检测和控制开拓一条途径。该装置设计性能在笔者研制开发的“高炮激光射击训练模拟器”项目上得到验证，并收到较好的效果。
-
关键词
打印口分析及应用扩展
无线测控装置
笔记本电脑测控
-
Keywords
Printer port analysis and application extension
Radio test and control apparatus
Notebook computer being used to test and control
-
分类号
TP334.8
[自动化与计算机技术—计算机系统结构]
-
