- (一)数理逻辑
Purple Coder
01-离散数学笔记
希望多次阅读,汲取知识命题逻辑(不关注内容,只关心抽象逻辑)命题具有确定真值的陈述句连接词一元连接词:非(¬)二元连接词:合取(∧),析取(∨),蕴含(→),当且仅当(↔)等价公式推论范式范式有合取范式和析取范式两种将一个命题公式转化为主范式的方法主要由2种:真值表法和基本等价式推理法,主要介绍一下后者:(1)化归为合取(析取)范式(2)去除其中为永假(永真)的合取(析取)项(3)合并相同项(4)
- 20181111打卡
爱朵朵鄱阳湖
打卡日期:2018年/11月/11日打卡累计天数:DAY831.湖湖(3岁)[x]亲子阅读:1小时,Day1,今天累计读书10本[x]运动:平衡车[]自然:学认车牌,认车标识、看外面的花花草草[x]音乐:学唱walking[]每日一诗:Day1,今天累计学诗首[]每周一集MagicEnglish:Week1,S01E01八大智能滚动打卡:语言+数理逻辑+空间+音乐+运动+内省+自然+人际今日闪光点
- 《离散数学》第三章:命题逻辑(第一部分)
Sɪʟᴇɴᴛ໊ོ235
离散数学离散数学
3.1什么是命题3.1.1命题和非命题注意:数理逻辑研究的中心问题是推理,而推理的前提和结论都是命题。因而命题是推理的基本单位。定义:具有确切真值的陈述句称为命题(proposition)。该命题可以取一个“值”,称为真值。真值只有“真”和“假”两种,分别用“T”(或“1”)和“F”(或“0”)表示。注意:一切没有判断内容的句子,如命令句(或祈使句)、感叹句、疑问句、二义性的陈述句等都不能作为命题
- 罗素:哲学的价值
慧小田哲思学
作者罗素,节选自《罗素文集》,何兆武译伯特兰·罗素(BertrandRussell,1872年—1970年),二十世纪英国哲学家、数理逻辑学家、历史学家,无神论者,也是上世纪西方最著名、影响最大的学者和和平主义社会活动家之一。1950年,罗素获得诺贝尔文学奖,以表彰其“多样且重要的作品,持续不断的追求人道主义理想和思想自由”。他的代表作品有《幸福之路》、《西方哲学史》、《数学原理》、《物的分析》、
- 离散数学c语言实验报告,离散数学数理逻辑C++或C语言实验报告
weixin_39951396
离散数学c语言实验报告
离散数学实验报告专业班级:12级计算机本部一班姓名:鲍佳珍学号:1016实验成绩:1.【实验题目】命题逻辑实验一2.【实验目的】熟悉掌握命题逻辑中的联接词,实现二元合取、析取、蕴涵和等价表达式的计算。熟悉连接词逻辑运算规则,利用程序语言实现逻辑这几种逻辑运算。3.【实验内容】从键盘输入两个命题变元P和Q的真值,求它们的合取、析取、条件和双条件的真值。(A)4、【实验要求】C或C++语言编程实现5
- 2020-02-19爱美丽亲子时间管理践行第66天
和孝通冀呈雪
2月基础习惯:高能要事2020年2月19日打卡累计:D66琪琪(7.5岁)2月关注:语言智能(八大智能:语言1,视觉空间1,人际1,自然观察1,肢体运动0.8,个人内省0.75,数理逻辑0.6,音乐0.4)坚持锻炼+高能要事~做时间的朋友(一)好习惯清单:1.早睡早起:9:20关灯-7:40起床。开始使用Sleeptown记录。2.高能要事:吃青蛙5只,开始学习的时间:9:00,共接近4.5小时。
- 文心一言4.0API接入指南
小小晓晓阳
LLM文心一言人工智能gpt
概述文心一言是百度打造出来的人工智能大语言模型,具备跨模态、跨语言的深度语义理解与生成能力,文心一言有五大能力,文学创作、商业文案创作、数理逻辑推算、中文理解、多模态生成,其在搜索问答、内容创作生成、智能办公等众多领域都有更广阔的想象空间。文心一言企业服务由千帆大模型平台提供,包括推理服务及大模型微调等一系列开发和应用工具链。文心一言大模型现已升级至4.0,企业客户可通过百度智能云千帆大模型平台申
- 2020-02-08爱美丽亲子时间管理第58天
和孝通冀呈雪
2月基础习惯:高能要事2020年2月11日打卡累计:D58琪琪(7.5岁)2月关注:语言智能(八大智能:语言1,视觉空间1,人际1,自然观察1,肢体运动0.8,个人内省0.75,数理逻辑0.6,音乐0.4)坚持锻炼+高能要事~做时间的朋友(一)好习惯清单:1.早睡早起:10:00关灯-7:20起床。需求30min。2.高能要事:吃青蛙5只,开始学习的时间:9:001)完成VIPKID1节,30mi
- 2020-02-24爱美丽亲子时间管理践行第71天
和孝通冀呈雪
2月基础习惯:高能要事2020年2月24日打卡累计:D71琪琪(7.5岁)2月关注:语言智能(八大智能:语言1,视觉空间1,人际1,自然观察1,肢体运动0.8,个人内省0.75,数理逻辑0.6,音乐0.4)坚持锻炼+高能要事~做时间的朋友(一)好习惯清单:1.早睡早起:9:20关灯-8:00起床。继续使用Sleeptown记录。2.高能要事:吃青蛙5只,开始学习的时间:9:00,共接近5.5小时。
- 读《编程的数学原理》
FrankYang6666
CS数学数学计算机
读《编程的数学原理》读书目标计算机程序其实就是一个形式系统算法就是数学掌握编程范式组合与抽象集合与逻辑函数与关系组合与时序数理逻辑五个部分:逻辑演算、证明论、公理集合论、递归论、模型论第一章自然数几何原本公理化系统皮亚诺公理(PeanoAxioms)归纳公理皮亚诺算数系统自然数与计算机程序公理化的加法乘法定理递归函数累加与阶乘自然数同构自然数同构于数据结构第二章递归欧几里得算法λ\lambdaλ演
- 【人工智能】模糊逻辑推理-洗衣机模糊推理系统
qq_41626672
人工智能人工智能aipython
一、实验目的理解模糊逻辑推理的原理及特点,熟练应用模糊推理,并以此设计一个洗衣机模糊推理系统。二、实验原理模糊推理即以模糊集合论为基础描述工具,对以一般集合论为基础描述工具的数理逻辑进行扩展,从而建立了模糊推理理论。是不确定推理的一种。在人工智能技术开发中有重大意义。整个模糊推理的过程就是由一组模糊规则出发。许多模糊规则实际上是一组多重条件语句,可以表示为从条件论域到结论论域的模糊关系矩阵R。通过
- 20181112打卡
爱朵朵鄱阳湖
打卡日期:2018年/11月/12日打卡累计天数:DAY841.湖湖(3岁)[x]亲子阅读:1小时Day2,今天累计读书4本[x]运动:平衡车[]自然:学认车牌,认车标识、看外面的花花草草[]音乐:学唱walking[]每日一诗:Day2,今天累计学诗1首《鹅》[]每周一集MagicEnglish:Week1,S01E01八大智能滚动打卡:语言+数理逻辑+空间+音乐+运动+内省+自然+人际今日闪光
- 从智能回复到语言准确性,ChatGPT和文心一言谁更胜一筹?
清水白石008
chatgpt文心一言人工智能
ChatGPT和文心一言哪个更好用?从智能回复、语言准确性、知识库丰富度等方面比较,两大AI助手哪个更胜一筹?快来和我们分享一下你的看法吧~一:ChatGPTChatGPT是基于OpenAI开发的GPT-3.5模型的一个实现,它具有强大的文本生成能力和语言理解能力,可以根据输入的上下文进行推理和生成回复。它适合处理较短的文本或需要快速响应的应用场景,例如文学创作、数理逻辑推算、多模态生成等。它的优
- 只要家长好好培养,每个孩子都有无限可能
四维天赋
大部分的孩子智商就是平均水平,很多父母有一个误区,只有天才、高智商的孩子才能成为精英和人生赢家,但其实重点是后天如何培养,伤仲永的情况现在也时有发生。培养孩子的关键点——找准孩子的天赋不要觉得自己家的孩子很普通,每个孩子都有属于他的天赋领域。孩子的天赋领域大致可以分为8个:语言天赋、数理逻辑天赋、音乐天赋、运动操作天赋、自省天赋、空间天赋、人际社交天赋、自然认知天赋。这是美国著名发展心理学家、哈佛
- 【374→思维模型】控制论
Koala谦爸
1控制论是研究动物、机器、自然和社会等系统中控制、反馈和通信的共同规律的科学。是研究如何利用控制器,通过信息的变换和反馈作用,使系统能自动按照人们预定的程序运行,最终达到最优目标的学问。它是自动控制、通讯技术、计算机科学、数理逻辑、神经生理学、统计力学、行为科学等多种科学技术相互渗透形成的一门横断性学科。1948年,美国数学家、物理学家、生物学家、哲学家诺伯特·维纳在《控制论——关于在动物和机器中
- 基于python pygame实现的雨点动画
mathfrog
pythonpygame动画pycharm
这是一个我用来教我7岁小俊马的雨点例程,2022年网络上已经宣传未来小学生都将会python了,那么我们这些爸爸还不赶快学吗?说句实话我本意是觉得小孩子就是先学好数理化就行了,编程这事有了数理逻辑思维长大之后自然就很快学会了,但是挡不住历史洪流,顺之者昌,我们也只能先顺应了。我们这一辈是快20岁从C、C++学起的,无奈C和C++还是太抽象,库也没有那么多,对7岁的孩子来说一点吸引力都没有,孩子们都
- 皮亚杰认知发展理论
莘享文化
皮亚杰认知发展理论背景:皮亚杰使用数理逻辑分析儿童认知的起源与发展,从而建立“建构主义发展理论”。儿童认知发展的机制:观点:主体(儿童)与客体(环境)通过动作完成相互作用,完成的相互作用反过来促进儿童心理发展。动作的本质是主体(儿童)对客体(环境)的适应。图式是主体(儿童)对环境做出适应的认知结构。主体(儿童)生理、心理逐渐成熟,会逐渐掌握越来越复杂的图式,帮助主体(儿童)不断适应越来越复杂的环境
- 2020-02-13爱美丽亲子时间管理践行第59天
和孝通冀呈雪
2月基础习惯:高能要事2020年2月12日打卡累计:D59琪琪(7.5岁)2月关注:语言智能(八大智能:语言1,视觉空间1,人际1,自然观察1,肢体运动0.8,个人内省0.75,数理逻辑0.6,音乐0.4)坚持锻炼+高能要事~做时间的朋友(一)好习惯清单:1.早睡早起:9:30关灯-8:00起床。2.高能要事:吃青蛙5只,开始学习的时间:9:001)完成VIPKID3节,90分钟。2)完成语文课在
- 幼小科学衔接:学习《幼儿园数学领域教育精要》(六)
贵龙讲学习
腾龙时间:2021年11月29日主题:数的相关概念与关键经验作者:张俊阅读笔记:幼儿进行集合感知的数理逻辑经验是“1”和“许多”、分类、对应,这些都是幼儿认识数的前期经验。一、关于“1”和“许多”“1”是自然数的基本单位,表示集合中元素数量的基本单位。“许多”是一个笼统的词汇,它代表含有两个以上元素的集合,不论“许多”代表的数量是多少,它总是由一个一个元素构成的。认识“1”和许多是小班初期为学数做
- 分析哲学与逻辑实证主义
真正的英语思维
分析哲学(analyticphilosophy)西方哲学思潮之一,也可视作西方哲学发展过程中的一次运动20世纪产生。其主要特征为:主张把哲学问题归结为语言问题,哲学的首要任务在于运用现代逻辑的工具对语言进行分析,故也称“语言分析哲学”。它还对语言本身进行哲学研究,建立关于语言的哲学理论。以20世纪初德国数理逻辑学家弗雷格的观点为他的直接思想先驱,他所创立的数理逻辑成为分析哲学的研究工具,他的语言哲
- 2018年8月17日
苏如云
i早晨不到六点就起床整理行李。上午是台北教育大学孙剑秋教授的课程《文字、文物与文化》,孙老师敦敦仁者的气质,脸颊上还有两个深深的酒窝,十分亲和。他一上课,首先玩了一个易学的游戏,通过这个游戏告诉我们易学有数理逻辑存在,不是迷信,而是科学。图片发自App之后,与我们主要谈他的一个教学观点,教小朋友汉字,因先知其义,再教学生书写。古代的许多汉字意义都是密切相关的。比如说学与教……然后开始了主题演讲“文
- 2020-02-17爱美丽亲子时间管理践行第64天
和孝通冀呈雪
2月基础习惯:高能要事2020年2月17日打卡累计:D64琪琪(7.5岁)2月关注:语言智能(八大智能:语言1,视觉空间1,人际1,自然观察1,肢体运动0.8,个人内省0.75,数理逻辑0.6,音乐0.4)坚持锻炼+高能要事~做时间的朋友(一)好习惯清单:1.早睡早起:9:20关灯-7:40起床。开始使用Sleeptown记录。2.高能要事:吃青蛙5只,开始学习的时间:9:00,共接近6小时。1)
- 逻辑原子主义,拒斥形而上学,语言哲学
真正的英语思维
逻辑原子主义(logicalatomism)罗素和维特根斯坦的哲学学说。在洛克、休谟和J.S.穆勒的经验论的基础上,借助数理逻辑的分析方法发展起来。认为哲学的任务在于用逻辑对语言作批判分析,从而获得关于世界的各种知识。这种逻辑分析是针对命题而进行的。命题的逻辑分析可以不断地进行,直到剩下不可再分析的所谓原子命题或基本命题对它的分析只能得到词项。命题像图画那样描述事实。原子命题表示原子事实,两者相对
- 2020.1.5阴
a61f7f5aada4
今天观看了北京师范大学郑日昌教授主讲的《学习方法和学习习惯的培养》,受益良多。影响孩子学习成绩的原因。有内因也有外因,内部原因有先天的也有后天的,智商也是有差异的,表现在不同领域,有数理逻辑能力强,有语言表达丰富……除了智力原因还有非智力原因,有人勤奋有人贪玩,刻苦认真学习,方法正确的学生往往成绩优异。外部原因是家庭环境等,一个和谐的温馨的家庭环境,是能够培养出品学兼优的学生来的。我家的孩子自从上
- 2020-02-23爱美丽亲子时间管理践行第70天
和孝通冀呈雪
2月基础习惯:高能要事2020年2月23打卡累计:D70琪琪(7.5岁)2月关注:语言智能(八大智能:语言1,视觉空间1,人际1,自然观察1,肢体运动0.8,个人内省0.75,数理逻辑0.6,音乐0.4)坚持锻炼+高能要事~做时间的朋友(一)好习惯清单:1.早睡早起:9:20关灯-7:30起床。继续使用Sleeptown记录。2.高能要事:吃青蛙5只,开始学习的时间:9:00,共接近4小时。1)完
- 09132021 《战略》第368/500本
旭哥_优秀是一种习惯
09132021《战略》第368/500本总结:王志刚论战略就是在面临关键阶段的重大抉择,如何做正确的事以及正确的做事。巨大而独特的经济体从专业主义将代替粗制滥造,长期主义正代替跟风追随个人,追求将代替随波逐流,长跑领先将代替弯道超车成为时代的主流l工欲善其事,必先利其器,先掌握方法,才能够实现事半功倍。战略不简单于永推演数理逻辑的方法,把思想变成规范的学术,同时它是一个生动的,复杂的日复一日的实
- 10.3 现代自由主义的基本主张-【刘擎】二十世纪西方思想文化潮流笔记
ado_l
路德维希·维特根斯坦(LudwigWittgenstein,1889-1951)现代著名哲学家、数理逻辑学家,语言哲学的奠基人,20世纪最有影响的哲学家之一,其代表作为《哲学研究》。家族相似:家里亲戚有共同点,你说不出哪种共同点是唯一的,但看上去很像。自由主义在所有时代的典型特征是,它坚定地相信自由对于实现任何一个值得追求的目标都是不可或缺的。对个人自由的深深关切激发自由主义反对一切绝对权力,不论
- 二义性(说话装X有罪)
阿达King哥
编译原理c语言汇编
二义性1什么是二义性1.1举例普通生活中的二义性,二义性的一个例子地理教过,中国产煤最多的地方是辽宁省抚顺,产铁最多是辽宁省鞍山,所以抚顺被称为中国的“煤都”,鞍山称为“铁都”。某次月考试题:中国的煤都是(),中国的铁都是()。结果某张试卷上:中国的煤都是(黑的),中国的铁都是(硬的)。考完还说:这次老师怎么出那么简单的题目?数理逻辑中的二义性,如何理解二义性?-知乎(zhihu.com))选令狐
- 第一部分 数理逻辑
星与星熙.
离散数学学习离散数学
目录什么是命题注意:例1下列句子中那些是命题?联结词例2将下列命题符号化.注意:例3设p:天冷,q:小王穿羽绒服,将下列命题符号化例4求下列复合命题的真值例题:真值表:例题:什么是命题命题:判断结果唯一的陈述句命题的真值:判断的结果真值的取值:真与假真命题与假命题注意:感叹句、祈使句、疑问句都不是命题陈述句中的悖论,判断结果不唯一确定的不是命题例1下列句子中那些是命题?(1)是有理数.(2)2+5
- #陪老大玩数学#分类概念
SunnyHong
“分类是数理逻辑最基本概念之一”分类是数理逻辑最基本的概念之一。把它分解为两个部分:区分(sorting)和合并(grouping),这两个合在一起变成分类。我们依据某些标准进行区分和归集在一起。当然在这个过程中,孩子还学习了集合和分分合合的现象、规律。分类是非常重要的逻辑能力,需要长时间融入到生活,思考中,才能让孩子的思维变得越来越具有条理性和秩序性。我一直觉得自己分类概念没掌握好,导致日常生活
- LeetCode[Math] - #66 Plus One
Cwind
javaLeetCode题解AlgorithmMath
原题链接:#66 Plus One
要求:
给定一个用数字数组表示的非负整数,如num1 = {1, 2, 3, 9}, num2 = {9, 9}等,给这个数加上1。
注意:
1. 数字的较高位存在数组的头上,即num1表示数字1239
2. 每一位(数组中的每个元素)的取值范围为0~9
难度:简单
分析:
题目比较简单,只须从数组
- JQuery中$.ajax()方法参数详解
AILIKES
JavaScriptjsonpjqueryAjaxjson
url: 要求为String类型的参数,(默认为当前页地址)发送请求的地址。
type: 要求为String类型的参数,请求方式(post或get)默认为get。注意其他http请求方法,例如put和 delete也可以使用,但仅部分浏览器支持。
timeout: 要求为Number类型的参数,设置请求超时时间(毫秒)。此设置将覆盖$.ajaxSetup()方法的全局
- JConsole & JVisualVM远程监视Webphere服务器JVM
Kai_Ge
JVisualVMJConsoleWebphere
JConsole是JDK里自带的一个工具,可以监测Java程序运行时所有对象的申请、释放等动作,将内存管理的所有信息进行统计、分析、可视化。我们可以根据这些信息判断程序是否有内存泄漏问题。
使用JConsole工具来分析WAS的JVM问题,需要进行相关的配置。
首先我们看WAS服务器端的配置.
1、登录was控制台https://10.4.119.18
- 自定义annotation
120153216
annotation
Java annotation 自定义注释@interface的用法 一、什么是注释
说起注释,得先提一提什么是元数据(metadata)。所谓元数据就是数据的数据。也就是说,元数据是描述数据的。就象数据表中的字段一样,每个字段描述了这个字段下的数据的含义。而J2SE5.0中提供的注释就是java源代码的元数据,也就是说注释是描述java源
- CentOS 5/6.X 使用 EPEL YUM源
2002wmj
centos
CentOS 6.X 安装使用EPEL YUM源1. 查看操作系统版本[root@node1 ~]# uname -a Linux node1.test.com 2.6.32-358.el6.x86_64 #1 SMP Fri Feb 22 00:31:26 UTC 2013 x86_64 x86_64 x86_64 GNU/Linux [root@node1 ~]#
- 在SQLSERVER中查找缺失和无用的索引SQL
357029540
SQL Server
--缺失的索引
SELECT avg_total_user_cost * avg_user_impact * ( user_scans + user_seeks ) AS PossibleImprovement ,
last_user_seek ,
 
