Lukasiewicz三值逻辑中命题的真度值之集在［0,1］上的分布

利用势为三的非均匀概率空间的无穷乘积,在Lukasiewicz三值命题逻辑系统L-3中引入命题的真度概念,给出了真度推理规则,证明了在三值逻辑(a/5,b/5,c/5)测度下全体公式的真度值之集在［0,1］上是稠密的,并给出了公式真度的表达通式,为进一步建立三值命题逻辑系统的近似推理奠定了基础。     

Fuzzy稠密语言

在《Fuzzy析取语言的若干结果》一文中,作者给出了F-析取语言的定义,并用F-代数结构的方法刻划了F-析取语言的某些特征。本文进一步讨论了F-析取语言的某些性质,并定义了F-稠密语言,讨论了F-稠密语言与F-析取语言之间的关系,最后给出了F-稠密语言的F-析取2分解。     

关于半拓扑性质的一个反例

本文给出一个反例,证明正则性、完全正则性、正规性及完全正规性均不是半拓扑性质。     

未来高新技术商业化时间表

最新一期的美国《未来学家》杂志发表文章,公布了全球专家对“技术预计调查”所进行的预测结果。预测说,未来几十年内,在能源、信息技术、医疗保健和交通等重要领域,一些突破性技术将进入大规模商业化阶段。这些目前看来“有前途”的技术,有望成为今后的主流应用技术,它们的商业化将影响和冲击目前的市场,调整人们工作方式,改变人类生活方式,甚至重新塑造世界。尽管未来还有难以预测的特定技术重大突破,但是大部分被预测技术的大规模商业化将如期而来。能源领域:替代能源技术将成为主流鉴于高涨的石油需求以及环境保护的压力,全球石油产量将…     

稠密Ar等离子体中粒子间相互作用的研究

采用压致电离和离子球模型处理稠密等离子体中粒子之间的相互作用,探讨了冲击压缩产生的稠密氩等离子 体中粒子之间相互作用对电子密度的影响.     

成组加工的单机延误工件个数问题

证明了成组加工的单机延误工件个数问题是强ＮＰ困难的,即使限定所有工件有单位加工时间且所有组间调整时间为零也是如此。对同组工件是相同工期的限制情形给出了一个多项式算法。关于同组工件既有相同工期,又有相同加工时间的进一步限制情形,由于输入规模的减少,证明了其是普通意义下ＮＰ困难的。     

共同打造“信用长三角” 营造一流发展环境

上海和江苏、浙江两省一市最近在宁波共同拟订了一份《沪苏浙信用体系建设区域合作推进方案》，明确年内将实现长三角地区企业信用信息的异地查询，并定下苏浙沪统一信用信息标准的时间表。     

稠密正规语言的S．Y猜想的一些等价刻划

一个语言称为正规的如果它可被一台有限自动机识别,一个语言称为稠密的如果每个字都是该语言中某个字的一个小字,一个非空字称为本原的,如果此字不是其他任一字的幂,否则称此非空字为非本原字,Shyr和Yu在[3]中给出如下猜想：每个稠密正规语言都包含一个非本原字,如果能给出S．Y猜想在半群理论及码论中的等价陈述,则可把稠密正规语言的问题归结为半群理论及码论中的问题,从而为解决S．Y猜想提供了更多的途径。     

斜入射激光脉冲与稠密等离子体相互作用产生的阿秒脉冲

利用一维粒子模拟程序研究和比较了斜入射和垂直入射激光脉冲与稠密等离子体相互作用得到的阿秒脉冲以及激光强度对阿秒脉冲转换比率的影响.同样参数下,斜入射的阿秒脉冲转换比率明显高于垂直入射的情况,滤波后得到的阿秒脉冲振幅比较大,而脉冲串中阿秒脉冲的个数则是垂直入射时的一半.根据振荡镜面模型对两种情况进行了分析,由镜面振荡方程可以对结果给出解释.保持等离子体密度不变,增大入射激光强度时,随着滤波次数的增加,斜入射与垂直入射的阿秒脉冲的转换比率逐渐趋于相同.300次以上高通滤波后我们得到了处于X射线范围的阿秒脉冲.     

基于空洞-稠密网络的交通拥堵预测模型

在利用卷积神经网络模型对短时交通拥堵情况等预测场景进行预测时,由于模型的卷积池化操作过程会丢失部分数据,使得目标位置的信息出现丢失及特征的分辨率持续下降,导致模型的预测能力降低.针对此,本文提出一种空洞-稠密神经网络模型.首先,利用空洞卷积用较少的网络参数获取更大感受野的特点,充分提取出复杂多变的数据时空特征.其次,通...