约束数据库中的函数依赖公理系统与设计理论

约束数据模型作为一种新的数据模型正受到广泛关注。为了约束数据库的应用，需要研究它的设计。为此本文对约束数据库中的函数依赖给出定义，并提出函数依赖的公理系统，证明了它的有效性和完备性；在此基础上完成了约束数据库设计的核心工作：把约束关系模式分解为3NF或BCNF的算法。     

上海卫星及卫星应用产业化路径探讨

关于卫星及卫星应用产业化的话题 ,偶见于行业内的有关报刊。综观其内容 ,大都限于宏观层面的议论或个案的单元分析 ,缺少一种系统的、连贯性的探究和考量。而那种原创性的可供借鉴、具有可行性的建议和方案更是难求。笔者在此结合日前中国航天科技集团公司的工作会议精神 ,探讨上海卫星及卫星应用产业化问题。一、关于卫星产业化与卫星应用产业化所谓“产业化” ,是指一种行业(或产品)已形成规模化生产、在社会上有一定的需求 ,并产生相应利润及社会效益的过程。“产业化”其实是一种市场和社会需求的产物 ,卫星产业化也应体现这一属性。所…     

公路工程招投标存在问题及相应对策

我国公路工程建设模式自建国以来，几经变革，到八十年代至今，公路建设投资渠道呈现出多元化格局，公路工程建设模式也更加灵活多样，公路施工招投标制及监理制已成熟并稳步推开，公路工程项目走向了市场。1992年5月颁布的《公路工程监理实施办法》中明确规定：“建设二级以上公路工程项目，必须实行招投标制度和监理制度。”实行招投标制度的意义在于通过招投标引入竞争机制，防止垄断和地方保护主义现象，减少建设市场的行政干预，规范业主行为，     

模式语义链元建模及其应用

大粒度的模型转换是模型驱动软件开发场景下的重要技术需求，仅通过定义通用模型转换语言不足以满足这一需求，其中一个原因是通用模型转换语言工作在特定建模语言的元模型层次而非一般设计意图层次上．文中提出一种模式语义链(PSL)元建模方法．通过重型扩展统一建模语言(UML)元模型以直接形式化描述可表达一般设计意图的模式，并应用UML动作语义和元模型继承实现模式自动生成及转换．该方法为实现一船设计意图层次上的大粒度模型转换提供了有效支持．     

素质教育评价"建模"构想

构建素质教育评价模式，对素质教育的实施和评价有直接的推进和指导作用。构建素质教育评价模式，应当遵循导向性、科学性、系统性、有效性原则。在构建素质教育评价模式时，有多种方法可供我们选择；但在此过程中，要注意研究模式，防止“模式化”。     

张甲利自主的宝健人

小草虽小，却可以托起晨曦的露珠；露珠虽小，却可以折射太阳的光辉。张甲利夫妇的公司徽标是小草和露珠的组合图案。     

天狮司玉海风风火火闯九州

走进司玉海宽敞明亮的公司，迎接记者的是他那简短有力的问候、热情的握手。司玉海一米七几的个头，开朗的笑容，坚定的目光，就如窗外七月的阳光激情洋溢，令人无法阻挡。     

山东省超硬材料工程技术研究中心

2005年2月，山东省超硬材料工程技术研究中心（以下简称中心)组建工作正式启动。该中心是由济宁市科技局和邹城市政府主管，以山东大学和邹城市新益达冶金有限公司为依托单位组建的在国家经济产业和技术政策指导下由心按照山东省经济发展战略和高拄术产业化要求通过项目的研究与开发努力促进山东省超硬材料行业的发展。     

基于特征造型的注塑件CAD/CAE研究

以某电器零件的特征造型与注塑分析模拟为例，介绍了Pro/Engineer的特点以及在注塑件产品开发中的应用。     

THE TRANSFER BEHAVIOUR OF SOME CATIONS AT WATER／NITROBENZENE INTERFACE BY SEMIDIFFERENTIAL CYCLIC VOLTAMMETRY

The transfer of Sr~(2+) and Ba~(2+) ion, facilitated by 18-Crown-6 present in the aqueous phase, and of succinylcholine ion at w/nb interface were investigated by semi-differential cyclic voltammetry. A good polarographic curve of succinylcholine ion dissolved in water was obtained in the system of 0.01 mol/l LiCl (w)——0.01 mol/l TBATPB (nb). The peak current is directly proportional to the concentration of SC~(2+) ion. It can be used for the determination of SC and the detection limit is 1.05×10~(-5) mol/l.The apparent D~w and D~(nb) have been estimated. The transfer of Sr~(2+) and of Ba~(2+) at the interface are facilitated by 18-Crown-6 present in the aqueous phase and the peak current is directly proportional to the concentration of 18-Crown-6 in water. This method can be used for the determination of the complexing agent and for the stability constant of the complex formed in the aqueous phase.All the experimental results are in keeping with the theoretical.