检索结果-南通市图书馆

我国新质生产力发展水平测算、时空特征与影响因素研究

在线全文

学校读者我要写书评

暂无评论

西部金融 2024年第6期 3-12页

作者：吴怀广邓水云黄启威邓迪中国人民银行莆田市分行福建莆田351100

2023年9月,在黑龙江调研考察期间,习近平总书记首次提出了“新质生产力”的概念。本文根据关于新质生产力的权威阐述从四个维度解读其内涵,在此基础上分维度选取相关指标构建综合评价指标体系,并采用熵值法对2012-2022年间我国新质生产... 详细信息

2023年9月,在黑龙江调研考察期间,习近平总书记首次提出了“新质生产力”的概念。本文根据关于新质生产力的权威阐述从四个维度解读其内涵,在此基础上分维度选取相关指标构建综合评价指标体系,并采用熵值法对2012-2022年间我国新质生产力的发展水平进行测算。基于测算结果,运用Dagum基尼系数法、核密度估计等方法分析我国新质生产力的演变时空特征。接着,根据前述分析结论检验新质生产力空间相关性,并运用空间面板模型进一步讨论影响新质生产力的因素,最后,针对性提出加快培育新质生产力的政策建议。

关键词：新质生产力评价体系时空特征熵值法 Dagum基尼系数法

在线全文

学校读者我要写书评

暂无评论

基于扩展π演算的Web服务事务研究

基于扩展π演算的Web服务事务研究

作者：吴怀广浙江师范大学

学位级别：硕士

随着电子商务的迅速崛起和Web应用的迅速发展，Web服务—一个被广泛接受的面向服务计算的范例，已经成为电子商务的一种有效的解决方案。Web服务被业界称为继PC和Internet之后的计算机IT技术的第三次革命。从电子商务的应用角度看，Web... 详细信息

随着电子商务的迅速崛起和Web应用的迅速发展，Web服务—一个被广泛接受的面向服务计算的范例，已经成为电子商务的一种有效的解决方案。Web服务被业界称为继PC和Internet之后的计算机IT技术的第三次革命。从电子商务的应用角度看，Web服务具有广阔的发展前景及空间。但是从Web服务自身的支撑技术来看，诸如Web服务组合、Web服务事务处理等很多关键的问题有待解决．因此，Web服务一直是业界研究的热点。在Web服务组合中，不同成员的Web服务之间存在着操作一致性和可靠性的处理要求，需要在Web服务组合中提供对事务处理的支持。在本文中，我们主要围绕Web服务组合及Web服务事务处理的形式化描述而展开。首先，我们对Web服务的概念、体系结构及其特征做了简单描述。列举了Web服务的基本技术：数据交换标准(XML)，简单对象访问协议(SOAP)，Web服务描述语言(WSDL)，统一描述、发现与集成协议(UDDI)。比较了编排(Choreography)与编制(Orchestration)之间的差异，并且也指出它们之间应该是一种协作的关系。分析了Web服务事务诸如长运行时间、自治性、松耦合、异构性等特点，介绍了现有方案BTP、WS-C／T、WS-TXM的事务处理机制。我们还对所要用到的形式化工具-π演算进行了基本语法、操作语义的介绍。在此基础上，我们用扩展的π演算建立独立于具体编排(Choreography)、编制(Orchestration)语言方案的形式化模型，以用来刻画Web服务事务的处理机制。在不考虑时间因素的前提下，用抽象事务等结构对标准的π演算进行扩展，并用来描述Web服务的组合机制。随后，用扩展的实时(real-time)π演算来刻画Web服务事务的时间特性，重点讨论了Web服务事务的强时间互模拟关系、弱时间互模拟关系及基于时间粒的互模拟关系。因此，本文的研究成果主要包括以下两个方面： ● 通过事件进程[P，Q]、Web事务结构(?)[P，Q];R(?)及消息进程signal(t)对标准的π演算进行扩展，定义其结构同余关系及操作语义。给出了它的辖域律、事务律、浮动律。通过该模型对Web服务组合实例的形式化的描述，充分体现了其灵活性及表达能力。 ● 对实时π演算进行了事务描述等扩展。为了刻画动作的执行时间，给出了动作执行时间算子t(α)的定义。针对实时系统持久性的性质，提出了事务阀值Thre(d)的概念。从延时和非延时(动作)两个方面，阐述了该模型的操作语义。进而，论

关键词： Web服务服务组合事务处理 π演算时间互模拟关系

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

马克思重建个人所有制思想及其当代价值

马克思重建个人所有制思想及其当代价值

作者：吴怀广福建师范大学

学位级别：硕士

重建个人所有制思想是马克思关于未来社会所有制形式的科学设想,不管是传统公有制的理论和实践还是现阶段的经济体制改革都离不开对重建个人所有制思想的研究。目前,学术界对此命题的讨论仍是众说纷纭,因此澄清马克思重建个人所有制的... 详细信息

