连续时延神经网络的Hopf分岔现象研究

讨论了带连续时延神经网络的Hopf分岔现象。对于强核和弱核的情况,利用平均时延作为分岔参数,证明了模型经历了Hopf分岔过程。在带弱核的神经网络模型中,得到了分岔周期解稳定性准则。给出了一些数值例子,通过计算机仿真验证了所得结论的正确性。     

论传统道家的宽容思想及其现代性转型

中国传统道家的宽容伦理思想包含追求平等和抵制专制的民主精神,主张虚静、博爱的内在修养与人际原则,追求人与自然和谐相处的生态宽容理念等基本内涵。传统道家的宽容思想夹杂着对人类道德理性能力的否定,对人类主体地位的弱化及对人类积极进取人生意义的抑制等消极成分。实现传统道家宽容伦理思想的现代性转型需要高扬人类理性的力量．充分发挥人的主体地位,倡导积极进取的人生意义。     

渐进式与休克疗法式改革的比较分析

我国选择了渐进市场化的改革道路,这是一条有别于西方市场经济理论的改革道路,尽管在实践上取得了巨大的成就,但在理论上却备受争议。本文试图通过理论的角度,分析说明渐进式改革从总体上优于休克疗法式的改革,并指出,在渐进式改革的过程中,只单方面进行体制内或体制外的改革,效果都是一样的,并且是渐进式改革模式中效率最差的。而同时进行体制内和体制外的市场化改革是最优的渐进改革模式。     

非周期TBox框架下的推理——拟经典描述逻辑与超协调表演算(英文)

源自当今互联网的语义网研究的目的是定义信息语义和网络服务,因此需要赋予网络智能以便能够自动对网络内容进行推理。各种描述逻辑(DLs)在语义网的研究中扮演着重要角色,构成了W3C推荐的网络本体语言(OWL)的基础,而OWL源于为达到语义网目标的人工智能(AI)本体论研究。语义网的知识和数据量巨大、分散、来源众多且因此通常不具有协调性。因此,必须开发针对非协调本体的实用的推理技术。该文基于Hunter的拟经典逻辑(QCL),构造了新型超协调拟经典描述逻辑(QCDLs),避免了逻辑爆炸问题,同时,针对基于非周期TBox的知识库推理问题,建立了QCDLs语义表演算,进而定义了一种可靠、完备且可判定的推理关系,从而构建了完整的语义网推理框架。与其他重要的超协调描述逻辑进行了比较,结果表明QCDLs具有更强的表达语义和推理能力,并且其相关行为在目标层次上表现出经典性。     

专栏评述

◎评《基于STDP规则的忆阻神经网络在图像存储中的应用》从1971年华裔科学家蔡少棠教授在理论上预言了忆阻器的存在,到2008年美国惠普公司实验室的斯坦·威廉斯和同事制造出忆阻实物模型,证实了忆阻现象在纳米尺度的电子系统中确实存在,这一过程历经     

Moore机表示的系统迭代设计动态CTL模型检验的不变性研究(英文)

模型检验是系统级设计中验证可信计算系统安全性性质的有效方法。动态模型检验是模型随设计过程而变化的模型检验,动态模型检验过程中遇到的最严重问题之一是模型变化所带来的重复检验代价太高。因此,寻找不变性以避免重复检验显得尤为重要。不变性是一种贯穿系列模型检验而保值为真的性质。该文构建动态模型检验的形式化框架,进而提出基于Moore机描述的流控制系统迭代设计过程的不变性理论,该系统是一种嵌入式控制系统,在可信通信中用以处理数据转换,最后展示了若干非平凡CTL性质在迭代过程中的可保持性。     

关于农村推行股份合作制的思索

股份合作制是广大农民群众在建设有中国特色的社会主义理论指导下实践中的又一伟大创造。它将聚集资金，明晰产权，转换经营机制等优越性统一千一体，必将成为农村经济跨跃式发展的关键措施，成为建立社会主义市场经济体制的一种必然选择。但是，我们也不能否认股份合作制在运作中将面临这样的事实：我们的农村是一个幅员辽阔、居住分散、生产力落后的农村，农业是一个基础薄弱、深度开发差、产出效益低的农业；农民是人D众多、素质低下、传统意识浓厚、科技知识匾乏的农民；农村市场是一个发育不成熟、信息不灵通、机制不健全的市场。这些…     

运用动态优先级轮询机制的数据链仿真

提出了一种数据链的链路层协议——基于动态优先级轮询的接入方式,在OPNET网络仿真开发平台上,构建出基于动态优先级轮询机制的时分多址(TDMA)数据链协议仿真模型,描述了在OPNET仿真平台上的建模过程,给出和分析了动态优先级轮询机制下TDMA数据链性能(地面站入网注册时间、网络吞吐量、中心站和地面站的信道利用率、业务接入时延)的仿真结果。仿真结果表明采用动态优先级轮询机制,系统接入效率高,对于各站点数据上行有较好的均衡性,同时又不失灵活性。     

滤波初值对测向定位的影响及其消除方法

基于运动单站测向交叉定位中将滤波初值分成两类,该文从几何原理上解释了不同类型的滤波初值对定位结果的影响;提出了通过增加相位差观测量,利用相位差的变化率和方位角信息,将非线性系统转换成线性系统,再利用卡尔曼滤波来改善定位结果对滤波初值依赖性的方法。转换后的线性系统在利用卡尔曼滤波时,初始值可以根据以前的测量值得到。模拟仿真表明该方法能有效摆脱定位结果对滤波初值的依赖,且定位精度在2%以内。     

基于动作细化的握手扩展

基于并发系统层次化设计动作细化的强大策略,建立了异步电路握手扩展的形式化语义,提出了一种握手扩展的细化模型。该语义采用等待事件结构,派生出带最大并发的真并发模型,细化系统同垂直互模拟关系的最初规范相一致,并且可以维护细化系统的正确性以及无死锁行为。构建的最大化并发模型,能有效地处理并发信息的综合和验证。