早上7点起床，困……8点整到达实验室，除了马老师,基本没人。道了声早便开始工作了。今天还是承接昨天的工作，以老师的博士论文为切入点来学习通信协议正确性的证明。Google到了几份论文，发现以学习Promela语言和Spin工具为切入点应该会比较有头绪。很幸运地找到了一篇名为《SPIN Beginners' Tutorial》的入门教程，简明清晰，十分适合入门。于是下面一天的事情都是围绕这个教程展开
原创
2023-06-15 14:00:19
101阅读
子那都是很简单的模型，所以感觉不难。用Spin表达一个实用的模型
原创
2023-06-15 14:38:41
51阅读
转移到人大的朋友这边来了，又是一个新环境，早上自然又醒的很早了。这里没有农
原创
2023-06-16 01:10:21
146阅读
中科院的ICTCLAS工具是目前国内有名的中文分词工具，分词准确率很高且具有词性标注的功能，在ICTCLAS的官方网站上可以下到最新的免费版供研究使用。前段时间搞情感分类时用了一下，效果不错，不过好像分词结果中没有去掉停用词，如果想去掉停用词的话得自己写个过滤程序，不过这也简单。用了一下，给这个工具的评价很高，可以说简单易用，可以处理整个文件的，也可以处理内存里一段话，可以自定义词典，而且具有C+
原创
2009-11-23 15:33:15
2626阅读
显一面印证着我以前的一些猜测，行云流水的感觉！技术细节就不在这里写啦，等到明天，写到阶段总结的技术文档里面。唉，不由担心起实
原创
2023-06-15 14:39:21
105阅读
依然8:00到达实验室，依然是马老师早早到了，和他聊了几句，关于我住哪里的问题，另外还送了我几颗荔枝...
原创
2023-06-15 13:52:16
124阅读
今天是到北京的第八天。昨夜，风雨大作。今天傍晚，蓝天白云，西边万里祥光，东边泛着青色辉泽。真可谓天朗气清。这清爽的日子
原创
2023-06-15 13:52:24
77阅读
先说早上的一个马路偶见：过北四环马路，一男一女，互不相识，车流从左到右，男靠左，在女之后。此男意欲速过马路，正向前，突个层
原创
2023-06-15 13:52:28
101阅读
今天周日，本准备继续休息，发出去的短信却一直没有回应，于是休息计划取消，背上电脑去了计算所。大楼里竟然是空空荡荡，没有开灯，零星听见敲击键盘的声音，保洁工在整理清洁。组里的人都没来，难得自由清净。这样的环境让我觉得没有压力，可以随意地做着事情，不用跟时间赛跑，感觉真好！放假了，桶里的水也连带没有了。摇啊摇，却摇不出一滴泪，faint……既然清闲，那就做些清闲的事吧。前天Magic还没有安装成功，说
原创
2023-06-15 14:00:33
74阅读
https://test.ustc.edu.cn/
中科院分词系统概述这几天看完了中科院分词程序的代码，现在来做一个概述，并对一些关键的数据结构作出解释〇、总体流程考虑输入的一句话，sSentence="张华平欢迎您"总体流程:一、分词 "张/华/平/欢迎/您"二、posTagging "张/q 华/j 平/j 欢迎/v 您/r"
原创
2023-05-10 20:04:09
561阅读
**中科院PMP证书含金量深度解析**
在当今项目管理领域，PMP（项目管理专业人士）认证无疑是一块金字招牌，它代表着持有者在项目管理方面拥有国际认可的专业知识和技能。而当我们提及“中科院PMP证书含金量”时，实际上是指在中国科学院体系下，PMP认证所被赋予的额外价值和认可度。这不仅是因为PMP本身的国际通用性，更是因为中科院作为国内顶尖科研机构，其对PMP认证的看重，为这一认证在国内的推广和应
http://sohu.com/a/333684676_120015471
转载
2021-01-07 19:56:00
157阅读
2评论
**中科院软研所好考吗？**
在当今高度信息化的时代，软件行业的重要性日益凸显，与之相应的软件资格考试也逐渐成为众多IT从业者及学生关注的焦点。中科院软研所作为我国软件行业的权威研究机构之一，其主办的软件水平考试（常被业内称为“软考”）自然受到了广大考生的密切关注。那么，中科院软研所的软考究竟好不好考呢？这是许多准备参加考试的人们迫切想要了解的问题。
首先，我们要明确一点，任何一项考试的难度都
中科院软院跨专业考博是众多学子追求学术高峰的重要途径之一。随着信息技术的迅猛发展和软件行业的日益壮大，软件工程专业已经成为了当下热门的学科之一。然而，在这个知识爆炸的时代，单一的专业知识已经难以满足社会的多元化需求。因此，越来越多的学子选择跨专业考博，以拓宽自己的学术视野，提升综合竞争力。
中科院软院作为国内顶尖的软件工程学院之一，其博士研究生的培养质量一直备受认可。跨专业考博不仅要求学生具备扎
原文：http://blog.csdn.net/k21325/article/details/53052855 为解决中文搜索的问题，最开始使用PHP版开源的SCWS，但是处理人名和地名时，会出现截断人名地名出现错误。开始使用NLPIR分词，在分词准确性上效果要比SCWS好。本文介绍如何在wi
转载
2017-06-10 13:54:00
372阅读
2评论
中科院汉语分词系统是一个非常好用的分词工具，和结巴分词类似，但是比结巴分词功能更加强大，而且更加个性化。中科院分词的使用步骤如下：导入中科院分词模块 初始化pynlpir分词库。
原创
2022-03-03 16:51:52
299阅读
问题小结1.安装 需要用到python,根据python2.7选择适当的安装包。先下载http://pypi.python.org/pypi/jieba/ ，解压后运行python setup.py install 若需要安装到myeclipse， 1.首先需要myeclipse能支持python,安装pydev。不同的pydev对于环境的要求不同，注意看jre的要求。 2.导入j
**软考数据库视频教程的学习与应用**
在信息技术迅猛发展的今天，软件行业作为国家经济发展的重要支柱，其专业性和技术性要求日益提高。为了适应这一趋势，我国设立了软件水平考试（简称软考），旨在培养和评价软件专业技术人才。其中，数据库技术是软考中的一大重点，而【软考数据库视频教程】则成为了众多考生备考路上的得力助手。
数据库技术作为软件技术的核心之一，涵盖了数据结构、数据存储、数据管理等多个方面。
