检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

中小企业调控法律问题研究

中小企业调控法律问题研究

作者：齐蕾蕾山西大学

学位级别：硕士

中小企业随着经济的快速发展在不同的时期呈现出不同的发展状态，在当今世界经济规模化、集团化的发展模式下，中小企业凭借其自身规模小、竞争和创新意识强、经营灵活的优势，仍然呈现出快速发展的态势。特别是随着世界各国政府在对中... 详细信息

中小企业随着经济的快速发展在不同的时期呈现出不同的发展状态，在当今世界经济规模化、集团化的发展模式下，中小企业凭借其自身规模小、竞争和创新意识强、经营灵活的优势，仍然呈现出快速发展的态势。特别是随着世界各国政府在对中小企业对国民经济发展促进作用的认识程度的加深，使得各国政府都逐渐加强了对本国中小企业的法律调控。在我国，中小企业一直是支持国民经济快速发展的重要力量，我国政府也早就开始制定扶持中小企业发展的法律、法规以及各项政策，特别是在世界大环境的影响下，我国更是加快了扶持中小企业的步伐，在借鉴各国中小企业调控的法制现状后，面对我国实际存在的中小企业发展困状，提出适合我国中小企业调控法制完善的建议。第一部分是全文的理论基础，首先阐述了中小企业与宏观调控的关系，在中小企业法律界定标准的基础上，明确宏观调控对中小企业的发展起着至关重要的作用。从宏观调控法学的基础理论出发，指出产业政策法在促进中小企业发展和壮大过程中的地位和作用，使其在调整中小企业发展过程中的作用能够更好的得到体现和发挥，从而使中小企业调控法律问题在根本上有了理论保证。第二部分从国外中小企业调控的法制入手，着重分析了在中小企业法律调控问题上措施比较先进的国家，即：日本、法国、意大利、美国。通过对这些国家在本国中小企业法律调控上特点和优势的详细、具体的分析后，综合比较了四国的法制现状，提出明确中小企业法在整个国家法律体系中的地位，是完善中小企业立法的前提。同时，关注阻碍中小企业发展的“瓶颈”——资金问题，以及政府扶持、技术创新、开拓市场、企业服务等问题在发达国家的法律调控和具体解决措施的实施。第三部分是对我国中小企业调控法制现状的分析。2003年1月1日《中华人民共和国中小企业促进法》的正式实施，标志着我国在促进中小企业发展，规范法律调控体制的进程上又迈进了一步，这部法律的颁布和实施为以后逐渐形成的中小企业法律体系奠定了基础。但是，就我国目前中小企业发展的现状看，中小企业在法律实践中还是面临着许多困难，创业扶持问题、资金支持问题、技术创新问题、市场开拓问题和社会服务体系问题，都在不同程度上制约我国中小企业的蓬勃发展。因此，国家要针对这些突出问题，在法律层面上做出一个明确的规范。第四部分是全文的落脚点。我国中小企业调控法制的完善，不仅仅是需要从立法上给予重视，还要在政府执法行为的规范上、法律的保障上进一步完善中小企业的促进措施。在立法上，应尽快制定《中小企业促进法》的配套法律、法规，及时修改以往不符合现实情况的法律，同时，在权利保障上赋予中小企业法律诉讼的权利;在政府执法行为的规范上，要从转变政府理念出发，正确定位政府与中小企业的关系，在行政执法中，合法执法、合理执法;在法律保障上，注意对中小企业法律保护的适度原则，以达到能够真正促进中小企业发展的最终目标。

关键词：中小企业宏观调控产业政策法《中小企业促进法》

算法的形式化推导与基于Isabelle的自动化验证

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

算法的形式化推导与基于Isabelle的自动化验证

作者：齐蕾蕾江西师范大学

学位级别：硕士

可信软件的不断发展,进一步推动了形式化方法的深入研究。形式化方法具有严格的数学语言和精确的逻辑语义,从而保证软件在开发过程中的正确性。形式化方法主要包括形式化推导和形式化验证两个部分。形式化推导是通过对问题程序规约进行... 详细信息

