HISAHARA
HISAHARA

华东师范大学 计算机 博士 毕业论文,华师大软件学院历年培养研究生学位论文情况.docx...

华东师范大学软件学院历年培养研究生学位论文情况

论文题目

论文作

者

论文时

间

指导教

师

论文层次

(硕士、

博士)

学科

专业

论文关键词

经典Lie群、Lie点对称、 修正

的CK直接方法、 非局域对称、

非线性系统的对称

胡晓瑞

2012

陈勇

博士

系统科

系统理

Backlund 变换、Darboux 变换、守

性与可积性

学

论

恒律、Bell多项式、群不变解、最

优系统。

形式化验证;互模拟关系；迹等价；

状态转换系统的格

陈仪

计算机

计算机

模型检测；时间自动机；时态逻辑；

值量化验证方法研

潘海玉

2012

香

博士

科学与

应用技

标号转换系统；Kripke结构；完备

究

技术

术

剩余格

面向目标代码的实

何积

计算机

计算机

形式化验证，实时操作系统，目标

时操作系统形式化

史建琦

2012

丰

博士

科学与

应用技

代码，中间语言

验证方法研究

技术

术

基于Isabelle平台的

系统分

数学机械化；定理机器证明；一般

一般拓扑学机械化

王建林

2012

曾振

博士

系统科

析与集

拓扑学；Isabelle；形式化；高阶

及自动定理证明研

柄

学

成

逻辑。

究

计算机

计算机

嵌入式周期控制系

王政

2012

何积

博士

科学与

应用技

嵌入式周期控制系统；形式化方

统的建模与分析

丰

技术

术

法；语义；验证

计算机

计算机

周傲

论坛数据抽取，用户生成内容，抽

Web论坛数据抽取

张敬伟

2012

英

博士

科学与

应用技

取规则，归纳逻辑程序设计

技术

术

在线论坛用户兴趣

张召

2012

周傲

博士

计算机

计算机

在线论坛，个性化推荐，用户生成

图谱发现与个性化

英

科学与

应用技

内容，用户协同兴趣图谱，用户内

言息推荐

技术

术

容，兴趣图谱，逆向排序查询，领

域专家

计算机

计算机

基于图模型的微博

赵斌

2012

周傲

博士

科学与

应用技

微博，随机游走，垃圾用户，重用

数据分析与管理

英

技术

术

检测，二分图，图聚类

计算机

计算机

何积

信号演算；代数方法；指称语义；

言号演算理论

赵涌鑫

2012

丰

博士

科学与

应用技

语义联接理论

技术

术

计算机

计算机

领域自适应、排序学习、文档权重、

非序学习中的领域

蔡鹏

2011

周傲

博士

科学与

应用技

查询权重、主动学习、领域独立特

自适应研究

英

技术

术

征、语义实体

计算机

计算机

面向模型的组合理

李钦

2011

何积

博士

科学与

应用技

模型，组合理论，形式化方法，程

论研究

丰

技术

术

序统一理论

计算机

计算机

软件可信性度量；软件可信属性

基于属性的软件可

陶红伟

2011

陈仪

博士

科学与

应用技

模型；可信性质；静态分析；用户

言性度量模型研究

香

技术

术

预期

计算机

计算机

非经典程序语言的

吴恒洋

2011

陈仪

博士

科学与

软件与

模糊程序语言；量子程序语言；语

形式语义模型研究

香

技术

理论

义；精化演算；模糊余代数

可信性度量；混成进程代数

基于语言的软件可

陈仪

计算机

计算机

(HCSP);霍尔逻辑(HL);概率测

言性度量理论及其

吴新星

2011

香

博士

科学与

应用技

度；结构化程序设计语言；构件匹

应用

技术

术

配；业务过程执行语言(BPEL)；

进程演算(CCS)； Ruby/Tk

可积系统、延拓结构、伪势、Lax

可积系统与混沌系

系统科

系统理

对、守恒律、自-Backlund变换、

统中若干问题的符

杨云青

2011

陈勇

博士

学

论

Bell多项式、双线性形式、分数阶

号计算研究

混沌系统

心电图形态特征的

识别及其在分类中

的作用研究

张嘉伟

2011

董军

博士

计算机

科学与

技术

计算机

应用技

术

心电图，标准心电图数据库，形态 特征，动态时间规整，模板选择与 压缩，特征选择。

配对控制集问题、距离配对控制集

图中配对控制集问

曾振

系统科

系统分

问题、带权配对控制集问题、控制

题的机械化算法研

陈磊

2010

柄

博士

学

析与集

集问题、NP-完全、APX-完全、近

