具有(F(V×V),R,→,■)模糊逻辑模型的稳定性结构

本文利用多边矩阵理论定义的正交性及对称性,给出了一种具有两种因果关系的模糊稳定性逻辑分析模型,这种稳定的逻辑分析模型结构清晰、简单,并且可用于解决许多复杂问题.     

中国科学思想探源

本文拟以现代科学思想的核心要素为参考系察考萌芽状态的中国科学思想,主要分五个部分:科学诞生的前提———自然客体化,科学实现的途径———观察和实验,科学活动的灵魂———抽象及科学的两种表达方式———逻辑和数学.     

你更擅长什么

有人擅长写作，有人精通数学，有人肢体灵活，也有人感情丰富。我们每个人的智力都是由多种不同技能组成的混合物，浑然天成却也各有侧重。那么，你所拥有的智力更倾向于哪种类型呢?多元智力理论的提出者向本刊讲述了他的八种智力类型，并告诉我们该如何发掘自己的强项。     

VHDL语言在EDA开发软件MAX＋PlusII之应用

介绍了EDA开发工具软件MAX PlusII的主要功能；VHDL语言在进行硬件电路描述时所具有的多层次描述系统硬件功能的能力，以及在程序编译时易出现的问题。     

浅谈数字逻辑实验教学改革

结合实验教学实际 ,对传统数字逻辑实验教学体系进行了改革 ,提出了在新形势下确立数字逻辑实验教学目标、内容、组织形式、手段和评价的措施 .     

科技成为中国经济增长新动力

现实的压力和未来发展的需求, 都让中国的决策者和企业家意识到,经济发展不能再以单纯追求扩大规模为目标,现在是考虑如何真正采取措施,实现依靠科技的力量提高内在质量和效率的时机所在。在刚刚结束的第七届中国北京国际科技产业博览会上,海内外与会代表强烈表达这样一个观点:让科技成为中国经济发展重要动力。     

整机老炼条件的优化设计

本文通过工程实例，阐述如何利用现有信息来设计产品的老炼条件，以使它在保证产品达到规定可靠性的前提下尽量节省成本     

基于时间Petri网的密码协议分析

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案.     

一般Schr(o¨)der方程亚纯函数解的级

对一般Schr(o¨)der方程亚纯函数解的级在放宽方程系数的限制之下给出一个估计,改进了Gundersen等人关于此方程亚纯解级的相应估计结果.