完善关联交易的法律对策

伴随我国证券市场的发展,产生了大量侵害中小投资者及债权人利益的违法事件,其最主要原因是过于频繁、数额巨大的关联交易。拟从关联交易的利弊分析,提出规范关联交易的对策。     

户籍制度改革与劳动力资源配置

分析了现行户籍制度的弊端：劳动力市场多重分隔、劳动力交易成本居高不下、劳动力的非正常供给和劳动力的逆向需求。针对存在的问题，从劳动力资源合理配置的角度，提出了渐进性户籍制度改革的总体思路和具体措施。     

有交易费用的衍生物定价模型

该文对考虑交易费费用的衍生物定价方程进行了研究，证明了在一定条件下其可化为线性偏微分方程求解，并得出了具体的定价公式。     

交易效率对企业理论的补充作用

介绍了企业理论的发展过程,分析了交易效率对企业和企业所有者的影响。     

中间件技术在电信综合业务管理系统中的应用

简要介绍电信综合业务计算机管理系统TSIS的一些情况，着重讨论了用中间件技术开发分布式事务处理系统的方法，并提供了用中间件实现分布式事务处理系统的关键技术。     

基于Lie代数解法的时间依赖型期权模型

以Fokker-P lanck方程和L ie代数为基础,通过对时间依赖型期权定价模型的研究,结合有交易费的欧式期权的定价公式,运用证券组合技术与无套利原理,推导出时间依赖型有交易费的期权定价模型。通过对方程的化简、分析,在一定的条件下将非线性的期权定价模型化为线性的Fokker-P lanck方程的类型进行求解,并得出具体的有交易费的时间依赖型期权定价公式。     

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

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

移动分布式数据库系统中合作事务恢复技术

形式地给出了合作事务定义及事务间由于消息交换而形成的各务间的检验点依赖和恢复依赖，基于这些定义，某一事务记检验点时，所有检验点依赖于该事务也记检验点，当某一事务恢复时，所有恢复依赖于该事务的事务也恢复到其检验点的状态，开发了一种适合于移动环境的事务恢复技术，；在事务正常的消息传送中，通过额外的一点带宽附加传送事务间的依赖关系，在事务记检验点时，尽可能并行地通知所有相关的事务记检验点，实验表明，该事务恢复技术能减少系统检验点的响应时间，提高系统的恢复速度及系统吞吐率，对网络带宽的要求基本没有增加。     

信用机制的博弈论及其应用

以博弈论为基本理论依据 ,以诚信轴为分析工具 ,研究市场经济条件下企业交易行为中的信用机制与策略选择 ,包括完全无约束、社会成本约束及惩罚机制约束三种状态 ;并根据信用等级评估方法 ,分析该机制在交易活动中的应用 ,展示其应用价值 ;最后建议采取相应的奖惩规范措施来维护诚信交易行为 .     

基于事务线索树的一次扫描关联规则增量挖掘算法

首先将事务数据库压缩存储到一棵事务线索树(TT-tree)的结点上，并建立这些结点的索引表，然后寻找结点索引表的最后结点到根结点的全部路径，这些路径及路径的交集包含了用于挖掘关联规则的频繁集，该算法只需扫描事务数据库一次，由于采用了逆向搜索TT-tree的方法,搜索的时间开销非常少，该算法可以挖掘中短模式的海量数据，具有很好的伸缩性,同时该算法具有增量挖掘的功能，通过大量的实验数据进行比较。该算法的速度约是Apriori算法的10倍。