比较静态分析

摘要： 为了解答特定贷款者更适合采用等额本金还款法还是等额本息还款法这一问题,建立了贷款者的消费效用模型并进行了数值模拟和比较静态分析.结果发现,相较于重视累积还款金额的传统研究,贷款者在进行选择还款方式的决策时还会明显受到收入、贷款额度、还款期限、风险厌恶程度以及耐性等因素的影响,未来消费平滑性使贷款者偏向于选择等额本息法.

摘要： 在我国网络视频行业发展迅猛的背后,存在着运营成本高、盈利模式单一等问题.尽管主流视频网站先后推出了付费业务,但未能解决长期亏损的问题.本文试着通过探讨广告付费的模式,为视频网站公司提供一些思路和解决方案.通过同一视频网站实施广告的前后行为,使用比较静态分析法对视频网站收益情况进行分析,得出相应的结论:视频网站是否播放广告取决于视频网站公司的规模收益和自制节目成本.视频网站应该加快招商融资开展多元化经营,利用技术创新打造好用户体验,降低用户广告干扰成本.

摘要： 在我国网络视频行业发展迅猛的背后,存在着运营成本高、盈利模式单一等问题.尽管主流视频网站先后推出了付费业务,但未能解决长期亏损的问题.本文试着通过探讨广告付费的模式,为视频网站公司提供一些思路和解决方案.通过同一视频网站实施广告的前后行为,使用比较静态分析法对视频网站收益情况进行分析,得出相应的结论:视频网站是否播放广告取决于视频网站公司的规模收益和自制节目成本.视频网站应该加快招商融资开展多元化经营,利用技术创新打造好用户体验,降低用户广告干扰成本.

摘要： 本文在比较静态分析框架下,运用函数型数据方法,通过拟合城镇居民收入函数,测算在不同的城镇低保标准下城镇低保制度覆盖率.研究表明:各地区低保制度覆盖率具有差异性,且城镇低保制度覆盖率与城镇低保标准存在绝对正相关关系;各地区相关政府部门在调整城镇低保标准时要考虑到居民收入分布的变化,保证低保制度覆盖率达到稳态.本文为科学划定低保标准,测算低保制度覆盖规模等决策提供解决方案.

摘要： 集资诈骗罪涉案金额大、受害对象多、波及范围广,具有极大社会危害性,越来越引起全社会广泛关注。本文从经济学角度,运用比较静态分析和弹性分析的方法,研究影响行为人实施集资诈骗犯罪的因素并比较各因素之间的作用大小。研究结果表明,社会公众的警惕性、提高犯罪抓获成功率、适当增加量刑、提高潜在行为人的时间机会成本能够降低集资诈骗犯罪;同等条件下,提高社会公众的警惕性要优于提高潜在行为人的机会成本,提高既遂抓获概率要优于提高既遂刑罚。

摘要： 采用罗默的思路,将经济体系分为研发部门、中间产品部门和最终产品部门,通过研发部门中人力资本的外溢性来解释经济的持续增长.在研究的过程中,将基础科学研究、应用科学研究以及试验发展研究都纳入了经济增长分析框架.通过比较静态分析来研究人力资本影响技术进步的方式,推导出三部门实现利润最大化条件,分析由人力资本外溢性导致的技术进步对经济均衡增长的影响.研究结果表明:人力资本外溢性可以解释内生的技术进步;基础科学研究人力资本比应用科学研究和试验发展人力资本具有更大的外溢性;基础科学研究人力资本对人均收入增长的影响更大.

摘要： 本文主要讨论内部人控制引起的多元化折价问题，即由于经理人为了获取私人收益采取多元化经营战略，从而损害股东权益。经理人只有在内部激励机制和外部监督约束的作用下才可能降低多元化水平。本文构建了一个基于代理理论的多元化折价模型，引入大股东监督的作用，并通过均衡分析导出大股东监督、管理层激励与多元化折价之间的关系。本文发现：大股东持股比例与企业多元化水平之间存在着负相关关系，但同时大股东持股比例的提高会导致经理人激励程度的降低。本文进一步的分析表明大股东监督与股权激励之间存在替代关系，在所有者缺位时股权激励对于提高企业绩效十分必要。

