高校能源消耗管理信息系统的设计与实现

针对高校能源消耗管理系统不适应高校高速发展要求的问题,以辽宁省高校为研究对象,利用计算机技术和自动化技术相结合的方式,设计一种适于高校自身发展的能源消耗管理信息系统,介绍了数据库和功能模块设计及系统实现.     

英美法系环境侵权民事救济制度的历史发展

妨害、侵犯、过失及异常危险活动的严格责任是英美法系环境侵权受害人主张民事救济的常见诉因。自20世纪70年代以来，作为侵权行为法的妨害法、侵犯法、过失法及严格责任法在环境污染与生态破坏的严峻现实下获得了普遍的发展，其结果是环境侵权民事救济在英美法系国家变得更为容易与方便了。     

基于模糊时间Petri网的网络计划模型

针对工程计划中工序作业时间的不确定性以及传统网络计划方法缺乏数学表达能力等问题 ,提出了用模糊时间Petri网 (fuzzy timingPetrinet,FTPN)表达工程计划、求取关键路径的新模型。在给出了时间模糊数、FTPN的形式化描述、FTPN触发规则及数学特性和工程计划FTPN建模规则的基础上 ,把求取工程计划的关键路径问题转化为一个基于FTPN代数方程求取特定标识问题 ,在此基础上 ,进一步计算了工程计划在约束条件下按时完工的可能性。结果表明 ,所提出的模型既能正确、直观地表达工程计划问题 ,又能形式化描述、计算工程计划关键路径问题。     

混沌信号驱动实现螺旋波和时空混沌抑制

首次提出采用Logistic映射的混沌信号抑制螺旋波．应用该方案对2个模型包括Fitzhugh—Nagumo和Panfilov系统进行了研究．数值计算结果表明：在无噪声下，微弱的混沌信号驱动可以很快控制系统到达均匀稳定态在时空噪声下，可以观测到螺旋波的破裂和丰富的斑图．该结果不同于噪声驱动下的螺旋波动态行为、     

政府IT人,痛并快乐着

在这个“无网不入”的IT年代里，企业上网、政府上网已成为信息化的热点，作为一个政府IT人，在这如火如荼的信息化浪潮中，有烦恼也有喜悦。     

归谬法剖析

<正> 一有人说,在十种逻辑书中就有十一种归谬法的定义。这句话是一点也不夸张的。谓予不信,请看事实。定义(1):“反证法又名归谬法。它的具体步骤是:1)要证明论题是真的,则先假定反论题为真;2)然后由反论题推出应产生的结果,而这个结果是虚假的,是与事实矛盾的;3)然后根据充分条件假言推理的规则,由后件假前件必假推知产生虚假结果的反论题必假;4)再根据排中律,由反论题之假推知论题之真。”     

S2^1（Δmn^（2））插值样条函数的渐近展开

利用元样条空间Ｓ１，２的Ｂ样条基，本文讨论了带适当边界条件的中心插值问题，首先获得了非乘积型二元样条插值的误差渐近展开，进一步，在边界条件（Ｂ）下，得到了十分简洁的渐近展式和特殊点上的超收敛结果。     

云南日全食观测成功

一九八○年二月十六日,我国云南省和贵州省发生了一次日全食,全食带从滇西的瑞丽、潞西经昆明直到贵州省东部剑河结束。这是本世纪内在我国领土上能够组织大规范联合观测的最后一次日全食(下一次将发生在二○○八年八月一日,经黄河流域郑州等地)。日全食是一种罕见的天文现象。它为科学工作者研究太阳物理、日地空间物理、引力     

长臂猿歌唱家

英国学者吉廷斯在研究了东南亚各地的灵长类动物的生活规律之后得出结论:猴子是具有相当音乐才能的动物。他认为,长臂猿尤其有音乐才能,它们唱起歌来就象鸣禽一样,非常悦耳动听。在考察中吉延斯发现,雄性长臂猿唱的歌比自己的“女伴”要多得多。每次唱歌的时间从数分钟