检索结果-内蒙古大学图书馆

电子学报 2018年第2期46卷 341-346页

作者：范艳焕李永明陕西师范大学计算机科学学院陕西西安710062 青海师范大学民师院数学系青海西宁810008

模糊线性时序逻辑(fuzzy linear temporal logic)被应用于刻画模糊系统的规范语言,其可实现性(realizability)用于判断满足该时序逻辑公式的开放系统模型是否存在.模糊线性时序逻辑可实现性和系统合成(synthesis)的基本思想是:给定模糊... 详细信息

模糊线性时序逻辑(fuzzy linear temporal logic)被应用于刻画模糊系统的规范语言,其可实现性(realizability)用于判断满足该时序逻辑公式的开放系统模型是否存在.模糊线性时序逻辑可实现性和系统合成(synthesis)的基本思想是:给定模糊线性时序逻辑公式,判断是否存在满足该公式的系统.如果存在,则构造满足该公式的最优系统.为了检验模糊线性时序逻辑的可实现性,首先引入模糊Büchi博弈的定义,作为检验模糊线性时序逻辑公式是否可实现的模型.其次通过归约的方法,研究模糊Büchi博弈的性质(最优无记忆策略存在性.最后验证模糊线性时序逻辑的可实现性并且给出其系统合成的过程,并说明它们的时间复杂度.

关键词：模糊线性时序逻辑模糊Büchi自动机可实现性模糊博弈

来源：评论

学校读者我要写书评

暂无评论

基于Petri网分析编排的可实现性

引用

计算机集成制造系统 2020年第6期26卷 1548-1556页

作者：黄苾代飞王亚博莫启曹涌王雷光西南林业大学大数据与智能工程学院云南昆明650224 云南大学软件学院云南昆明650091

为了解决编排建模中存在的可实现性问题,即给定一个编排,检测编排生成的参与者间的交互与编排规约是否完全匹配,从同步通信和异步通信两个方面,提出了一种使用Petri网分析编排可实现性的方法。首先,使用映射和约简操作,实现了从编排中... 详细信息

为了解决编排建模中存在的可实现性问题,即给定一个编排,检测编排生成的参与者间的交互与编排规约是否完全匹配,从同步通信和异步通信两个方面,提出了一种使用Petri网分析编排可实现性的方法。首先,使用映射和约简操作,实现了从编排中自动生成参与者。然后,使用强互模拟关系,分析了同步通信下编排的可实现性。最后,使用弱互模拟关系,分析了有界异步通信下编排的可实现性。实验结果表明了所提方法的有效性。

关键词：编排可实现性异步通信同步通信 Petri网

来源：评论

学校读者我要写书评

暂无评论

动态并行路径流量工程的可实现性研究

引用

北京邮电大学学报 2006年第6期29卷 49-52页

作者：冯春燕张晨李金岭丁炜北京邮电大学通信网络综合技术研究所北京100876

利用遗传算法研究了动态并行路径流量工程的实现方法和可实现性.首先给出并行路径流量工程理论最优解的求解方法,并对其运算成本和运算结果在工程上的不可实现性进行了分析和验证;然后采用简洁、典型的分流方案,对已有的理论最优解进行... 详细信息

利用遗传算法研究了动态并行路径流量工程的实现方法和可实现性.首先给出并行路径流量工程理论最优解的求解方法,并对其运算成本和运算结果在工程上的不可实现性进行了分析和验证;然后采用简洁、典型的分流方案,对已有的理论最优解进行局部近似,并基于这些分流方案从全局的角度设计遗传算法,达到了与理论最优解近似的优化效果,且运算量大为减小.通过仿真分析得出了在优化过程中,需要对并行路径间的分流误差进行有效控制的结论.

关键词：流量工程并行路径遗传算法可实现性分流误差

来源：评论

学校读者我要写书评

暂无评论

考虑可实现性和管理目标的带有非期望产出的生产计划决策——基于数据包络分析的研究

引用

中国科学技术大学学报 2020年第7期50卷 940-949页

作者：曾文江杨锋中国科学技术大学管理学院安徽合肥230026

集中决策环境下的生产计划问题通常涉及所有子单元的参与,每个子单元都对总生产做出自己的贡献.在做生产计划时,中央决策者需要根据下一季度已知的或可以预测的产品需求和可用资源的变化,确定各子单元的投入和产出数量.一方面,由于短期... 详细信息

集中决策环境下的生产计划问题通常涉及所有子单元的参与,每个子单元都对总生产做出自己的贡献.在做生产计划时,中央决策者需要根据下一季度已知的或可以预测的产品需求和可用资源的变化,确定各子单元的投入和产出数量.一方面,由于短期内生产技术水平的相对稳定性,较大幅度地提高生产不切实际,因而需要考虑生产计划的可实现性,即下一季度的生产计划距离当前季度的生产状态越近则越容易实现.另一方面,以前的生产计划研究中,中央决策者没有为各个子单元制定有针对性的管理目标,使得生产计划不能完全体现管理者对目标的期望,因而在制定生产计划时应该将管理目标考虑在内,同时要求生产计划尽可能靠近管理目标.此外,在生产过程中,产出又可以分为期望产出和非期望产出.从这几个角度出发,在集中决策环境下,通过考虑生产计划的可实现性和提前设定的管理目标,为具有非期望产出的集中组织提供了基于数据包络分析(DEA)的生产计划方法,并通过淮河沿岸32家造纸厂的真实案例对提出的模型进行阐释.

关键词：数据包络分析生产计划可实现性管理目标非期望产出

来源：评论

学校读者我要写书评

暂无评论

人工意识:从不可能性到可实现性

引用

学术月刊 2024年第10期56卷 17-27页

作者：魏屹东山西大学哲学学院山西太原030006

人工智能的发展使得人工意识或机器意识成为一个被关注的主题。但人是机器的理念与机器是人的理念并不等同,人有意识而机器没有是基本共识。然而,人工智能的巨大成功激发人们去探讨人工意识和人工生命问题,这其中必然会面临许多挑战和争... 详细信息

人工智能的发展使得人工意识或机器意识成为一个被关注的主题。但人是机器的理念与机器是人的理念并不等同,人有意识而机器没有是基本共识。然而,人工智能的巨大成功激发人们去探讨人工意识和人工生命问题,这其中必然会面临许多挑战和争论,包括哲学的、伦理的以及科学和技术的。具体而言,这些挑战和争论涉及人工意识的可能性与不可能性,它与心智的相关性和组成的无关性,智能体的形态计算性与可实现性以及其内在世界与外在环境的耦合关系,智能体的道德地位的实在论与关系论之争,其中一个核心问题是如何知道机器有意识这个认识论难题,该问题可能通过对人工意识进行文化建构和适应性表征来解决。

关键词：人工意识人工智能形态计算可实现性适应性表征

来源：评论

学校读者我要写书评

暂无评论

内外资企业所得税统一的可实现性:上海视角

引用

上海经济研究 2005年第9期17卷 45-50页

作者：陆露晴复旦大学经济学院 200433

我国在内外资企业的所得税征收上实行双轨制,这并不是世界各国普遍的做法,而是特定时期、特定条件下采取的措施。随着中国经济的发展,经济环境的变化,对国内企业“歧视性”的税收政策造成了企业竞争的不平等性,近期要求统一企业所得税... 详细信息

我国在内外资企业的所得税征收上实行双轨制,这并不是世界各国普遍的做法,而是特定时期、特定条件下采取的措施。随着中国经济的发展,经济环境的变化,对国内企业“歧视性”的税收政策造成了企业竞争的不平等性,近期要求统一企业所得税的呼声很高,在此次的十届人大三次会议上也引起了广泛的讨论,这意味着外资企业的所得税将提高,自然会联想到外资的进入问题。由于上海是中国外资企业集聚的城市,本文选取上海作为视角来看内外资企业所得税统一的可实现性。

关键词：内外资企业所得税上海可实现性

来源：评论

学校读者我要写书评

暂无评论

高清视频处理技术的可实现性研究

高清视频处理技术的可实现性研究

引用

作者：徐永键中山大学

学位级别：博士

本论文的工作是围绕以下项目展开的:广东省省部产学研重点项目“高清晰高画质LCD数字视频后处理芯片的研制”(编号:2008A090400010)；国家自然科学基金项目“LCD运动图像去模糊盲信号处理方法的研究”(编号:60874060)。\n 随着数字... 详细信息

本论文的工作是围绕以下项目展开的:广东省省部产学研重点项目“高清晰高画质LCD数字视频后处理芯片的研制”(编号:2008A090400010)；国家自然科学基金项目“LCD运动图像去模糊盲信号处理方法的研究”(编号:60874060)。\n 随着数字传输技术和图像处理技术的提高,数字电视技术正逐步从标准清晰度电视(SDTV)过渡到高清晰度电视(HDTV)。LCD、LED、PDP等高清数字电视符合人们对高品质的数字多媒体播放的需要,具备广阔的市场前景,其发展为数字电视芯片产业带来巨大的市场。作为数字电视的核心技术,高清视频处理技术的研究以及高性能视频SoC芯片的研发,成为了行业关注和竞争的焦点。而随着显示分辨率的提高,由去隔行、视频缩放及MPEG解压等所引起的视频伪影严重影响着图像质量。此外,由于LCD显示机理方面的因为,在显示运动图像时会出现拖尾,为改善LCD视频显示质量,必须对LCD运动模糊现象进行补偿。对于高清数字电视来说,视频处理技术应包括视频信号的去隔行处理、去噪声、分辨率缩放、图像增强、帧频转换、运动估计、运动补偿、LCD运动去模糊等功能。\n 本文立足于高清数字电视的应用,重点针对运动估计技术、运动补偿技术、去隔行技术、MPEG降噪技术、LCD运动图像去模糊技术、大规模视频处理芯片设计方法学的进行了深入研究,主要研究内容和创新点如下:\n 1.本文针对运动估计应用及其硬件实现,提出了一种新型矢量预测运动估计算法。该算法充分考虑了运动矢量场的时空相关性,利用运动类型判断、起始点预测、搜索模式选择等快速搜索策略,保证了运动估计的精度与速度。同时,为减少硬件实现代价,利用交叠块匹配策略,在不降低运动估计精度的情况下,大大减少了块匹配的运算量与资源需求。实验结果表明该算法达到很好的效果。\n 2.针对去隔行图像的边缘锯齿化、羽化、闪烁等问题,本文对各类型方法进行了详细的研究,并提出一种基于多重运动补偿策略的去隔行算法。该算法在新型矢量预测运动估计算法的基础上,判断运动场景的属性,根据不同的运动属性采用不同的运动补偿策略。实验结果表明该算法较好地解决了图像锯齿化、羽化、闪烁等问题。\n 3.针对数字视频信号中由MPEG压缩产生的噪声问题,分析了方块效应和振铃效应的产生因为,提出了基于区域判断的MPEG降噪算法。该算法根据人眼对不同频率成分分布的图像区域的敏感度不同,把图像分为平滑渐变区域、亮度阶跃区域、复杂纹理区域,对不同区域分别进行滤波处理,在降低MPEG压缩噪声的基础上,有效保持了图像的细节信息,很大程度地改善了降噪后的图像质量。\n 4.研究了LCD运动去模糊技术,分析了LCD运动拖尾现象产生的因为,对LCD运动模糊系统进行分析和数学建模。在模糊系统模型的基础上,进行了模型化与非模型化的去模糊研究,提出了一种快速的RL迭代运动去模糊算法。此算法涉及运动估计、滤波器建立、迭代运算核的内容,相比其他算法,具有良好的实用性。\n 5.在算法研究的基础上,针对视频处理算法的实时性、并发性及海量运算等特点,从SoC设计方法学的角度,提出了处理器架构、高速总线架构、高速同步/异步传输策略、高效视频处理IP等设计方法,并进行了视频处理芯片的整体设计,通过FPGA平台进行系统验证,最后通过MPW流片验证了视频处理算法的正确性与实用性。

关键词：运动估计图像处理视频处理运动补偿可实现性

来源：评论

学校读者我要写书评

暂无评论

公允价值计量可实现性的探讨

引用

会计之友 2014年第17期 19-22页

作者：刘红英广州铁路职业技术学院

决策所需信息可以区分为特定性信息和非特定性信息。非特定性信息适应面广,但需要通过特定性信息才具有实现性。公允价值计量模式使得会计信息加工延伸到非特定性信息。公允价值计量面临的主要问题是非特定性信息与未来的特定性信息的... 详细信息

决策所需信息可以区分为特定性信息和非特定性信息。非特定性信息适应面广,但需要通过特定性信息才具有实现性。公允价值计量模式使得会计信息加工延伸到非特定性信息。公允价值计量面临的主要问题是非特定性信息与未来的特定性信息的差异程度。如果差异巨大则意味着公允价值计量形成的会计信息对决策帮助很小。相关性和可靠性均不能约束这类差异。这说明需要新的会计信息质量特征来约束公允价值会计形成的信息。随着时间的推移,后来的特定性信息能够自然证实非特定性信息的可实现程度。利用不同时点上计量结果的对比可以得到观察和约束这类差异的可实现程度标志。可实现性应该成为新的会计信息质量特征。

关键词：非特定性公允价值可实现性

来源：评论

学校读者我要写书评

暂无评论

图论中矩阵的可实现性

引用

数学的实践与认识 2005年第5期35卷 182-186页

作者：卢建立杨明波河南师范大学数学与信息科学学院河南新乡453007

对图的关联矩阵,邻接矩阵,基本割集矩阵,基本圈矩阵的可实现性分别进行了论证,并将邻接矩阵的可实现性推广到一般形式.得到了同一个基本割集矩阵的奥凯达图形是不唯一的;以及这些奥凯达图形所对应的图是互相同构的结果;并且指出了基本... 详细信息

对图的关联矩阵,邻接矩阵,基本割集矩阵,基本圈矩阵的可实现性分别进行了论证,并将邻接矩阵的可实现性推广到一般形式.得到了同一个基本割集矩阵的奥凯达图形是不唯一的;以及这些奥凯达图形所对应的图是互相同构的结果;并且指出了基本圈矩阵的可实现性可以依靠基本割集矩阵的可实现性来解决.

关键词：可实现性基本割集矩阵图论邻接矩阵关联矩阵一般形式基本圈图形同构

来源：评论

学校读者我要写书评

暂无评论

中西乌托邦文学“可实现性”比较研究

中西乌托邦文学“可实现性”比较研究

引用

作者：董美男辽宁大学

学位级别：硕士

关于乌托邦文学“可实现性”的研究是对“乌托邦”自身价值的一种肯定。从乌托邦文本呈现、乌托邦文学的实践、乌托邦文学转化现实、到再创作更高一级的乌托邦作品,这是乌托邦文学“可实现”的一个完整过程。而从文学角度对这一过程的... 详细信息

关于乌托邦文学“可实现性”的研究是对“乌托邦”自身价值的一种肯定。从乌托邦文本呈现、乌托邦文学的实践、乌托邦文学转化现实、到再创作更高一级的乌托邦作品,这是乌托邦文学“可实现”的一个完整过程。而从文学角度对这一过程的探究主要把乌托邦的“可实现性”肯定于文本内在规定的基础之上。由于本文着重于文本分析,所以分别从乌托邦作品的思想内容、创作手法探寻乌托邦文学的“可实现性”,再以乌托邦文学具有的驱动实践和转化现实的能力来进行结果验证。关于乌托邦文学的“可实现性”的探究,本文主要有两个结论:一是乌托邦文学具有“可实现性”;二是中西乌托邦文学“可实现性”既相似又相异。首先,乌托邦文学的“可实现性”在内容中体现为理想与现实的张力。在乌托邦作品中虽然呈现出理想与现实的不同,但理想与现实又是粘连在一起。理想与现实之间存在的张力,使理想不再遥远,使理想具有了“可实现性”。中西方乌托邦文学以不同的方式理解理想的“有序”和现实的“矛盾”,这使中西乌托邦文学的“可实现性”在内容上呈现差异其次,乌托邦文学的“可实现性”在创作手法上体现的寓真于假。乌托邦作品的创作没有完全割裂真假界限。它借用了寓言化以假乱真的创作手法,在文本中插入不确定信息、在情节中制造奇幻感、并且擅于以隐喻、象征等方式暗示深层信息。同时它又借用写实的方法以真化假,使虚假文本呈现出一种严肃、正统之风。这种寓真于假、真假相和的创作手法使文本在形式上迎合了乌托邦的“可实现性”。由于社会背景和文化传统的差异使中西方乌托邦文学在创作中以不同的形式进行寓言和写实化。最后,从文本的价值功能角度看乌托邦文学的“可实现性”表现出驱动实践转化现实的能力。事实上,这种能力是用“成果”来验证乌托邦文学实现性,这也是乌托邦文学具有“可实现性”的最主要依据。通过比较,会发现中西乌托邦文学虽然都具有驱动实践和转化现实的能力,但西方乌托邦文学驱动实践更为明显,而中国乌托邦文学转化现实更为迅速。

关键词：可实现性乌托邦理想现实寓言写实

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：