用户名： 密码： 找回密码 中文版 English 本站信箱 收藏本站 本网介绍

首页加盟期刊收录期刊评价中心文献导读期刊动态博客美文问题解答在线订阅新浪微博RSS
网站动态： 中国计算机期刊网介绍          欢迎关注中国计算机期刊网微信订阅号！          中国计算机期刊网正式发布,欢迎访问!          如何申请成为收录期刊和加盟期刊         
  •   按检索    检索词：    高级检索
     排序：相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果，以下是第1921-1940项 搜索用时 92 毫秒
[首页] « 上一页 [92] [93] [94] [95] [96] 97 [98] [99] [100] [101] [102] 下一页 » 末  页»
1921.
一、概述 Hi-CAD是一个集建筑、结构、设备、电气和经济五个专业为一体的综合性集成化软件,其框图如下: Hi-CAD根据建筑工程设计的特点,构筑了一个以建筑专业为龙头的带几何信息和非几何属性的建筑核心数据库,并通过信息传送与各专业建立联系,避免了单专业CAD软件大量数据的重复输… …   相似文献
1922.
为使科技工作者在实验室中即可从国内外主要信息系统获取信息,我院建立了国际联机检索系统AMMSNET。该系统于1993年8月正式投入使用,受到了广大科技工作者的欢迎并已取得了一定的效益。现将其基本情况介绍如下:  相似文献
1923.
在Windows 3.1中,可以在串行口COM1到COM4之间进行通讯。但如果使用不当,在使用串行通讯时会遇到一些问题,出现了该出现的情况。下面就在WINDOWS 3.1中使用串行通讯口的一些常见的问题及解决的方法作一些介绍,供读者参考。  相似文献
1924.
本文就在多用户操作系统下操作DOS盘上的文件时不能使用通配符的问题进行了分析，并以doscp为例具体介绍了一种解决方法。  相似文献
1925.
一、问题的提出DOS有两条用于磁盘文件共享的命令。其中PATH内部命令用于可执行文件，APPEND外部命令用于不可执行文件。当将共享文件的路径加在这两条命令的命令行上执行时，就可建立起相应的文件搜索路径，使得用户可在各自的目录下执行位于其它目录下的共享文件。但是，上述方法无法对任… …   相似文献
1926.
编者按：“三金”工程，即“金桥”、“金关”、“金卡”工程，它是我国国民经济信息化的战略举措。金桥工程是建立国家公用信息基干网，目标是实现一个覆盖全国、与国务院各部委专用网相联，并与30个省市自治区、500个中心城市、12000个大中型企业、100个计划单列的重要集团以及国家重点工… …   相似文献
1927.
本文介绍了一种以动画制作技术为基础的辅助教学系统的功能、结构及技术特点。我们以某型航空火控系统为例，以动画制作技术为基础，研制了一套辅助教学系统，经学校和部队试用，收到了很好的教学效果。  相似文献
1928.
本文讨论并行蒙特卡罗方法及其在核工程中的应用。在江南Ⅱ型和Transputer并行机上基于并行随机数实现并行模拟核工程上广泛应用的质点随机游动，其结果是满意的。同时给出两机器实际统计模拟试验的例子，不同算法，不同模拟星的加速比。对小模拟量，算法Ⅰ效果不明显，算法Ⅱ不论模拟量大小效果明显，对两个处理器的加速比接近2。… …   相似文献
1929.
本文介绍了我们为深圳市邮电局开发长途电话业务管理系统过程中的主要问题。该系统是在VAXRdb／VMS数据库管理系统支持下开发的一个大型计算机应用系统，用于全面支持电信业务计费管理。  相似文献
1930.
Ｓｉｄｌｅ系统是运行在ＳＵＮ工作站网络上的一组实用程序，利用空闲的处理机资源进行大粒度的并行计算．同其它远程执行设备相比，它能支持程序内部并行和嵌套的远程执行，允许一个服务员机接受多个远程执行任务．本文介绍了这些特点和透明性的实现方法．  相似文献
1931.
本文主要讨论特性表机制与复合对象的概念、功能及实现．在基于知识的面向对象系统中引入特性表机制与复合对象概念的目的在于增强系统的知识表达能力．文中提出的特性表机制包括了三种类型的特性说明表：类说明特性表、继承关系特性表和变量特性说明表．复合对象在系统中是通过引入一个称为“影子类”的… …   相似文献
姚莉  刘凤歧  汪浩 《软件学报》1994,5(2):48-56
1932.
带类型的λ－演算是一个逻辑系统，它可以作为程序语言的基础．Ｐｌｏｔｋｉｎ所引进的ＰＣＦ就是这样一类程序语言．Ｐｌｏｔｋｉｎ构造了ＰＣＦ的一个模型，然后讨论与这个模型相关的指称语义和操作语义之间的配合问题──简单配合和完全配合．本文利用Ｓｃｏｔｔ引进的信息系统概念构造ＰＣＦ的另一种… …   相似文献
王美清 《软件学报》1994,5(4):19-27
1933.
限制理论是形式化常识知识并进行常识推理的一种重要方法．本文主要研究将限制理论转化为面向对象逻辑语言的可能性，并实现了完成这个转换的编译器．按面向对象逻辑语言的语义运行编译后的程序，可得到与原限制理论相同的结果．将该编译器嵌入面向对象逻辑语言解释器中，可以大大提高该语言的表达能力，… …   相似文献
金芝  胡守仁 《软件学报》1994,5(5):16-25
1934.
本给出拓广的左线性递归变换算法并证明其正确性。拓广的左线性递归中可以包含一个或多个ＩＤＢ谓词，它是左线性递归的一般化和左线性递归计算算法一样，本提供的算法遵循魔集的模式：首先改写规则，然后用半扑质的自底向上算法计算新规则，算法的有效性也在本作简略讨论。  相似文献
范明 《软件学报》1994,5(1):56-61
1935.
ＦＰ—ＶＬＳＩ自动综合系统是一个集成化的ＶＬＳＩ自动设计工具，它能完成从并行算法到脉动算法到脉动结构再到逻辑结构最后到ＣＭＯＳ版图的自动综合过程．ＦＰ—ＶＬＳＩ系统以脉动阵列为ＶＬＳＩ的体系结构，采用具有良好代数性质的ＦＰ／Ｂ语言作为各层次的描述语言，通过程序变换进行综合和优化．… …   相似文献
1936.
本提出在ＬＦ类型理论中定义一组相互递归类型的方法，并对递归类型赋予操作语义，递归类型不仅可以表示通常的递归通常的递归数据结构，还可描述一般的递归问题求解，递归证明构造和递归程序构造过程。  相似文献
1937.
本提出一种新的基于抽象解释的逻辑程序部分演绎方法。在一遍预处理里，针对给定的程序Ｐ和目标Ｇ，同时进行ＰＰＵ｛Ｇ｝的部分演绎和抽象解释，以轴象解释控制部分演绎的展开过程，只要抽象论域是有穷的，部分演绎必定终止，耐用Ｐ’带有抽象解释估算出的关行其运行性质的信息，便于对Ｐ’作进一步优化… …   相似文献
刘椿年 《软件学报》1994,5(11):31-37
1938.
利用ＴＥ液对伪狂犬病病毒ＤＮＡ核酸用酚－氯仿抽提后进行透析，获得较完整的ＤＮＡ核酸，将获得的伪狂犬病病毒ＤＮＡ核酸经凝胶电泳后表明，用此法获得的ＤＮＡ核酸较用乙醇沉淀法所获得的核酸片段完整，产量高，可用于基因分析和诊断研究。  相似文献
1939.
众所周知，FoxBASE＋中索引文件是按关键字表达式值升序建立的。实践中，往往也要按关键字表达式值降序建立索引，对于数值型关键字表达式X，方法是以-X作为关键字表达式建立索引；对日期型关键字表达式D,其方法可以-YEAR（D）×100－MONTH（D）DAY（D)／100作为关键… …   相似文献
1940.
磁盘操作系统DOS的批处理程序是由后缀．BAT为扩展名的文本文件，该文件包括若干条DOS内部命令、外部命令及用户应用程序等组成。当磁盘操作系统的命令解释程序COMMAND．COM在命令所指定的路径上找到欲执行的批处理文件后，逐条解释并执行相应的有关命令，完毕后返回到DOS命令处理… …   相似文献
[首页] « 上一页 [92] [93] [94] [95] [96] 97 [98] [99] [100] [101] [102] 下一页 » 末  页»
关于我们 | 广告服务 | 商务洽谈 | 联系我们 | 免责条款 | 隐私声明 | 网站导航
网站版权所有：中国科学院软件研究所  京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持