可信软件的不断发展,进一步推动了形式化方法的深入研究。形式化方法具有严格的数学语言和精确的逻辑语义,从而保证软件在开发过程中的正确性。形式化方法主要包括形式化推导和形式化验证两个部分。形式化推导是通过对问题程序规约进行精确变换,最终得到算法程序。形式化验证是在对软件进行规约的基础上,验证软件是否具有所期望的性质。形式化方法对保证软件正确性和可靠性具有十分重要的意义。本文从形式化推导和自动化验证两方面研究提高算法程序正确性的有效途径。在形式化推导方面,采用基于递推技术的算法形式化方法开发算法程序,通过程序规约变换技术对形式化程序规约进行等价变换,得到问题求解的递推关系和循环不变式,以此为基础得到算法程序。该方法不仅清晰地展示了算法的设计思路与过程,而且有效保证了算法程序的正确性。在自动化验证方面,选择Isabelle定理证明器为工具。Isabelle传统应用领域为数学定理证明,本文结合验证需要在对其内置类型库和规则库进行扩充的基础上,探索将它应用于算法程序自动化验证以及问题求解序列递推关系自动化验证的有效方法。论文从三个层面深入剖析了Isabelle定理证明器,从三个部分展示了Isabelle的理论证明过程。结合本文两方面验证工作的需要,对Isabelle的类型库和规则库进行了扩充,完成了新添加规则的内部形式转换和正确性验证,以及新类型的嵌入;然后以此扩充的Isabelle类型库和规则库为基础,采用后推证明方式,结合Dijkstra最弱前置谓词方法,给出了算法程序自动化验证的基本流程,并对若干问题的算法程序进行了自动化验证;同时,为了避免手工推导递推关系带来的人为性错误,基于以上扩充的Isabelle规则库,对本文实例中推导得到的递推关系实现了进一步自动化验证。研究表明,上述工作有效提高了算法程序正确性证明和问题求解序列递推关系正确性验证的效率。

关键词：形式化推导自动化验证递推关系 Isabelle 证明规则库类型库

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

3个变形背包问题的形式化推导

江西师范大学学报（自然科学版） 2017年第2期41卷 116-121页

作者：游颖杨庆红齐蕾蕾江西师范大学计算机信息工程学院江西南昌330022

在对0-1背包问题的若干变形问题进行深入研究的基础上,使用二进制数组的方式形式化描述了几种背包问题的程序规约,通过程序规约变换技术获取问题求解的递推关系,给出了3个变形背包问题的算法推导过程,有效保证了算法程序的可靠性,并可... 详细信息

在对0-1背包问题的若干变形问题进行深入研究的基础上,使用二进制数组的方式形式化描述了几种背包问题的程序规约,通过程序规约变换技术获取问题求解的递推关系,给出了3个变形背包问题的算法推导过程,有效保证了算法程序的可靠性,并可将采用的推导方法在子集和问题、船装载等问题中加以推广应用.

关键词：形式化推导 0-1背包问题二进制向量程序规约递推关系

算法的形式化推导与基于Isabelle的自动化验证

在线全文

学校读者我要写书评

暂无评论

江西师范大学学报（自然科学版） 2018年第4期42卷 379-383页

作者：齐蕾蕾杨庆红游颖江西师范大学计算机信息工程学院江西南昌330022

可信软件的不断发展进一步推动了形式化方法的深入研究.结合实际应用中的2个问题,采用基于递推关系的算法形式化方法,演示了算法的形式化推导过程,并运用Isabelle定理证明器结合Dijkstra最弱前置谓词方法,对得到的算法程序进行了自动化... 详细信息

可信软件的不断发展进一步推动了形式化方法的深入研究.结合实际应用中的2个问题,采用基于递推关系的算法形式化方法,演示了算法的形式化推导过程,并运用Isabelle定理证明器结合Dijkstra最弱前置谓词方法,对得到的算法程序进行了自动化验证,避免了手工验证过程繁琐和易出错等问题.研究表明:基于递推关系的算法形式化方法不仅可以提高开发算法的效率,而且通过数学变换保证推导过程的正确性,从而有效保证了算法和程序的正确性.

关键词：形式化方法 Isabelle定理证明器自动化验证形式化推导

在线全文

学校读者我要写书评

暂无评论

如何培养小学生的数学语言表达能力

如何培养小学生的数学语言表达能力

华南教育信息化研究经验交流会

作者：齐蕾蕾山东省济南市章丘区东山小学

数学是一门对学生抽象思维能力要求相对较高的科学,而数学语言是把数学变得形象易懂的载体。小学时期的数学语言能力如果能得到有效开发将对今后的数学学习大有裨益,所以如何培养小学生的数学语言能力就显得尤为重要了。因此,笔者结合... 详细信息

数学是一门对学生抽象思维能力要求相对较高的科学,而数学语言是把数学变得形象易懂的载体。小学时期的数学语言能力如果能得到有效开发将对今后的数学学习大有裨益,所以如何培养小学生的数学语言能力就显得尤为重要了。因此,笔者结合实际的教学经验分析了小学生数学能力的现状,阐述了小学生数学语言表达能力的培养方案。

关键词：小学数学语言表达能力现状分析提升策略

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

非国有股东治理、ESG表现与企业价值

中国资产评估 2024年第11期 45-60页

