计算网格的抽象定义

计算网格是第三代因特网和高性能并行计算的研究热点,它提供了一个有效的平台,共享资源,支持全球范围内分布异构应用程序的运行,其动机和目标是明显的,并被人们广泛认同和接受。但是目前网格系统尚无一个清楚的定义,因此基于网格语义,通过高层抽象,用谓词/变迁系统给出计算网格的框架模型。     

基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．     

n-李代数导子的Jordan-Chevalley分解

利用n-李代数导子性质和一般线性变换的Jordan-Chevalley分解，得到，n-李代数的导子也可以进行Jordan—Chevalley分解．     

封闭式基金价格和资产净值动态关系的实证研究

在构造中国封闭式基金价格指数和资产净值指数的基础上，首先使用协整检验和误差修正模型证明2001年1月到2002年12月封闭式基金价格和资产净值NAV之间存在长期均衡关系，然后利用脉冲响应函数和方差分解技术揭示了基金价格和资产净值之间的短期动态关系，即基金价格受到资产净值的约束。     

仿紧集上的广义双拟变分不等式

利用关于仿紧集上的单位分解定理，将紧集上的广义双拟变分不等式解的存在性定理推广到仿紧集情形。     

创新思维与新闻写作

创新是新闻写作的生命 ,要实现校报新闻写作的创新 ,就要突破思维定式 ,培养创新思维 ,以创新思维去实践校报新闻内容、新闻形式、新闻语言的创新。     

三角模糊数方程的简便求解

在引入模糊数概念的基础上，给出了三角模糊数方程的简便求解方法。     

农业产业化经营组织形式问题及其完善的对策

农业产业化经营组织形式是产业化发展的载体,它的健全和完善就是产业化发展的健全和完善。我国是一个以千家万户为生产经营单元的农业大国,存在生产规模小、经营分散、信息不灵、和市场脱节等弊端,在加入WTO后,难以参与国际市场的竞争。如何把农民组织起来、引导农业进入市场、参与国际竞争、探索新形势下农业产业化组织形式,意义特别重大。一、国外的农业产业化发展与组织形式发达国家的农业一体化经营兴起于20世纪50年代初,是在市场经济充分发育成熟、农业实现了现代化和高度商品化的技术与经济条件下产生的。当时发达国家面临食品消费…     

采场模糊渗流定解问题的可表示性

采空区气体模糊渗流问题由模糊偏微分方程所描述，模糊微分方程是未知函数及其导数与已知模糊函数或者模糊常数的条件等式。方程解的模糊性是由已知模糊函数或模糊常数所引起的。当已知函数或常数为区间值函数或区间数时，相应的方程为区间微分方程，由于模糊函数或模糊数的截集为区间值函数或区间数，通常，模糊微分方程的解是利用模糊函数或模糊数截集所对应的区间微分方程解通过表现定理给出。由于模糊微分方程的解必须是模糊函数，如果通过表现定理给出的模糊微分方程方程的解是模糊函数，则称方程的解是可表示的，本文在给出模糊微分方程解的可表示定义同时给出了解的可表示判定条件，并且证明了有采空区气体模糊渗流定解问题的可表示性。     

2个Lucas数乘积和的恒等变换

本文研究2个Lucas数乘积和交换问题,给r次恒等变换公式并给出一些例子。