oalib

OALib Journal期刊

ISSN: 2333-9721

费用:99美元

投稿

时间不限

2016 ( 29 )

2015 ( 1137 )

2014 ( 1138 )

2013 ( 1108 )

自定义范围…

匹配条件: “陆 皓” ,找到相关结果约19524条。
列表显示的所有文章,均可免费获取
第1页/共19524条
每页显示
提问逻辑式中的位置算符
志红,
现代图书情报技术 , 1989,
Abstract: 本文阐述位置算符在提问逻辑式中的含义和使用方法,重点介绍在TJIRNS中实现的位置算符的处理算法,文末还讨论了检索响应时“时间溢出”的处理方法。
主题、分类一体化的机检系统
,志红
现代图书情报技术 , 1988,
Abstract: 一个完备的机检系统,必定是既能进行特性检索,又能进行族性检索。为此必须采用主题法和分类法,且要有机地结合起来,本文深入分析了《工程索引》的编表技术,它在逻辑编排上既有主标题词、付标题词字段,又有分类代码字段,且每个记录的主标题词字段后都有相应的分类代码。TJIRNS正是充分利用些特征,在系统内设署主题词表、分类表,建立术语体系和分类体系,为用户提供简便易用的检索命令,实现了多途径、多因素检索,从而达到了上述要求,成为一个主题、分类一体化的机检系统。
自然语言计算机情报检索的初探——一个自动文本检索原型系统
,徐伟
现代图书情报技术 , 1991,
Abstract: 本文介绍在SIEMENS7570 机上建立的自动文本检索原型系统,该系统是以改善用户与系统的交互界面为目的,可以用自然语言输入。该系统是从 COMPENDEX数据库中截取1988年有关计算机技术方面文献共18167篇,作为文献集合的数据,使用了自动标引、标引词加权、矢量匹配检索、排序输出等多项技术而实现的
MICRO C—CDS/ISIS与DBASE间的数据共享
,郭忠文
现代图书情报技术 , 1987,
Abstract:
SiCp/LD2Al合金复合材料电弧焊的焊接性
陈茂爱,
金属学报 , 2000,
Abstract: 采用脉冲钨极氩弧焊焊接了SiCp/CD2Al复合材料,并用X射线衍射、光镜、电镜及MTS-810试验机对焊缝的组织及性能进行了分析,结果表明,通过焊前去氢处理及填充Al-Si焊丝,可以解决SiCp/LD2Al复合材料电弧焊中的界面反应、气孔及裂纹等总理2,并能获得性能良好的接头.
基于配对方法的自动定理证明
陈玉泉?,汝占?,
软件学报 , 1997,
Abstract: peterb.andrews提出了自动定理证明的配对方法的理论和算法.本文针对该算法的缺点,给出了一个无需回溯的实现算法,并得到一个高阶逻辑的自动定理证明系统.
中药炮制过程化学机理研究
蔡宝昌,秦昆明,,,兔林,张兴德
化学进展 , 2012,
Abstract: 中药炮制是中国的一项传统制药技术,也是中药区别于天然药物的显著特点。中药材经过加工炮制以后发生了复杂的化学变化,随着这些化学变化而改变的物质基础是中药炮制前后性味、功能改变的重要原因。阐明中药炮制过程中发生的这些化学变化是中药炮制机理研究的主要内容。近年来,国内外很多研究机构对中药炮制过程的化学机理进行了深入研究,初步阐明了多味中药炮制过程中发生的化学反应及化学成分变化,主要的化学反应包括水解反应、氧化反应、置换反应、异构化反应和分解反应等。本文对近年来中药炮制过程中化学反应机理领域取得的研究成果进行了综述,并对中药炮制过程化学机理研究的方向及前景进行了探讨。
THE INTELLGENCE-AIDED BOOKS CLASSIFICATION TOOL
自动化辅助分类工具

Chen Dafang Lu Hao,
陈大访
,

现代图书情报技术 , 1992,
Abstract: The intellegence-aided book classification tool is a software system used for aiding the book classification work. This software adopts some techniques of the expert system and is implemented on PC 286 and 386. The classification characteristics such as subject headings of the document are used as the initial value for the production system. Some relative classification codes are obtained through the indexed classification knowledge and the classification code set is then clipped according to the classification code from the least classification code set.
Model-based Approach for Software Test Adequacy Analysis
一种基于模型的测试充分性评估方法

张 瑶,白晓颖,张任伟,
计算机科学 , 2013,
Abstract: Test adequacy analysis usually uses coverage criteria to evaluate test design with respect to specific software characteristics. Conventional adequacy methods have following problems to address test evaluation of large software systems. First, codcbased coverage cannot ensure sufficient verification and validation of software requirements. Secondly,software testing adectuacy needs to take into consideration the contribution of different features. Important features deserve more test effort. hhe paper proposed a model-based approach for test adequacy analysis. An interface model was defined, representing executable software requirements for software components. Coverage of test case design was analyzed at two levels including service and service-compositions. Adequacy was calculated as weighted sum of coverage on various software features. Experiments were exercised to illustrate the proposed approach.
The Discussions on the Security of Stored Procedures in Security Subsystem of DBMS without Kernel Changed
增强型安全数据库系统中存储过程的安全性讨论

晓华,吕磊,,谢俊元
计算机科学 , 2002,
Abstract: 一、引言随着信息技术、特别是网络应用的飞速发展,对于高科技、军事、金融等需要高安全性的信息领域中的用户来说,原来的那些符合TCSEC/TDI的C类标准数据库管理系统,已不能满足新的安全要求,需要提高数据库的安全性,达到以强制访问控制为基本特征的B类安全标准。强制访问控制的安全策略通常用贝尔-拉帕丢拉模型表示。采用强制访问控制的系统中,实体分为主体与客体。数据库中的主体即为用户,在访问控制粒度为表的数据库中的客体有表、视图等。主体和客体都应具有一个安全级别;安全级别构成偏序关系。访问控制策略为“下读上写”,即对已经标识过的主体和客体,高安全级别的主体可以“读”低安全级别的客体;低安全级别的主体可以“写”高安全级别的客体。
第1页/共19524条
每页显示


Home
Copyright © 2008-2017 Open Access Library. All rights reserved.