摘要： 本文主要讨论内部人控制引起的多元化折价问题，即由于经理人为了获取私人收益采取多元化经营战略，从而损害股东权益。经理人只有在内部激励机制和外部监督约束的作用下才可能降低多元化水平。本文构建了一个基于代理理论的多元化折价模型，引入大股东监督的作用，并通过均衡分析导出大股东监督、管理层激励与多元化折价之间的关系。本文发现：大股东持股比例与企业多元化水平之间存在着负相关关系，但同时大股东持股比例的提高会导致经理人激励程度的降低。本文进一步的分析表明大股东监督与股权激励之间存在替代关系，在所有者缺位时股权激励对于提高企业绩效十分必要。

摘要： 本文主要讨论内部人控制引起的多元化折价问题，即由于经理人为了获取私人收益采取多元化经营战略，从而损害股东权益。经理人只有在内部激励机制和外部监督约束的作用下才可能降低多元化水平。本文构建了一个基于代理理论的多元化折价模型，引入大股东监督的作用，并通过均衡分析导出大股东监督、管理层激励与多元化折价之间的关系。本文发现：大股东持股比例与企业多元化水平之间存在着负相关关系，但同时大股东持股比例的提高会导致经理人激励程度的降低。本文进一步的分析表明大股东监督与股权激励之间存在替代关系，在所有者缺位时股权激励对于提高企业绩效十分必要。

摘要： 本文主要讨论内部人控制引起的多元化折价问题，即由于经理人为了获取私人收益采取多元化经营战略，从而损害股东权益。经理人只有在内部激励机制和外部监督约束的作用下才可能降低多元化水平。本文构建了一个基于代理理论的多元化折价模型，引入大股东监督的作用，并通过均衡分析导出大股东监督、管理层激励与多元化折价之间的关系。本文发现：大股东持股比例与企业多元化水平之间存在着负相关关系，但同时大股东持股比例的提高会导致经理人激励程度的降低。本文进一步的分析表明大股东监督与股权激励之间存在替代关系，在所有者缺位时股权激励对于提高企业绩效十分必要。

摘要： 国防工业项目由于规模大，涉及范围广，采用技术先进以及投资额巨大等因素，面临着比一般项目更大的风险。所以，国防工业项目更应该注重风险管理的问题。从风险的判断识别，到风险的评价分析，再到风险的处理控制，最后到风险的监控反馈，将全面的风险管理流程贯穿于整个项目各阶段始终，可以保障整个国防工业项目的顺利进行。

摘要： 国防工业项目由于规模大，涉及范围广，采用技术先进以及投资额巨大等因素，面临着比一般项目更大的风险。所以，国防工业项目更应该注重风险管理的问题。从风险的判断识别，到风险的评价分析，再到风险的处理控制，最后到风险的监控反馈，将全面的风险管理流程贯穿于整个项目各阶段始终，可以保障整个国防工业项目的顺利进行。

摘要： 国防工业项目由于规模大，涉及范围广，采用技术先进以及投资额巨大等因素，面临着比一般项目更大的风险。所以，国防工业项目更应该注重风险管理的问题。从风险的判断识别，到风险的评价分析，再到风险的处理控制，最后到风险的监控反馈，将全面的风险管理流程贯穿于整个项目各阶段始终，可以保障整个国防工业项目的顺利进行。

摘要： 国防工业项目由于规模大，涉及范围广，采用技术先进以及投资额巨大等因素，面临着比一般项目更大的风险。所以，国防工业项目更应该注重风险管理的问题。从风险的判断识别，到风险的评价分析，再到风险的处理控制，最后到风险的监控反馈，将全面的风险管理流程贯穿于整个项目各阶段始终，可以保障整个国防工业项目的顺利进行。

