其他文献
本文用构造型说明法讨论了满足结构化要求的各种复合抽象数据类型应具备的语义特性。然后讨论了基于类型理论的ECC扩展构造逻辑和函数式语言两种方式下的模型。
863计划智能机主题已经进行6年了,现在回顾一下近十几年来国际上人工智能研究的历史和分析考察这一领域的新动向,是件十分有意义的事。80年代中期,人工智能曾经被认为是“下
采购是企业的主要经营活动之一.传统采购传统的内部控制内容复杂,细致而且全面.在网络环境下,信息传递比原先便捷、及时、经济,但是由于人为的或非人为的不利因素将对计算机
1994年对软件开发者们来说真可谓“繁忙的一年”。他们一面大张旗鼓地宣传产品,吸引公众,一面又忙着处罚那些从事软件盗版的开发商。据1994年底公布的数字,盗版使产业软件商
This paper presents the idea of software reuse and object-oriented analysis technology and disscusses the development step of object-oriented analysis ,as well
深圳市民为交水电费、电话费等等而不得不在多家银行开户的烦恼解除了;"一卡在手存取自由"的愿望,将要成为现实——这一切缘于刚刚成立的深圳金融电子结算中心。"更重要的是,
一、湛江工行电子化建设概况在总行省行的正确领导下,工商银行建行之初,分行领导在作出决策之时,就把电子化建设纳入议事日程。八四、八五年间,我行领导想方设法,通过各种渠
多媒体教学能有效地激发幼儿的学习兴趣,在幼儿园阶段多媒体技术穿插应用在各项教育教学活动中,幼儿在这种直观的教学方式的刺激之下,可以表现出更强的学习主动性。通过相关
<正> 复杂的实时系统往往由多台计算机组成,在构造多机实时系统时,网络数据实时传输是整个系统正常可靠运转的关键,也一直是个难题。所谓网络数据实时传输就是指网络上各结点
美国公务员制度的形成和建立,保证了国家公职人员的素质,适应了政府工作日益复杂化和专业化的需要,达到了提高行政效率的目的,使国家机器适应和保护了生产力的发展。美国能取