泛Loeb可测集的S-饱和性

在 K-饱和的非标准模型中,研究了泛 Loeb 可测集 m(A),pns(~*X),cpt(~*X),fin(~*X),ns(~*X)的 S-饱和性.当 A 是紧致 Hausdorff 空间 X 的子集时,得到了 st~(-1)(A)是标准集的充分条件.     

基于语义WEB的远程学习支持系统构建

在概述语义WEB的基础上,设计一个面向学习者用户网站的语义WEB体系结构,提出了多代理结构的学习支持系统中的学习者模型本体和学习者模型代理.目的是为了说明建立学习者本体及其代理对于学习者的有效学习所带来的益处.     

基于WEB的二手房信息系统的开发

随着社会的发展,住房问题显得越来越迫切,"找房难"成为一个普遍的问题,大量的房产中介公司应运而生,但却有很大的缺陷,昂贵的中介费,信息的局限性等.因此急需借助Internet这个强大的平台,开发一个房产信息系统,使人们方便快捷的找到所中意的住房,而房主也可容易的将自己的房屋信息发布到网络上.     

师专化学专业学生化学教育能力评价标准研究

教育评价最核心的部分是建立评价标准，不同的评价标准反映出不同的教育理念，导致不同的评价结果。本文认为，该评价系统以正确的教育思想、启发式的教学方法、民主型的师生关系、良好的教育管理能力和教育效果为评价的标准。     

大整数因子分解新算法及对RSA密码制的解密

对一大类大整数的因子分解构造算法WZH,可在O(L(lnm)2)+O(lnm)3(L相似文献   

基于Web的Internet化学资源挖掘

简要讨论了基于Web的Internet上化学资源挖掘的两种主要手段,着重介绍了利用搜索引擎和化学主题资源检索化学资源的具体方法。     

论法律部门的划分标准与经济法的地位

传统法律部门的划分因其片面强调客观性和按法律调整的社会关系的性质来划分法律部门而有着固有的、难以弥补的缺陷，因此要令人信服地说明经济法作为独立的部门法的地位，就必须抛弃旧的框框，按主客观一致，以主观为主导的指导思想。重新来确定法律部门的划分标准。     

基于改进等分节点法的启发式布局算法

针对集成电路标准单元模式的布局问题，提出了一个全新的基于改进等分节点法的启发式标准单元布局算法(TETP)，该算法在优化布局过程中采用改进的等分节点法寻找单元目标位置，同时结合局部寻优的启发式算法，对MCNC(Microelectronics Centre of North-Carolina)标准单元测试电路进行实验。结果表明，与布局工具Timber Wolf7．0和FengShui相比，电路布局的总线长度分别平均减少了16％和17％。     

基于XML的Web模型研究

基于HTML的“瘦客户机”Web模型是当前流行的应用程序开发模型,但这种模型存在数据结构复杂、数据的可读性差、数据的共享性差和数据重复利用率低等弱点.为了解决这些问题,笔者提出了一种基于XML的多层次的Web应用程序模型,充分利用了XML技术的数据与表现形式分离所带来的特点,从而为解决上述问题提供了一种途径.     

基于DNN的高校科研管理信息系统的分析与设计

以杭州师范学院科研管理系统为示例,将科研管理业务逻辑进行重组,以实现科研管理系统化、规范化的目标,并运用DNN应用程序框架对该系统进行设计,特别是页面管理和模块定义功能实现了用户接口和业务逻辑,具有成本小、可重用性和可扩充性等特点.