摘要： 国防工业项目由于规模大，涉及范围广，采用技术先进以及投资额巨大等因素，面临着比一般项目更大的风险。所以，国防工业项目更应该注重风险管理的问题。从风险的判断识别，到风险的评价分析，再到风险的处理控制，最后到风险的监控反馈，将全面的风险管理流程贯穿于整个项目各阶段始终，可以保障整个国防工业项目的顺利进行。

摘要： 本发明公开了一种基于控制流分析和数据流分析的Java程序静态分析方法，主要解决现有静态分析方法分析准确率低的问题。其实现步骤是：1.将Java源程序转化为Jimple语言的中间表示形式；2.将Java程序静态分析问题抽象为过程间分布式子集问题IFDS；3.定义过程间分布式子集问题IFDS求解器的接口类；4.通过求解器类接口中的数据流功能函数FlowFunctions，设置数据流分析规则；5.运行过程间分布式子集问题IFDS，在控制流图的基础上进行数据流分析，得出分析结果。本发明提高了静态分析的完整性和准确性，分析效率高，扩展性强，可用对较大系统规模的程序分析。

摘要： 一种基于源代码静态分析的软件安全代码分析器及其检测方法，软件安全代码分析器包括五个功能模块：代码解析器、代码分析引擎、安全风险报告器、安全规则库和用户接口，其中代码分析引擎由数据流分析器、控制流分析器、结构分析器、安全分析调度器及安全分析接口所组成，负责提取程序结构并通过基于全文的语法、语义来分析代码的安全问题；通过输入的源代码和代码的语法与语义，由该引擎分析代码的结构和关键特征，由此获取程序的安全风险并报告给用户。本发明根据输入的源程序，根据语法与语义，分析程序的结构与关键特征，从而获得程序的安全风险，并报告给用户；还可将代码分析结果通过报表，将发现的安全漏洞提交给用户进行审核与评估。

摘要： 本发明公开了一种基于文本比较的多版本软件演化历史静态分析方法，该方法包括以下步骤：步骤1)将软件多个不同版本的文件以时间为序排列，步骤2)用计算程序文件内容余弦相似度的方法，步骤3)获知程序文件内容的差异，获知方法变更表；步骤4)获知文件变更表，步骤5)获取度量数据，获知演化历史分析报告。该方法通过静态分析程序数据流和控制流结构，并利用软件程序结构分层计算；支持不同层次的并发计算，过程简便，成本低廉。

摘要： 本发明公开了一种基于控制流分析和数据流分析的Java程序静态分析方法，主要解决现有静态分析方法分析准确率低的问题。其实现步骤是：1.将Java源程序转化为Jimple语言的中间表示形式；2.将Java程序静态分析问题抽象为过程间分布式子集问题IFDS；3.定义过程间分布式子集问题IFDS求解器的接口类；4.通过求解器类接口中的数据流功能函数FlowFunctions，设置数据流分析规则；5.运行过程间分布式子集问题IFDS，在控制流图的基础上进行数据流分析，得出分析结果。本发明提高了静态分析的完整性和准确性，分析效率高，扩展性强，可用对较大系统规模的程序分析。

摘要： 本发明公开一种基于语法分析树的微服务依赖链路静态分析方法及系统，包括：对微服务调用进行编码规约；将当前微服务源码文件转化为语法分析树对象；根据语法分析树对象获取类定义对象，根据类定义对象获取类的声明对象数组，遍历声明对象数组，得到方法声明对象；根据方法声明对象获取方法声明源码，在方法声明源码中检索规约中定义的微服务调用方法；判断微服务调用方法中被调用的微服务名称是否符合规约要求，根据判断结果，定位异常依赖链路。对微服务模块的调用过程进行统一的编码规约，以此定位微服务模块间的异常依赖关系，提高项目管理质量。

