期刊文献+
任意字段
题名或关键词
题名
关键词
摘要
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到9篇文章
< 1 >
每页显示 20 50 100
已选0条
引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
Scheduling PVM Tasks 认领 引用 被引量：1
1
作者 鞠九滨 王勇 尹玉 《Journal of Computer Science & Technology》 SCIE EI 1997年第2期167-176,共10页
This paper describes a PVM task scheduler designed and implemented by the authors. The scheduler supports selecting idle workstations, scheduling pool tasks and dynamically produced subtasks. It can improve resource u... This paper describes a PVM task scheduler designed and implemented by the authors. The scheduler supports selecting idle workstations, scheduling pool tasks and dynamically produced subtasks. It can improve resource utilization,reduce job response time and simplify programming. 展开更多
关键词 Workstation cluster parallel programming environment task scheduling idle processor PVM
暂未订购 下载PDF
The Global Properties of Valid Formulas in Modal Logic K 认领 引用
2
作者 孙吉贵 程晓春 刘叙华 《Journal of Computer Science & Technology》 SCIE EI 1996年第6期615-621,共7页
Global property is the necessary condition which must be satisfied by the provable formulas. It can help to find out some unprovable formula that does not satisfy some global property before proving it using formal au... Global property is the necessary condition which must be satisfied by the provable formulas. It can help to find out some unprovable formula that does not satisfy some global property before proving it using formal automated rea-soning systems, thus the efficiency of the whole system is improved. This paper presents some global properties of valid formulas in modal logic K. Such prop-erties are structure characters of formulas, so they are simple and easy to check.At the same time, some global properties of K unsatisfiable formula set are also given. 展开更多
关键词 Modal logic system K global property tableau method automated reasoning
暂未订购 下载PDF
On-Line Predicting Behaviors of Jobs in Dynamic Load Balancing 认领 引用
3
作者 鞠九滨 徐高潮 杨鲲 《Journal of Computer Science & Technology》 SCIE EI 1996年第1期39-48,共10页
A key issue of dynamic load balancing in a loosely coupled distributed systemis selecting appropriate jobs to transfer. In this paper, a job selection policybased on on-line predicting behaviors of jobs is proposed. T... A key issue of dynamic load balancing in a loosely coupled distributed systemis selecting appropriate jobs to transfer. In this paper, a job selection policybased on on-line predicting behaviors of jobs is proposed. Thacing is used atthe beginning of execution of a job to predict the approkimate execution timeand resource requirements of the job so as to make a correct decision aboutwhether transferring the job is worthwhile. A dynamic load balancer using thejob selection policy has been implemelited. Experimelital measurement resultsshow that the policy proposed is able to improve mean response time of jobsand resource utilization of systems substantially. 展开更多
关键词 Distributed system dynamic load balancing on-line predicting behaviors of jobs tracing
暂未订购 下载PDF
SFT: A Consistent Checkpointing Algorithm with Short Freezing Time 认领 引用
4
作者 魏晓辉 鞠九滨 《Journal of Computer Science & Technology》 SCIE EI 2000年第2期169-175,共7页
A consistent checkpointing algorithm with short freezing time (SFT) is presented in this paper. It supports fault-tolerance in distributed systems. The algorithm has shorter freezing time, lower overhead, and simplici... A consistent checkpointing algorithm with short freezing time (SFT) is presented in this paper. It supports fault-tolerance in distributed systems. The algorithm has shorter freezing time, lower overhead, and simplicity of recovery. To make checkpoint time shorter, a special control message (Munblock) is used to ensure that a process can respond the checkpoint event quickly at any given time. Moreover, main memory algorithm is used to improve the concurrency of checkpointing. By using SFT, the freezing time resulted by checkpointing is less than 0.03s. Furthermore, the control message number of SFT is only O(n). 展开更多
关键词 checkpointing fault-tolerance distributed system freezing time
暂未订购 下载PDF
NONH:A New Cache-Based Coherence Protocol for Linked List Structure DSM System and Its Performance Evaluation 认领 引用
5
作者 房至一 鞠九滨 《Journal of Computer Science & Technology》 SCIE EI 1996年第4期405-415,共11页
The management of memory coherence is an important problem in distributed shared memory (DSM) system. In a cache-based coherence DSM system using linked list structure, the key to maintaining the coherence and improvi... The management of memory coherence is an important problem in distributed shared memory (DSM) system. In a cache-based coherence DSM system using linked list structure, the key to maintaining the coherence and improving system performance is how to manage the owner in the linked list. This paper presents the design of a new management protocol-NONH (New-OwnerNew-Head) and its performance evaluation. The analysis results show that thisprotocol can improve the scalability and performence of a coherent DSM system using linked list. It is also suitable for managing the cache coherency in tree-like hierarchical architecture. 展开更多
关键词 Linked list cache coherence distributed shared memory
暂未订购 下载PDF
Generalized Resolution and NC-Resolution 认领 引用
6
作者 刘叙华 孙吉贵 《Journal of Computer Science & Technology》 SCIE EI 1994年第2期160-167,共8页
The relation between generalized resolution and NC-resolution is discussed. The proof of the completeness of NC linear resolution is then given. The incompleteness of NC lock resolution is also presented, thus the con... The relation between generalized resolution and NC-resolution is discussed. The proof of the completeness of NC linear resolution is then given. The incompleteness of NC lock resolution is also presented, thus the conclusion in [3] of' a simple completeness- preserving restriction' is shown to be wrong. 展开更多
关键词 Generalized resolution NC-resolution NC-linear resolution
暂未订购 下载PDF
Necessary Conditions of Two-Level Uncertainty Reasoning Model (URM) and the Improvement on It 认领 引用
7
作者 刘大有 钟绍春 《Journal of Computer Science & Technology》 SCIE EI 1996年第2期171-180,共10页
Based on the previous work, some necessary conditions of the two-level Uncertainty Reasoning Model (URM) are proposed and an improvement on the twcalevel Uan is made that can describe and process the deviation. In add... Based on the previous work, some necessary conditions of the two-level Uncertainty Reasoning Model (URM) are proposed and an improvement on the twcalevel Uan is made that can describe and process the deviation. In addition, the paper presents two theorems for specifying the correctness about the improvement. Finally, the application of the twrvlevel URM is discussed. 展开更多
关键词 Two-level uncertainty reasoning
暂未订购 下载PDF
Sequential Back-Propagation 认领 引用
8
作者 王晖 刘大有 王亚飞 《Journal of Computer Science & Technology》 SCIE EI 1994年第3期252-260,共9页
In this paper we consider the problem of sequential processing and present a sequen-tial model based on the back-propagation algorithm. This model is intended to deal with intrinsically sequential problems, such as wo... In this paper we consider the problem of sequential processing and present a sequen-tial model based on the back-propagation algorithm. This model is intended to deal with intrinsically sequential problems, such as word recognition, speech recognition,natural language understanding. This model can be used to train a network to learn the sequence of input patterns, in a fixed order or a random order. Besides, this mod-el is open- and partial-associative, characterized as 'recognizing while accumulating',which, as we argue, is mental cognition process oriented. 展开更多
关键词 Sequential back-propagation open-association partial association,word recognition mental process of cognition
暂未订购 下载PDF
Processing of Uncertainty Temporal Relations 认领 引用
9
作者 钟绍春 刘大有 《Journal of Computer Science & Technology》 SCIE EI 1996年第1期72-82,共11页
A kind of classification on temporal relations of propositions is presented.By introducing temporal approaching relation, a new temporal logic based ontime-point and time-interval is proposed, which can describe uncer... A kind of classification on temporal relations of propositions is presented.By introducing temporal approaching relation, a new temporal logic based ontime-point and time-interval is proposed, which can describe uncertain temporalrelations. Finally some properties of temporal proposition under.uncertainrelations are proposed. 展开更多
关键词 Uncertain temporal relation temporal property of proposition temporal logic
暂未订购 下载PDF
已选0条
引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
在线咨询 使用帮助 返回顶部 意见反馈