检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

神荼郁垒

剧本 2007年第11期 9-34页

作者：锦云

时间:20世纪下半叶,土改斗争至改革开放.地点:北方农村.人物:邵五--恶霸地主,已故,在有关人回忆中出现,壮年模样.

关键词：高承志

在线全文

学校读者我要写书评

暂无评论

甲申长陵梦

剧本 2004年第5期 2-26页

作者：锦云

在线全文

学校读者我要写书评

暂无评论

解决中小企业融资问题的宏观背景

上海经济研究 2002年第6期14卷 63-67页

作者：蔡锦云上海恒泰投资有限公司

中国迈向市场经济体制的转型已经历了20余年的历程，1979—1999年间，实际GDP年均增长达到9.71％，人均GDP年均增长8.3％。战后只有日本和韩国的经济发展曾经达到过这样的增……

关键词：中小企业融资改革国有商业银行不良贷款

基于创业事件模型的农民工创业意向影响因素研究

在线全文

学校读者我要写书评

暂无评论

数理统计与管理 2012年第6期31卷 958-964页

作者：段锦云苏州大学应用心理学研究所江苏苏州215123 教育部人文社科重点研究基地苏州大学中国特色城镇化研究中心江苏苏州215123

以创业事件模型为理论框架,以苏南地区农民工为样本,通过访谈和问卷调查的方法,研究探讨了农民工创业意向的影响因素。结果发现,男性比女性农民工创业意向高,年龄越小、受教育程度越高、以往有过创业经历的农民工创业意向也越高。外部... 详细信息

以创业事件模型为理论框架,以苏南地区农民工为样本,通过访谈和问卷调查的方法,研究探讨了农民工创业意向的影响因素。结果发现,男性比女性农民工创业意向高,年龄越小、受教育程度越高、以往有过创业经历的农民工创业意向也越高。外部环境、社会榜样、及农民工个体内在的成就动机,三者作用于创业希求性知觉。外部环境和社会榜样也影响创业可行知觉。而希求知觉和可行知觉通过创业承诺的完全中介影响农民工的创业意向。研究最后讨论了所得结果的意义、不足及未来方向。

关键词：农民工创业意向创业事件模型成就动机创业承诺

在线全文

学校读者我要写书评

暂无评论

准时化生产方式的新思维

经济问题探索 2002年第11期 67-70页

作者：旷锦云云南财贸学院工商管理学院

一种新的生产方式的产生,对人类社会的影响是不言而喻的,而一种新的生产方式的产生很多时候又是建立在对传统思维方式挑战、由此建立新的思维方式的基础之上的.准时化生产方式的产生正是在对传统制造业的大量大批流水生产方式的不足进... 详细信息

一种新的生产方式的产生,对人类社会的影响是不言而喻的,而一种新的生产方式的产生很多时候又是建立在对传统思维方式挑战、由此建立新的思维方式的基础之上的.准时化生产方式的产生正是在对传统制造业的大量大批流水生产方式的不足进行弥补的基础之上产生的,由于其具有的战略优势,它将成为21世纪制造业生产方式的主流之一.

关键词：准时化生产方式汽车工业生产管理以人为本库存管理

在线全文

学校读者我要写书评

暂无评论

创建云南名牌企业战略构想

经济问题探索 2001年第10期 69-72页

作者：旷锦云云南财贸学院

名牌企业是产业发展的领头雁.一个国家、一个地区产业的发展水平、规模和竞争力在很大程度上是由名牌企业的水平、效益、规模和创新能力决定的.因此,要使一个国家和一个地区产业的整体水平有一个较大的提高,缩小与发达国家和地区的差距... 详细信息

名牌企业是产业发展的领头雁.一个国家、一个地区产业的发展水平、规模和竞争力在很大程度上是由名牌企业的水平、效益、规模和创新能力决定的.因此,要使一个国家和一个地区产业的整体水平有一个较大的提高,缩小与发达国家和地区的差距,就必须大力构建我们的名牌企业战略,创建和保护一批名牌企业和知名品牌,这既是实现我们跨世纪发展目标的必然要求,也是适应经济全球化和加入WTO的迫切需要.

关键词：云南名牌企业西部大开发名牌战略核心竞争力国际战略

在线全文

学校读者我要写书评

暂无评论

最小生成树算法的PAR方法形式化推导

计算机工程 2006年第21期32卷 85-87页

作者：孙凌宇薛锦云江西师范大学计算机信息工程学院

采用PAR方法通过功能归约变换,形式化推导出可读性好、效率高的递推的最小生成树算法,简化了算法程序设计和正确性证明的过程,有效提高了算法程序设计自动化、规范化的程度及其正确性。该文给出的相关算法在PAR平台通过自动转换系统转... 详细信息

采用PAR方法通过功能归约变换,形式化推导出可读性好、效率高的递推的最小生成树算法,简化了算法程序设计和正确性证明的过程,有效提高了算法程序设计自动化、规范化的程度及其正确性。该文给出的相关算法在PAR平台通过自动转换系统转换成可执行语言程序并运行通过。

关键词： PAR方法形式化推导归约变换算法程序

在线全文

学校读者我要写书评

暂无评论

Radl形式规格说明相对正确性研究

软件学报 2013年第4期24卷 715-729页

作者：王昌晶薛锦云计算机科学国家重点实验室中国科学院软件研究所北京100190 江西师范大学省高性能计算技术重点实验室江西南昌330022 中国科学院研究生院.北京100190 江西师范大学计算机信息工程学院江西南昌330022

在形式规格说明的获取任务中,一个重要问题是验证获取得到的形式规格说明的正确性.即给定一个问题需求P,往往可以获取多种不同形式的规格说明,如何验证这些不同形式的规格说明均正确?问题需求的非(半)形式化与形式规格说明的形式化两者... 详细信息

在形式规格说明的获取任务中,一个重要问题是验证获取得到的形式规格说明的正确性.即给定一个问题需求P,往往可以获取多种不同形式的规格说明,如何验证这些不同形式的规格说明均正确?问题需求的非(半)形式化与形式规格说明的形式化两者之间差异的本性,使得该问题成为软件需求工程中一个具有挑战性的问题.提出一种基于形式化推导的方法来验证同一问题不同形式规格说明的相对正确性,通过证明不同形式规格说明与问题需求某个最为直截明了的形式规格说明Si等价来实现,而Si使用PAR方法和PAR平台转换为可执行程序,通过测试已经得到确认.为了支持该方法,进一步提出了扩展的逻辑系统和辅助证明算法.使用Radl语言作为形式规格说明语言,通过排序搜索、组合优化领域的两个典型实例对该方法进行了详细的阐述.实际使用效果表明,该方法不仅能够有效地验证Radl形式规格说明的正确性,还具备良好的可扩充性.该方法在规格说明的正确性验证、算法优化、程序等价性证明等研究领域具有潜在的理论意义与应用价值.

关键词：形式规格说明相对正确性确认扩展的逻辑系统辅助证明算法

在线全文

学校读者我要写书评

暂无评论

爽哉她们三

中国戏剧 2012年第10期 11-12页

作者：锦云北京人民艺术剧院

谁说的—一三个女人一台戏？偏是这三位，从另外一番意义上，牵成了搭就了推出了一台结结实实煞为好看的戏——《花儿声声》.说她结结实实，言其不是戏的泡沫和泡沫的戏。时下此种泡沫多有。

关键词：戏剧文学作品表演艺术《爽哉她们三》