摘要： 一种用于分析包括多个计算机程序的计算机程序生态系统的方法包括执行对该生态系统的静态分析，包括基于与该生态系统相关联的参数集中的参数的值识别生态系统元素之间的静态依赖性，这些元素包括计算机程序以及与计算机程序相关联的数据资源。该方法包括执行对该生态系统的运行时分析，包括识别在执行该生态系统期间被利用以处理数据记录的元素。该方法包括执行对该生态系统的调度分析，包括识别具有对另一个计算机程序的调度依赖性的计算机程序。该方法包括基于该静态分析、该运行时分析以及该调度分析的结果将这些元素的子集识别为生态系统单元；以及将该生态系统单元从第一计算机系统迁移到第二计算机系统，测试该生态系统单元，或这两者。

摘要： 本发明的技术方案为一种基于静态分析的Java测试覆盖分析方法，并基于该方法实现了一套测试覆盖工具。本发明的特点在于：使用JCov对于代码进行插桩分析和运行时情况收集；使用图算法对控制流图进行分析；准确还原测试覆盖点的具体位置和覆盖情况。本发明可以支持目前Java所有的语法结构的分析，并且可以准确还原没有被测试的代码在程序中的具体位置。对于所有满足配置条件的Java项目，可以做到一个命令执行全部的测试和分析过程。本发明的有益效果是：可以减少程序花费在补全测试覆盖上的精力，提供更准确的测试覆盖数据，使得程序员可以用更少的时间尽早得找到错误，节省了程序员寻找错误的时间成本。

摘要： 本发明提供一种用于分析政策冲击对区域经济与环境影响的静态分析方法，其包括以下步骤：步骤S1：采用CGE模型，假设模型市场为完全竞争市场，国际贸易遵循Armington假设，采用新古典闭合作为模型的宏观闭合条件；步骤S2：设置各地区或国家的二氧化碳排放总量为外生变量，进行数据采集；步骤S3：构建模型中描述中国内容情况的一国多区域部分和世界其他区域内容情况的多国多区域部分，在进、出口两方面进行结构分析；步骤S4：进行中国和世界其他区域的地区和产业划分；步骤S5：根据现实政策，设置情景模式；步骤S6：进行模型仿真分析，得出结果。考察了多样化政策情境下中国及世界不同区域的经济及环境影响。

摘要： 一种基于源代码静态分析的软件安全代码分析器及其检测方法，软件安全代码分析器包括五个功能模块：代码解析器、代码分析引擎、安全风险报告器、安全规则库和用户接口，其中代码分析引擎由数据流分析器、控制流分析器、结构分析器、安全分析调度器及安全分析接口所组成，负责提取程序结构并通过基于全文的语法、语义来分析代码的安全问题；通过输入的源代码和代码的语法与语义，由该引擎分析代码的结构和关键特征，由此获取程序的安全风险并报告给用户。本发明根据输入的源程序，根据语法与语义，分析程序的结构与关键特征，从而获得程序的安全风险，并报告给用户；还可将代码分析结果通过报表，将发现的安全漏洞提交给用户进行审核与评估。

摘要： 本发明提供了一种多静态分析工具结果融合的漏洞挖掘方法，包括：步骤1、采用多种静态分析工具对基准数据集进行扫描，根据结果计算各静态分析工具的置信度；步骤2、对待测项目进行函数级切片并提取函数代码属性图，结合代码属性图规范字典，对代码属性图进行表征获取代码属性图向量；步骤3、再对待测项目进行检测，并将各静态分析工具的检测报告进行归一化融合处理；步骤4、结合代码属性图向量，将归一化融合处理后的检测报告表征为特征向量；步骤5、将特征向量输入预训练的分类模型，若分类模型判断该检测报告为正报，则表示对应位置存在漏洞。本发明能够缓解静态分析方法严重的误报率，在基准测试集上进行测试，有效降低90％的误报。