限制数量约束的扩展模糊描述逻辑的推理复杂性     

陆建江  李言辉  张亚非  周波  康达周 《东南大学学报》2007,23(2):236-240

为了解决限制数量约束的扩展模糊描述逻辑(EFALCQ)的推理复杂性问题,采用限制数量约束的描述逻辑(ALCQ)离散模拟EFALCQ,并重用ALCQ的推理结论来证明EFALCQ推理问题的复杂性.提出了EFALCQ一致性推理问题的ALCQ模拟方法,将EFALCQ的可满足性推理问题转换为EFALCQ的一致性推理问题,并用EFALCQ的一致性推理问题离散模拟EFALCQ的可满足区间推理问题.最后证明了EFALCQ的可满足性、一致性、以及可满足区间推理问题的推理复杂性是PSPACE-complete问题.  相似文献   

规模与质量统一: 军队综合大学基础教学的探索     

张亚非  陈亦望  周剑光 《高等工程教育研究》2003,(3):54-57

如何在教学规模扩大的条件下保证和提高教学质量，是军队综合大学面临的一个亟待解决的问题。只有坚持改革与创新，走内涵质量建设之路，正确把握教学规模与教学质量之间的辩证统一关系，才能实现教学上数量、结构、质量、效益的协调发展和不断优化。  相似文献   

RDFS数据源的并行闭包生成算法   总被引：1，自引：0，他引：1  

苗壮  张亚非  陆建江  宋自林 《东南大学学报》2006,22(3):435-438

为了减少闭包的生成时间,提出了一种RDFS数据源闭包的并行生成算法.该算法基于RDFS推理规则生成闭包,根据三元组的形式对数据源中的RDFS三元组进行分类,缩小了特定形式三元组的直找范围;分析了各类三元组间的推理依赖关系,并按照每条推理规则所需的三元组将初始的数据源划分成多个子集,将子集导入各个并行的进程中,并应用RDFS推理规则并行地生成闭包.并行的闭包生成算法可以有效地减少运行时间以提高闭包生成的效率.  相似文献   

吡啶，2-甲基吡啶插层五氧化二钒的制备及表征     

王剑峰  张亚非  郭宪吉 《商丘师范学院学报》2009,25(3)

用一种简便快速方法合成了吡啶,2-甲基吡啶插层V2O5材料.用X射线衍射(XRD),红外光谱(IR)和扫描电电镜(SEM)等手段对这些插层产品的结构进行了表征.比较系统地探讨了原料用量对合成产品结构的影响,给出了V<,2>O<,5>、吡啶或2-甲基吡啶和水之间的合适配比.水在合成过程中起着重要作用,水的比例合适,有利于插层相的生成.吡啶、2-甲基吡啶分子在层间以单层方式排列.  相似文献   

高校二级学院专职科研管理队伍的建设     

张亚非  杨雨曦  曾东红  马跃 《西部素质教育》2019,(17):9-11

文章首先阐述了高校二级学院专职科研管理队伍建设的要求,然后阐述了高校二级学院专职科研管理队伍建设存在的问题,接着分析了高校二级学院专职科研管理队伍建设存在问题的原因,最后提出了高校二级学院专职科研管理队伍的建设举措,包括政策引导,建立完整的队伍;加强对科研管理工作的认识和宣传,扩大影响力;加强学习培训和对外交流,提升管理水平;完善激励措施,构建长效机制。  相似文献   

试论区级公共文化馆的角色定位     

姚国伟  张亚非 《群文论苑》2003,(4):28-29

随着我国经济建设的高速发展和城市化程度不断提高，近年来基层化建设得到了普遍重视和长足发展，以社区化为主要形式的城市群众化活动呈现出了日趋繁荣的良好态势。而在大力开展社区化活动的过程中，区级公共化馆作为市、区、街道三级化网络的中间环节，正发挥着越来越重要的作用。所以正确认识区级化馆的角色定位，摆正其在基层化建设中的位置，对于进一步发展群众化，发挥化事业单位的主旋律作用，促进精神明建设，有着不可忽视的指导意义。  相似文献   

女球迷掉眼泪 巴辛看美女 彼德上错“船”——甲A趣事集锦     

张亚非 《足球世界》2002,(9)

女球迷喜极而泣 球迷们对自己心中偶像的热爱,有时会达到旁人无法理解的地步。在北京国安队,邵佳一的人气是最旺的,喜欢他的球迷数不胜数,一些小姑娘每个主场都是专门为邵佳一才来工体看球的。 4月9日是邵佳一22岁的生日,4月6日国安队在主场迎战重庆力帆队的时候,发生了下面这一幕——中场休息时,场地内一位摄像记者手里的出场名单被大风吹到了场边,他跑过去拣东西时,看台边上一位中学生模样的女球迷冲他打起了招呼。这位女学生为邵佳一准备了一份精美的礼物,包装得漂漂亮亮的,一直在寻找合适的机会送到偶像手中,无奈一直无法接近球队,所以才想起找场内的记者帮忙。 见到那位记者痛快地答应了下来,并把礼物小心地放进口袋,小姑娘好像看到了邵佳一亲手接下了札物,一时激动地抱住身边的女伴哭了起来。  相似文献   

微型化学实验在化学教学中的应用     

王剑峰  张亚非 《当代教育论坛》2011,(12)

文章详细分析了微型化学实验在化学教学中的作用,并通过实验叙述了微型化学实验在初中、高中及大学中的一些应用,还阐述了目前存在的一些问题.  相似文献   

一个新的基于EFALC的推理算法     

周波  陆建江  张亚非  康达周  李言辉 《东南大学学报》2006,22(4):496-500

针对目前的扩展模糊描述逻辑缺乏TBox约束下的推理算法,提出TBox约束下扩展模糊描述逻辑EFALC截概念可满足性问题及其推理算法.该算法的设计参考用于经典描述逻辑的tab-leau算法;详细描述了EFALC的转化规则和推理算法的过程,并使用递归函数调用、分支裁减和引入中间结果集合这3种技术对算法进行优化.证明了该优化推理算法的最坏时间复杂性为指数,且具有完备性和正确性,同时证明了TBox约束下EFALC截概念可满足性问题的复杂性是指数时间完全的.  相似文献   

着眼院校转型发展,创新人才培养模式     

张亚非  赵俭  华丹 《高等教育研究学报》2012,35(3):4-6

新形势下军队院校的基础性、全局性和先导性作用将更加凸显,军队院校必须抢占发展先机,加快和超前培养大批高素质新型军事人才.本文在分析人才培养模式创新面临的机遇和挑战的基础上,阐述了人才培养模式创新的新内涵新思路,并提出探究式的教学模式创新、个性化的学习模式创新、实战化的训练模式创新、规范化的管理模式创新和一体化的保障模式创新等举措.  相似文献