论文部分内容阅读
软件开发权益的自主技术保护
【机 构】
：
北京航空航天大学
【出 处】
：
第八次全国计算机安全学术交流会
【发表日期】
：
1993年期
其他文献
该文介绍了一种新型逻辑程序设计语言－－ＧＯＬＯＧ语言。在已知对象初始状态及相关的规划动作的效果公理的条件下，ＧＯＬＯＧ语言解释器自动维持一个对模型化的动态对象的显式解释，从而使得程序能够推
几何绕射理论(GTD)是电磁辐射与散射计算领域中广泛应用的一种算法，而编程，而编程是其实施的一种关键。针对GTD应用软件开发中存在的模块重用率低、可扩充性差的问题，该文引入了
该文介绍了最常用的四种高级程序设计语言ＦＯＲＴＲＡＮ、ＰＡＳＣＡＬ、Ｃ及ＡＤＡ的发展历史和现在使用的状况，并对这四种语言的数据类型和过程调用进行了比较，给出了每种语言的不同点和使用范围。
该文论述了程序的图式描述的特点，以一个图式程序设计系统ＹＰＳ（ＹＰＳ为日本富士通公司所有，华东师范大学合作开发）为例，对图式程序设计语言中的要素－－图符和文字的作用及其关系作了定位。该文
治理环境污染是沸石催化的新领域.各种燃烧过程释放出的有机污染物里,亚硝胺虽然含量甚微其致癌作用却不容忽视,受其污染的人在中国数以亿计.然而,沸石对于亚硝胺的吸附/催化
近年来，超声检测儿童甲状腺容积仍然存在一些争议，主要集中于不同检测人员、检测仪器和检测技术等导致的测量误差，以及随着儿童的发育水平不断提高，生理因素对甲状腺容积的影响和
该文给出的算法，是一个适合并行处理的排序方法，它有控制规划简单、整体对称、层次结构清晰、满足递归特征等许多优点。它对n个元素排序时，并行深度为1／210g[*v2*]n（10g[*v2*]n＋1），并