- - oalib

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

投递稿件

为什么选择我们？ >>

- 开源期刊

- 同行审议

- 快速出刊

- 终身存储

- 免费检索

- 免费推广

- 更多...

- 搜索引擎

-

ISSN Print: 1000—9825

ISSN Online:

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

分享:

采用推理方法提高多面体Boolean运算的可靠性

唐泽圣,孙家广,李新友

并行逻辑程序设计语言GHC的实现

王平,胡守仁

一个图形UIMS支持的用户接口描述方法及自动生成技术

王裕国,黄涛

并行推理任务的分配方法及其实验分析

冯刚,章萃

在多个ES协作系统中不一致性问题的处理

刘大有,钟少春,高雅卿

一个集成化的软件工程支撑环境

唐世渭,方裕,杨冬青,杨芙清

Tuili(推理)语言的编译方法与实现技术

高全泉

手写印刷体汉字识别方法2-D EAG

赵明

ω-NTB文法及其秩的若干性质

郭清泉

PARLOG顺序编译实现技术

杨和平,郑纬民

智能CAD工具

杨乔林

需求描述及分析工具CPSL/CPSA

吴东升,程崇炎,许龙山

归纳程序综合系统NDIPS的设计

徐家福,戴敏,王志坚

一种适合我国动态办公环境的正文数据库检索方法

刘怡

UNIX中文信息处理系统实现的方案和技术

孙玉方

Occam语言的时态语义

耿峻,谭新明

示例式学习某些理论的研究

李红斌,王开铸,郭克俭

逻辑语言中启发式控制

卢肇川,胡子昂,胡运发,高洪奎

知识库系统KBASE中的规则规范化理论

施伯乐,马学强

具有代数算子的λ演算系统的模型构造

孙永强,张政,陆汝占

面向对象程序设计体裁嵌入FFP-AST系统

江明德,菊燕

BD-GKS3D图形软件的设计与实现

张永明,王磊,董士海

Prology程序部分计算的研究与实现

胡运发,邓铁清

一类ω—正则语言

苏锦祥

算子Fuzzy逻辑中的λ—蕴涵和λ—强蕴涵

刘叙华

通过程序变换对数字系统进行优化

孙永强,胡振江

不确定型逻辑程序的综合

王立国

微机网上的分布式专家联合系统UNION(下)

庄庆雨,曹华,赵致琢,陆汝钤

旋转曲面CAD的有理B样条方法

王国瑾

模拟Boyer-Moore定理证明器

郑人杰,马素霞

在不同DBMS上的数据库转换

唐世渭,杨冬青,裴芳

关于横向程序变换的若干研究

蔡经球

一种面向可理解性的可复用软件开发方法

李开德,董韫美

XYZ系统的设计思想

唐稚松

微机网上的分布式专家联合系统UNION(上)

庄庆雨,曹华,赵致琢,陆汝钤

基于设计决定的逐步求精方法及环境

唐稚松,缪旭

面向完美回忆的时态认知逻辑

唐晓嘉,张玉志

联盟模式下高效单包溯源方法

张俊伟,张嘉伟,王尚广,程庆丰,马建峰,鲁宁

碎片化家谱数据的融合技术

卜晨阳,吴信东,周鹏,李娇

可修改的区块链方案

任艳丽,张新鹏,徐丹婷,谷大武

基于双层协同的联盟区块链隐私数据保护方法

夏鑫,端豪,蔡亮,鄢萌

面向AI的数据管理技术综述

周煊赫,李国良

基于局部搜索的并行扩展规则推理方法

刘磊,吕帅,周文博,张桐搏,李壮

一种面向稀疏卷积神经网络的GPU性能优化方法

冯晓兵,刘雷,李晶,董晓

基于对象位置线索的弱监督图像语义分割方法

刘国军,刘扬,李阳,郭茂祖

基于择优协作策略的PES算法在整数规划问题上的应用

侯改,唐荷花,李贺,王占占,黄樟灿

软件需求变更管理系统动力学仿真建模

唐子淇,康燕妮,张璇,李彤,牛家梅,王旭

偏好向量引导的高维目标协同进化算法

俞维,杜洁洁,王丽萍,邱飞岳,陈宏

FCSP-Blockchain:基于区块链技术的公平合约交换协议

于雷,孙毅,张瀚文,张珺,王柯元,胡斌,贾林鹏,赵晓芳,金岩

基于节点运动的机会网络路由算法

孙宝林,宋莺,张棋飞,戴志锋,桂超

©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