Iterative Algebras without Projections

We deal with iterative algebras of functions of -valued logic lacking projections, which we call algebras without projections. It is shown that a partially ordered set of algebras of functions of -valued logic, for , without projections contains an interval isomorphic to the lattice of all iterative algebras of functions of -valued logic. It is found out that every algebra without projections is contained in some maximal algebra without projections, which is the stabilizer of a semigroup of non-surjective transformations of the basic set. It is proved that the stabilizer of a semigroup of all monotone non-surjective transformations of a linearly ordered 3-element set is not a maximal algebra without projections, but the stabilizer of a semigroup of all transformations preserving an arbitrary non one-element subset of the basic set is.     

政府新科技行为研究

“新经济”推动高新技术产业化创新政府职能化 ,促进了政府经济行为的转换和创新 .这是政府新科技行为产生和强化的背景 .同时 ,为了提高政府在高新技术产业化创新竞争中的宏观调控能力 ,强化自身综合竞争力 ,必须将新科技行为作为政府行为创新的一个重要内容加以突破     

深入实施科教强市"一号工程",全面推进宁波现代化建设

根据浙江省第十一次党代会精神,提出了科技创新是新时期经济发展的新动力,改革开放与科技创新的结合将成为推动宁波经济发展更强大的动力。基于这一思想,进一步提出了宁波市深入实施“科教强市”一号工程,率先提前实现现代化的总体思路以及“十五”期末宁波科技发展的总目标及各项要求。     

基于信息技术的企业组织激励研究

通过将信息技术水平系数纳入到委托代理模型中,创新地建立了基于信息技术的企业组织激励模型,模型分析结果表明,简单组织中监督系统的信息技术水平越高,底层员工报酬合同的激励作用越显著,复杂组织中,随着信息技术水平的提高,底层员工报酬合同的激励作用也增强,而中层管理者的激励作用会因为风险传递效应的存在而呈现出先增强后减弱的变化趋势,通过对组织代理成本的分析可知,在信息技术水平较低和较高时,简单组织和复杂组织分别具有“激励优势。”。     

下一代通信网络技术的演进和发展

研究了建立在不同的传输技术基础上通信网络的特点,分析了通信网络的发展历程以及下一代通信网络的发展趋势和结构特点。     

计算机技术与数学教学整合的理论基础

计算机是信息处理的有效工具,计算机与数学教学整合的过程是数学教师发现和挖掘计算机在数学教学中的潜力的过程.整合过程中,教师要注意整合的理论,用整合理论指导计算机技术在数学教学中的应用.     

坚持和发展劳动价值论——对当前政治经济学研究中几个问题的看法

在我国建立社会主义市场经济体制的过程中,随着科学技术水平的提高,科学技术等生产要素在物质生产过程中的作用越来越大,“科学技术是第一生产力”、“按劳分配和按生产要素分配相结合”等观点的提出突出了生产要素的巨大作用。在这种情况下,人们产生了“科学技术等生产要素是否也创造价值”的疑惑。另外,人们把第三产业劳动是否创造价值与第三产业是否有其存在的合理性混在一起,从而对坚持和发展马克思劳动价值论产生了一定的不良影响。本文拟通过对这几个问题进行分析,以达到廓清是非的目的:科学技术作为生产要素在生产过程中并不创造价值;第三产业是否创造价值不能一概而论;劳动价值论并没有过时,不能用要素价值论取代它。     

试论当代高技术的特征

当今世界,经济飞速发展,科技创新日新月异,特别是技术革命的爆发,高技术层出不穷,使当今世界经济的发展出现了质的飞跃。我国面临世界经济形势和高科技的挑战,应把握高技术的特征,发展高科技,为实现我国的战略目标服务。     

Function Spaces of Posets with Projections

This paper investigates function spaces of structures consisting of a partially ordered set together with some directed family of projections.More precisely, given a fixed directed index set (I,), we consider triples (D,,(p _i ) _iI ) with (D,) a poset and (p _i ) _iI a monotone net of projections of D. We call them (I,)-pop's (posets with projections). Our main purpose is to study structure preserving maps between (I,)-pop's. Such homomorphisms respect both order and projections.Any (I,)-pop is known to induce a uniformity and thus a topology. The set of all homomorphisms between two (I,)-pop's turns out to form an (I,)-pop itself. We show that its uniformity is the uniformity of uniform convergence. This enables us to prove that properties such as completeness and compactness transfer to function pop's.Concerning categorical properties of (I,)-pop's, we will see that we are in a lucky situation from a computer scientist's point of view: we obtain Cartesian closed categories. Moreover, by a D -construction we get (I,)-pop's that are isomorphic to their own exponent. This yields new models for the untyped -calculus.