- Spring3 MVC 笔记(二) —json+rest优化
7454103
Spring3 MVC
接上次的 spring mvc 注解的一些详细信息!
其实也是一些个人的学习笔记 呵呵!
- 替换“\”的时候报错Unexpected internal error near index 1 \ ^
adminjun
java“\替换”
发现还是有些东西没有刻子脑子里,,过段时间就没什么概念了,所以贴出来...以免再忘...
在拆分字符串时遇到通过 \ 来拆分,可是用所以想通过转义 \\ 来拆分的时候会报异常
public class Main {
/*
- POJ 1035 Spell checker(哈希表)
aijuans
暴力求解--哈希表
/*
题意:输入字典,然后输入单词,判断字典中是否出现过该单词,或者是否进行删除、添加、替换操作,如果是,则输出对应的字典中的单词
要求按照输入时候的排名输出
题解:建立两个哈希表。一个存储字典和输入字典中单词的排名,一个进行最后输出的判重
*/
#include <iostream>
//#define
using namespace std;
const int HASH =
- 通过原型实现javascript Array的去重、最大值和最小值
ayaoxinchao
JavaScriptarrayprototype
用原型函数(prototype)可以定义一些很方便的自定义函数,实现各种自定义功能。本次主要是实现了Array的去重、获取最大值和最小值。
实现代码如下:
<script type="text/javascript">
Array.prototype.unique = function() {
var a = {};
var le
- UIWebView实现https双向认证请求
bewithme
UIWebViewhttpsObjective-C
什么是HTTPS双向认证我已在先前的博文 ASIHTTPRequest实现https双向认证请求
中有讲述,不理解的读者可以先复习一下。本文是用UIWebView来实现对需要客户端证书验证的服务请求,网上有些文章中有涉及到此内容,但都只言片语,没有讲完全,更没有完整的代码,让人困扰不已。但是此知
- NoSQL数据库之Redis数据库管理(Redis高级应用之事务处理、持久化操作、pub_sub、虚拟内存)
bijian1013
redis数据库NoSQL
3.事务处理
Redis对事务的支持目前不比较简单。Redis只能保证一个client发起的事务中的命令可以连续的执行,而中间不会插入其他client的命令。当一个client在一个连接中发出multi命令时,这个连接会进入一个事务上下文,该连接后续的命令不会立即执行,而是先放到一个队列中,当执行exec命令时,redis会顺序的执行队列中
- 各数据库分页sql备忘
bingyingao
oraclesql分页
ORACLE
下面这个效率很低
SELECT * FROM ( SELECT A.*, ROWNUM RN FROM (SELECT * FROM IPAY_RCD_FS_RETURN order by id desc) A ) WHERE RN <20;
下面这个效率很高
SELECT A.*, ROWNUM RN FROM (SELECT * FROM IPAY_RCD_
- 【Scala七】Scala核心一:函数
bit1129
scala
1. 如果函数体只有一行代码,则可以不用写{},比如
def print(x: Int) = println(x)
一行上的多条语句用分号隔开,则只有第一句属于方法体,例如
def printWithValue(x: Int) : String= println(x); "ABC"
上面的代码报错,因为,printWithValue的方法
- 了解GHC的factorial编译过程
bookjovi
haskell
GHC相对其他主流语言的编译器或解释器还是比较复杂的,一部分原因是haskell本身的设计就不易于实现compiler,如lazy特性,static typed,类型推导等。
关于GHC的内部实现有篇文章说的挺好,这里,文中在RTS一节中详细说了haskell的concurrent实现,里面提到了green thread,如果熟悉Go语言的话就会发现,ghc的concurrent实现和Go有点类
- Java-Collections Framework学习与总结-LinkedHashMap
BrokenDreams
LinkedHashMap
前面总结了java.util.HashMap,了解了其内部由散列表实现,每个桶内是一个单向链表。那有没有双向链表的实现呢?双向链表的实现会具备什么特性呢?来看一下HashMap的一个子类——java.util.LinkedHashMap。
- 读《研磨设计模式》-代码笔记-抽象工厂模式-Abstract Factory
bylijinnan
abstract
声明: 本文只为方便我个人查阅和理解,详细的分析以及源代码请移步 原作者的博客http://chjavach.iteye.com/
package design.pattern;
/*
* Abstract Factory Pattern
* 抽象工厂模式的目的是:
* 通过在抽象工厂里面定义一组产品接口,方便地切换“产品簇”
* 这些接口是相关或者相依赖的
- 压暗面部高光
cherishLC
PS
方法一、压暗高光&重新着色
当皮肤很油又使用闪光灯时,很容易在面部形成高光区域。
下面讲一下我今天处理高光区域的心得:
皮肤可以分为纹理和色彩两个属性。其中纹理主要由亮度通道(Lab模式的L通道)决定,色彩则由a、b通道确定。
处理思路为在保持高光区域纹理的情况下,对高光区域着色。具体步骤为:降低高光区域的整体的亮度,再进行着色。
如果想简化步骤,可以只进行着色(参看下面的步骤1
- Java VisualVM监控远程JVM
crabdave
visualvm
Java VisualVM监控远程JVM
JDK1.6开始自带的VisualVM就是不错的监控工具.
这个工具就在JAVA_HOME\bin\目录下的jvisualvm.exe, 双击这个文件就能看到界面
通过JMX连接远程机器, 需要经过下面的配置:
1. 修改远程机器JDK配置文件 (我这里远程机器是linux).
 
- Saiku去掉登录模块
daizj
saiku登录olapBI
1、修改applicationContext-saiku-webapp.xml
<security:intercept-url pattern="/rest/**" access="IS_AUTHENTICATED_ANONYMOUSLY" />
<security:intercept-url pattern=&qu
- 浅析 Flex中的Focus
dsjt
htmlFlexFlash
关键字:focus、 setFocus、 IFocusManager、KeyboardEvent
焦点、设置焦点、获得焦点、键盘事件
一、无焦点的困扰——组件监听不到键盘事件
原因:只有获得焦点的组件(确切说是InteractiveObject)才能监听到键盘事件的目标阶段;键盘事件(flash.events.KeyboardEvent)参与冒泡阶段,所以焦点组件的父项(以及它爸
- Yii全局函数使用
dcj3sjt126com
yii
由于YII致力于完美的整合第三方库,它并没有定义任何全局函数。yii中的每一个应用都需要全类别和对象范围。例如,Yii::app()->user;Yii::app()->params['name'];等等。我们可以自行设定全局函数,使得代码看起来更加简洁易用。(原文地址)
我们可以保存在globals.php在protected目录下。然后,在入口脚本index.php的,我们包括在
- 设计模式之单例模式二(解决无序写入的问题)
come_for_dream
单例模式volatile乱序执行双重检验锁
在上篇文章中我们使用了双重检验锁的方式避免懒汉式单例模式下由于多线程造成的实例被多次创建的问题,但是因为由于JVM为了使得处理器内部的运算单元能充分利用,处理器可能会对输入代码进行乱序执行(Out Of Order Execute)优化,处理器会在计算之后将乱序执行的结果进行重组,保证该
- 程序员从初级到高级的蜕变
gcq511120594
框架工作PHPandroidhtml5
软件开发是一个奇怪的行业,市场远远供不应求。这是一个已经存在多年的问题,而且随着时间的流逝,愈演愈烈。
我们严重缺乏能够满足需求的人才。这个行业相当年轻。大多数软件项目是失败的。几乎所有的项目都会超出预算。我们解决问题的最佳指导方针可以归结为——“用一些通用方法去解决问题,当然这些方法常常不管用,于是,唯一能做的就是不断地尝试,逐个看看是否奏效”。
现在我们把淫浸代码时间超过3年的开发人员称为
- Reverse Linked List
hcx2013
list
Reverse a singly linked list.
/**
* Definition for singly-linked list.
* public class ListNode {
* int val;
* ListNode next;
* ListNode(int x) { val = x; }
* }
*/
p
- Spring4.1新特性——数据库集成测试
jinnianshilongnian
spring 4.1
目录
Spring4.1新特性——综述
Spring4.1新特性——Spring核心部分及其他
Spring4.1新特性——Spring缓存框架增强
Spring4.1新特性——异步调用和事件机制的异常处理
Spring4.1新特性——数据库集成测试脚本初始化
Spring4.1新特性——Spring MVC增强
Spring4.1新特性——页面自动化测试框架Spring MVC T
- C# Ajax上传图片同时生成微缩图(附Demo)
liyonghui160com
1.Ajax无刷新上传图片,详情请阅我的这篇文章。(jquery + c# ashx)
2.C#位图处理 System.Drawing。
3.最新demo支持IE7,IE8,Fir
- Java list三种遍历方法性能比较
pda158
java
从c/c++语言转向java开发,学习java语言list遍历的三种方法,顺便测试各种遍历方法的性能,测试方法为在ArrayList中插入1千万条记录,然后遍历ArrayList,发现了一个奇怪的现象,测试代码例如以下:
package com.hisense.tiger.list;
import java.util.ArrayList;
import java.util.Iterator;
- 300个涵盖IT各方面的免费资源(上)——商业与市场篇
shoothao
seo商业与市场IT资源免费资源
A.网站模板+logo+服务器主机+发票生成
HTML5 UP:响应式的HTML5和CSS3网站模板。
Bootswatch:免费的Bootstrap主题。
Templated:收集了845个免费的CSS和HTML5网站模板。
Wordpress.org|Wordpress.com:可免费创建你的新网站。
Strikingly:关注领域中免费无限的移动优
- localStorage、sessionStorage
uule
localStorage
W3School 例子
HTML5 提供了两种在客户端存储数据的新方法:
localStorage - 没有时间限制的数据存储
sessionStorage - 针对一个 session 的数据存储
之前,这些都是由 cookie 完成的。但是 cookie 不适合大量数据的存储,因为它们由每个对服务器的请求来传递,这使得 cookie 速度很慢而且效率也不