究

成

似算法、强弦图、块图、区间图

李群方法，推广的直接方法，群不

若干非线性问题的

董仲周

2010

陈勇

博士

系统科

系统理

变解最优系统，同伦摄动方法，对

对称约化及精确解

学

论

称约化，守恒律，精确解，海洋大

气，格方程，初值问题.

软件实现；软件规范；进程代数；

软件的近似正确性

陈仪

计算机

计算机

概率进程代数；参数化互模拟；三

及与环境交互度量

马艳芳

2010

香

博士

科学与

应用技

分之二互模拟；完整迹；度量；拓

模型研究

技术

术

扑

基于符号计算方法

系统科

系统分

程序正确性，程序验证，循环不变

的程序验证技术研

武

你可能感兴趣的:(华东师范大学,计算机,博士,毕业论文)

  • 基于flask+vue框架的法律咨询公司管理信息系统的分析与设计[开题+论文+程序]-计算机毕设 zhihao508 flaskvue.js课程设计
    本系统（程序+源码+数据库+调试部署+开发环境）带论文文档1万字以上，文末可获取，系统界面在最后面。系统程序文件列表开题报告内容研究背景随着社会的快速发展和法律意识的普遍增强，法律咨询服务需求日益增长，成为现代社会不可或缺的服务之一。传统法律咨询模式受限于时间、地域及信息不对称等问题，难以满足广大客户高效、便捷的服务需求。与此同时，法律咨询公司内部管理也面临挑战，如客户信息管理混乱、律师资源分配不
  • Andrej Karpathy在YC 2025：AI时代软件的第三次革命 码字的字节 人工智能AndrejKarpathyAI时代
    软件的三次革命：从1.0到3.0在计算机科学发展的长河中，软件范式正在经历第三次根本性变革。AndrejKarpathy在YC2025的演讲中，将这一演进过程清晰地划分为三个具有里程碑意义的阶段：软件1.0、2.0和3.0。这种分类不仅揭示了技术发展的内在逻辑，更预示着整个行业即将面临的范式转移。软件1.0：确定性的指令世界传统编程（软件1.0）的范式已经统治计算领域超过70年。在这个阶段，开发者
  • 医疗软件市场：信息化建设提速，国内医疗软件服务需求不断攀升 嘉讯科技HIS系统 人工智能数据库大数据智慧医疗科技
    一、行业概览医疗软件，作为现代医疗体系的数字化支柱，巧妙融合了计算机软硬件技术与网络通信技术等尖端科技。它不仅对医院内部的人流、物流、财流实施综合管理，还深入医疗活动的每一个细微环节，对数据进行全方位采集、存储、处理与传输。这些被精心加工的信息，为医院的整体运营提供了坚实的自动化管理基础与多元化服务支撑。在医疗软件的广阔领域里，医院信息系统（HIS系统）、电子病历系统（EMR系统）、检验检查系统（
  • 行为正则化与顺序策略优化结合的离线多智能体学习算法
    离线多智能体强化学习（MARL）是一个新兴领域，目标是在从预先收集的数据集中学习最佳的多智能体策略。随着人工智能技术的发展，多智能体系统在诸如自动驾驶、智能家居、机器人协作以及智能调度决策等方面展现了巨大的应用潜力。但现有的离线MARL方法也面临很多挑战，仍存在不协调行为和分布外联合动作的问题。为了应对这些挑战，中山大学计算机学院、美团履约平台技术部开展了学术合作项目，并取得了一些的成果，希望分享
  • pytest学习和使用-pytest如何进行分布式测试？（pytest-xdist） 测试界晓晓 软件测试pytest学习分布式软件测试功能测试自动化测试程序人生
    1什么是分布式测试？在进行本文之前，先了解些基础知识，什么是分布式测试？分布式测试：是指通过局域网和Internet，把分布于不同地点、独立完成特定功能的测试计算机连接起来，以达到测试资源共享、分散操作、集中管理、协同工作、负载均衡、测试过程监控等目的的计算机网络测试。通俗的讲：分布式测试就是活太多，一个人干费时间，那就让多个人一起干，节省了资源和时间。2为什么要进行分布式测试？2.1场景1：自动
  • C# 串口通信开发全攻略：从基础到高效稳定的应用实现 威哥说编程 c#网络开发语言
    串口通信（SerialCommunication）是计算机与外围设备之间常见的通信方式，广泛应用于工业控制、嵌入式系统、设备调试等场景。尽管现代计算机技术不断进步，串口依然在很多领域占据着重要地位，尤其在需要低成本、低功耗和可靠通信的应用中，串口通信的需求依然不可忽视。在C#中构建稳定可靠的串口通信应用，需要解决如何与硬件设备进行高效、稳定的交互问题，尤其是在面对频繁的通信中断、数据丢失、超时等问
  • 面经总结系列（十六）： 元象科技大模型推理优化工程师 GoAI AI面经总结机器学习算法人工智能大模型机器学习深度学习
    ‍作者简介：CSDN、阿里云人工智能领域博客专家，新星计划计算机视觉导师，百度飞桨PPDE，专注大数据与AI知识分享。✨公众号：GoAI的学习小屋，免费分享书籍、简历、导图等，更有交流群分享宝藏资料，关注公众号回复“加群”或➡️点击链接加群。AI学习星球推荐：GoAI的学习社区知识星球是一个致力于提供《机器学习|深度学习|CV|NLP|大模型|多模态|AIGC》各个最新AI方向综述、论文等成体系的
  • 面向对象--类与对象、封装、构造方法（OOP：面向对象编程）
    三大特征——封装构造方法一、面向对象1.程序设计思想2.参照现实的某一类事物，将事物的属性特征、行为抽取出来描述成计算机程序的一种思想其包含了三大特征：封装、继承、多态二、类与对象类：类是指有一组属性特性（成员变量）和行为（成员方法）的集合，可以看成是一类事物的模板，使用事物的属性特征和行为特征来描述该类事物属性：指该类事物的状态信息行为：指该类事物能够做什么对象：是指一类事物的具体体现，对象是类
  • 大学专业科普 | 物联网、自动化和人工智能
    在选择大学专业时，可以先从自身兴趣、能力和职业规划出发，初步确定几个感兴趣的领域。然后结合外部环境因素，如专业前景、教育资源和就业情况等，对这些专业进行深入的分析和比较。物联网专业课程设置基础课程：包括物联网概论、电子电工基础、计算机网络技术、数据库应用基础、C语言程序设计等。专业核心课程：传感器与传感网技术、自动识别技术与应用、单片机基础、物联网通信技术、嵌入式系统设计、无线传感器网络等。实践课
  • 大学专业科普 | 云计算、大数据 鸭鸭鸭进京赶烤 云计算大数据
    大数据专业是近年来随着信息技术发展而兴起的热门学科，专注于从海量、多样化的数据中提取有价值信息，为各行业提供数据驱动的决策支持。专业定义大数据专业旨在培养掌握大数据采集、存储、管理、分析和应用等核心技术的人才。该专业融合了计算机科学、数学、统计学、数据科学和领域知识，重点解决大数据环境下的数据处理和分析问题。课程设置大数据专业的课程体系包括基础课程、专业核心课程和实践课程。（一）基础课程基础课程涵
  • 计算机考试发送邮件教程,电脑考试怎么发邮件 weixin_42613017 计算机考试发送邮件教程
    匿名用户1级2018-12-16回答从电脑上打开“OutlookExpress”；2、单击"工具栏"上"新邮件"图标撰写新邮件；3、填写收件人的地址、抄送人地址及邮件主题(收件人地址是不可缺省的)，撰写邮件内容。如果事先用word或Excel已经撰写好附件，可以单击"工具栏"上的"附加"按钮添加附件。5、单击"工具栏"上的"发送"按钮，发送邮件。这样就完成了。一级MSOFFICE邮件收发是
  • Python批量下载网易云音乐飙升榜所有音乐文件 Python_小屋 graphviznettygpuaiwebgl
    Python小屋刷题神器最近升级的新功能介绍推荐教材：《Python程序设计基础与应用》（ISBN：9787111606178），董付国，机械工业出版社，2018.8出版，2021.3第11次印刷作者荣誉：机械工业出版社计算机分社成立20周年本科教材”金牌作者“，机械工业出版社高等教育教材专家咨询委员会委员，机械工业出版社”面向新工科高等院校大数据专业系列教材“编审委员会委员，全国高等院校计算机基
  • DM数据库安装指南 H03004 数据库oracle
    DM数据库，即达梦数据库，是一款由中国武汉达梦数据库有限公司自主研发的高性能、高可用性、安全可靠的数据库管理系统。它广泛应用于政府、金融、能源等多个领域，并且支持标准SQL语言和多种编程接口。本文将详细介绍如何在Linux环境下安装DM数据库，包括环境准备、下载安装包、配置与初始化实例、启动服务、测试验证以及后续管理等步骤。一、环境准备在开始安装之前，确保目标服务器或计算机满足以下条件：操作系统：
  • DM数据库安装与配置指南：实现高效部署的详细步骤 H03004 oracle数据库
    随着信息技术的飞速发展，数据库作为信息系统的核心组件之一，在企业数据管理中扮演着至关重要的角色。DM数据库（达梦数据库）是一款由中国武汉达梦数据库有限公司自主研发的高性能、高可用性、安全可靠的数据库管理系统，广泛应用于政府、金融、能源等多个领域。本文将详细介绍如何在Linux环境下高效地安装和配置DM数据库，帮助读者掌握从环境准备到后期维护的全流程。一、环境准备操作系统选择：确保您的服务器或计算机
  • 数据恢复原理深度解析：从二进制碎片到完整文件
    数据恢复原理深度解析：从二进制碎片到完整文件数据恢复看似神奇，实则是计算机科学与数字取证技术的精妙结合。本文将深入剖析数据恢复的核心原理，带您了解被删除文件如何"起死回生"的技术奥秘。一、存储介质的数据记录原理1.磁性存储（HDD）的数据印记磁畴取向：硬盘通过磁畴的南北极方向表示0和1读写头悬浮：纳米级高度的磁头不接触盘片（3-5nm）实际案例：即使格式化后，磁畴的物理状态仍可通过MFM（磁力显微
  • 【EI会议征稿】2025年第四届计算机视觉与模式分析国际学术大会（ICCPA 2025）
    重要信息2025年5月16-18日|中国·鞍山大会官网：www.iccpa.org会议主页：2025年第五届计算机视觉与模式分析国际学术大会（ICCPA2025）_艾思科蓝_学术一站式服务平台接收/拒稿通知：投稿后1周内收录检索：EICompendex，Scopus主办单位辽宁科技大学往届历史ICCPA前四届均已成功举办，并完成EI、Scopus检索（高录用，稳定检索）
  • python反弹shell 46497976464 linux网络运维服务器
    你是想问Python如何实现反弹shell吗？反弹shell是一种通过远程连接获取受害者计算机的shell权限的攻击技术。使用Python反弹shell的方法如下：首先，在本地计算机上运行一个监听程序，等待连接。然后，在受害者计算机上运行一个Python脚本，该脚本将连接到本地计算机的监听程序。当连接建立后，就可以通过本地计算机上的shell命令控制受害者计算机。具体的代码实现可以参考如下：本地计
  • Golang基础笔记七之指针，值类型和引用类型 后端go指针引用
    本文首发于公众号：Hunter后端原文链接：Golang基础笔记七之指针，值类型和引用类型本篇笔记介绍Golang里的指针，值类型与引用类型相关的概念，以下是本篇笔记目录：指针值类型与引用类型内存逃逸减少内存逃逸的几种方案1、指针在计算机内存中，每个变量都存储在特定的内存地址上，而指针是一种特殊的变量，它存储的是一个变量的内存地址。我们可以通过指针访问变量的内存地址，也可以通过指针访问或修改这个变
  • YOLOv11革命性升级：基于MobileNetv4的UIB和ExtraDW模块重构C3k2架构，实现移动端推理性能飞跃 博导ai君 深度学习教学-附源码YOLO重构
    引言与背景概述在当今人工智能飞速发展的时代，目标检测技术已成为计算机视觉领域的核心技术之一。从自动驾驶汽车到智能安防系统，从移动端AR应用到工业质检，目标检测无处不在。然而，随着应用场景的多样化，特别是移动端和边缘设备的普及，对模型的计算效率提出了更为严苛的要求。YOLO（YouOnlyLookOnce）系列算法作为目标检测领域的领军者，一直在精度与速度之间寻求最佳平衡。从YOLOv1到最新的YO
  • 数据结构与算法：深度优先的实战指南
    数据结构与算法：深度优先的实战指南关键词：深度优先搜索（DFS）、递归、栈、图遍历、路径查找、迷宫寻路、算法实战摘要：深度优先搜索（DFS）是计算机科学中最经典的算法之一，被广泛应用于路径查找、游戏AI、社交网络分析等场景。本文将用“迷宫探险”的故事串联核心概念，结合生活案例、代码实战和LeetCode经典题，带您从0到1掌握DFS的底层逻辑与实战技巧。即使你是算法新手，也能通过通俗易懂的讲解，真
  • 1.3 基于蜂鸟E203处理器的RISC-V指令扩展技术 秃了头，空悲切 蜂鸟E203处理器risc-v嵌入式硬件算法学习
    一、RISC-V指令集架构RISC表示精简指令集计算机（ReducedInstructionSetComputer,RISC），RISC-V指令集架构是一种新兴的指令集架构，它源自加州大学伯克利分校。RISC-V架构具有精简、模块化以及可扩展等特点，开发人员可以通过组合或扩展不同的指令集，几乎可以构建适用于各个领域的微处理器。相比于传统的指令集架构，RISC-V架构主要具有以下特点：（1）模块化的
  • 使用Ultralytics YOLO进行数据增强 alpszero YOLO计算机视觉应用YOLO人工智能机器学习
    概述数据增强是计算机视觉领域的一项重要技术，它通过对现有图像进行各种转换，人为地扩展训练数据集。在训练深度学习模型时，数据增强有助于提高模型的鲁棒性，减少过拟合，并增强对真实世界场景的泛化。在训练计算机视觉模型的过程中，数据增强具有多种重要作用：扩展数据集：通过创建现有图像的变体，可以有效增加训练数据集的规模，而无需收集新数据。提高泛化能力：模型学会在各种条件下识别物体，使其在实际应用中更加稳健。
  • LeetCode算法解析：全面掌握编程挑战与面试技能 黄浴
    本文还有配套的精品资源，点击获取简介：LeetCode作为一个在线编程平台，提供了丰富的算法问题，帮助程序员提升编程技能和面试准备。内容覆盖了多种计算机科学领域，包括数据结构和算法，以及各类编程难题。解决这些问题有助于深化对编程语言、数据结构和算法的理解，并提高系统设计和软件开发能力。本解析可能会包含一个名为“leetcode-master”的开源项目，该项目包含了不同编程语言的LeetCode问
  • 信息安全与网络安全---引言 薄荷椰果抹茶 信息安全与网络安全安全网络安全
    仅供参考文章目录一、计算机安全1.1CIA三元组1.2影响等级1.3计算机安全的挑战二、OSI安全体系结构2.1安全攻击2.2安全服务2.3安全机制三、基本安全设计准则四、攻击面和攻击树（重点）4.1攻击面4.2攻击树五、习题与答案一、计算机安全（1）对某个自动化信息系统的保护措施（2）其目的在于实现信息系统资源的完整性、机密性、以及可用性1.1CIA三元组C：机密性数据机密性Dataconfid
  • 计算机导论期末快速复习指南 Pu_Nine_9 杂记计算机导论
    操作系统核心概念进程与线程进程是程序在内存中的一次执行过程，具有动态性和并发性一个进程可以有多个线程，但至少要有一个线程资源分配给进程，同一进程的所有线程共享该进程的所有资源处理机分配给线程，真正在处理机上运行的是线程进程状态转换：被唤醒→就绪状态；时间片用完→执行状态变为就绪状态进程同步与死锁互斥：系统存在临界资源循环等待：多个进程形成等待链不可剥夺：已分配资源在宿主释放前不能被剥夺操作系统类型
  • 鸿蒙应用AR开发：增强现实技术实现方案 操作系统内核探秘 操作系统内核揭秘OSharmonyosar华为ai
    鸿蒙应用AR开发：增强现实技术实现方案关键词：鸿蒙系统、AR开发、增强现实、ARKit、ARCore、3D渲染、计算机视觉摘要：本文将深入探讨如何在鸿蒙操作系统上开发增强现实(AR)应用。我们将从AR技术的基本原理讲起，逐步深入到鸿蒙AR开发框架的具体实现，包括3D模型渲染、空间定位、手势识别等核心技术。文章将提供完整的代码示例和实战项目，帮助开发者快速掌握鸿蒙AR应用开发的核心技能。背景介绍目的
  • 大学专业科普 | 图像处理、智能控制与计算机工程 鸭鸭鸭进京赶烤 计算机工程
    计算机工程专业介绍计算机工程专业是一个非常热门且具有广泛发展前景的领域，它涵盖了计算机硬件、软件以及它们之间的交互等多个方面。以下是对计算机工程专业的详细介绍：专业定义计算机工程专业主要是研究计算机系统的设计、开发、测试和维护。它融合了计算机科学和电子工程的知识，侧重于计算机硬件和软件的协同工作，以及计算机系统在各个领域的应用。课程设置基础课程数学课程物理课程计算机基础课程专业核心课程硬件方向课程
  • 后端开发工程师（.Net方向） Flora051 求职招聘
    5年以上，23-30k职位描述：工作内容：1、负责相应产品模块的需求分析、框架设计和编码工作；2、分析项目需求，能给出良好的解决方案，并协助其他人员完成开发及调试工作；3、Codereview，编写单元测试，高质量完成功能；4、持续关注新的技术，选择适合的技术持续迭代改进产品。任职资格：1.计算机相关专业，必须本科及以上学历，5年以上.net研发经验(core3年以上)；2.有医疗健康开发经验者优
  • python递归实现乘法_算法-递归 weixin_39817012 python递归实现乘法
    我们在前面学习过递归函数，递归函数采用的就是递归算法，前面我们通过最常见的菲波那切数列去学习了递归函数，这一节我们再来详细了解一下递归算法。1.递归算法递归算法(英语：recursionalgorithm)在计算机科学中是指一种通过重复将问题分解为同类的子问题而解决问题的方法。递归式方法可以被用于解决很多的计算机科学问题，因此它是计算机科学中十分重要的一个概念，递归算法有三个特点：1)递归的过程一
  • Ultralytics YOLO 库介绍与使用指南 东北豆子哥 人工智能/机器学习YOLO
    文章目录UltralyticsYOLO库介绍与使用指南主要特点安装基本使用1.使用预训练模型进行推理2.训练自定义模型3.验证模型4.导出模型高级功能1.使用不同任务模型2.使用自定义数据集3.跟踪对象(结合ByteTrack)常见问题解决性能优化技巧UltralyticsYOLO库介绍与使用指南UltralyticsYOLO是一个流行的计算机视觉库，专注于实现和优化YOLO(YouOnlyLoo
  • 对股票分析时要注意哪些主要因素？ 会飞的奇葩猪 股票 分析 云掌股吧
    　　众所周知，对散户投资者来说，股票技术分析是应战股市的核心武器，想学好股票的技术分析一定要知道哪些是重点学习的，其实非常简单，我们只要记住三个要素：成交量、价格趋势、振荡指标。     一、成交量 　　大盘的成交量状态。成交量大说明市场的获利机会较多，成交量小说明市场的获利机会较少。当沪市的成交量超过150亿时是强市市场状态，运用技术找综合买点较准；
  • 【Scala十八】视图界定与上下文界定 bit1129 scala
    Context Bound，上下文界定，是Scala为隐式参数引入的一种语法糖，使得隐式转换的编码更加简洁。   隐式参数 首先引入一个泛型函数max，用于取a和b的最大值 def max[T](a: T, b: T) = { if (a > b) a else b }  因为T是未知类型，只有运行时才会代入真正的类型，因此调用a >
  • C语言的分支——Object-C程序设计阅读有感 darkblue086 applec框架cocoa
    自从1972年贝尔实验室Dennis Ritchie开发了C语言，C语言已经有了很多版本和实现，从Borland到microsoft还是GNU、Apple都提供了不同时代的多种选择，我们知道C语言是基于Thompson开发的B语言的，Object-C是以SmallTalk-80为基础的。和C++不同的是，Object C并不是C的超集，因为有很多特性与C是不同的。 Object-C程序设计这本书
  • 去除浏览器对表单值的记忆 周凡杨 html记忆autocompleteform浏览
                                       &n
  • java的树形通讯录 g21121 java
    最近用到企业通讯录，虽然以前也开发过，但是用的是jsf，拼成的树形，及其笨重和难维护。后来就想到直接生成json格式字符串，页面上也好展现。 // 首先取出每个部门的联系人 for (int i = 0; i < depList.size(); i++) { List<Contacts> list = getContactList(depList.get(i
  • Nginx安装部署 510888780 nginxlinux
    Nginx ("engine x") 是一个高性能的 HTTP 和 反向代理 服务器，也是一个 IMAP/POP3/SMTP 代理服务器。 Nginx 是由 Igor Sysoev 为俄罗斯访问量第二的 Rambler.ru 站点开发的，第一个公开版本0.1.0发布于2004年10月4日。其将源代码以类BSD许可证的形式发布，因它的稳定性、丰富的功能集、示例配置文件和低系统资源
  • java servelet异步处理请求 墙头上一根草 ｊａｖａ异步返回ｓｅｒｖｌｅｔ
    servlet3.0以后支持异步处理请求，具体是使用AsyncContext ，包装httpservletRequest以及httpservletResponse具有异步的功能，        final AsyncContext ac = request.startAsync(request, response);   ac.s
  • 我的spring学习笔记8-Spring中Bean的实例化 aijuans Spring 3
    在Spring中要实例化一个Bean有几种方法： 1、最常用的（普通方法） <bean id="myBean" class="www.6e6.org.MyBean" /> 使用这样方法，按Spring就会使用Bean的默认构造方法，也就是把没有参数的构造方法来建立Bean实例。 （有构造方法的下个文细说） 2、还
  • 为Mysql创建最优的索引 annan211 mysql索引
    索引对于良好的性能非常关键，尤其是当数据规模越来越大的时候，索引的对性能的影响越发重要。 索引经常会被误解甚至忽略，而且经常被糟糕的设计。 索引优化应该是对查询性能优化最有效的手段了，索引能够轻易将查询性能提高几个数量级，最优的索引会比 较好的索引性能要好2个数量级。 1 索引的类型 (1) B-Tree 不出意外，这里提到的索引都是指 B-
  • 日期函数 百合不是茶 oraclesql日期函数查询
      ORACLE日期时间函数大全 TO_DATE格式(以时间:2007-11-02 13:45:25为例) Year: yy two digits 两位年 显示值:07 yyy three digits 三位年 显示值:007
  • 线程优先级 bijian1013 javathread多线程java多线程
    多线程运行时需要定义线程运行的先后顺序。 线程优先级是用数字表示，数字越大线程优先级越高，取值在1到10，默认优先级为5。 实例： package com.bijian.study; /** * 因为在代码段当中把线程B的优先级设置高于线程A,所以运行结果先执行线程B的run()方法后再执行线程A的run()方法 * 但在实际中，JAVA的优先级不准，强烈不建议用此方法来控制执
  • 适配器模式和代理模式的区别 bijian1013 java设计模式
    一.简介        适配器模式：适配器模式（英语：adapter pattern）有时候也称包装样式或者包装。将一个类的接口转接成用户所期待的。一个适配使得因接口不兼容而不能在一起工作的类工作在一起，做法是将类别自己的接口包裹在一个已存在的类中。      &nbs
  • 【持久化框架MyBatis3三】MyBatis3 SQL映射配置文件 bit1129 Mybatis3
     SQL映射配置文件一方面类似于Hibernate的映射配置文件，通过定义实体与关系表的列之间的对应关系。另一方面使用<select>,<insert>,<delete>，<update>元素定义增删改查的SQL语句， 这些元素包含三方面内容 1. 要执行的SQL语句 2. SQL语句的入参，比如查询条件 3. SQL语句的返回结果
  • oracle大数据表复制备份个人经验 bitcarter oracle大表备份大表数据复制
    前提：    数据库仓库A（就拿oracle11g为例）中有两个用户user1和user2,现在有user1中有表ldm_table1,且表ldm_table1有数据5千万以上，ldm_table1中的数据是从其他库B（数据源）中抽取过来的，前期业务理解不够或者需求有变，数据有变动需要重新从B中抽取数据到A库表ldm_table1中。    
  • HTTP加速器varnish安装小记 ronin47 http varnish 加速
    上午共享的那个varnish安装手册，个人看了下，有点不知所云，好吧~看来还是先安装玩玩！ 苦逼公司服务器没法连外网，不能用什么wget或yum命令直接下载安装，每每看到别人博客贴出的在线安装代码时，总有一股羡慕嫉妒“恨”冒了出来。。。好吧，既然没法上外网，那只能麻烦点通过下载源码来编译安装了！ Varnish 3.0.4下载地址： http://repo.varnish-cache.org/
  • java-73-输入一个字符串，输出该字符串中对称的子字符串的最大长度 bylijinnan java
    public class LongestSymmtricalLength { /* * Q75题目：输入一个字符串，输出该字符串中对称的子字符串的最大长度。 * 比如输入字符串“google”，由于该字符串里最长的对称子字符串是“goog”，因此输出4。 */ public static void main(String[] args) { Str
  • 学习编程的一点感想 Cb123456 编程感想Gis
           写点感想，总结一些，也顺便激励一些自己.现在就是复习阶段，也做做项目.      本专业是GIS专业，当初觉得本专业太水，靠这个会活不下去的，所以就报了培训班。学习的时候，进入状态很慢，而且当初进去的时候，已经上到Java高级阶段了，所以.....，呵呵，之后有点感觉了，不过，还是不好好写代码，还眼高手低的，有
  • [能源与安全]美国与中国 comsci 能源
         现在有一个局面：地球上的石油只剩下N桶，这些油只够让中国和美国这两个国家中的一个顺利过渡到宇宙时代，但是如果这两个国家为争夺这些石油而发生战争，其结果是两个国家都无法平稳过渡到宇宙时代。。。。而且在战争中，剩下的石油也会被快速消耗在战争中，结果是两败俱伤。。。       在这个大
  • SEMI-JOIN执行计划突然变成HASH JOIN了 的原因分析 cwqcwqmax9 oracle
    甲说： A B两个表总数据量都很大，在百万以上。 idx1  idx2字段表示是索引字段 A B 两表上都有 col1字段表示普通字段 select xxx from A where A.idx1 between mmm and nnn      and exists (select 1 from B where B.idx2 =
  • SpringMVC-ajax返回值乱码解决方案 dashuaifu AjaxspringMVCresponse中文乱码
      SpringMVC-ajax返回值乱码解决方案   一：（自己总结，测试过可行） ajax返回如果含有中文汉字，则使用：（如下例：） @RequestMapping(value="/xxx.do")       public @ResponseBody void getPunishReasonB
  • Linux系统中查看日志的常用命令 dcj3sjt126com OS
    因为在日常的工作中，出问题的时候查看日志是每个管理员的习惯，作为初学者，为了以后的需要，我今天将下面这些查看命令共享给各位 cat tail -f 日 志 文 件 说 明 /var/log/message 系统启动后的信息和错误日志，是Red Hat Linux中最常用的日志之一 /var/log/secure 与安全相关的日志信息 /var/log/maillog 与邮件相关的日志信
  • [应用结构]应用 dcj3sjt126com PHPyii2
    应用主体 应用主体是管理 Yii 应用系统整体结构和生命周期的对象。 每个Yii应用系统只能包含一个应用主体，应用主体在 入口脚本中创建并能通过表达式 \Yii::$app 全局范围内访问。 补充: 当我们说"一个应用"，它可能是一个应用主体对象，也可能是一个应用系统，是根据上下文来决定[译：中文为避免歧义，Application翻译为应
  • assertThat用法 eksliang JUnitassertThat
    junit4.0  assertThat用法 一般匹配符1、assertThat( testedNumber, allOf( greaterThan(8), lessThan(16) ) ); 注释： allOf匹配符表明如果接下来的所有条件必须都成立测试才通过，相当于“与”（&&） 2、assertThat( testedNumber, anyOf( g
  • android点滴2 gundumw100 应用服务器android网络应用OSHTC
    如何让Drawable绕着中心旋转？ Animation a = new RotateAnimation(0.0f, 360.0f, Animation.RELATIVE_TO_SELF, 0.5f, Animation.RELATIVE_TO_SELF,0.5f); a.setRepeatCount(-1); a.setDuration(1000); 如何控制Andro
  • 超简洁的CSS下拉菜单 ini htmlWeb工作html5css
    效果体验：http://hovertree.com/texiao/css/3.htmHTML文件： <!DOCTYPE html> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title>简洁的HTML+CSS下拉菜单-HoverTree</title>
  • kafka consumer防止数据丢失 kane_xie kafkaoffset commit
    kafka最初是被LinkedIn设计用来处理log的分布式消息系统，因此它的着眼点不在数据的安全性（log偶尔丢几条无所谓），换句话说kafka并不能完全保证数据不丢失。   尽管kafka官网声称能够保证at-least-once，但如果consumer进程数小于partition_num，这个结论不一定成立。   考虑这样一个case，partiton_num=2
  • @Repository、@Service、@Controller 和 @Component mhtbbx DAOspringbeanprototype
    @Repository、@Service、@Controller 和 @Component 将类标识为Bean Spring 自 2.0 版本开始，陆续引入了一些注解用于简化 Spring 的开发。@Repository注解便属于最先引入的一批，它用于将数据访问层 (DAO 层 ) 的类标识为 Spring Bean。具体只需将该注解标注在 DAO类上即可。同时，为了让 Spring 能够扫描类
  • java 多线程高并发读写控制 误区 qifeifei java thread
    先看一下下面的错误代码，对写加了synchronized控制，保证了写的安全，但是问题在哪里呢？ public class testTh7 { private String data; public String read(){ System.out.println(Thread.currentThread().getName() + "read data "
  • mongodb replica set(副本集)设置步骤 tcrct javamongodb
    网上已经有一大堆的设置步骤的了，根据我遇到的问题，整理一下，如下： 首先先去下载一个mongodb最新版，目前最新版应该是2.6 cd /usr/local/bin wget http://fastdl.mongodb.org/linux/mongodb-linux-x86_64-2.6.0.tgz tar -zxvf mongodb-linux-x86_64-2.6.0.t
  • rust学习笔记 wudixiaotie 学习笔记
    1.rust里绑定变量是let，默认绑定了的变量是不可更改的，所以如果想让变量可变就要加上mut。 let x = 1; let mut y = 2; 2.match 相当于erlang中的case，但是case的每一项后都是分号，但是rust的match却是逗号。 3.match 的每一项最后都要加逗号，但是最后一项不加也不会报错，所有结尾加逗号的用法都是类似。 4.每个语句结尾都要加分
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他