重建个人所有制思想是马克思关于未来社会所有制形式的科学设想,不管是传统公有制的理论和实践还是现阶段的经济体制改革都离不开对重建个人所有制思想的研究。目前,学术界对此命题的讨论仍是众说纷纭,因此澄清马克思重建个人所有制的真正内涵,有助于正确理解我国目前社会初级阶段的特征,也有助于明确下一步的政治经济改革的方向和目标。本文认为对重建个人所有制内涵的理解不仅仅是经济领域的问题,也包含着马克思对个体发展的思考。因此本文在已有研究成果的基础上,重新梳理了马克思关于未来社会相关论述,从所有制演变和人的发展两个维度结合起来对其理论内涵进行深入解读,并论述了重建个人所有制的理论意义和实践意义,在此基础上进一步探讨重建个人所有制现阶段的实现形式。

关键词：马克思重建个人所有制思想实现形式

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

面向软件行为的需求模型及特性检测

计算机研究与发展 2011年第5期48卷 869-876页

作者：吴怀广毋国庆陈曙万黎武汉大学计算机学院武汉430079

软件需求模型及其检测是软件需求工程中的重要工作.在分析现有需求建模方法和软件行为相关研究的基础上,对将软件行为概念引入需求模型进行了详细的阐述,提出一个面向软件行为的需求模型描述语言BDL(behavior description language),定... 详细信息

软件需求模型及其检测是软件需求工程中的重要工作.在分析现有需求建模方法和软件行为相关研究的基础上,对将软件行为概念引入需求模型进行了详细的阐述,提出一个面向软件行为的需求模型描述语言BDL(behavior description language),定义了它的语法、语义;讨论了CCS(calculus of communication system)与BDL的转换关系,构造了BDL到CCS的转换函数M〖-〗;给出了需求模型的系统一致性、系统安全性、行为可信性及行为非终止性等4种系统特性的时序逻辑描述;最后用模型验证工具CWB(Concurrency Work Bench)对BDL描述的具体实例进行验证分析.

关键词：软件行为需求模型系统特性逻辑刻画特性检测

在线全文

学校读者我要写书评

暂无评论

基于论域划分的无监督文本特征选择方法

科学技术与工程 2013年第7期21卷 1836-1839页

作者：朱颢东吴怀广郑州轻工业学院计算机与通信工程学院郑州450002

由于缺乏类信息,使得无监督文本特征选择问题一直未较好地加以解决。为此,对该问题进行了研究并提出了一个基于论域划分的无监督文本特征选择。该方法主要是把论域划分的思想引入到无监督文本特征选择之中,其首先使用一种新型无监督文... 详细信息

由于缺乏类信息,使得无监督文本特征选择问题一直未较好地加以解决。为此,对该问题进行了研究并提出了一个基于论域划分的无监督文本特征选择。该方法主要是把论域划分的思想引入到无监督文本特征选择之中,其首先使用一种新型无监督文档进行文本特征初选以过滤低频的噪声词,然后再使用所给的基于论域划分的属性约简进行文本特征优选。实验结果表明这个方法能够克服文本聚类时缺乏类的先验知识的不足,可以较好地解决无监督文本特征选择问题。

关键词：文本聚类特征选择文档频论域划分

在线全文

学校读者我要写书评

暂无评论

面向行为的需求建模研究及实现

计算机科学 2011年第4期38卷 175-181页

作者：万黎毋国庆吴怀广武汉大学计算机学院武汉430072

需求建模是需求工程中的重要步骤。提出了一种面向行为的需求建模方法,首先将目标系统问题域划分成多个子问题域,然后在子问题域里建立多个视点,在每个视点内,根据需求建立多个场景。对于每个场景,用行为描述语言建立场景行为模型,视点... 详细信息

需求建模是需求工程中的重要步骤。提出了一种面向行为的需求建模方法,首先将目标系统问题域划分成多个子问题域,然后在子问题域里建立多个视点,在每个视点内,根据需求建立多个场景。对于每个场景,用行为描述语言建立场景行为模型,视点内所有场景的行为模型组合构成视点行为模型,目标系统所有视点的行为模型组合构成系统行为模型。在行为模型的基础上,提出了一系列特性以及其验证方法,用于验证行为模型的正确性以及系统特性。基于以上方法,设计和实现了面向行为的需求建模工具(BRMT),以辅助开发人员从行为的角度进行需求建模。

关键词：需求建模软件行为视点场景行为描述语言

在线全文

学校读者我要写书评

暂无评论

面向软件行为的需求模型可视化研究

计算机应用研究 2015年第8期32卷 2406-2409页

作者：马丽吴怀广毋国庆平顶山学院软件学院河南平顶山467000 武汉大学计算机学院武汉430072 郑州轻工业学院计算机与通信工程学院郑州450002

为提高复杂软件系统需求建模的效率和质量,提出一种图形化文本式需求模型的可视化方法。该方法应用面向行为描述语言(behavior description language,BDL)构建需求模型,定义映射规则将BDL模型的行为及行为间的关系与给定的图形模型符号... 详细信息

为提高复杂软件系统需求建模的效率和质量,提出一种图形化文本式需求模型的可视化方法。该方法应用面向行为描述语言(behavior description language,BDL)构建需求模型,定义映射规则将BDL模型的行为及行为间的关系与给定的图形模型符号关联;根据转换算法对构建的图形模型文法进行检查,并将其转换为BDL语言描述的行为模型,实现行为需求模型的可视化。最后通过实例验证了该方法的可行性。

关键词：需求建模软件行为行为描述语言映射规则图形化