基于有限自动机的面向对象软件规约测试

面向对象方法已经逐步代替基于过程的方法成为软件开发的主流,然而面向对象软件的测试和维护代价却并没有因此而减少。虽然在面向对象软件测试方面做了很多的研究工作,但是大多数针对面向对象软件测试的研究都是针对单一类的测试,而不是更高层次上的对面向对象软件规约的测试。提出了一种基于有限自动机的测试框架以测试面向对象软件规约中存在的不完整性和不一致性。该方法有别于公式证明和模型检查,它直接依据可执行的有限自动机来执行测试而不是人工的推导公式证明也不产生大量的状态空间。

政府与市场分工的经济学思考

政府与市场的分工历来是经济学家探讨的热点问题。毋庸置疑,市场化对于繁荣和发展经济起到了重要作用,也使人们充分享受到经济增长所带来的实惠和便利。但一味地遵循市场原则又会带来一系列的社会问题,也是和社会主义的共同富裕的本质目标相背离的,在严峻的社会问题方面政府干预经济已是必然,尤其是在民生问题日益成为中国经济发展的重要目标时,"政府的有形之手"不应也不能完全退出社会经济生活的各个领域,而应当在某些关系国计民生的重要领域发挥作用。政府与市场只有相互合作、相互补充,才能共同促进经济的可持续发展与社会的和谐发展。

论通货膨胀对于民生的影响

通货膨胀作为一种货币现象,对老百姓的生活有着非常重要的影响。其在一定程度上甚至左右着一个国家的经济生活和政治命运。因此政府有责任和义务进行干预,试图削减这一过程给民生带来的不利影响。本文首先阐述了通胀在我国的变现形式及其背后原因,然后具体分析了其对不同群体的影响,最后提出了政府应该着力改善民生和改变通胀预期的建议。

采油厂信息管理系统的设计与实现

本文提出了基于B/S三层结构建立采油厂信息管理系统的设计思想。重点阐述了系统设计方法,并给出了用户权限设置、ASP和ADO技术访问数据库、XML技术动态显示信息等关键技术的实现方法。

温差能大口径冷水管安装铺设抗弯刚度分析

本文建立了冷水管道力学模型并推导双层管等效抗弯刚度理论公式,利用ABAQUS有限元软件,应用逐层剥离法,建立冷水管有限元模型,模拟分析冷水管铺设时的非线性力学行为。对比理论解与仿真解,结果较为理想,对实际工程开展具有一定的指导意义。

构建黑龙江新型政商关系的思考

政商关系是以政府所具有的行政权力与企业家所获得的经济利益为基础,二者在市场中通过协调与发展行为相结合的一种社会关系。也就是“权力”和“金钱”的关系,看似对立而又密不可分。本文分析了在构建黑龙江“亲”“清”型新型政商关系中存在的问题,在此基础上针对各个问题提出了相应的对策和建议。

政府职能变革对政商关系的影响

政商关系是指在既定的经济体制下政府职能部门与具有经济行为主体的企业之间的相互依赖和相互合作的一种关系。只要某一经济体系中有这两大主体,政商关系就有新的定义方式。作为管理部门的政府在顺应市场发展规律的前提下,发挥其职能的主要方式是在规范企业管理的同时为其提供公共服务,而企业应在相关法律法规的约束下,廉洁规范经营。在既定的经济体制下,政府与企业只有在形成良好政商关系的基础上,携手推动社会经济的安定与昌盛。

心中的风筝

今年放暑假前，爸爸早早订好了去西安的机票，对我说：“你不是一直盼着和同学们一起去陕西游玩吗？这个暑假我约了你的同学和家长让你美梦成真。”“太好啦！”我欢呼道，心中的“风筝”一下子跃起来，在天空中飞得高高的。同学们的“风筝”也在蓝天白云之间玩耍，有的说：“我看到了西安的城楼啦……”有的说：“我看到巍峨险峻的华山啦……”还有的说：“我都听到壶口瀑布震耳欲聋的水声了……”

融入化学史的中学化学教学策略

纵观过去20年的化学史研究,我国的中学化学史教育研究专注于化学史的教育功能和化学史教育的方法,而将化学史融入中学教育教学相对较少。化学史对中学教学具有重要意义,探寻化学史与中学教学之间的切合点已成为不可避免的研究趋势。本文主要对化学史教育融入化学教学课堂的实施情况进行分析,探索适合中学生发展的教育教学策略,以期为中学教育教学融入化学史提供实践依据。

京津冀一体化背景下河北人才体系建设的探讨研究

“京津冀协同发展”国家战略实施以来,河北省各项工作取得了显著发展,在承接北京非首都功能疏解、产业升级转移、交通基础设施建设、等方面不断取得新进展。从协同发展背景看,北京市、天津市拥有丰富的科技、文化、经济和人才资源,河北面临着人才吸引力不足,人才流失严重的问题。而人才是发展的基础,也是河北持续发展的必然要求,因此京津冀协同发展对河北有着重要的意义。

黑龙江省营商政务环境政策问题及其对策

通过对营商政务环境政策的进一步研究,一方面可以促使地方政府减少对市场和企业的行政性干预,为市场主体松绑减负,为创新创业清障搭台,为公平竞争保驾护航;另一方面能规范政商关系,约束政府及其工作人员的行为,保持清正干净的政商关系,使政府官员能设身处地地在服务中积极表现为企业做好服务,以企业所需为首要出发点。因此,通过梳理黑龙江省营商政务环境政策改革和发展的演进概况,围绕着政务审批政策、政务服务政策和政务公开政策三个维度来分析黑龙江省营商政务环境政策中存在的问题,提出适合黑龙江省省情、规范黑龙江省营商政务环境政策发展的可行性对策,为黑龙江省营商政务环境的优化探究有效路径,促进黑龙江省的经济发展。

哈尔滨市智慧养老服务发展对策研究

当前哈尔滨市人口发展正逐渐步入老龄化阶段,养老服务的社会需求逐渐凸显出来。为了及时有效应对养老问题,哈尔滨市正加快推进智慧养老服务的建设。通过以哈尔滨市为研究对象,从智慧养老服务平台、智慧养老服务市场化程度以及养老服务个性化三个方面深入剖析哈尔滨市智慧养老服务发展存在的问题,并结合哈尔滨市现状进行具体分析,提出以养老服务平台技术水平、主体多元化、专业人才培养三方面为中心的、具有针对性的对策建议,以此保证哈尔滨市智慧养老服务的可持续发展。