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

首页加盟期刊收录期刊评价中心文献导读期刊动态博客美文问题解答在线订阅新浪微博RSS
网站动态： 中国计算机期刊网介绍          欢迎关注中国计算机期刊网微信订阅号！          中国计算机期刊网正式发布,欢迎访问!          如何申请成为收录期刊和加盟期刊         
  •   按检索    检索词：    高级检索
     排序：相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果，以下是第2141-2160项 搜索用时 96 毫秒
[首页] « 上一页 [103] [104] [105] [106] [107] 108 [109] [110] [111] [112] [113] 下一页 » 末  页»
2141.
ＸＹＺ系统是一个ＣＡＳＥ工具系统．它的核心是一个时序逻辑语言ＸＹＺ／Ｅ．ＸＹＺ／Ｅ有一基本的表示状态转换的低级形式ＸＹＺ／ＢＥ（或用于表示并发的ＸＹＺ／ＣＥ）及一个结构化的高级形式ＸＹＺ／ＳＥ．它们均有其相应的图形表示．ＸＹＺ／ＣＦＣ与ＸＹＺ／ＰＡＤ是分别以ＸＹＺ／ＢＥ（或ＸＹＺ… …   相似文献
2142.
计数算法是最著名的ＳＬ递归处理算法之一．对于一类称作计数线性的递归，它具有良好的性能．然而，计数算法要求查询的约束集为单值的，因此很难用作子目标的处理策略．本文提供一种新的广义查询计数算法，它能处理任意的多值约束集．从而本文提供的算法不仅能够用于查询的求值，而且也能用于子目标的处… …   相似文献
范明  李连友 《软件学报》1994,5(10):44-49
2143.
本文提出一种新的基于抽象解释的逻辑程序部分演绎方法．在一遍预处理里，针对给定的程序Ｐ和目标Ｇ，同时进行Ｐ∪｛Ｇ｝的部分演绎和抽象解释，以抽象解释控制部分演绎的展开过程．只要抽象论域是有穷的，部分演绎必定终止，而且Ｐ＇带有抽象解释估算出的关于其运行性质的信息，便于对Ｐ作进一步优化．… …   相似文献
刘椿年 《软件学报》1994,5(11):31-37
2144.
软件版权标记由软件名称、版本号、作者名称、日期等几个部分组成。系统软件和应用软件一般都在运行开始时显示这些标记。但是有人出于种种需要，随意修改软件的版权标记，结果使用户搞不清软件的真正版本，同时也侵犯了作者的权益。本文分析了几种常用的修改标记方法，并针对这些方法提出了相应的保护措… …   相似文献
2145.
四、开放操作系统演进与可移植性的实现开放系统离不开开放系统软件，笔者在这里只对涉及其国际标准，以及涉及开放系统的两大必备特性—一可移植性和交互操作性—一加以评述。可移植性问题围绕开放操作系统的形式，交互操作性问题围绕开放网络的形成，分别评论（后者另有专评）。从1973年D．M．R… …   相似文献
2146.
一、系统目标汽车工业发展的历史证明，汽车工业是国民经济的支柱产业，只有汽车工业发展起来，整个国民经济才能腾飞。论证汽车工业的发展速度及其在国民经济中的地位、产品结构、生产率、换型周期、汽车工业的部门结构、科研状况以及汽车对交通运输结构的影响等，都是与宏观经济决策、技术经济分析、产… …   相似文献
2147.
中国企业网络中心成立发布会1994年1月17日在京新世纪饭店举行。下面是中心负责人杨继先在会上的讲话。中国企业网络中心是美国电脑配件公司与美国SandaInternationalCorp及中国国际计算机软件工程公司共同建立。美国电脑配件公司成立于1983年，主要业务是代理美国计算… …   相似文献
2148.
本文介绍了“计算机通风信息管理系统”的系统特点，所采取的技术方法及应用效果。  相似文献
2149.
在应用程序设计中较繁琐的也是难度较大的设计莫过于输出报表打印的程序设计了，最简单最直观也是人们最常用的设计方法，就是把所要打印的报表格式包含于打印程序中，但这种方法设计起来很繁琐，设计出的程序生命周期短（即报表格式稍有变动，程序就需要另行设计），也不通用（即一种打印程序只能打印一… …   相似文献
2150.
吉林省财政收支数据管理系统，共包括编码库．数据录入、审核、修改，口径调整，查询、分析、运算，通用制表，系统维护和主控等16个功能模块。使用了AS／400上的主要软件工具，在实际应用中得到了好评。  相似文献
2151.
本文介绍了财税综合信息系统在UNISYS-A6F机上的设计和实现，对其系统功能、框架结构、数据库的实现方式及系统支持环境等进行了详细的阐述。  相似文献
2152.
本文从财政信息管理的特点、要求出发，介绍中等城市财政信息管理系统的设计思想、计算机平台的选择和应用软件的构造及其功能。  相似文献
2153.
笔者采用扩展键和组合键等不能直接显示的效果，将扩展键引入目录名或文件名的加密方法，从而得以实现。并就此类加密给出一种通用的解密方法。现以SCOXENIX2，32为操作系统，说明如何用扩展键及组合键等对文件和目录名进行加密与解密。一、文件和目录的加密五．空格式加密扩展键虽然不能直接… …   相似文献
2154.
数据流是管理信息系统分析和设计过程中主要处理对象,是信息结构的关键因素。面向数据流的设计方法,显式地将信息流和设计工序有机地一体化,扩展了过程化技术。在实际应用中,结构清晰,步骤紧密,由外入内,自顶向下,所设计出来的模块满足高内骤、低耦合的结构化观点的要求;系统易于维护和功能扩充… …   相似文献
2155.
“精美的名片是成功者的通行证”，为了使您名不虚传，中国科学院计算中心化桑电子高技术公司推出风景艺术名片排版系统。本系统是国内唯一兼汉字、西文、图像、条形码、数据库于一体的排版系统。一、系统特点本系统采用交互式编辑排版方式，具有局部拷贝、移动、修改参数、整卡拷贝、删除等功能，操作简… …   相似文献
2156.
黄地老虎颗粒体病毒０．９ｋｂ的启动基因片段，经ＢＡＬ３１核酸外切酶修饰，ＤＮＡ聚合酶Ⅰ大片段补平，克隆到大肠杆菌启动子探测质粒ＰＫＫ２３２－８ＳｍａⅠ位点，得到抗氯霉素转化中，其中一株可抗氨霉素１５００μｇ／ｍｌ。核苷酸序列分析证实，其长度为５７１ｂｐ，５＇端被删除２５８ｂｐ，３… …   相似文献
2157.
本文论述了基于微机现场总线网络主机系统的功能结构与分布实时管理软件的任务调度算法。重点讨论了集散式系统的拓扑结构、通信方式、通信协议、通信程序的实现方法,以及基于多参数交换的FoxBASE与汇编语言通用接口技术。文章最后说明了系统可靠性设计的方法。  相似文献
2158.
在实际使用过程中,笔者发现,WPS2.1软件还具有许多特殊的处理技巧,给操作带来很大的方便。但系统的帮助信息和一般的使用手册或参考书对这些特殊技巧很少提及。为此,笔者根据使用经验,对几种主要的技巧加以整理,介绍给大家。 1.WPS系统的带参数启动 一般用户都是在西山CCDOS系统… …   相似文献
2159.
在FoxBASE的使用过程中，经常需要将数据库的数据内容在表格上输出，由于每一种输出表格或输出数据的处理不尽相同，均需要编写单独的输出程序，尤其是对某些只使用一次的表格也是如此，既费时又费力。这样显然大大加重了程序编制的工作量，同时也减少了磁盘可利用空间，对于系统的维护和使用就显… …   相似文献
2160.
本文叙述了银行客户条形码自动查询系统的硬、软件结构，并说明了该系统的功能特点、应用情况及前景。  相似文献
[首页] « 上一页 [103] [104] [105] [106] [107] 108 [109] [110] [111] [112] [113] 下一页 » 末  页»
关于我们 | 广告服务 | 商务洽谈 | 联系我们 | 免责条款 | 隐私声明 | 网站导航
网站版权所有：中国科学院软件研究所  京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持