提升西部地区城市竞争力的思考

西部大开发战略正步入加快发展西部地区特色优势产业阶段,提升西部地区的城市竞争力是区域发展的迫切要求。文章阐释了城市竞争力的内涵与衡量指标体系,探讨了提升西部地区城市竞争力的思路与对策。     

实用技术推介

普通投影屏幕播放时，需要关灯和遮窗帘，而且清晰度和对比度都比较低。由苏州市奥深多媒体视觉工程研究所，引进消化国外技术后自行开发研制成功具有自主知识产权的微结构光学背投影屏幕，其性能及应用范围有了较大的提高，其特点为明亮清晰、色彩鲜艳、超高解析、超宽视角、适合多媒体及动态影像，设备简易、操作方便、可制大型屏幕、保养便利、价格优势等等。并已申报多项国家专利。特别适用于展示、展览、企业、商业商务演示、教学培训、科普宣传、视讯会议和工业监控及家庭影院系统等各种领域。     

Formal Verification under Unknown Constraints

We present a formal method of verifying designs with unknown constraints (e, g. , black boxes) using Boolean satisfiability (SAT). This method is based on a new encoding scheme of unknown constraints, and solves the corresponding conjunctive normal form (CNF) formulas. Furthermore, this method can avoid the potential memory explosion, which the binary decision diagram (BI)I)) based techniques maybe suffer from, thus it has the capacity of verifying large designs. Experimental results demonstrate the efficiency and feasibility of the proposed method.     

学术动态

2005年9月至12月,我校如期举行了五场“开化论坛”系列讲座,分别是:云南省政府参事、云南省微生物学会理事长、云南省热带亚热带病毒重点实验室主任、研究员张念祖所作的“生物资源利用与天然药物开发”;云南省壮学研究会副秘书长、文山壮学发展研究会秘书长、文山民族研究所客     

民族传统节日旅游资源特征、旅游开发价值与原则的探索

我国是一个多民族国家,它有许多的民族传统节日.民族传统节日作为一种旅游资源具有民族性、综合性、群体性、传承性、变异性、兼容性、休闲性等特点.它的旅游开发具有经济、政治、文化、社会、环保等价值.在民族旅游资源的开发过程中要遵循客观性、系统性、发展性、对比性、保护、特色等原则.     

应用开发平台软件的设计与应用前景

管理软件失败率高是个不争的事实，主要是因为管理软件中存在个性化、可维护性、应用集成等问题，所以出现了面向业务导向和驱动的应用开发平台．通过引入企业模型理论(EE／EM)，为管理软件设计和开发提供有效的导向和依据．     

海水资源的开发与利用

中国现阶段属于严重缺水国家，很大一部分城市都处于缺水，甚至是严重缺水状态。这都是由于我国过去没有认真重视这个问题所造成的，所以今天就必须严肃地面对这个现状。     

农业专家系统开发平台测试方案研究

主要阐述了对农业专家系统开发平台测试方案的研究及一些测试技术在其中的应用，提出了针对这类开发平台的一种分阶段、分步骤、分领域的测试方案，并运用案例分析了黑盒测试、应用操作覆盖测试和Web应用软件测试技术在测评这类开发平台中的应用。     

旅游开发与民族文化和生态环境的保护:水满村的事例

旅游开发促进了民族传统文化的挖掘和展现,民族传统文化的价值在旅游开发过程中得以体现。通过建设生态和文化旅游景点保护和展现民族传统文化的同时,应考虑如何使之成为现实生活中真正有生命力的东西。从环境正义的角度着眼,经济发展、扶贫、社会资源的公平分配等都会复合性地影响到生态环境保护目标的实现。     

中部地区企业留人之道

以“中部崛起”为背景,阐述了在社会主义市场经济条件下,中部地区企业如何搞好人力资源开发与管理,从而留住人才,促进中部地区经济发展和社会进步。