作者：陈娇娇张哲齐蕾蕾孟子琪山东财经大学会计学院山东济南250014 中信银行济南分行山东济南250000 南开大学经济学院天津300071

本文以2011-2020年国有上市公司为研究样本,从股权治理和董事会治理两个维度考察非国有股东治理对国企价值的影响。研究发现,非国有股东治理可有效提升国企价值,且股权治理和董事会治理均对国有企业价值有提升作用。机制检验发现,非国... 详细信息

本文以2011-2020年国有上市公司为研究样本,从股权治理和董事会治理两个维度考察非国有股东治理对国企价值的影响。研究发现,非国有股东治理可有效提升国企价值,且股权治理和董事会治理均对国有企业价值有提升作用。机制检验发现,非国有股东治理通过改善ESG表现来提升国企价值。异质性检验表明,非国有股东治理对国企价值的提升效应主要见诸于商业竞争型国企和大型国企。本文的研究结论丰富了非国有股东治理的经济后果研究,为进一步推进混合所有制改革以实现国企绿色高质量发展提供经验借鉴。

关键词：非国有股东治理 ESG表现股权治理董事会治理企业价值

在线全文

学校读者我要写书评

暂无评论

电网信息资源可视化管理研究与设计

数字技术与应用 2018年第11期36卷 105-106,108页

作者：程明齐蕾蕾刘显明李健鄂驰国网江西省电力有限公司信息通信分公司江西南昌330077

随着电网信息化的快速发展,建设信息资源可视化运维体系迫在眉睫,本文探讨、分析国网江西公司信息资源可视化管理的研究与设计,着力阐述电网信息资源及设备运行故障、性能问题、应用情况、缺陷、隐患情况的动态可视化管理的问题。

关键词：电网信息资源可视化管理

学龄前儿童意外伤害流行特征分析与医疗费用比较

在线全文

学校读者我要写书评

暂无评论

宁夏医学杂志 2024年第6期46卷 485-487页

作者：张媛媛乔慧张凤萍王磊黄婷婷齐蕾蕾张淑萍宁夏医科大学公共卫生与管理学院宁夏银川750004 宁夏医科大学总院麻醉与围术期医学科宁夏银川750004 宁夏医科大学总院血管外科宁夏银川750004

目的探讨银川市1 156例学龄前儿童因意外伤害急诊住院患儿的流行特征,进一步掌握预防儿童意外伤害的基本方法。方法本研究采用问卷调查方法,收集学龄前儿童因意外伤害急诊住院患儿病例的性别、年龄、伤害类型、住院费用、医保类型等... 详细信息

目的探讨银川市1 156例学龄前儿童因意外伤害急诊住院患儿的流行特征,进一步掌握预防儿童意外伤害的基本方法。方法本研究采用问卷调查方法,收集学龄前儿童因意外伤害急诊住院患儿病例的性别、年龄、伤害类型、住院费用、医保类型等资料。结果 1 156例学龄前儿童急诊住院患儿中男性病例702人(60.73%),女性病例454人(39.27%),男性明显多于女性。学龄前儿童急诊住院患儿年龄段主要在1~2岁,占比24.57%,意外伤害类型以烧烫伤最多(27.08%)。意外伤害类型为烧烫伤患儿的住院总费用花费最多(P<0.05)。结论银川市学龄前儿童因意外伤害急诊住院患儿跟性别、年龄、伤害类型等有关,住院总花费跟意外伤害类型有关,故应针对人群特点开展有针对性地干预,预防伤害的发生。

关键词：意外伤害学龄前儿童流行特征

从第十六届中国资产评估教育论坛投稿论文看资产评估研究新动向

在线全文

学校读者我要写书评

暂无评论

中国资产评估 2022年第4期 23-31页

作者：刘德运马钰程刘亚楠齐蕾蕾施佳秀山东财经大学资产评估研究中心山东济南250014 山东财经大学会计学院山东济南250014

第十六届中国资产评估教育论坛作为国内资产评估领域的专业论坛,其所探讨的问题覆盖面广,内容新颖,展现了当前资产评估领域研究的最新动态与成果。本文对第十六届中国资产评估教育论坛的内容与投稿论文进行了深入的剖析,从中提炼出资产... 详细信息

第十六届中国资产评估教育论坛作为国内资产评估领域的专业论坛,其所探讨的问题覆盖面广,内容新颖,展现了当前资产评估领域研究的最新动态与成果。本文对第十六届中国资产评估教育论坛的内容与投稿论文进行了深入的剖析,从中提炼出资产评估研究的最新动向:(1)对新兴事物以及与热点问题相关的评估是资产评估领域经久不衰的研究主题,比如元宇宙资产的评估与碳中和相关资产的评估。(2)创新研究方法将大大推动资产评估理论向前发展。

关键词：资产评估无形资产企业价值