- - oalib

OALib Journal期刊
ISSN: 2333-9721
费用：99美元

投递稿件

为什么选择我们？ >>

- 开源期刊

- 同行审议

- 快速出刊

- 终身存储

- 免费检索

- 免费推广

- 更多...

- 搜索引擎

-

ISSN Print: 1000—9825

ISSN Online:

主页: http://www.jos.org.cn/jos/ch/index.aspx

分享:

具有两级不确定性的推理模型

刘大有,钟少春,高雅卿

计算机代数化简系统CASS1

李岳峰

基于拓扑法的多关节机械手无碰路径规划

张钹,李永成

一个基于信息论的示例学习方法

张凯慈,钟鸣,陈文伟

人机显示屏界面软件CPANEL Plus

庞大凡,王玉书

加速定理与函数分层

徐书润,王永革

软件开发中的文档管理

周龙骧,柴兴无

形式化模糊量词及推理

刘叙华,石生利

一种区域边界的识别和区域标记算法与应用

潘金贵,罗秋清,胡滨,陈世福

关于Peterson—Fischer二进程算法的断言式证明

苏运霖

LogC智能推理语言和环境

冯玉琳,王太权,黄涛

数据库设计工具集DBTOOLS的设计

唐世渭,杨冬青

采用规则与人工神经网络表示知识的专家系统

田盛丰

一种分布式动态负载平衡算法

孙钟秀,张德富,须成忠

长记录位置不变的排序算法

杨宪泽

专家系统开发环境NEW的设计与实现

潘金贵,童立,袁峰,陈世福

一个求图的连通分支的并行算法

唐策善,梁维发

有关智能决策支持系统的知识模型的探讨

徐洁磐

压缩路径序与重写系统的结构测度

孙永强,林凯,陆汝占

求解循环查询的一种新方法——标志位映射法

张彤,须德

非单调性和不一致性的处理——一个基于线性逻辑的方法

孙永强,黄林鹏

Petri网用于Horn子句的逻辑推论

林闯

自动并行编译的新进展

孙钟秀,朱根江,谢立

分段快速排序法

唐向阳

加权T图的活性分析

吴哲辉,许安国

一种扩展图重写模型下函数语言惰性模式匹配的实现方法

周光明,王鼎兴

KZ10:一个基于知识的操作系统

孙钟秀,谢立,谭耀铭,邬俊杰,陈军

平行结构类问题求解方法的研究

石纯一,胡蓬,苏伯珙

复杂对象及其并发控制

徐庆云,王能斌,陈钢

NL:松弛时序逻辑自然推理系统

何锫,唐稚松

关于一个串为正则语言中某串的子串的判定算法

庄雷

软件开发活动的基本控制结构的研究

何克清

一个测试程序自动生成器的设计与实现

朱志强,胡正国

面向对象系统软件的分层构造模型

杨芙清,章远阳,邵维忠

一种有效的编译优化代码移动算法

陈建华,陈涵生

基于轨迹的归纳程序综合

徐家福,王志坚,章骏

面向对象的语义关联数据模型理论

古新生,陈清

模型开发方法及其原型工具系统MTOOL

丁茂顺,冯玉琳,易章雄

基于面向对象概念的结构编辑器及其生成系统

廖雷,汪承藻,王和珍,费翔林

ASN.1支持工具与应用层网络协议开发环境

戴珂

解释学习进展

石纯一,黄毅青

程序变换在程序语言中的一种表示——兼论变换型语言

张乃孝

面向对象的语义关联数据模型查询语言在C语言中的嵌入

周立柱,王健斐,王小京,衣丰超

半正则重写系统及其合流性

孙永强,林凯

有界Petri网的可达图到网图的转换算法

吴哲辉,蒋昌俊

无用操作对带约束的可串行化检验的影响

刘惟一

并行表压缩算法

戴大为,黄竞伟

传播式启发式图搜索算法PRA及PRA

王士同

一个基于位向量存储结构的统计与科学数据库管理系统原型

李建中

一种基于JSD方法的规格说明语言及其支撑系统的设计与开发

严明,刘琳,徐永森

©2008-2020 OALib, Inc | Public user content licensed CC-BY 4.0 unless otherwise specified. OALib ISSN Online: 2333-9721 OALib ISSN Print: 2333-9705