期刊文献+
共找到14篇文章
< 1 >
每页显示 20 50 100
基于双格的多值模型的精化关系与对称化简 被引量:3
1
作者 陈娟娟 魏欧 +1 位作者 黄志球 陈哲 《计算机工程与应用》 CSCD 2013年第22期40-45,共6页
多值模型是传统布尔模型的扩展。与布尔模型相比,多值模型更适合对包含不确定和不一致信息的软件系统进行建模。为了解决模型检测时的状态爆炸问题,研究了对基于双格的多值模型的对称化简方法。提出了一种新的多值模型的精化关系,证明... 多值模型是传统布尔模型的扩展。与布尔模型相比,多值模型更适合对包含不确定和不一致信息的软件系统进行建模。为了解决模型检测时的状态爆炸问题,研究了对基于双格的多值模型的对称化简方法。提出了一种新的多值模型的精化关系,证明其保持对μ演算公式的模型检测结果的正确性。定义多值模型的对称化简商结构,证明商结构与原模型之间存在互为精化的关系,因此对μ演算公式的模型检测在二者上可以得到相同的结果。 展开更多
关键词 多值模型检测 精化关系 对称化简
在线阅读 下载PDF
基于分解的多值模型的逼近关系 被引量:1
2
作者 陈娟娟 魏欧 《计算机科学》 CSCD 北大核心 2014年第6期125-130,共6页
多值模型可用于对包含不确定与不一致信息的软件系统进行建模与验证。提出了采用基于分解的方式来刻画多值模型之间的逼近关系,这为采用抽象方法解决模型检测时所产生的状态爆炸问题奠定了理论基础。为此,首先给出了多值模型分解为多个... 多值模型可用于对包含不确定与不一致信息的软件系统进行建模与验证。提出了采用基于分解的方式来刻画多值模型之间的逼近关系,这为采用抽象方法解决模型检测时所产生的状态爆炸问题奠定了理论基础。为此,首先给出了多值模型分解为多个三值模型的方法,并且证明了任意μ演算公式在多值模型上的检测结果等于在分解后所有三值模型上的检测结果的合并。进一步,由三值模型上的混合模拟关系给出了多值模型间逼近关系的结构定义,并证明对于任意给定的两个满足逼近关系的多值模型,μ演算公式在其上的检测结果在信息序关系上得以保持。 展开更多
关键词 模型检测 多值模型 逼近关系 抽象
在线阅读 下载PDF
经典命题演算的多值模型 被引量:1
3
作者 曹飞 《华东师范大学学报(哲学社会科学版)》 CSSCI 北大核心 1999年第1期24-26,共3页
自Lukasiewicz创立多值逻辑以来,人们普遍认为经典命题演算只是二值逻辑系统。然而,这种观点实际上并不成立。本文用集合概念对逻辑学的基本概念“真值”作了精确定义,并以此区分了真值与真的概率,由此给出了经典命题演... 自Lukasiewicz创立多值逻辑以来,人们普遍认为经典命题演算只是二值逻辑系统。然而,这种观点实际上并不成立。本文用集合概念对逻辑学的基本概念“真值”作了精确定义,并以此区分了真值与真的概率,由此给出了经典命题演算的一般真值模型、有穷多值模型及无穷多值模型,并具体证明了可靠性定理和完全性定理,从理论上说明了经典命题演算不仅存在二值逻辑系统,而且存在多值逻辑系统,不仅存在有穷多值逻辑系统,而且存在无穷多值逻辑系统。 展开更多
关键词 经典命题演算 多值模型
在线阅读 下载PDF
推广的多值指数双向联想记忆模型及其应用 被引量:7
4
作者 张道强 陈松灿 《软件学报》 EI CSCD 北大核心 2003年第3期697-702,共6页
推广了Wang的多值指数双向联想记忆(multi-valued exponential bi-directional associative memory,简称MV-eBAM)模型,使其成为所提出的推广的多值指数双向联想记忆 (extended MV-eBAM,简称EMV-eBAM) 模型的一个特例.EMV-eBAM具有比前... 推广了Wang的多值指数双向联想记忆(multi-valued exponential bi-directional associative memory,简称MV-eBAM)模型,使其成为所提出的推广的多值指数双向联想记忆 (extended MV-eBAM,简称EMV-eBAM) 模型的一个特例.EMV-eBAM具有比前者更高的存储容量和纠错性能,因此利用这种性能,设计了一种基于联想记忆的新型图像压缩算法.该算法在无噪声情况下具有与矢量量化(vector quantization,简称VQ)算法相近的性能,而在双重(信道和图像)噪声环境下则具有显著的抑制效果.对比实验结果显示,在添加5%椒盐噪声下,该算法几乎能完全排除噪声干扰,而VQ则反而放大了噪声.该算法的另一个优点是,当在差错信道中传送时,可以获得比采用循环纠错码更强的纠错性能.因而,该算法具有较强的鲁棒性. 展开更多
关键词 多值指数双向联想记忆模型 图像压缩算法 图像编码 图像处理
在线阅读 下载PDF
具有内连接的指数多值双向联想记忆模型 被引量:2
5
作者 陈松灿 刘征 《控制理论与应用》 EI CAS CSCD 北大核心 2002年第1期65-67,72,共4页
C_CWang的多值指数双向联想记忆模型 (MVeBAM)是一种高存储容量的联想神经网络 .本文在MVe BAM的基础上通过引入自相关项 (或内连接 )提出了一个新的具有内连接的多值指数双向联想记忆模型 ,推广了MVeBAM .通过定义简单的能量函数证明... C_CWang的多值指数双向联想记忆模型 (MVeBAM)是一种高存储容量的联想神经网络 .本文在MVe BAM的基础上通过引入自相关项 (或内连接 )提出了一个新的具有内连接的多值指数双向联想记忆模型 ,推广了MVeBAM .通过定义简单的能量函数证明了其在同、异步方式下的稳定性 ,从而保证了所学模式对成为被推广的MVeBAM(EMVeBAM)的稳定点 .最后 。 展开更多
关键词 稳定性 联想神经网络 指数多值双向联想记忆模型 能量函数
在线阅读 下载PDF
研究格值模型论的一种新方法
6
作者 张玉平 《北京师范大学学报(自然科学版)》 CAS CSCD 1992年第4期420-425,共6页
多值公式、模型及其他有关概念可以转化为相应的二值概念,这个过程是可逆的.因而在考虑格值问题时,就不必沿着二值的思路,只需先将它们转变为二值的,然后再把二值相应结果转变为多值.这个思路对考虑有关模型存在的问题很有效.
关键词 多值模型 紧致性 模型
在线阅读 下载PDF
我国物联网上市公司技术突破路径研究——基于多值选择模型和倾向得分匹配法对179家公司的探索
7
作者 张亚斌 陈洁 《华东经济管理》 CSSCI 北大核心 2015年第2期1-4,195,共4页
文章从我国物联网企业技术突破的视角出发,选取2003-2012年我国物联网179家上市公司的数据为研究样本,将其划分为突破性技术企业、创新性技术企业及战略性技术企业三类,通过多值选择模型和倾向得分匹配估计法来探索这三类企业在自主创... 文章从我国物联网企业技术突破的视角出发,选取2003-2012年我国物联网179家上市公司的数据为研究样本,将其划分为突破性技术企业、创新性技术企业及战略性技术企业三类,通过多值选择模型和倾向得分匹配估计法来探索这三类企业在自主创新和技术引进之间如何抉择,并结合当今物联网技术发展背景,得出我国物联网企业技术突破路径。 展开更多
关键词 物联网 上市公司 多值选择模型 倾向得分匹配法
在线阅读 下载PDF
软件模型检测中的抽象模型研究综述 被引量:12
8
作者 魏欧 石玉峰 +2 位作者 徐丙凤 黄志球 陈哲 《计算机研究与发展》 EI CSCD 北大核心 2015年第7期1580-1603,共24页
抽象是解决模型检测中状态爆炸问题的一个基本方法.对近年来软件模型检测研究中所提出的一系列抽象模型进行综述.首先以抽象解释为理论框架阐述了抽象软件模型检测的各组成部分.然后根据模型的结构和功能特征,将抽象模型分为3类:1)传统... 抽象是解决模型检测中状态爆炸问题的一个基本方法.对近年来软件模型检测研究中所提出的一系列抽象模型进行综述.首先以抽象解释为理论框架阐述了抽象软件模型检测的各组成部分.然后根据模型的结构和功能特征,将抽象模型分为3类:1)传统的用于支持自上逼近或者自下逼近的布尔Kripke结构;2)分别对应于3值和4值Kripke结构的Kripke模态迁移系统(Kripke modal transition systems,KMTS)和混合迁移系统(mixed transition system,MixTS),可同时支持自上逼近和自下逼近的抽象;3)具有超迁移关系的广义Kripke模态迁移系统(generalized Kripke modal transition system,GKMTS)和超迁移系统(hyper transition system,HTS),可提供更精确的抽象模型检测;重点分析这些模型的提出原因、相应的逼近关系、最优模型及其局限性以及抽象模型完备性的研究结果.最后,分析了目前关于抽象模型的理论和应用研究中存在的问题,给出进一步研究的方向. 展开更多
关键词 抽象模型 自上逼近 自下逼近 模型检测 多值模型
在线阅读 下载PDF
新农合制度下参合农民的就诊意向及其影响因素 被引量:13
9
作者 陈东 尹梦芳 《山东大学学报(哲学社会科学版)》 CSSCI 北大核心 2014年第1期94-102,共9页
为了调查新农合制度下参合农民的就诊意向及其影响因素,首先对山东省66个县1278个农户进行入户问卷调查,发现超过九成的农户会选择基层医疗机构。然后采用嵌套Logit模型对农户就诊意向的影响因素进行检验,实证结果显示,在第一层次医疗机... 为了调查新农合制度下参合农民的就诊意向及其影响因素,首先对山东省66个县1278个农户进行入户问卷调查,发现超过九成的农户会选择基层医疗机构。然后采用嵌套Logit模型对农户就诊意向的影响因素进行检验,实证结果显示,在第一层次医疗机构(基层与高层)选择时,老年患者、慢性病患者和认为缴费水平过高的农户会倾向到基层定点医院就诊;农民受教育程度越高、报销次数越多、报销金额越高或者同时拥有商业保险者,越倾向到高层定点医疗机构就诊。在第二层次各级医疗机构选择时,平均花费和医疗服务质量高、报销比例高、距离近的医疗机构更受青睐,其中前两个因素的作用十分显著。 展开更多
关键词 新农合制度 农民就诊意向 多值Logit模型 嵌套Logit模型
在线阅读 下载PDF
利用混合整数规划的卫星操作规划问题研究 被引量:2
10
作者 程思微 张辉 沈林成 《计算机工程与应用》 CSCD 北大核心 2011年第3期229-232,共4页
对于成像卫星的操作规划,如何高效求解其规划问题模型是一个十分关键的问题。针对基于规划域定义语言(PDDL)表示的成像卫星操作规划问题的求解,采用将基于命题式的PDDL语言描述的模型转化为多值变量模型的方法,建立了基于混合整数规划... 对于成像卫星的操作规划,如何高效求解其规划问题模型是一个十分关键的问题。针对基于规划域定义语言(PDDL)表示的成像卫星操作规划问题的求解,采用将基于命题式的PDDL语言描述的模型转化为多值变量模型的方法,建立了基于混合整数规划的问题求解模型,从而可以方便地采用混合整数规划的已有求解器进行求解,提高了问题的求解效率。对关键技术进行了分析,并设计了问题求解流程。仿真实验结果证明该方法是可行和适用的。 展开更多
关键词 成像卫星 操作规划 多值变量模型 混合整数规划
在线阅读 下载PDF
抑制或促进?劳动力外流对农村人情消费的影响研究 被引量:7
11
作者 朱月季 杨琦 刘玲 《华中农业大学学报(社会科学版)》 CSSCI 北大核心 2022年第5期136-147,共12页
人情消费是中国乡村维持社会联系的重要传统,如今却愈发成为农村家庭沉重的经济负担,农村劳动力外流可能对原有社会人情关系产生不确定性影响。文章首先从人情关系网络视角出发分析中国乡村人情消费独特的内在逻辑以及在此逻辑下不同务... 人情消费是中国乡村维持社会联系的重要传统,如今却愈发成为农村家庭沉重的经济负担,农村劳动力外流可能对原有社会人情关系产生不确定性影响。文章首先从人情关系网络视角出发分析中国乡村人情消费独特的内在逻辑以及在此逻辑下不同务工类型(就近务工和离乡务工)可能对乡村社会人情关系带来的冲击;继而基于中国家庭追踪调查(CFPS)微观数据,采用多值处理效应模型实证分析不同务工类型对农民家庭人情消费的实际影响,并进一步从地区和农户异质性两个方面讨论劳动力外流对农民家庭人情消费的影响差异。研究表明,不同务工类型对农民家庭的人情消费的影响各异,表现为就近务工对农民家庭的人情消费的影响并不显著,而离乡务工对人情消费有显著的抑制作用,意味着离乡务工可能会瓦解或重塑农户原有的乡村社会人情关系,并可能会改变人情消费的方式。此外,农民务工对人情消费的作用效果在不同经济发展水平的区域也存在差异;离乡务工对人情消费的抑制作用在年轻一代的农民家庭中表现更为明显;受教育程度越高的农户,其表现出的抑制效应也越大。 展开更多
关键词 劳动力外流 人情消费 多值处理效应模型 社会网络
在线阅读 下载PDF
P2P网贷平台特征与平台运营的稳健性——基于中国1706家P2P网贷平台的证据 被引量:15
12
作者 吴庆田 罗璨 陈宜瑄 《金融理论与实践》 北大核心 2018年第4期62-70,共9页
基于1706家中国P2P网贷平台的数据,建立多值logit模型来研究平台特征对平台运营稳健性的影响。研究发现,有无资金托管、预期收益率、投资期限、高管是否有从事金融行业经验、是否加入监管协会、是否有经营许可证、是否允许自动投标、是... 基于1706家中国P2P网贷平台的数据,建立多值logit模型来研究平台特征对平台运营稳健性的影响。研究发现,有无资金托管、预期收益率、投资期限、高管是否有从事金融行业经验、是否加入监管协会、是否有经营许可证、是否允许自动投标、是否允许债权转让、有无经营许可证对平台运营的稳健性有不同程度的影响,并且各因素对不同类型平台的影响也存在区别。在此基础上,对投资者、平台和监管部门这些P2P网贷市场主要参与者分别提出相关建议,以促进P2P网贷市场的良性发展。 展开更多
关键词 P2P网贷平台 平台特征 平台运营 稳健性 多值logit模型
在线阅读 下载PDF
汇率变动的出口和研发效应研究 被引量:1
13
作者 何暑子 范从来 《经济问题》 CSSCI 北大核心 2022年第8期39-46,共8页
企业的出口与研发是相互关联的经济活动,且影响着宏观经济的内外循环格局。在过去较长时期里,我国企业重出口、轻研发,导致经济在过度依赖外部大循环的同时缺乏竞争优势。只有出口与研发并重,方能促进国内国际双循环良性互动。汇率是影... 企业的出口与研发是相互关联的经济活动,且影响着宏观经济的内外循环格局。在过去较长时期里,我国企业重出口、轻研发,导致经济在过度依赖外部大循环的同时缺乏竞争优势。只有出口与研发并重,方能促进国内国际双循环良性互动。汇率是影响企业出口与研发的重要因素,理论分析表明:本币低估是企业偏重出口轻视研发的重要原因;而本币适度升值会增加研发活动的吸引力,促使企业兼顾出口与研发。使用多值选择模型对2009—2020年上市公司数据进行实证检验的结果支持了上述结论。进一步,针对汇率制度改革不同阶段的回归结果表明,在当前的汇率双向波动阶段,升值对出口的抑制作用减弱,对研发的促进作用增强,总体上更有利于出口与研发均衡发展。由此建议在增强人民币汇率弹性的同时适度升值,有助于构建双循环新发展格局。 展开更多
关键词 汇率 出口 研发 双循环 多值选择模型
在线阅读 下载PDF
Numerical analysis of stability for mined-out area in multi-field coupling 被引量:5
14
作者 罗周全 谢承煜 +3 位作者 周吉明 贾楠 刘晓明 徐海 《Journal of Central South University》 SCIE EI CAS CSCD 2015年第2期669-675,共7页
There were differences between real boundary and blast hole controlling boundary of irregular mined-out area in underground metal mines. There were errors in numerical analysis of stability for goaf, if it was analyze... There were differences between real boundary and blast hole controlling boundary of irregular mined-out area in underground metal mines. There were errors in numerical analysis of stability for goaf, if it was analyzed as regular 3D mined-out area and the influence of coupling stress-seepage-disturbance was not considered adequately. Taking a lead zinc mine as the background, the model was built by the coupling of Surpac and Midas-Gts based on the goaf model precisely measured by CMS.According to seepage stress fundamental equations based on the equivalent continuum mechanical and the theory about equivalent load of dynamic disturbance in deep-hole blasting, the stability of mined-out area under multi-field coupling of stress-seepage-dynamic disturbance was numerically analyzed. The results show that it is more consistent between the numerical analysis model based on the real model of irregular 3D shape goaf and the real situation, which could faithfully reappear the change rule of stress–strain about the surrounding rock under synthetic action of blasting dynamic loading and the seepage pressure. The mined-out area multi-field coupling formed by blasting excavation is stable. Based on combination of the advantages of the CMS,Surpac and Midas-Gts, and fully consideration of the effects of multi-field coupling, the accurate and effective way could be provided for numerical analysis of stability for mined-out area. 展开更多
关键词 mined-out area measured actually multi-field coupling stress-seepage-disturbance stability for mined-out area
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部