- 离散数学-万字课堂笔记-期末考试-考研复习-北航离散数学1
桃木山人
考研数学离散数学期末
第一章逻辑语言1.1逻辑运算1.2命题逻辑合式公式1.3谓词逻辑合式公式1.4自然语言命题第二章命题逻辑语义2.1命题合式公式语义2.2推论式与等价式的语义2.3变换合式公式的语义2.4命题公式范式2.5等式演算2.6完全集第三章谓词逻辑语义3.1谓词合式公式语义3.2推论关系和相等关系3.3前束范式与斯科伦范式3.4一阶理论语言3.5论域、结构与模型第四章逻辑公理系统4.1形式系统4.2命题逻辑
- 华为 PC 亮相两会!但不是鸿蒙 PC,而是统信 UOS
云水木石
华为harmonyos
这几天,两会正如火如荼进行,这场汇聚国计民生议题的盛会,一举一动都会引发人们的广泛关注。在聚光灯下,一台搭载国产操作系统的华为笔记本电脑悄然亮相央视报道——这不仅是一场产品展示,更暗含着"科技自立自强"战略下的深层叙事。【看!他们的上会“利器”】在分秒必争的现场,将海量信息流凝练为时代切片,一起见证中国科技自立自强的力量。不过,人们期待的“鸿蒙PC”仍未现身,取而代之的是搭载Linux系统的笔记本
- AI的发展历程,你知道是从什么时候开始的吗?
A达峰绮
人工智能ai经验分享
AI的发展历程是一段充满探索、突破与起伏的历史,以下是其主要阶段的介绍:诞生与早期探索阶段(20世纪50年代-60年代)基础理论奠基:1943年,美国神经生理学家沃伦·麦卡洛克和数学家沃尔特·皮茨发表了《Alogicalcalculusofideasimmanentinnervousactivity》论文,提出M-P模型,为神经网络的研究奠定了基础。1950年,阿兰·图灵发表《ComputingM
- 2025年3月11日:我在北京见证了一场“数字革命“
dami_king
随笔ai人工智能gpt
——关于Manus的24小时亲历手记凌晨1点,海淀咖啡厅的"黑客帝国"推门走进花园北路的创业咖啡馆,角落里三个程序员正对着屏幕争论:“这玩意儿真能自己写代码?”"我刚试了,它甚至能帮我debug!"他们屏幕上闪烁的,正是全网疯抢的Manus界面。一、72小时引爆全球的"数字管家"1.从实验室到热搜第一3月6日凌晨:Monica团队在官网放出60多个案例视频,演示Manus筛选简历、规划旅行、撰写投
- 改变仿真游戏规则,Altair的AI与HPC技术创新仿真之路
Altair澳汰尔
人工智能自动化仿真结构制造业CAEAI
原文转自:技术邻CAE学习作者:技术邻CEO虞伦有幸在今年的Altair技术大会作为行业媒体记者,采访了Altair的首席产品和战略官RaviKunju先生以下简称(Ravi),和Ravi的对话让我更全面地了解了Altair的产品策略,以及Altair最新的技术进展,特别是这两年异军突起的应用于设计仿真的Altair的AI相关解决方案,对我来说收获颇丰。现将采访稿做简要整理分享给制造业从事CAE、
- 【DuodooTEKr】Odoo 18设备管理双剑客:Maintenance设备模块与IOT模块的深度解析与实践
邹工转型手札
Duodoo开源Odoo18开源风吟九宵人工智能物联网制造开源python
作者:Odoo技术开发/资深信息化负责人日期:2025年3月9日作为拥有16年制造业信息化实战经验的从业者,我见证过企业从传统设备管理向数字化转型的全过程。在Odoo生态中,设备模块(Maintenance)与IOT模块(InternetofThings)堪称制造业数字化的"任督二脉"。本文将通过三组对比、四维差异、六大场景带您掌握这两个核心模块的应用精髓。一、模块定位的"一体两面"(1)设备模块
- 数据集与云计算:云端数据集的管理与应用
AI天才研究院
AI大模型企业级应用开发实战DeepSeekR1&大数据AI人工智能大模型计算科学神经计算深度学习神经网络大数据人工智能大型语言模型AIAGILLMJavaPython架构设计AgentRPA
1.背景介绍1.1大数据时代的数据挑战步入21世纪,我们见证了信息技术的爆炸式增长,数据以前所未有的速度产生、存储和使用。从社交媒体互动到科学研究,从电子商务交易到物联网传感器,各行各业都被海量数据所淹没。这种数据爆炸式增长带来了前所未有的机遇和挑战。1.1.1机遇:数据驱动型决策数据的激增为企业和组织提供了前所未有的洞察力。通过分析和理解这些数据,我们可以识别趋势、预测未来行为并做出更明智的决策
- Redisson:Redis界的变形金刚,会变身还会唱跳Rap!
五行星辰
业务系统应用技术redis数据库缓存java
各位被Java折磨的秃头少年们!今天带你们解锁Redis的究极形态——Redisson!这货不是普通的客户端,是自带机甲还能合体的高达!(00后请自行替换为"量子计算机"理解)准备好见证从单车变飞船的魔法了吗?第一幕:连接姿势の哲学Configconfig=newConfig();config.useSingleServer().setAddress("redis://127.0.0.1:6379
- 大模型时代,什么是tokens?
人工智能
大模型时代,什么是tokens?前言在当今大模型主导的人工智能浪潮中,我们见证了诸多令人惊叹的应用。从精准流畅的语言翻译,到能够根据简单提示创作出富有创意故事的文本生成工具,大模型展现出了强大的能力。然而,在这些复杂且神奇的模型背后,有一个基础而关键的概念——tokens,它犹如大模型世界的基石,支撑着整个模型的运行与发展。理解tokens,对于我们深入认识大模型如何处理信息、优化性能以及合理应用
- JAVA开发技术学习规划 —— 给未来20年技术领航者的你
_AndyLau
学习
亲爱的大学生朋友们,在这个信息爆炸、技术日新月异的时代,选择成为一名JAVA开发者,意味着你将踏入一个充满挑战与机遇的广阔天地。作为一位在JAVA开发领域深耕20年的老兵,我亲历了JAVA从诞生、成长到壮大的全过程,见证了它如何从一个新兴的语言逐渐发展成为企业级应用开发的首选。今天,我想将这份宝贵的经验凝聚成一份详实的技术学习规划,为即将踏上这条征途的你们,指引方向,助力你们在JAVA开发的道路上
- OLMo 7B:推动自然语言处理领域的技术革新
单皎娥
OLMo7B:推动自然语言处理领域的技术革新OLMo-7B项目地址:https://gitcode.com/hf_mirrors/ai-gitcode/OLMo-7B引言随着人工智能技术的飞速发展,自然语言处理(NLP)领域取得了显著的进步。然而,在实际应用中,NLP技术仍然面临着诸多挑战,如语境理解、信息抽取、情感分析等。为了解决这些问题,艾伦人工智能研究所(AI2)推出了OLMo系列模型,其中
- 探索未来文本的无限可能:OLMo 开源语言模型深度解析
钟洁祺
探索未来文本的无限可能:OLMo开源语言模型深度解析OLMoModeling,training,eval,andinferencecodeforOLMo项目地址:https://gitcode.com/gh_mirrors/ol/OLMo在人工智能的浩瀚领域中,一个崭新的星体正在升起——OLMo:OpenLanguageModel。由AI2(艾伦人工智能研究所)的科学家们精心打造,OLMo不仅仅是
- 沃丰科技:央国企招采平台AI一体化解决方案
沃丰科技
科技人工智能
当前,我国正在大力推行采购阳光化、数字化,比如《“互联网+”招标采购行动方案》中就明确提及,要积极推动招标采购从线下交易到线上交易的转变,推进招投标产业与互联网进行深度融合。国务院国资委《关于加快推进国有企业数字化转型工作的通知》,要求国有企业要推动新一代信息技术与制造业深度融合,促进国有企业数字化、网络化、智能化发展。在此背景下,数字化采购、电子招采平台、电商平台走入央国企的视野。作为以数字技术
- 沃丰科技AI浅谈|语音交互的三驾马车:ASR、NLP、TTS
沃丰科技
人工智能科技自然语言处理
在日常生活中,AI机器人离我们很近。你是否接到过这样的电话:“您好,检测到您已经购买某产品一周的时间了,请问您的使用感受如何?”“请问您对产品满意吗?有什么建议给到这边吗?”全程对话亲切无障碍,您可能觉得这是一个大型企业对于用户的恳切关注。如果我告诉您,这都是由外呼机器人拨打并且能够自行记录下您的意见和建议,以供企业改进,您会惊讶吗?基于深度神经学算法和卷积神经网络算法的AI外呼机器人,它是融合自
- 郑州人工智能计算中心成果发布会成功举办 埃文科技共建AI生态
人工智能
2024年3月1日,由郑州市科学技术局主办,郑州联通、华为技术有限公司联合承办的郑州人工智能计算中心成果发布会在郑州隆重举行,郑州埃文科技有限公司(以下简称“埃文科技”)作为河南省人工智能领军企业受邀参会。大会以“全面拥抱智能化,共筑算力新底座”为主题,郑州市委副书记、代市长庄建球,河南联通党委书记、总经理华豫民等领导,以及300余位行业专家、企业代表齐聚一堂,共同见证中部地区首个政府主导的智能算
- 镜舟科技荣获 IT168 2024年度创新产品奖!
数据库开源创新物化视图
近日,由IT168主办的2024技术卓越奖评选结果正式揭晓,镜舟科技凭借其研发的镜舟分析型数据库产品荣获"创新产品奖"。本次评选作为业界风向标式活动,见证了技术创新企业的卓越成就。镜舟分析型数据库是镜舟科技基于全球领先开源项目StarRocks打造的企业级一站式分析型数据库。该产品以其卓越的技术创新能力和显著的商业价值脱颖而出,在大规模数据分析场景下展现出强大实力。作为企业级产品,镜舟分析型数据库
- 《自媒体创作的修行手札:从新手到大师的实战心法》
江湖传言,月入十万的自媒体侠客常在子夜御剑飞行,手中键盘能点石成金。然真正身处内容江湖者方知,这看似风光的行当实为"七伤拳"——未伤人先伤己的修炼场。笔者躬耕新媒体八载,见证无数侠客折戟沉沙,亦目睹草根逆袭登顶,今执玄铁重剑剖开行业真相。[]()【第一重境:解构当代自媒体炼金术】据字节跳动2023年内容生态白皮书显示,日均百万播放创作者中,78%具备跨领域知识架构,61%掌握基础编程技能。这揭穿江
- 听说Zynq-手把手教你自定义ip核并调用
不只会拍照的程序猿
听说ZYNQ嵌入式eclipseubuntufpgaverilog
概述小编最近在研究Zynq,因为对其相对陌生,在探索过程中也遇到了不少坑,这里将如何创建IP核并调用的方法步骤总结记录,以免日后忘记。注意★环境:Vivado2018.2。开发板:digilent(迪芝伦)公司的ZYBO创建IP核创建工程1.打开vivado软件,选择CreateProject创建项目。2.输入工程名和路径,勾选createprojectsubdirectory,为你自动在目录下创
- 蓝桥杯 五子棋对弈
wuqingshun314159
第十五届蓝桥杯大赛软件赛省赛C/C++大学A组蓝桥杯蓝桥杯算法数据结构c++c语言
五子棋对弈问题描述“在五子棋的对弈中,友谊的小船说翻就翻?”不!对小蓝和小桥来说,五子棋不仅是棋盘上的较量,更是心与心之间的沟通。这两位挚友秉承着"友谊第一,比赛第二"的宗旨,决定在一块5×5的棋盘上,用黑白两色的棋子来决出胜负。但他们又都不忍心让对方失落,于是决定用一场和棋(平局)作为彼此友谊的见证。比赛遵循以下规则:棋盘规模:比赛在一个5×5的方格棋盘上进行,共有25个格子供下棋使用。棋子类型
- 镜舟科技荣获 IT168 2024年度创新产品奖!
数据库开源创新物化视图
近日,由IT168主办的2024技术卓越奖评选结果正式揭晓,镜舟科技凭借其研发的镜舟分析型数据库产品荣获"创新产品奖"。本次评选作为业界风向标式活动,见证了技术创新企业的卓越成就。镜舟分析型数据库是镜舟科技基于全球领先开源项目StarRocks打造的企业级一站式分析型数据库。该产品以其卓越的技术创新能力和显著的商业价值脱颖而出,在大规模数据分析场景下展现出强大实力。作为企业级产品,镜舟分析型数据库
- 我用DeepSeek创作的原创歌曲,并成为QQ音乐人啦!
思快奇
都知道AI现在无所不能,下面是我用DeepSeek创作的歌曲并上传到QQ音乐了,请大家鉴赏:提示词:模仿周杰伦的曲风写一首爱情相关的歌曲,要表达从相识的喜悦,相爱的热烈,深爱的平淡,归于平凡的静,分手之后的痛。《四季邮差》词/曲:DeepSeek(前奏:钢琴+雨声采样)樱花落在你发梢的刹那故事像奶茶溢出的甜话单车后座载着整个盛夏邮差正派送初遇的时差谁把心跳写成R&B的节拍烟火在瞳孔里炸开成海我们曾
- 2024年云计算的发展趋势如何?
网络安全我来了
IT技术云计算
2024年云计算的发展趋势在这个瞬息万变的科技时代,你是否也曾想过,云计算的发展究竟对我们每一个人意味着什么?它不仅是存储和计算能力的提升,更是整个行业的未来构建与转型之道。接下来,我们将一起探索2024年云计算的发展趋势,借此揭示其中的奥秘和前景。云计算的技术进步计算能力的提升在过去的几年里,计算机技术的飞速发展让我们见证了什么叫“飞跃”——特别是在处理器领域。想象一下,你的电脑如同一个超人,拥
- 也许错过了这期杂志就没有今天的微软公司了
1974年12月,冒着剑桥市清晨刺骨的寒风,保罗·艾伦兴奋地捧着一本《PopularElectronics》(大众电子)杂志,像跑步冠军一样飞奔到哈佛大学去找好友比尔·盖茨。谁能想到,这本1975年1月刊的杂志,竟然促成了微软公司的诞生。杂志封面上赫然展示了一个金属盒子,上面一排排开关和LED指示灯使得这个仪器看起来更像是某个疯狂科学家的试验设备,而不是一台今天我们印象当中的计算机。可这正是名为A
- 核弹级技术革命——搭配deepseek-r1满血版的腾讯云ai助手(codex)仅用14天独立开发出适配ARM架构的微内核操作系统!
frandiy
人工智能腾讯云架构
编程革命已至:双核AI代码引擎开启效率新纪元当代码生成速度提升600%、缺陷率下降75%成为现实,全球开发者正在见证AI生产力的核爆时刻!DeepSeekProMaxAI代码引擎与腾讯云CodeX双剑合璧,以实测数据重新定义智能编程标准。▌DeepSeekProMax:你的全栈智能编程副驾智能补全准确率达92.3%(GitHubCopilot同期数据为84.7%)支持30+主流语言及框架,覆盖Sp
- AI笔记——浅谈发展历程
Bqiuer
AIAI笔记人工智能ai
2023年,要说最让人震惊的热点,无疑就是AI技术的大爆发!从1950年的“图灵测试”标志着人工智能雏形的诞生,一些最顶尖的技术团队、技术学科进行研究,到如今几十年的时间。一、AI的历史进程人工智能(ArtificialIntelligence,AI)的历史进程可以追溯到上世纪50年代。1950年代-1960年代:起步阶段1950年,英国数学家艾伦·图灵提出了“图灵测试”,这是第一个旨在检验机器智
- 对于低空经济热度不减,未来飞行汽车会成为新型出行方式吗
视记闻言
汽车
随着科技的发展,飞行汽车也逐渐成为一种新型出行方式。例如,沃飞长空AE200飞行汽车,它是一种以电力为动力来源,并具备垂直起降功能的飞行器,具有智能操作、快捷机动、低成本、低噪音、零排放、易维护、高安全等特点。这种飞行汽车可以在未来满足商务人士或政府领导人点对点的接送服务,或者两百公里的城际出行需求。
- 【AI学习】2024年末一些AI总结的摘录
bylander
AI学习人工智能gpt学习
看到不少的总结,边摘录边思考。尤其是这句话:“人类真正的问题是:我们拥有旧石器时代的情感、中世纪的制度和神一般的技术”。22024生成模型综述来自@爱可可-爱生活2024年见证了AI领域的重大飞跃。从OpenAI的主导地位到Claude的异军突起,从xAI到中国的DeepSeek和Qwen,整个行业呈现出百花齐放的态势。让我们梳理2024年的关键进展,并展望2025年的研究方向。大语言模型:架构创
- 【腾讯云中间件】2023年热门文章集锦
各位读者,大家好!光阴似箭,日月如梭,仿佛冬奥会的盛况还在眼前,新的一年却即将到来。在过去的一年里,我们见证了腾讯云中间件在产品升级与创新方面的显著进步,包括消息队列TDMQ品牌全新升级和新产品发布,微服务引擎升级与异地多活单元化能力发布等。腾讯云中间件团队一直秉承持续创新的精神,致力于为行业带来更加优质的产品和服务。在过去的一年里,我们见证了产品升级与创新带来的显著成果。团队不断优化产品性能,提
- AI快速变现之路,AI培训轻资产创业
头脑旋风
AI变现之路人工智能AI写作
以下是针对AI写作与文案代写的快速变现方案,结合当前技术趋势和市场需求设计,分步骤实施:一、核心变现模式深化标准化内容生产线多模型协同示例:GPT-4负责故事化长文案创作(如品牌故事)Claude处理逻辑性强的产品白皮书文心一言专攻中文网络热梗植入垂直模板库行业案例:电商:"3秒卖点+使用场景+情感共鸣"三段式模板教育:"痛点诊断→解决方案→效果承诺"课程文案医疗:"症状解析+技术优势+患者见证"
- 洛谷 CF2022A:Bus to Pénjamo ← 模拟题
hnjzsyjyj
信息学竞赛#模拟算法与基础语法算法
【题目来源】https://www.luogu.com.cn/problem/CF2022Ahttps://codeforces.com/contest/2022/problem/A【题目描述】有n个家庭前往佩恩哈莫,见证墨西哥有史以来最大规模的"拴着绳子遛鸡"马拉松比赛。其中i个家庭有ai名家庭成员。所有家庭将乘坐一辆大巴,每辆大巴有r排,2个座位。一个人在以下情况下被认为是幸福的:●另一名家庭
- ViewController添加button按钮解析。(翻译)
张亚雄
c
<div class="it610-blog-content-contain" style="font-size: 14px"></div>// ViewController.m
// Reservation software
//
// Created by 张亚雄 on 15/6/2.
- mongoDB 简单的增删改查
开窍的石头
mongodb
在上一篇文章中我们已经讲了mongodb怎么安装和数据库/表的创建。在这里我们讲mongoDB的数据库操作
在mongo中对于不存在的表当你用db.表名 他会自动统计
下边用到的user是表明,db代表的是数据库
添加(insert):
- log4j配置
0624chenhong
log4j
1) 新建java项目
2) 导入jar包,项目右击,properties—java build path—libraries—Add External jar,加入log4j.jar包。
3) 新建一个类com.hand.Log4jTest
package com.hand;
import org.apache.log4j.Logger;
public class
- 多点触摸(图片缩放为例)
不懂事的小屁孩
多点触摸
多点触摸的事件跟单点是大同小异的,上个图片缩放的代码,供大家参考一下
import android.app.Activity;
import android.os.Bundle;
import android.view.MotionEvent;
import android.view.View;
import android.view.View.OnTouchListener
- 有关浏览器窗口宽度高度几个值的解析
换个号韩国红果果
JavaScripthtml
1 元素的 offsetWidth 包括border padding content 整体的宽度。
clientWidth 只包括内容区 padding 不包括border。
clientLeft = offsetWidth -clientWidth 即这个元素border的值
offsetLeft 若无已定位的包裹元素
- 数据库产品巡礼:IBM DB2概览
蓝儿唯美
db2
IBM DB2是一个支持了NoSQL功能的关系数据库管理系统,其包含了对XML,图像存储和Java脚本对象表示(JSON)的支持。DB2可被各种类型的企 业使用,它提供了一个数据平台,同时支持事务和分析操作,通过提供持续的数据流来保持事务工作流和分析操作的高效性。 DB2支持的操作系统
DB2可应用于以下三个主要的平台:
工作站,DB2可在Linus、Unix、Windo
- java笔记5
a-john
java
控制执行流程:
1,true和false
利用条件表达式的真或假来决定执行路径。例:(a==b)。它利用条件操作符“==”来判断a值是否等于b值,返回true或false。java不允许我们将一个数字作为布尔值使用,虽然这在C和C++里是允许的。如果想在布尔测试中使用一个非布尔值,那么首先必须用一个条件表达式将其转化成布尔值,例如if(a!=0)。
2,if-els
- Web开发常用手册汇总
aijuans
PHP
一门技术,如果没有好的参考手册指导,很难普及大众。这其实就是为什么很多技术,非常好,却得不到普遍运用的原因。
正如我们学习一门技术,过程大概是这个样子:
①我们日常工作中,遇到了问题,困难。寻找解决方案,即寻找新的技术;
②为什么要学习这门技术?这门技术是不是很好的解决了我们遇到的难题,困惑。这个问题,非常重要,我们不是为了学习技术而学习技术,而是为了更好的处理我们遇到的问题,才需要学习新的
- 今天帮助人解决的一个sql问题
asialee
sql
今天有个人问了一个问题,如下:
type AD value
A  
- 意图对象传递数据
百合不是茶
android意图IntentBundle对象数据的传递
学习意图将数据传递给目标活动; 初学者需要好好研究的
1,将下面的代码添加到main.xml中
<?xml version="1.0" encoding="utf-8"?>
<LinearLayout xmlns:android="http:/
- oracle查询锁表解锁语句
bijian1013
oracleobjectsessionkill
一.查询锁定的表
如下语句,都可以查询锁定的表
语句一:
select a.sid,
a.serial#,
p.spid,
c.object_name,
b.session_id,
b.oracle_username,
b.os_user_name
from v$process p, v$s
- mac osx 10.10 下安装 mysql 5.6 二进制文件[tar.gz]
征客丶
mysqlosx
场景:在 mac osx 10.10 下安装 mysql 5.6 的二进制文件。
环境:mac osx 10.10、mysql 5.6 的二进制文件
步骤:[所有目录请从根“/”目录开始取,以免层级弄错导致找不到目录]
1、下载 mysql 5.6 的二进制文件,下载目录下面称之为 mysql5.6SourceDir;
下载地址:http://dev.mysql.com/downl
- 分布式系统与框架
bit1129
分布式
RPC框架 Dubbo
什么是Dubbo
Dubbo是一个分布式服务框架,致力于提供高性能和透明化的RPC远程服务调用方案,以及SOA服务治理方案。其核心部分包含: 远程通讯: 提供对多种基于长连接的NIO框架抽象封装,包括多种线程模型,序列化,以及“请求-响应”模式的信息交换方式。 集群容错: 提供基于接
- 那些令人蛋痛的专业术语
白糖_
springWebSSOIOC
spring
【控制反转(IOC)/依赖注入(DI)】:
由容器控制程序之间的关系,而非传统实现中,由程序代码直接操控。这也就是所谓“控制反转”的概念所在:控制权由应用代码中转到了外部容器,控制权的转移,是所谓反转。
简单的说:对象的创建又容器(比如spring容器)来执行,程序里不直接new对象。
Web
【单点登录(SSO)】:SSO的定义是在多个应用系统中,用户
- 《给大忙人看的java8》摘抄
braveCS
java8
函数式接口:只包含一个抽象方法的接口
lambda表达式:是一段可以传递的代码
你最好将一个lambda表达式想象成一个函数,而不是一个对象,并记住它可以被转换为一个函数式接口。
事实上,函数式接口的转换是你在Java中使用lambda表达式能做的唯一一件事。
方法引用:又是要传递给其他代码的操作已经有实现的方法了,这时可以使
- 编程之美-计算字符串的相似度
bylijinnan
java算法编程之美
public class StringDistance {
/**
* 编程之美 计算字符串的相似度
* 我们定义一套操作方法来把两个不相同的字符串变得相同,具体的操作方法为:
* 1.修改一个字符(如把“a”替换为“b”);
* 2.增加一个字符(如把“abdd”变为“aebdd”);
* 3.删除一个字符(如把“travelling”变为“trav
- 上传、下载压缩图片
chengxuyuancsdn
下载
/**
*
* @param uploadImage --本地路径(tomacat路径)
* @param serverDir --服务器路径
* @param imageType --文件或图片类型
* 此方法可以上传文件或图片.txt,.jpg,.gif等
*/
public void upload(String uploadImage,Str
- bellman-ford(贝尔曼-福特)算法
comsci
算法F#
Bellman-Ford算法(根据发明者 Richard Bellman 和 Lester Ford 命名)是求解单源最短路径问题的一种算法。单源点的最短路径问题是指:给定一个加权有向图G和源点s,对于图G中的任意一点v,求从s到v的最短路径。有时候这种算法也被称为 Moore-Bellman-Ford 算法,因为 Edward F. Moore zu 也为这个算法的发展做出了贡献。
与迪科
- oracle ASM中ASM_POWER_LIMIT参数
daizj
ASMoracleASM_POWER_LIMIT磁盘平衡
ASM_POWER_LIMIT
该初始化参数用于指定ASM例程平衡磁盘所用的最大权值,其数值范围为0~11,默认值为1。该初始化参数是动态参数,可以使用ALTER SESSION或ALTER SYSTEM命令进行修改。示例如下:
SQL>ALTER SESSION SET Asm_power_limit=2;
- 高级排序:快速排序
dieslrae
快速排序
public void quickSort(int[] array){
this.quickSort(array, 0, array.length - 1);
}
public void quickSort(int[] array,int left,int right){
if(right - left <= 0
- C语言学习六指针_何谓变量的地址 一个指针变量到底占几个字节
dcj3sjt126com
C语言
# include <stdio.h>
int main(void)
{
/*
1、一个变量的地址只用第一个字节表示
2、虽然他只使用了第一个字节表示,但是他本身指针变量类型就可以确定出他指向的指针变量占几个字节了
3、他都只存了第一个字节地址,为什么只需要存一个字节的地址,却占了4个字节,虽然只有一个字节,
但是这些字节比较多,所以编号就比较大,
- phpize使用方法
dcj3sjt126com
PHP
phpize是用来扩展php扩展模块的,通过phpize可以建立php的外挂模块,下面介绍一个它的使用方法,需要的朋友可以参考下
安装(fastcgi模式)的时候,常常有这样一句命令:
代码如下:
/usr/local/webserver/php/bin/phpize
一、phpize是干嘛的?
phpize是什么?
phpize是用来扩展php扩展模块的,通过phpi
- Java虚拟机学习 - 对象引用强度
shuizhaosi888
JAVA虚拟机
本文原文链接:http://blog.csdn.net/java2000_wl/article/details/8090276 转载请注明出处!
无论是通过计数算法判断对象的引用数量,还是通过根搜索算法判断对象引用链是否可达,判定对象是否存活都与“引用”相关。
引用主要分为 :强引用(Strong Reference)、软引用(Soft Reference)、弱引用(Wea
- .NET Framework 3.5 Service Pack 1(完整软件包)下载地址
happyqing
.net下载framework
Microsoft .NET Framework 3.5 Service Pack 1(完整软件包)
http://www.microsoft.com/zh-cn/download/details.aspx?id=25150
Microsoft .NET Framework 3.5 Service Pack 1 是一个累积更新,包含很多基于 .NET Framewo
- JAVA定时器的使用
jingjing0907
javatimer线程定时器
1、在应用开发中,经常需要一些周期性的操作,比如每5分钟执行某一操作等。
对于这样的操作最方便、高效的实现方式就是使用java.util.Timer工具类。
privatejava.util.Timer timer;
timer = newTimer(true);
timer.schedule(
newjava.util.TimerTask() { public void run()
- Webbench
流浪鱼
webbench
首页下载地址 http://home.tiscali.cz/~cz210552/webbench.html
Webbench是知名的网站压力测试工具,它是由Lionbridge公司(http://www.lionbridge.com)开发。
Webbench能测试处在相同硬件上,不同服务的性能以及不同硬件上同一个服务的运行状况。webbench的标准测试可以向我们展示服务器的两项内容:每秒钟相
- 第11章 动画效果(中)
onestopweb
动画
index.html
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/
- windows下制作bat启动脚本.
sanyecao2314
javacmd脚本bat
java -classpath C:\dwjj\commons-dbcp.jar;C:\dwjj\commons-pool.jar;C:\dwjj\log4j-1.2.16.jar;C:\dwjj\poi-3.9-20121203.jar;C:\dwjj\sqljdbc4.jar;C:\dwjj\voucherimp.jar com.citsamex.core.startup.MainStart
- Java进行RSA加解密的例子
tomcat_oracle
java
加密是保证数据安全的手段之一。加密是将纯文本数据转换为难以理解的密文;解密是将密文转换回纯文本。 数据的加解密属于密码学的范畴。通常,加密和解密都需要使用一些秘密信息,这些秘密信息叫做密钥,将纯文本转为密文或者转回的时候都要用到这些密钥。 对称加密指的是发送者和接收者共用同一个密钥的加解密方法。 非对称加密(又称公钥加密)指的是需要一个私有密钥一个公开密钥,两个不同的密钥的
- Android_ViewStub
阿尔萨斯
ViewStub
public final class ViewStub extends View
java.lang.Object
android.view.View
android.view.ViewStub
类摘要: ViewStub 是一个隐藏的,不占用内存空间的视图对象,它可以在运行时延迟加载布局资源文件。当 ViewSt